Définitions
K désigne un corps commutatif.
K[X] désigne l'anneau des polynômes à coefficients dans K.
Nous avons déjà précisé ce que nous appelons une racine (ou un zéro) d'un polynôme P de K[X]. Nous nous intéressons ici particulièrement aux racines de P dans K (bien que ces racines puissent exister dans n'importe quel sur-anneau de K).
Nous avons déjà vu ici que :Cela dit il est possible que a soit également racine de Q.
Dans ce cas Q lui-même sera factorisable par (X-a) disons Q=(X-a)R soit encore P=(X-a)2R.
- P est divisible par (X-a)r
- P n'est pas divisible par (X-a)r+1
Propriétés
Il résulte de la définition que :La recherche des racines d'un polynôme et de leurs multiplicités est liée à la recherche de la décomposition du polynôme en facteurs irréductibles. Il faut toutefois garder à l'esprit qu'il peut exister des facteurs irréductibles de degré >1 sans racines.
Soit P un élément de K[X] et a1,a2,...ak les racines distinctes de P dans K de multiplicités respectives r1,r2,...,rk. Alors P peut s'écrire :
$P(X)=\prod_{i=1}^{k}\left ( X-a_{i} \right )^{r_{i}}Q(X)$ où Q est un polynôme n'admettant aucune racine dans K.Il est évident que Q ne peut avoir de racines dans K, mais il peut en avoir dans une extension de K. Rien ne dit non plus que Q est irréductible.
Ce résultat admet le corollaire suivant :
Caractérisation des racines multiples
Si a est racine d'ordre k de P il existe un polynôme Q tel que P(X)=(X-a)kQ(X) avec Q(a)≠0.
Alors $P'=k(X-a)^{k-1}Q+(X-a)^{k}Q'=(X-a)^{k-1}\left ( kQ+(X-a)Q' \right )$
Mais il est clair que le polynôme $\left ( kQ+(X-a)Q' \right )$ ne s'annule pas en a, puisque sa valeur en a est kQ(a).Illustrations en informatique
Test d'une racine avec le langage julia 1.6 et le package Nemo :
Dérivées d'ordre supérieur :
Multiplicité d'une racine :