Racines d'un polynôme

En mathématiques, une racine α d'un polynôme à une indéterminée P(X) est une valeur α qui, si elle est substituée à l'indéterminée, donne une expression nulle. En ce sens, une racine du polynôme est une solution de l'équation polynomiale P(X) = 0. Par exemple, si P est le polynôme X² - 2, alors √2 et -√2 sont les racines de P. Le théorème de d'Alembert-Gauss indique que tout polynôme P non constant à coefficients dans les nombres complexes admet au moins une racine. Cela signifie qu'il existe toujours un nombre complexe α, racine de P, ou encore que P(α) = 0.

Le polynôme P possède des coefficients dans un ensemble de nombres qui ne contient pas nécessairement de racine. Ainsi, le polynôme exemple est à coefficients dans l'ensemble des nombres rationnels. Cela ne signifie pas qu'une racine du polynôme soit nécessairement dans le même ensemble. Le polynôme exemple possède des racines dans l'ensemble des nombres réels mais pas dans l'ensemble des nombres rationnels.

Par extension, le terme racine est aussi utilisé pour décrire une solution d'une équation, en général polynomiale. Par abus, certains appellent racine d'une fonction f, un zéro de la fonction f. Cet usage du mot racine est traité dans l'article Inconnue (mathématiques).

Le terme de racine se généralise à un polynôme en plusieurs indéterminées.

Sommaire 1 Définitions 1.1 Définition 1.2 Définition alternative 1.3 Définitions connexes 2 Existence des racines 3 Relations entre les coefficients et les racines 4 Calcul des racines 5 Voir aussi 5.1 Notes 5.2 Articles connexes 6 Liens externes

Définitions

Définition

On considère un polynôme P(X) à une indéterminée notée ici X, à coefficients dans un corps commutatif noté K. Un corps est un ensemble munis d'une addition et d'une multiplication. Il existe un élément neutre pour la multiplication, en général noté 1 et tout élément non nul est inversible. Des exemples de corps fréquemment utilisés sont Q, l'ensemble des rationnels, R celui des réels ou C celui des nombres complexes. En informatique, on utilise fréquemment les polynômes sur un corps fini à deux éléments, noté F₂. Dire que le corps est commutatif revient à dire que la multiplication l'est.

Une extension L d'un corps K est un corps contenant K, ainsi R et C sont des extensions de Q.

Ainsi, le polynôme X² - 2, à coefficients dans Q, possède deux racines √2 et -√2, même si ces racines ne sont pas des éléments de Q. En effet, si l'on substitue √2 ou -√2 à X dans le polynôme, on trouve bien 0. Ces racines peuvent être vues comme des éléments de R ou de C.

Une question naturelle se pose, si L₁ et L₂ sont deux extensions de K contenant toutes les racines de P(X). Les racines, vues comme éléments de L₁ sont-elle équivalentes aux racines vues comme éléments de L₂ ? Cette équivalence existe, il existe toujours une autre extension L de K, appelé corps de décomposition de P(X), contenant toutes les racines de P(X). Cette extension est une copie d'un corps inclus dans L₁, de plus ce corps inclus dans L₁ est unique. Ces propriétés sont aussi vrai pour L₂. On peut ainsi identifier une partie de L₁ à une partie de L₂ à L. Dans l'exemple choisi, L est l'ensemble des nombres de la forme a + b.√2, où a et b sont des nombres rationnels. Cet ensemble L s'identifie à une partie de R et de C. Ainsi, les deux racines √2 et -√2, vues comme éléments de L de R ou de C peuvent être considérées comme identiques.

Étymologie : Le terme de racine provient des traductions en latin de Robert de Chester et de Gérard de Crémone du terme gizr. Le mot gizr signifie racine, il est traduit en latin par radix. Le terme gizr est utilisé par le mathématicien d'origine perse du VIII^e siècle Al-Khawarizmi, dans son traité Kitâb al-jabr wa al-muqâbala, qui traite pour la première fois de manière exhaustive, du calcul des racines réelles de l'équation du second degré.^[1]

Définition alternative

On utilise aussi une autre manière de définir les racines d'un polynômes, strictement identique à la définition précédente :

Cette définition indique que α est une racine de P si, et seulement si, il existe un polynôme Q, à coefficients dans L tel que P = (X - α)Q. Dans l'exemple choisi, l'égalité :

