Théorème de d'Alembert-Gauss - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

Jean le Rond D'Alembert est le premier à ressentir la nécessité de démontrer le théorème fondamental de l'algèbre. Sa motivation est entièrement analytique, il recherche une méthode pour trouver une primitive d'une fonction rationnelle. Sa preuve comporte une lacune, qui ne sera comblée qu'au XIXe siècle.

En mathématiques, le théorème de d'Alembert-Gauss est parfois appelé le théorème de d'Alembert ou encore le théorème fondamental de l'algèbre. Il indique que tout polynôme non constant, à coefficients dans les nombres complexes, admet au moins une racine. En conséquence, tout polynôme à coefficients entiers, rationnels ou encore réels admet au moins une racine complexe, car ces nombres sont aussi des complexes. Une fois ce résultat établi, il devient simple de montrer que sur \mathbb C, le corps des nombres complexes, tout polynôme P est scindé, c'est-à-dire qu'il se décompose de manière unique en produit d'une constante et d'autant de polynômes unitaires du premier degré que le degré de P.

Le temps a rendu l'expression de théorème fondamental de l'algèbre un peu paradoxale. Il n'existe en effet aucune démonstration purement algébrique de ce théorème. Il est nécessaire de faire usage de résultats topologiques ou analytiques pour sa démonstration. L'expression provient d'une époque ou l'algèbre s'identifiait essentiellement avec la théorie des équations, c'est-à-dire la résolution de l'équation polynomiale. Les frontières de l'algèbre ont maintenant changé, le nom du théorème est resté.

Les conséquences du théorème sont nombreuses, en algèbre linéaire ce résultat est essentiel pour la réduction d'endomorphisme, en analyse, il intervient dans la décomposition en éléments simples des fonctions rationnelles utilisée pour trouver une primitive. On les retrouve aussi en théorie de Galois dans un résultat indiquant que tout corps de nombres peut être considéré comme un sous-corps de celui des complexes.

L'histoire du théorème indique l'importance du résultat aux yeux des mathématiciens du XVIIIe siècle. Les plus grands noms, comme ceux de d'Alembert, Euler, Lagrange ou Gauss se sont attelés à sa démonstration, avec des fortunes diverses. La variété et la richesse des méthodes conçues dans ce but fut un moteur puissant pour l'évolution de la recherche en mathématiques et particulièrement pour une meilleure compréhension des nombres complexes.

Énoncés

Le théorème fondamental de l'algèbre admet plusieurs énoncés équivalents.

Théorème de d'Alembert-Gauss --- Tout polynôme non constant, à coefficients complexes, admet au moins une racine complexe.

Par exemple, 1+i est une racine du polynôme X4 + 4. Sous cette forme, le théorème affirme l'existence d'une racine du polynôme P(X) mais n'explique pas comment trouver explicitement cette racine. Cet énoncé existentiel décrit plus une propriété du corps des nombres complexes. Un corps est dit algébriquement clos si tout polynôme de degré strictement positif et à coefficients dans ce corps admet au moins une racine. Le théorème se reformule donc ainsi :

Le corps C est algébriquement clos.

Ce résultat se reformule aussi en termes de factorisation des polynômes à coefficients complexes :

Tout polynôme à coefficients complexes est scindé, c'est-à-dire s'écrit comme un produit de polynômes de degré 1.

Ces résultats indiquent qu'un polynôme à coefficients complexes de degré n, que l'on peut écrire anXn +... + a1X + a0 s'écrit aussi an(X - α1)...(X - αn). Ici, la famille (αk), pour k variant de 1 à n, est celle des racines. Certains nombres αk peuvent être égaux, on parle alors de racines multiples.

Le théorème fondamental de l'algèbre équivaut à chacun des énoncés correspondants pour les polynômes à coefficients réels :

Tout polynôme non constant à coefficients réels admet au moins une racine complexe.
Les polynômes irréductibles à coefficients réels sont exactement les polynômes de degré 1, et les polynômes de degré 2 à discriminant strictement négatif (s'écrivant aX2 + bX + c, avec a non nul et b2 − 4ac < 0)
Tout polynôme non constant à coefficients réels s'écrit comme un produit de polynômes de degrés 1 ou 2.
Page générée en 0.283 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise