Vous êtes sur la page 1sur 4

Le thorme fondamental de lalgbre :

Une dmonstration par le calcul


diffrentiel et loptimisation
Jean-Baptiste Hiriart-Urruty
(*)
Ce qui est simple est souvent le meilleur ,
P.-P. Riquet (concepteur du canal du Midi).
Ce quon appelle le thorme fondamental de lAlgbre affirme que tout
polynme admet au moins une racine complexe ; on a eu rcemment, dans le bulletin
de lAPMEP [1], une vocation historique relatant la contribution de J. R. ARGAND.
Quand jtais tudiant en premier cycle universitaire, jai entendu de mes professeurs
(et pas seulement moi) quon allait tout nous dmontrer dans les cours de
mathmatiques sauf le thorme fondamental de lAlgbre ; bref sa
dmonstration nous tait mentionne comme un Graal inaccessible notre niveau. Or
il nen est rien Il existe une multitude de dmonstrations possibles, dont certaines
sont vraiment accessibles en deuxime anne dtudes en mathmatiques post Bac
(mme aprs la rforme LMD). Des articles de revue comme [2, 3], le chapitre 4
de la partie A de [6], un site web :
http ://math.fullerton.edu/mathews/c2002/funtheorem/funtheorem.html,
y sont consacrs. Y a t-il des dmonstrations du thorme fondamental de lAlgbre
qui soient plus simples que les autres ? La rponse est une question de got et,
comme souvent en mathmatiques, tout dpend de ce que lon suppose connu avant
den aborder la dmonstration. Reconnaissons toutefois que dans la plupart des
dmonstrations bien connues et diffuses, les techniques et rsultats concernant les
fonctions de la variable complexe y jouent un rle prpondrant [2]. Nous proposons
ci-dessous une dmonstration trs diffrente (au moins dans la dernire tape), base
sur le Calcul diffrentiel (tel quon lapprend en premire anne duniversit) et
lOptimisation (galement des programmes de premire et deuxime annes
duniversit). Lide de cette manire de conclure nest pas de moi, je lai apprise
dans divers crits pdagogiques sous la direction dun collgue russe, A. V.
TIKHOMIROV, professeur luniversit de Moscou [4, 5]. Jai pens quil tait utile de
la faire mieux connatre.
1. Appuis sur un socle commun de connaissances
Soit P(z) a
0
+ a
1
z + + a
n
z
n
le polynme coefficients complexes a
k
dont on
va soccuper, avec n 1 et a
n
0 (et galement a
0
0, sinon il ny a rien dmontrer,
0 est une racine). Notons tout de suite quon ne perd pas en gnralit en supposant
les a
k
rels ; en effet, si , Q est un nouveau polynme, coefficients
Q( ) : P( )P( ) z z z
Pour chercher et approfondir 695
APMEP
n
o
466
(*) Dpartement de Mathmatiques. Universit Paul Sabatier de Toulouse.
Hiriart-Texte 18/07/06 10:40 Page 695