est une autre manière de remarquer que √2 et -√2 sont bien les deux racines du polynôme. L'équivalence des deux définitions est donnée dans l'article Polynôme formel.

Définitions connexes

Une racine de P peut être multiple, ce qui correspond à la définition suivante :

Une définition caractérise une racine qui n'est pas multiple :

Dans le premier exemple cité, le polynôme X² - 2 s'exprime, dans l'ensemble des polynômes à coefficients réels, comme un produit de polynôme du premier degré, ce qui donne lieu à une définition :

En théorie de Galois, on parle de polynôme séparable pour désigner un polynôme n'ayant aucune racine multiple.

Existence des racines

Soit P un polynôme à une indéterminée et à coefficients dans un corps commutatif K. Il existe toujours une extension L telle que le polynôme P soit scindé dans L, ce qui peut s'exprimer de la manière suivante :

L'unicité de L signifie que si deux extensions L₁ et L₂ sont les plus petites au sens de l'inclusion, alors L₂ est une copie de L₁, c'est à dire qu'il existe un isomorphisme de corps entre L₁ et L₂. La démonstration est donnée dans l'article détaillé. Un polynôme unitaire est un polynôme dont le monôme de plus haut degré est de coefficient égal à 1. Chaque constante de ces polynômes unitaires du premier degré sont égales à l'opposé d'une racine du polynôme P. Si L est une extension telle que le polynôme P soit scindé, il est possible de factoriser tous les coefficients des monômes du premier degrés des différents facteurs de la décomposition et trouver ainsi la forme décrite dans la proposition précédente.

Cette proposition s'exprime aussi d'une manière équivalente, si les racines sont comptées avec leur ordre de multiplicité, c'est à dire si une racine d'ordre de multiplicité m est comptée m fois :

Le corps L est tel que le polynôme P est scindé, en revanche un autre polynôme à coefficients dans K n'est pas nécessairement scindé dans L. A fortiori, un polynôme à coefficients dans L n'est pas non plus nécessairement scindé dans L. On dit qu'un corps L est algébriquement clos si tout polynôme à coefficients dans L est scindé :

Un exemple de corps algébriquement clos est C, résultat connu sous le nom de Théorème de d'Alembert-Gauss. Ainsi tout polynôme à coefficient dans Q, R ou C admet autant de racines que son degré dans C. Le corps C n'est pas le plus petit corps contenant Q et algébriquement clôt. Il en existe néanmoins un, appelé la clôture algébrique de Q, plus petit que tous les autres. La clôture algébrique de R est exactement égale à C.

Relations entre les coefficients et les racines

Calcul des racines

On peut utiliser la méthode de Müller pour calculer les racines d'un polynôme. On interpôle le polynôme P par un polynôme de degré deux : a₂x² + b₂x + c₂ selon l'interpolation lagrangienne. On retrouve les coefficients en évaluant P en trois points (x₀,x₁,x₂) :

• 
• 
• 

Avec : .

Mais en utilisant ce polynôme d’approximation, le choix de la racine de ce polynôme est problématique. Müller eut alors l’idée d’utiliser le même polynôme, mais sous la forme : a_n(x − x_n)² + b_n(x − x_n) + c_n avec x_n qui va tendre vers la racine. Particularité de cet algorithme : x_n peut-être un nombre complexe. Coefficients :

• a_n = P[x_{n − 2},x_{n − 1},x_n]
• 
• c_n = P(x_n)

Cette méthode est autoconvergeante : le calcul de la racine va s'affiner petit à petit. On peut donc commencer avec x₀ = − 1, x₁ = 0 et x₂ = 1 et n = 2. Tant que le polynôme ne s'annule pas en x_n, on passe à l'itération n + 1 suivante avec :

• , où peut être négatif ou complexe.
  • si | b_n + r | < | b_n − r |
  • sinon
• x_{n + 1} = x_n + d

Finalement, le zéro est x_n.

Voir aussi

Notes

Articles connexes

• Inconnue (mathématiques)
• Équation du second degré
• Équation polynomiale
• Fonction polynôme
• Méthode de Müller
• Relations entre coefficients et racines

Liens externes

• (fr)Exemple de recherche des racines d'un polynôme de degré deux dans les réels

• Portail des mathématiques