Quel mathématicien a formulé le théorème fondamental de l'algèbre en 1799 ?

En 1799, le mathématicien allemand Carl Friedrich Gauss apporte une démonstration décisive d’un résultat qui deviendra le théorème fondamental de l’algèbre. Celui-ci affirme que tout polynôme non constant à coefficients complexes possède au moins une racine complexe. Cette propriété, apparemment simple, établit que l’ensemble des nombres complexes est suffisamment vaste pour accueillir les solutions des équations polynomiales, même lorsque ces solutions n’existent pas parmi les nombres réels.

Le contenu du théorème

Un polynôme est une expression formée de puissances entières et positives ou nulles d’une variable, affectées de coefficients. Le théorème de Gauss concerne tout polynôme non constant dont les coefficients appartiennent aux nombres complexes : il garantit qu’il existe au moins un nombre complexe qui annule ce polynôme. Cette formulation est plus générale que l’étude des équations à coefficients réels, car une équation comme x² + 1 = 0 ne possède aucune solution réelle, mais admet les deux racines complexes i et −i. En répétant le raisonnement sur les facteurs restants, on obtient la conséquence classique selon laquelle un polynôme complexe de degré n peut être décomposé en n facteurs du premier degré, en tenant compte des racines multiples.

La contribution de Gauss en 1799

Gauss présente ce résultat dans sa thèse de doctorat publiée en 1799. Le titre de ce travail porte sur la possibilité de décomposer toute fonction algébrique rationnelle entière d’une variable en facteurs réels du premier ou du second degré. Cette formulation met l’accent sur les polynômes à coefficients réels : leurs facteurs irréductibles sur les nombres réels sont soit linéaires, soit quadratiques. Elle est étroitement liée à l’existence de racines complexes, car un facteur quadratique réel sans racine réelle se scinde en deux facteurs linéaires lorsqu’on travaille dans l’ensemble des nombres complexes. Gauss donne ainsi une forme mathématique précise à une propriété appelée à devenir l’un des résultats centraux de l’algèbre.

Une étape majeure dans l’étude des équations

Avant ce résultat, les mathématiciens savaient résoudre certaines équations et manipuler des racines imaginaires, mais la question de l’existence générale des solutions restait fondamentale. Le théorème ne fournit pas nécessairement une formule permettant de calculer chaque racine ; il affirme d’abord que les solutions existent dans le cadre complexe. Cette distinction est essentielle : pour les polynômes de degré élevé, connaître l’existence des racines ne signifie pas disposer d’une expression simple pour les déterminer. Le résultat fournit néanmoins le cadre théorique de la factorisation des polynômes et de l’étude de leurs racines.

Pourquoi ce théorème est fondamental

Le qualificatif « fondamental » tient à la place du résultat dans l’algèbre. Il relie les coefficients d’un polynôme à ses racines et montre que le passage aux nombres complexes permet de compléter la résolution des équations polynomiales. Les nombres complexes ne constituent donc pas seulement un élargissement formel des nombres réels : ils forment un domaine dans lequel tout polynôme non constant possède au moins une racine. C’est pour cette démonstration de 1799 que Carl Friedrich Gauss est associé à la formulation classique du théorème fondamental de l’algèbre.