Th eor` eme de Joachimsthal : Soit E une ellipse de repr esentation param etrique x=a cos t , o` u a > 0 et b > 0.

y = b sin t Quatre points distincts M1 , M2 , M3 et M4 de E de param` etres respectifs t1 , t2 , t3 et t4 sont cocycliques si et seulement si t1 + t2 + t3 + t4 2 Z.

preuve :

a) Supposons les quatre points cocycliques, ce sont alors des points dintersections de lellipse avec un cercle d equation x2 + y 2 + 2x + 2y + = 0. Un tel point de param` etre t v erie donc a2 cos2 t + b2 sin2 t + 2a cos t + 2b sin t + = 0 soit encore par les formules dEuler : a2 soit eit + eit 2
2

+ b2

eit eit 2i

+ 2a

eit + eit eit eit + 2b + =0 2 2i

a2 2it b2 2it b it e + e2it + 2 e + e2it 2 + a(eit + eit ) + (e eit ) + = 0 4 4 i

Puis en multipliant par e2it a2 b2 4it e + (a ib)ei3t + 4 Donc les eitk sont racines du polyn ome P (X ) = a2 b2 4 X + (a ib)X 3 + 4 a2 + b2 a2 b2 + X 2 + (a + ib)X + 2 4 a2 + b2 a2 b2 + e2it + (a + ib)eit + =0 2 4

pour k = 1, 2, 3, 4. Or dapr` es les relations entre coecients et racines dun polyn ome, le produit des 4 a2 b2 a2 b2 i(t1 +t2 +t3 +t4 ) racines de P vaut (1) 4 / 4 = 1, donc e = 1, autrement dit t1 + t2 + t3 + t4 2 Z.

b) R eciproquement, supposons que t1 + t2 + t3 + t4 2 Z, et que M1 , M2 , M3 et M4 soient quatre points distincts de E . Soit alors C un cercle passant par M1 , M2 et M3 . Il coupe E en un quatri` eme point M4 de param` etre t4 ( eventuellement confondu avec lun des trois premiers points, cest le cas o` u lellipse et le cercle sont tangents en un point, on a alors une racine double). Dapr` es a), on a alors t1 + t2 + t3 + t4 2 Z et donc par soustraction t4 t4 (mod 2 ). Ce qui signie que M4 = M4 et les quatre points M1 , M2 , M3 et M4 sont donc bien cocycliques.

Remarques : 1. Il faut bien connaitre les relations entre coecients et racines dun polyn ome et savoir quand on peut utiliser ces relations pour ne pas sexposer ` a des questions dont on ne connait pas les r eponses. 2. Une question importante est de savoir si l equivalence d emontr ee ici est aussi valable lorsque les points ne sont pas suppos es distincts. La r eponse est n egative si lon ne se donne pas dhypoth` eses suppl ementaires. En eet on peut tr` es bien avoir un cercle s ecant avec lellipse en quatre points distincts et choisir le m eme de ces quatre points pour M1 , M2 , M3 et M4 . Les racines eitk 1 k 4 sont alors toutes les m emes ; elles sont toutes egales ` a eit1 qui nest pourtant pas une racine multiple. Les relations entre coecients et racines ne sappliquent alors pas avec les eitk 1 k 4 .

Th` emes abord es : * * * * Polyn omes Relations coecients - racines Courbes param etr ees Coniques

Bibliographie : Oraux X-ENS, analyse 3 de S. Francinou, H. Gianella, S. Nicolas (CASSINI)