Polynôme/Racines d'un polynôme
Une page de Wikiversité.
En raison de limitations techniques, la typographie souhaitable du titre, « Polynôme : Racines d'un polynôme
Polynôme/Racines d'un polynôme », n'a pu être restituée correctement ci-dessus.
|
Définition : Racine d'un polynôme |
|
Soient |
Remarquez que déterminer les racines de
revient à résoudre l'équation
dans le corps
.Par exemple, les racines de
sont
dans
, alors qu'elles n'existent pas dans
ou
.Enfin, dans
, ce polynôme n'a qu'une racine qui est 1.
Un des principaux intérêts de déterminer les racines d'un polynôme est de permettre sa factorisation, grâce à la propriété suivante :
|
Théorème |
|
Soit
|
- On effectue la division euclidienne de
par
:
.
On évalue en
(c'est-à-dire "on remplace
par
") :

mais comme
est constant, on a donc
.
- On montre facilement que les
sont deux à deux premiers entre eux, puisque les
sont distincts (par exemple avec une relation de Bézout :
) . Le premier point permet alors de conclure.
On en déduit ce Corollaire souvent utile :
|
Corollaire |
Cela équivaut à :
|
Nous admettrons le Théorème suivant (souvent appelé "Théorème Fondamental de l'Algèbre" mais qu'on ne peut démontrer qu'en passant par l'Analyse) :
|
Théorème de D'Alembert-Gauss |
|
Tout polynôme a coefficients dans |
Ce Théorème n'est pas vrai si on remplace
par d'autres corps (voyez l'exemple ci-dessus). On dit que
est un corps algébriquement clos.
|
Définition : Multiplicité d'une racine |
|
Soit
|
L'ordre de multiplicité se caractérise par la propriété suivante :
|
Critère de racines multiples |
|
Soit
L'entier |
On démontre l'équivalence en prouvant que (1) implique (2), que (2) implique (3) et que (3) implique (1).
:
Si
est divisible par
et pas par
, il existe
tel que
. Si
,
est divisible par
, et
serait alors divisible par
: absurde.
:
Si
et
, alors par récurrence, on peut montrer qu'il existe des polynômes
pour
entre
et
tels que :
et 
En effet, c'est évident pour
, et si c'est vrai pour
, alors :
.
On trouve alors la formule de récurrence : 
Ainsi, on trouve bien
et
.
:
Il suffit d'utiliser la formule de Taylor pour les polynômes :
.
La factorisation par
est alors évidente.
et
.
.
sont des racines de
divise
admet au plus
racines, alors ce polynôme est nul.
et soit
si, et seulement si,
divise
ne divise pas
une racine du polynôme
et
et 