rels cette fois, et si est une racine de Q, ou est une racine de P ; ceci nous
permettrait dallger un petit peu les notations mais sans plus.
My TAYLOR is everywhere
Nous sommes en premire anne dtudes post Bac. Quand on nous demande de
minimiser une fonction : R R drivable (suffisamment de fois), on passe par les
dites conditions ncessaires de minimalit dont voici la version la plus simple : en 0
suppos minimiser (localement) , on a ncessairement (0) 0 et (0) 0. En
gnral, on sen tient l Le problme est que ces conditions ne sont pas
informatives si (0) 0, les fonctions polynomiales t
k
, avec k 3, sont l pour
illustration ; il faut donc aller regarder plus loin. Considrons pour cela ce quon
appelle les conditions ncessaires doptimalit dordre suprieur. Elles sont
directement dduites de la formule de dveloppement de TAYLOR-YOUNG au point
candidat 0. Voici ce que cela donne. Soit : R R une fonction indfiniment
drivable en 0, telle que :
0 est un point de minimisation locale pour ;
il existe p tel que
(p)
(0) 0.
Alors, si s dsigne le premier entier pour lequel
(s)
(0) 0 (s 2 forcment), s est
ncessairement pair et
(s)
(0) > 0.
vrai dire, nous nallons utiliser ce rsultat que dans un contexte on ne peut plus
simple, celui des fonctions polynomiales.
Quand la compacit fait dfaut
Nous sommes en deuxime anne dtudes et on nous demande de minimiser une
fonction continue (de deux variables) f : R
2
R sur une partie compacte de R
2
. Le
thorme de WEIERSTRASS est l pour assurer lexistence dun point de minimisation
(et un de maximisation dailleurs). Quid quand on nous demande de minimiser sur
tout le plan R
2
? Eh bien, la compacit peut tre compense par une coercivit
linfini de f , cest--dire en forant f (x, y) tendre vers linfini quand la norme de
(x, y) tend vers linfini. De faon plus prcise, tant donn f : R
2
R, si
f (x, y) + quand ||(x, y)|| +, on est sr que f est borne infrieurement sur R
2
et que sa borne infrieure est atteinte. La dmonstration en est trs simple : soit M
une valeur prise par f ; puisque f est coercive linfini, il existe r tel que les valeurs
de f (x, y) dpassent M quand ||(x, y)|| est suprieur r ; inutile donc daller minimiser
f en dehors de la boule ferme de centre 0 et de rayon r : minimiser f sur R
2
quivaut
minimiser f sur cette partie compacte quest la boule ferme de centre 0 et de
rayon r ; on est ainsi ramen au contexte habituel dapplication du thorme de
WEIERSTRASS.
2. La dmonstration elle-mme.
Considrons la fonction suivante f (z) : |P(z)|
2
; mettre au carr est important pour
lisser les choses (penser la technologie des moindres carrs ), la fonction
module au carr ayant le bon got dtre drivable. La fonction f peut tre vue
comme une fonction du nombre complexe z x + iy, ou bien des deux variables
relles x et y, comme on voudra.
z

696 Pour chercher et approfondir


