Universit de Rennes 1 Prparation lagrgation de mathmatiques Auteur du document :

M. Coste

Racines de la drive dun polynme du troisi`me degr e e o e e

Cest un dveloppement qui peut se placer dans direntes leons (sur les coniques, sur les racines dun e e c polynme, sur les applications des complexes ` la gomtrie ou encore sur les applications des angles). o a e e Le rsultat donne un supplment par rapport au thor`me de Gauss-Lucas (les racines de la drive dun e e e e e e polynme non constant P sont contenues dans lenveloppe convexe des racines de P ), dans le cas dun o polynme de degr 3 : o e Theor`me 1 Soient M1 , M2 et M3 trois points non aligns dans le plan de la variable complexe, daxes e e respectivement z1 , z2 et z3 . Soit P (X) = (X z1 )(X z2 )(X z3 ) . Alors les racines du polynme driv P sont les foyers dune ellipse tangente aux trois cots du triangle o e e e M1 M2 M3 en leurs milieux. Ce rsultat se trouve, avec la dmonstration qui est donne dans la deuxi`me section (` partir du deuxi`me e e e e a e petit thor`me de Poncelet), dans Marden : Geometry of polynomials. Une autre dmonstration est donne e e e e dans le livre dexercices Tissier : Mathmatiques Gnrales, p. 224-227. e e e

Le deuxi`me petit thor`me de Poncelet e e e

Ce nest certainement pas un rsultat fondamental sur les coniques. On peut le voir dans Lebosse e Hemery p. 283, dans Deltheil-Caire p. 245, dans Berger : Gomtrie (17.6.3.6). Voici lnonc : e e e e Theor`me 2 Soit E une ellipse de foyers F1 et F2 . Soit P un point extrieur a E et soient P T1 et P T2 e e ` les deux tangentes menes de P ` E, o` T1 et T2 sont les points de tangence. Alors les angles de droites e a u (P T1 , P F1 ) et (P F 2, P T 2) sont gaux. e La dmonstration utilise la proprit tangentielle fondamentale des ellipses : la tangente P T1 est la e ee bissectrice extrieure de langle (T1 F1 , T2 F2 ). Autrement dit, si F1 le symtrique orthogonal de F1 par e e e rapport a la tangente P T1 , alors les points F2 , T1 et F1 sont aligns et on a ` d(F2 , F1 ) = d(F2 , T1 ) + d(T1 , F1 ) = d(F2 , T1 ) + d(T1 , F1 ) = 2a , o` a est le demi grand-axe de lellipse. De mme, si F1 est le symtrique orthogonal de F1 par rapport a u e e ` P T2 , alors F2 , T2 et F1 sont aligns et d(F2 , F1 ) = 2a. e

T
2

F
1

F F
2 1

T
1

Notons RD la symtrie orthogonale par rapport a une droite D. Rappelons que si D et D se coupent en e ` O, RD RD est la rotation de centre O et dangle (mesur modulo 2) deux fois langle de droites (D, D ) e (mesur modulo ). Donc, pour montrer le deuxi`me petit thor`me de Poncelet, il sut de vrier que e e e e e RP F1 RP T1 et RP T2 RP F2 sont la mme rotation de centre P . Pour cela, on dtermine limage de F1 e e par ces deux transformations. On a clairement RP T1 (F1 ) = F1 et RP F1 (RP T1 (F1 )) = F1 . On a vu plus haut que d(F2 , F1 ) = d(F2 , F1 ) = 2a, et par ailleurs on a d(P, F1 ) = d(P, F1 ) = d(P, F1 ). Donc P F2 est la mdiatrice de F1 F1 e et RP F2 (F1 ) = F1 . On obtient aussi RP T2 (RP F2 (F1 ) = F1 , ce qui montre que les rotations RP F1 RP T1 et RP T2 RP F2 co ncident et ach`ve la dmonstration du thor`me. e e e e

Les racines de la drive e e

Nous passons maintenant a la dmonstration du thor`me 1. Soient w1 et w2 les racines de P , et ` e e e soient F1 et F2 les points daxes w1 et w2 . Le thor`me de Gauss-Lucas nous dit que F1 et F2 sont a e e ` lintrieur du triangle M1 M2 M3 . e Montrons lgalit dangles de droites (M1 M2 , M1 F1 ) = (M1 F2 , M1 M3 ). On remarque que P (X) e e scrit de deux mani`res direntes : e e e P (X) = 3 (X w1 )(X w2 ) = (X z1 )(X z2 ) + (X z2 )(X z3 ) + (X z3 )(X z1 ) .

En faisant X = z1 , on obtient 3 (z1 w1 )(z1 w2 ) = (z1 z2 )(z1 z3 ), do` u z2 z 1 w2 z1 =3 . w1 z1 z 3 z1 En passant aux arguments, on obtient lgalit dangles recherche. e e e Construisons maintenant lellipse E de foyers F1 et F2 qui est tangente au cot M1 M2 . Pour ceci, on e prend le symtrique orthogonal de F1 par rapport a M1 M2 , soit F1 . La droite F2 F1 coupe M1 M2 en T1 . e ` Lellipse E est lensemble des points Q tels que d(F1 , Q) + d(F2 , Q) = d(F1 , T1 ) + d(F2 , T1 ). Soit M1 T2 la deuxi`me tangente ` E de M1 , o` T2 est le point de tangence. Dapr`s le deuxi`me petit thor`me de e a u e e e e Poncelet, on a (M1 M2 , M1 F1 ) = (M1 F2 , M1 T2 ) et donc la tangente M1 T2 co ncide avec le cot M1 M3 . e En changeant les rles des sommets, on montre de mme que E est tangente au cot M2 M3 . e o e e Il reste ` vrier que les points de tangence de lellipse E sont bien les milieux des cots. Montrons le a e e pour le milieu I du segment [M1 M2 ], daxe (z1 + z2 )/2. Il sut de vrier que M1 M2 est la bissecrice e extrieure de (IF1 , IF2 ), et donc de montrer lgalit dangles (IM1 , IF1 ) = (IF2 , IM2 ). En faisant e e e X = (z1 + z2 )/2 dans les deux expressions de P (X), on obtient 3 z1 + z 2 w1 2 z1 + z2 w2 2 = z2 z1 2 z1 z2 2 ,

do` lgalit suivante qui donne lgalit des angles en passant aux arguments : u e e e e 12 w1 z1 +z2 z2 z1 2 = . z1 z2 w2 z1 +z2 2