eme ` ` Le theor fondamental de lalgebre rendu effectif : une preuve reelle algebrique par les suites de Sturm

Michael Eisermann
Grenoble I Institut Fourier, Universite www-fourier.ujf-grenoble.fr/eiserm

23 janvier 2009

Carl Friedrich Gau (17771855)

Augustin Louis Cauchy (17891857)

Charles-Franc ois Sturm (18031855)

Universite Rennes I Seminaire de calcul formel et complexite,

1/30

Prologue

eme ` ` Le theor fondamental de lalgebre, alias Gau-dAlembert, est un resultat ` cite, classique des mathematiques du 19e siecle. Il est souvent utilise, . . . et merite Il reste dactualite, par enseigne, donc une attention appropriee. exemple concernant ses aspects algorithmiques ou numeriques. du theor eme ` Si de nos jours lenonc e na plus rien de surprenant, la preuve ` remarquable : elle est el egante, reelle algebrique que je presente ici est tres ementaire, a pour objectif de la populariser. el et effective. Cet expose sur des idees de Gau (1799), Cauchy La preuve reelle algebrique est basee (1831/37), et surtout Sturm (1836), mais semble inconnue de nos jours. Jai e eu le plaisir de la decouvrir en preparant un cours de calcul formel, et jai et ` surpris de ne pas la trouver dans la litterature ensuite tres moderne. ` remettre cette belle demonstration ` la Ainsi ma contribution consiste a a ` du jour, apres ` plus dun siecle ` lumiere dans loubli, et de developper lesquisse de Sturm en due rigueur.

2/30

Plan
1

eme ` ` Le theor fondamental de lalgebre eme ` Le theor et son histoire Racines reelles de polynomes reels Racines complexes de polynomes complexes Sturm 1829/1835 : racines reelles de polynomes reels Lindice de Cauchy pour les polynomes reels La formule dinversion de Cauchy Suites de Sturm Sturm 1836 : racines complexes de polynomes complexes Lindice de Cauchy pour les polynomes complexes La formule du produit Invariance par homotopie Conclusions et perspectives

erence Ref : The Fundamental Theorem of Algebra made effective : an elementary real-algebraic proof via Sturm chains. www-fourier.ujf-grenoble.fr/eiserm/publications.html#roots
3/30

 eme ` ` Le theor fondamental de lalgebre

eme ` ` Theor (version breve)
n admet n racines complexes. Tout polynome complexe de degre

eme ` Theor (version longue)

Soit R le corps des nombres reels et soit C = R[i] ou ` i2 = 1. Alors pour tout polynome F = Z n + c1 Z n1 + + cn1 Z + cn ` coefcients c1 , . . . , cn1 , cn C il existe z1 , z2 , . . . , zn C tels que a F = (Z z1 )(Z z2 ) (Z zn ). Questions naturelles : ementaire Existe-t-il une demonstration el ? qui capte la geom etrie ? ` ?a ` quels corps ordonnes au lieu de R ? Peut-on affaiblir lhypothese Peut-on renforcer la conclusion ? la rendre effective ?

1.1

4/30

Quelques protagonistes
Scipione del Ferro (1456-1526) ` Fontana Tartaglia (1500-1557) Niccolo Gerolamo Cardano (1501-1576) Lodovico Ferrari (1522-1565) ... Niels Henrik Abel (1802-1829) Evariste Galois (1811-1832) Albert Girard (1595-1632) Descartes (1596-1650) Rene Gottfried Leibniz (1646-1716) ... Leonhard Euler (1707-1783) Jean le Rond dAlembert (1717-1783) Joseph-Louis Lagrange (1736-1813) Pierre-Simon Laplace (1749-1827) ... Carl Friedrich Gau (1777-1855) Augustin Louis Cauchy (17891857) Charles-Franc ois Sturm (18031855)
1.1 5/30

Tourisme mathematique

 Strategies de preuve
On conna t trois strategies de preuve :
1

fonctions analytiques, integration, Analyse : compacite, Stokes, . . . (dAlembert 1746, Argand 1814, Cauchy 1820) ; ` Algebre : TVI pour polynomes, fonctions symetriques / theorie de Galois (Euler 1749, Lagrange 1772, Laplace 1795, Gau 1816) ; Topologie algebrique : notion dindice [winding number ] (Gau 1799/1816, Cauchy 1831, SturmLiouville 1836)

ici est reelle La preuve present ee algebrique et se situe entre 2 et 3. Cette preuve reelle algebrique, quest-ce quelle offre dinteressant ? ementaire  Elle est el : arithmetique + TVI des polynomes reels. clos.  Tous les arguments sont valables sur un corps reel  La preuve est constructive : elle permet de localiser les racines. ` implementer  Lalgorithme est facile a et sufsamment efcace. eme `  Demonstration formelle du theor et de lalgorithme. ` Sous des hypotheses minimales nous obtenons des conclusions maximales.
6/30

1.1

 Des nombres reels aux corps reels clos

eme ` Theor (caracterisation des nombres reels)
(R, +, , ) sont equivalents Pour tout corps ordonne :
1 2 3 4

` laxiome de la borne superieure. (R, ) satisfait a Tout intervalle [a, b] R est compact. Tout intervalle [a, b] R est connexe. e des valeurs intermediaires Toute f : R R continue a la propriet : a < b f (a) < 0 < f (b) = x R : a < x < b f (x) = 0.

Deux tels corps sont isomorphes par un unique isomorphisme de corps. R. Un tel objet existe : on lappelle le corps des nombres reels, note Ceci necessite la logique de second ordre. Beaucoup moins sufra :

clos) Denition (corps reel

(R, +, , ) est dit reel clos si tout polynome Un corps ordonne ` la propriet e des valeurs intermediaires P R[X ] satisfait a sur R. Exemples : les nombres reels R, les reels algebriques Qc R, . . . admet une unique cloture Tout corps ordonne reelle. Exemple : R(X )c .
7/30

1.2

 Complements sur les corps reels clos

Remarque
clos lordre est determin par a 0 r R : r2 = a. Dans un corps reel e Demonstration. Pour a > 0 le polynome X 2 a a une racine dans [0, 1 + a].

eme ` Theor (cloture reelle)

(K, +, , ) admet une cloture Tout corps ordonne reelle, ` cest-a-dire une extension algebrique R K qui soit reelle close. Deux telles clotures sont isomorphes par un unique isomorphisme de corps. La cloture reelle est donc bien plus rigide que la cloture algebrique !

eme ` Theor (ArtinSchreier 1927)

Soit R un corps et soit C R un corps algebriquement clos. clos et C = R[i]. Si 1 < dimR (C) < alors R est reel ` minimale. Ainsi les corps reels clos nous fournissent lhypothese

eme ` Theor (Tarski 1951, Seidenberg 1954)

ementaire. Les corps reels clos ont tous la meme theorie el
8/30

1.2

 Racines reelles de polynomes reels

Comment determiner/majorer le nombre de racines de P R[X ] dans [a, b] ?

Reponses partielles par Descartes (1596-1650), Fourier (1768-1830), . . .

eme ` Theor de Sturm (1829/35)

clos, alors Si R est reel ` b # x [a, b] P (x) = 0 = Va S0 , S 1 , . . . , S n .

Ici la suite S0 , S1 , . . . , Sn est obtenue de S0 = P et S1 = P par division ee, Sk1 = Qk Sk Sk+1 , jusqua ` ce que Sn+1 = 0. euclidienne iter eme ` Ce theor permet de compter puis de localiser toutes les racines reelles :
5 3 2 1 2 1 1 1 2 1 1 1 11 1 1

1.2

9/30

 Lindice complexe : motivation geom etrique

Exemple : F = Z 5 5Z 4 2Z 3 2Z 2 3Z 12 et = [1, +1] [1, +1].
Im d c Re F(d) a b F(c) Im F(b) F(a) Re

geom Idee etrique (Gau 1799) : On denit ind(F | ) comme le nombre des tours de F | autour de 0. Si est grand, alors ind(F | ) = ind(Z n | ) = n. Si est petit, alors ind(F | ) = ind(const| ) = 0. Lindice ne change que si F | passe par 0. n 1, le polynome Par consequent, en degre F doit avoir une racine. ` Probleme technique : Comment denir rigoureusement cet indice ?
1.3 10/30

 es algebriques Lindice complexe : propriet

clos et soit C = R[i], i2 = 1. Soit R un corps reel Soit = lacets : [0, 1] C , (0) = (1), polynomiaux par morceaux .

eme ` Theor
es suivantes : Il existe une application ind : Z ayant les propriet
0 1

: ind( ) se calcule par lalgorithme de Sturm sur R. Calculabilite Normalisation : Pour tout rectangle C on a ( 1 si 0 Int , ind( ) = 0 si 0 C . : ind(1 2 ) = ind(1 ) + ind(2 ). Multiplicativite Invariance par homotopie : ind(0 ) = ind(1 ) si 0 1 dans C .

2 3

reside La difculte dans la construction ! Tous les moyens sont bons : a ` exp : C Theorie des revetements, appliquee C avec groupe Z. Groupe fondamental, ind : 1 (C , 1) Z via Seifertvan Kampen. Homologie, ind : H1 (C ) Z via les axiomes dEilenbergSteenrod. eme ` R topologique. Topologie differentielle, theor de Sard et degre dz Analyse complexe, indice analytique ind( ) = 21 . i z ` Algebre reelle, indice algebrique ind : Z via les suites de Sturm.
11/30

1.3

 eme ` Complement : le theor fondamental par homotopie

On xe = [1, +1] [1, +1] C. Pour tout polynome F = Z n + cn1 Z n1 + + c1 Z + c0 on construit une homotopie H : [0, 1] C comme suit. Pour t > 0 nous posons Ht (z ) = tn F (z (1 t)/t). Ceci setend continument en t = 0 par Ht (z ) = (1 t)n z n + cn1 (1 t)n1 tz n1 + + c1 (1 t)tn1 z + c0 tn . Nous obtenons une homotopie entre H0 (z ) = z n et H1 (z ) = c0 dans C. Si F na pas de racines dans C, alors lhomotopie est dans C . Lindice nous donne n = ind (H0 ) = ind (H1 ) = 0. : si n 1, alors F admet au moins une racine z C. Par contrapose n. On factorise F = (Z z )G, puis on conclut par recurrence sur le degre
1.3 12/30

 Racines complexes de polynomes complexes

clos et soit C = R[i], i2 = 1. Soit R un corps reel es, Nous savons construire lindice, ayant les bonnes propriet lacets : [0, 1] C ind : Z polynomiaux par morceaux eme ` ` Ceci donne une preuve effective du theor fondamental de lalgebre : ind (F ) compte les racines de F dans . (Sturm complexe) ind (F ) = deg(F ) pour assez grand. (Borne de Cauchy) Ainsi lindice permet de localiser toutes les racines de F dans C :
0 1 8 1 4 3 1 0 2 0 2 0 1 0 0 0 1

les racines, on passe a ` la methode Une fois quon a bien separ e de Newton.
13/30

1.3

Quelques dates : aspects constructifs et algorithmiques

algebrique Indice reel Sturm 1829/35 : Memoire sur la resolution des equations numeriques Cauchy 1831/37 : Calcul des residus et calcul des indices eme ` SturmLiouville 1836 : Demonstration dun theor de M. Cauchy Reception dans des manuels ` et complexe) Serret 1877 : Cours dalgebre superieure (Sturm reel a ` peine complexe) Weber 1898 : Lehrbuch der Algebra (Sturm reel, et complexe) Runge 1898 : Encyklopadie (Sturm reel topologique Degre Kronecker 1869 : Systeme von Functionen mehrer Variabeln Brouwer 1912 : Abbildungen von Mannigfaltigkeiten Weyl 1924 : Fundamentalsatz der Algebra Algorithmes et implementations Lehmer 1969 : Search procedures for polynomial equation solving Wilf 1978 : Bisection algorithm for computing zeros of polynomials Schonhage 1982 : The fundamental theorem of algebra in terms of computational complexity
14/30

1.3

Changements de signe : conventions de comptage

` un corps ordonne ( R , + , , ) . On considere Nous comptons le nombre V (s0 , s1 ) des changements de signes : V (+, ) = V (, +) = 1, V (+, +) = V (, ) = V (0, 0) = 0, V (+, 0) = V (0, +) = V (, 0) = V (0, ) = 1 . 2

Denition
ements Pour une suite (s0 , . . . , sn ) del dans R nous posons V (s0 , . . . , sn ) :=
n X k=1 n X 1 sign(sk1 ) sign(sk ). 2 k=1

V (sk1 , sk ) =

Pour une suite (S0 , . . . , Sn ) de polynomes dans R[X ] nous posons ` ` Va S0 , . . . , Sn := V S0 (a), . . . , Sn (a) .
b Pour la difference en a, b R nous ecrivons Va := Va Vb .

traditionnelle (Descartes, Fourier) : on forme dabord la suite ! Denition (s) := V ( ements reduite s en supprimant les el nuls de s, puis on denit V s).
15/30

2.0

` Les regles de Descartes et de Fourier

Comment determiner le nombre de racines de P R[X ] dans [a, b] ? cette question. . . Beaucoup de mathematiciens ont etudi e ` La regle de Descartes majore le nombre des racines positives :

eme ` ` Theor (regle de Descartes)

Pour tout polynome P = c0 + c1 X + + cn X n dans R[X ] on a (c0 , c1 , . . . , cn ). # x R>0 P (x) = 0 V
mult

` tout intervalle reel : Fourier etendit cette majoration a

eme ` ` Theor (regle de Fourier)

Pour tout polynome P = c0 + c1 X + + cn X n dans R[X ] on a b a # x ]a, b] P (x) = 0 V (P, P , . . . , P (n) ).
mult

pour tout intervalle ]a, b] R. Si P a n racines dans R, alors on a egalit e ` calculer. Avantage : La majoration est facile a ` Inconvenient : La borne ainsi obtenue est souvent trop grossiere. Cetait letat de lart avant la decouverte spectaculaire de Sturm en 1829.
16/30