APMEP
n
o
466
Hiriart-Texte 18/07/06 10:40 Page 696
Dans la premire approche correcte de la dmonstration du thorme
fondamental de lAlgbre, ARGAND (au dbut du 19me sicle) avait considr la
minimisation de z |P(z)| sur C, mais il navait pas justifi que linfimum de |P(z)|
sur C tait atteint ; la mme difficult apparat chez GAUSS et CAUCHY.
Revenons notre fonction f . Premires observations : f est continue et f (z) +
quand |z| +. Voyons cela.
La continuit ne pose pas de difficult. Quant la deuxime proprit annonce,
observons la dominance du terme de plus haut degr dans lexpression
polynomiale en |z| apparaissant ci-dessous :
Cette condition de coercivit de f sur C, allie sa continuit, nous assure donc
que f est borne infrieurement sur C et que sa borne infrieure est atteinte : il existe
tel que Il sagit prsent de montrer que ce fait notre affaire,
cest--dire que
Note : sachant que f est positive, et que lon souhaite mettre en vidence un point
o f sannule, il est naturel de penser minimiser f .
Maintenant quon tient ce point de minimisation , il est tout aussi naturel
dexploiter les conditions ncessaires doptimalit en ce point. Pour cela, et dans un
souci de simplification dcriture, on commence par se dcaler vers lorigine en
considrant . De fait, est galement polynomial de degr n :
et notre objectif est de dmontrer que 0 est racine de , cest--dire que b
0
0.
Dans lexpression ci-dessus de , dsignons par s le premier entier 1 pour
lequel b
1
b
2
b
s1
0 et b
s
0 ; ainsi prsent,
pour [0, 2[, considrons la fonction numrique

de la variable relle t dfinie


par (a nest rien dautre que la fonction f value le long dune
droite passant par et dirige par e
i
). Bien videmment,

est minimise pour


t 0, et ce, quel que soit [0, 2[. Cest cette proprit que nous allons exploiter.
Dtaillons un peu plus lexpression polynomiale en la variable t de

(t) :


( ) e e e
i i i
t b b t b t b b t
s
s s
n
n n
s
s s
+ + +
( )
+ +

0 0
+
( )
+ +
( )

b t
b b b t b b t
n
n n
s
s s
s
s s
e
e e
i
i i


0
2
0 0
++ +
+
termes en avec t k s
b t b b
k
s
s
s
1
2
0
2
0
Re( e
i
)) o( ). + t
s
z

( ) : ( e )
i
t P t

2

P z b b z b z
s
s
n
n
( ) . + + +
0

P( ) z

P z b b z b z
n
n
( ) , + + +
0 1

P( ) z

P( ) : P( ) z z z +

f z ( ) .

0
z

f z f ( ) inf .

C
z

f z a z a z a z
a
k
k
k
n
n
n
k
k
k
n
n
( )

_
,


0 0
1
2
22 2
1
1
+

_
,

_
,

+ + z
z
z
n
O . quand
Le thorme fondamental de lalgbre 697
P
6
APMEP
n
o
466
Hiriart-Texte 18/07/06 10:40 Page 697

Par suite, s 2 (puisque ) et :
= 0 pour k 1, , s 1
(bien garder lesprit que s est indpendant de et que s 2).
Raisonnons par labsurde en supposant b
0
0. Sachant que b
s
0 (par dfinition),
la quantit peut encore scrire sous forme dveloppe :
avec , soit encore
Cette expression et donc balaye tout lintervalle
quand parcourt lintervalle [0, 2[. Or les conditions
doptimalit dordre suprieur nous indiquent que le premier k pour lequel
0 est pair et 0. On devrait donc avoir s pair (jusque l pas de
problme) et 0, ce qui nest pas le cas pour tous les [0, 2[.
Lhypothse de dpart est donc absurde, cest son contraire qui est vrai : b
0
0. La
dmonstration est termine.
Rfrences.
[1] O. KOUTEYNOFF, La dmonstration par Argand du thorme fondamental de
lalgbre, Bulletin de lAPMEP n
o
462 (2006), p. 122-137.
[2] E. FIEUX, P. LASSERRE, F. RODRIGUEZ, Approches analytiques du thorme de
DAlembert-Gauss : un bestiaire. paratre dans la Revue des mathmatiques de
lenseignement suprieur (ex-Revue de mathmatiques spciales).
[3] E. FIEUX, P. LASSERRE, F. RODRIGUEZ, Le thorme de DAlembert-Gauss,
retour du bestiaire : option topologie et analyse relle. En prparation.
[4] V. ALEXEEV, V. TIKHOMIROV, S. FOMINE, Commande optimale, ditions Mir
(1982).
[5] V. ALEXEEV, E. GALEEV, V. TIKHOMIROV, Recueil de problmes
doptimisation, ditions Mir (1987).
[6] F. GUNARD (traducteur), Les nombres. Leur histoire, leur place et leur rle
de lAntiquit aux recherches actuelles, ditions Vuibert (1998).
[7] J.-B. HIRIART-URRUTY, LOptimisation. Collection Que sais-je ? , Presses
Universitaires de France (1996).

( )
( )
s
0

( )
( )
k
0

( )
( )
k
0
+ +

u v u v
2 2 2 2
,

( ) i
( ) ! Re( e )
s
s
s
s b b 0 2
0

u s v s u v s cos sin cos( ). + +


2 2
u iv b b
s
+ :
0
0
Re[( ) (cos i sin )] u iv s s + +
Re( e )
i
b b
s
s
0

( ) i
( ) ! Re( e )
s
s
s
s b b 0 2
0

( )
( )
k
0

( ) 0 0
698 Pour chercher et approfondir
APMEP
n
o
466
APMEP
n
o
466
Hiriart-Texte 18/07/06 10:40 Page 698