∑
MathTCG
#003 / 200•Foundations•MathTCG #003 / 500•★★★★★Légendaire•⊕Algèbre•Théorème

Théorème fondamental de l'algèbre

Période historique : 1799 (Gauss)

Clôture algébrique complète : tout polynôme non constant admet au moins une racine dans ℂ.

Contenu & Formulation mathématique

Hypothèses nécessaires
P ∈ ℂ[X] avec deg(P) ≥ 1.
Énoncé formel
Tout polynôme non constant à coefficients complexes admet au moins une racine dans le corps des nombres complexes.
P(z)=an∏k=1n(z−zk)(an≠0)P(z) = a_n \prod_{k=1}^n (z - z_k) \quad (a_n \neq 0)

Genèse & Portée historique

Le théorème d'Alembert-Gauss affirme que tout polynôme à coefficients complexes de degré n ≥ 1 possède exactement n racines complexes comptées avec leur ordre de multiplicité. Il confère au corps des nombres complexes sa perfection géométrique et algébrique.

Après des tentatives de d'Alembert et Euler, Carl Friedrich Gauss proposa en 1799 dans sa thèse de doctorat une démonstration géométrique fondatrice, étape décisive qu'il approfondit au cours de trois autres preuves ultérieures.

« Dans le plan complexe, nulle équation polynomiale ne peut échapper à sa solution. »

Filiations & Relations conceptuelles (3)

Objet de collection MathTCG

#003
★★★★★Légendaire
⊕

Théorème fondamental de l'algèbre

Algèbre•THÉORÈME

Hypothèses : P ∈ ℂ[X] avec deg(P) ≥ 1.

P(z)=an∏k=1n(z−zk)(an≠0)P(z) = a_n \prod_{k=1}^n (z - z_k) \quad (a_n \neq 0)
1799 (Gauss)

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.

Extension : Foundations (#003 / 200)
Numéro global MathTCG : MathTCG #003 / 500
Rareté officielle : Légendaire (★★★★★)
Domaine théorique : Algèbre
Identifiant pérenne : theoreme-fondamental-de-l-algebre
AccueilClasseurCodexBoostersÉchangesProfil