2.0

 Lindice de Cauchy : comptage de poles

On compte les poles dune fraction rationnelle f R(X ) comme suit :
+1/2 a 1/2 Ind=+1 +1/2 a 1/2 Ind=1 Ind=0 +1/2 a 1/2 +1/2 a 1/2 Ind=0

Denition (indice de Cauchy)

Pour f R(X ) et a R on pose Inda (f ) := Ind+ a (f ) Ind a (f ) ou ` 8 1 > <+ 2 1 Inda (f ) := 2 > : 0 X
x]a,b[

si lim a f = +, si lim a f = , sinon.

Pour un intervalle [a, b] R on pose

+ Indb a (f ) := Inda (f ) +

Indx (f ) Ind b (f ).
(b) Indb a (f ) = Ind (a) (f ).
17/30

es : Propriet

c c Indb a (f ) + Indb (f ) = Inda (f )

et

2.1

Lindice de Cauchy : comptage de racines

ee logarithmique) Proposition (deriv
Pour f R(X ) 8 > <+1 si a est une racine de f , on a Inda (f /f ) = 1 si a est un pole de f , > : 0 sinon.

Demonstration. On factorise f = (X a)m g tel que g (a) R . ` On obtient f = Xm +g . Ainsi Inda f = sign(m). f a g f

Corollaire (racines reelles de polynomes reels)

Lindice Indb dans [a, b] : a (P /P ) compte les racines de P R[X ] P # x [a, b] P (x) = 0 = Indb . a P Deventuelles racines sur le bord {a, b} comptent pour un demi.

` Probleme : Comment calculer lindice sans conna tre les poles ?

b 1 Exemple : le TVI se reformule comme Indb a ( P ) = Va (1, P ).

Ceci transforme le comptage sur [a, b] en un comptage sur {a, b}.

Q erale Solution gen : Suite de Sturm pour calculer Indb a ( P ).
2.1 18/30

 clos La formule dinversion sur un corps reel

Formule dinversion (Cauchy 1837)
Si P, Q R[X ] nont pas de racine commune en a ni en b, alors P Q b` + Indb = Va P, Q . Indb a a P Q Demonstration. On peut supposer que P = 0 et Q = 0 et pgcd(P, Q) = 1. Supposons dabord que [a, b] ne contient pas de racine de P ni de Q. ` `Q b P En absence de poles, les indices Indb a P et Inda Q sont nuls. b Le TVI assure que P et Q ne changent pas de signe, donc Va (P, Q) = 0. ` bisection de lintervalle. La formule est additive par rapport a ` regarder le cas dun seul pole : P (a) = 0 et Q(a) = 0. Il ne reste qua

Indb a Indb a

`Q
P

1 = 2 Va (P, Q) = 1 , Vb (P, Q) = 1 2 1 = +2 Va (P, Q) = 1 , Vb (P, Q) = 0 2

`Q
P

! Pour largument local , sur des petits intervalles [a, a + ] et [a , a] autour dun la continuite des polynomes pole, P, Q suft. Ceci est valable sur tout corps ordonne. eme ` La conclusion globale sur [a, b] necessite le theor des valeurs intermediaires .
19/30

2.2

Suites de Sturm
Denition (suite de Sturm)
Une suite (S0 , . . . , Sn ) dans R[X ] est de Sturm sur [a, b] R si elle verie : Si Sk (x) = 0 pour 0 < k < n et x [a, b], alors Sk1 (x)Sk+1 (x) < 0.

Corollaire (de la formule dinversion)

Indb a ` S1
S0

+ Indb a

` Sn1
Sn

` b = Va S0 , S1 , . . . , Sn1 , Sn .

Demonstration. La formule dinversion est telescopique : pour n = 2 on a b S0 b S2 b S1 b` b S1 + Inda + Inda + Inda = Va S0 , S1 , S2 . Inda S0 S1 S1 S2

Proposition (fraction continue selon lalgorithme dEuclide)

Pour R ou ` pgcd(R, S ) = 1 lalgorithme dEuclide produit une suite de Sturm S S0 = S , S1 = R, . . ., Sn = 1, Sn+1 = 0 telle que Sk1 = Qk Sk Sk+1 .

eme ` Corollaire : le theor de Sturm

clos on a Pour tout polynome P R[X ] sur un corps R reel P b b` # x [a, b] P (x) = 0 = Inda = Va S0 , S 1 , . . . , S n . P
20/30

2.3

 es algebriques Lindice complexe : rappel des propriet

clos et soit C = R[i], i2 = 1. Soit R un corps reel Nous voulons construire lindice algebrique lacets : [0, 1] C ind : Z polynomiaux par morceaux es suivantes : On exige les propriet
1

Normalisation : Pour tout rectangle C on a ( 1 si 0 Int , ind( ) = 0 si 0 C . : ind(1 2 ) = ind(1 ) + ind(2 ). Multiplicativite Invariance par homotopie : ind(0 ) = ind(1 ) si 0 1 dans C .

2 3

ece Ben algorithmique : calcul par les suites de Sturm. Calcul formel au lieu du numerique : tous les calculs sont exacts.

3.1

21/30

 Lindice complexe : motivation geom etrique et denition algebrique

Pour F C[X ] la restriction : [0, 1] C, (x) = F (x), decrit un chemin dans C :

Im

1 +1
x=1 x=0

+1 1
Re

Observation
Lindice indC [0,1] (F ) :=
1 2

Ind1 0

` re F
im F

) compte les tours autour de 0.

` eralement ` Plus gen : pour a, b C on considere (x) = F a + (b a)x .

Denition
` C Pour F C[Z ] et a, b C on pose indC [a,b] (F ) = ind[0,1] F a + (b a)X .
3.1 22/30

` un rectangle Lindice par rapport a

Exemple : F = Z 5 5Z 4 2Z 3 2Z 2 3Z 12 et = [1, +1] [1, +1].
Im d c Re F(d) a b F(c) Im F(b) F(a) Re

Denition
Pour tout polynome F C[Z ] et tout rectangle C on pose
C C C C indC (F ) := ind[a,b] (F ) + ind[b,c] (F ) + ind[c,d] (F ) + ind[d,a] (F ).

Proposition (normalisation)
On a indC ( Z z0 ) = 8 1 > > > <1
2 1 > > > :4 0

si z0 si z0 si z0 si z0

est dans linterieur de , de , est dans une arete est un sommet de , ` lexterieur est a de .
23/30

3.1

La formule du produit
Pour F = P + iQ et G = R + iS on a F G = (P R QS ) + i(P S + QR).

Lemme (formule du produit)

P R Pour toute paire de fractions rationnelles Q , S R(X ) nous avons P R QS P R P R b Indb = Indb + Indb Va 1, + . a a a P S + QR Q S Q S

Cas particulier : pour P = S et Q = R on retrouve la formule dinversion. eral se demontre Le cas gen exactement comme le cas particulier.

eme ` Theor (multiplicativite)

Si F, G C[Z ] nont pas de racines sur les sommets de R2 , alors
C C indC (F G) = ind (F ) + ind (G).

Corollaire (comptage de racines complexes, cas scinde)

F = c(Z z1 ) (Z zn ) sur C, sans racines sur les Soit F C[Z ] scinde, sommets de . Alors lindice indC (F ) compte les racines dans . sur C. est scinde ! Nous devons encore montrer que sur C tout polynome
24/30

3.2

Comptage de racines complexes

Nous devons montrer : si indC (F ) > 0, alors F (z ) = 0 pour un z . : si F (z ) = 0 pour tout z , alors indC Par contrapose (F ) = 0. Nous plongeons C[Z ] C[X, Y ] via Z = X + iY .

Lemme (version locale)

Si F C[X, Y ] ne sannule pas en (x, y ) R2 , alors il existe > 0 tel que indC (F ) = 0 pour tout [x , x + ] [y , y + ]. ( explicite, sur tout corps ordonne). Demonstration. Continuite

eme ` Theor (version globale)

Si F C[X, Y ] ne sannule pas sur R2 , alors indC (F ) = 0. Demonstration. Sur les nombres reels R : compacite. clos quelconque : suites de Sturm. Sur un corps R reel

eral) Corollaire (comptage de racines complexes, cas gen

Pour tout F C[Z ] lindice indC (F ) compte les racines de F dans . Demonstration. On suppose que F na sannule pas sur les sommets de . Soit F = (Z z1 ) (Z zm )G tel que G nait pas de racines dans C. de lindice a ` F et le theor eme ` ` G. On applique la multiplicativite ci-dessus a
25/30

3.3

 Complement : demonstration par les suites de Sturm

On suppose que F C[X, Y ] ne sannule pas sur = [x0 , x1 ] [y0 , y1 ]. ` On considere S0 = im F et S1 = re F dans C[X, Y ] = C[Y ][X ]. On construit S2 , . . . , Sn C[Y ][X ] par division pseudo-euclidienne : c2 k Sk1 = Qk Sk Sk+1 , degX Sk+1 < degX Sk , Qk C[Y ][X ], degX Sn = 0, ck C[Y ], Sn C[Y ].

Si Sn ne sannule pas sur [y0 , y1 ], on peut appliquer Sturm : ` noter : si Sk (x, y ) = 0 en (x, y ) , alors Sk1 (x, y )Sk+1 (x, y ) < 0. A ` ` x1 re F 1 re F 2 indC Y = y0 + Indy X = x1 (F ) = + Indx0 im F y0 im F ` ` 0 re F 0 re F + Indx Y = y1 + Indy X = x0 x1 im F y1 im F ` x1 ` 1 S 0 , . . . , S n X = x1 = + Vx S0 , . . . , Sn Y = y0 + Vyy 0 0 ` ` x0 S0 , . . . , Sn Y = y1 + Vyy0 S0 , . . . , Sn X = x0 = 0. + Vx
1 1

` Au pire il existe un nombre ni de parametres critiques y [y0 , y1 ]. ` En raisonnant dans C[X ][Y ] : parametres critiques x [x0 , x1 ]. Autour dun point critique (x, y ) on applique le lemme local. En dehors des points critiques on applique le cas .
3.3 26/30

` des racines Localisation grossiere

Denition (borne de Cauchy)
Soit F = Z n + cn1 Z n1 + + c1 Z + c0 dans C[Z ]. On pose M := max{|c0 |, . . . , |cn1 |} et F := 1 + M .

eme ` ` des racines) Theor (localisation grossiere

Pour tout z C tel que |z | F on a |F (z )| 1. Toutes les racines de F dans C sont dans B (F ) = {z C | |z | < F }. est vrai pour F = Z n : ici M = 0 et F = 1. Demonstration. Lenonc e Dans la suite nous pouvons supposer M > 0 et F > 1. ` Soit z C tel que |z | F , cest-a-dire |z | 1 M . On trouve |F (z ) z n | = |c0 + c1 z + + cn1 z n1 | |c0 | + |c1 ||z | + + |cn1 ||z n1 |
| 1 |z |n 1. M + M |z | + + M |z |n1 = M |z |z |1
n

Ainsi nous obtenons |z n | = |z n F (z ) + F (z )| |z n F (z )| + |F (z )|, dou ` |F (z )| |z n | |F (z ) z n | |z |n (|z |n 1) = 1.

27/30

3.3

Invariance par homotopie

eme ` Theor (invariance par homotopie)
Soit F C[T, Z ]. Supposons que pour tout t [0, 1] le polynome C Ft C[Z ] na pas de racine sur . Alors indC ( F ) = ind ( 0 F 1 ). Demonstration. Labsence de racines sur [0, 1] [a, b] garantit que
C indC [a,b] (F | T = 0) ind[a,b] (F | T = 1) C = indC [0,1] (F | Z = a) ind[0,1] (F | Z = b). C de donne indC La somme sur les quatre cotes (F0 ) ind (F1 ) = 0.

Corollaire
Pour F C[Z ] et B (F ) on a indC (F ) = deg F . Demonstration. Soit F = Z n + cn1 Z n1 + + c0 . n Alors Ft = Z + t(cn1 Z n1 + + c0 ) deforme F1 = F en F0 = Z n . ` 0 = 1 . La borne de Cauchy t = 1 + tM diminue de 1 = F a C Ainsi Ft na pas de racines sur , dou ` indC (F1 ) = ind (F0 ) = n. eme ` Ceci prouve le theor fondamental : contient n racines de F .
3.3 28/30

Conclusions et perspectives
clos nous savons construire lindice algebrique Sur tout corps reel lacets : [0, 1] C ind : Z. polynomiaux par morceaux ementaire eme ` ` Preuve el et effective du theor fondamental de lalgebre.

sur les degres algebriques Controle

n-clos R[i] algebriquement A-t-on lequivalence R reel n-clos ? La reciproque Limplication est valable en petit degre. est claire.

asymptotique Optimisation algorithmique : complexite

` b bits dun polynome `de degre Localisation des racines a n: (n4 b2 ) n2 (n + b) , Schonhage algebrique :O vs numerique :O 1982. Comment rendre la version algebrique plus efcace ?

Indice algebrique en dimension superieure

eme ` Theor du point xe de Brouwer sur des corps reels clos. sur les degres algebriques Controle ?
4.0 29/30

Je vous remercie de votre attention !

Michael.Eisermann@ujf-grenoble.fr www-fourier.ujf-grenoble.fr/eiserm The Fundamental Theorem of Algebra made effective : an elementary real-algebraic proof via Sturm chains
4.0

Vos remarques et suggestions seront les bienvenues !

30/30