Construction des foyers dune ellipse ` a la r` egle et au compas

Michel Coste 27 juin 2007

Etant donn e une ellipse trac ee dans le plan, construire ses foyers ` a la r` egle et au compas.

Th eorie

Dabord : pourquoi est-ce possible ? On applique ici le crit` ere de constructibilit e des nombres. On peut se poser le probl` eme de la fa con suivante : etant donn es les coordonn ees de cinq points choisis sur lellipse, peut-on construire les coordonn ees des foyers ? Il sut de voir quels calculs on a ` a faire. Dabord on calcule l equation de lellipse ` a partir des coordonn ees des cinq points. On peut supposer que le coecient de x2 dans l equation est 1 puisquil sagit dune ellipse et que la partie homog` ene de degr e deux de l equation doit etre d enie. Les cinq autres coecients sobtiennent par la r esolution du syst` eme lin eaire de Cramer qui exprime que lellipse passe par les cinq points choisis. L equation de lellipse est donc ` a coecients dans le sous-corps K de R engendr e par les coordonn ees des cinq points choisis. Les coordonn ees du centre se trouvent aussi en r esolvant un syst` eme lin eaire ` a coecients dans K , donc il est ` a coordonn ees dans K . On met ensuite l equation de lellipse sous forme r eduite dans un rep` ere orthonorm e (calculer la matrice de changement de base orthonorm ee), et on obtient les coordonn ees des foyers ` a partir de l equation r eduite. Tout ceci se fait par r esolution d equations du second degr e, donc par des sous-extensions de degr e deux successives de K dans R. Les coordonn ees des foyers sont donc bien constructibles a partir de celles des cinq points. `

Pratique

Maintenant : comment faire en pratique ? Je nai pas vu de r ef erence pr ecise (signalez-moi si vous en trouvez une), mais il y a un exercice du Berger quon peut utiliser : 17.9.22, D etermination dune ellipse par deux demi-diam` etres conjugu es. Il faut d ej` a construire ` a la r` egle et au compas le centre et deux demidiam` etres conjugu es de lellipse pour se mettre dans la situation de lexercice (voir en n de section des indications sur comment proc eder). Ensuite on applique la construction donn ee dans l enonc e de lexercice pour obtenir les axes de lellipse. Une fois quon a les axes, on a facilement les foyers : on trace le

v a O u

E Fig. 1 Construction des axes cercle de centre une extr emit e du petit axe et de rayon la moiti e de la longueur du grand axe ; les foyers sont lintersection de ce cercle avec le grand axe. Il reste, pour justier la construction, ` a faire lexercice 17.9.22. Je rappelle bri` evement la construction. On a comme donn ees le centre O de lellipse et les deux extr emit es a et a de demi-diam` etres conjugu es (issus bien s ur de O). Sur la perpendiculaire ` a (Oa ) passant par a, on place les deux points u et v dont la distance ` a a est egale ` a la distance entre O et a . Les axes de lellipse sont les bissectrices de (Ou) et (Ov ). ` similitude pr` On peut sen sortir en calculant. A es on peut choisir un rep ere orthonorm e pour avoir O = (0, 0), a = (1, 0) et a = (, )). Alors u = (, + 1) et v = (, 1). Les pentes des bissectrices de (Ou) et (Ov ) sont les solutions de l equation (penser ` a la formule pour la tangente de la somme de deux angles) : 2t = 1 t2 +1 1 + . ( + 1)( 1) 1 2

Par ailleurs on sait que l equation de lellipse dans le rep` ere (non ortho 2 2 ` partir de norm e !) (O, Oa , Oa) est x + y = 1. A ca on obtient l equation dans le rep` ere orthonorm e choisi : cest q = 1 o` u q est la forme quadratique de matrice 1 0
1

1 0

1 1

1 (1 + 2 )
2

Les pentes des axes sobtiennent en cherchant ` a mettre la matrice de q sous c s forme diagonale par une rotation de matrice , avec t = s/c. Le fait s c que c s 1 1 c s 1 2 s c (1 + 2 ) s c 2

D a E j k

Fig. 2 Construction dun diam` etre conjugu e soit diagonale se traduit par l equation 1 + 2 (1 t2 )( ) = t(1 ), 2 et cest bien la m eme equation du second degr e en t que celle obtenue plus haut. Pour conclure, indiquons comment construire le diam` etre (ab) de lellipse conjugu e` a une direction D donn ee. Ceci permettra de construire une paire de diam` etres conjugu es, et le centre comme intersection de ces diam` etres. On trace deux cordes (gh) et (jk ) parall` eles ` a D. La droite qui joint les points (gk ) (hj ) et (gj ) (hk ) coupe lellipse suivant le diam` etre (ab). Ceci marche bien pour un cercle (o` u le diam` etre conjugu e ` a une direction est le diam` etre orthogonal ` a celle-ci), et on passe du cercle ` a lellipse par une anit e. On aurait pu aussi construire (ab) comme la droite joignant les milieux des segments [gh] et [jk ].

Compl ements

Cette partie vient dune discussion avec Baptiste Devyver, que je remercie. Elle porte sur deux points : 1. Une autre construction des axes de lellipse gure dans le livre de M. Berger (16.3.10.2) et ma et e signal ee par B. Devyver. 2. Dans les constructions on utilise le trac e de lellipse dans le plan, alors que la partie th eorie part de cinq points dans le plan d enissant lellipse. La question qui se pose est la construction ` a la r` egle et au compas des 3

deux points dintersection dune droite D avec une ellipse E donn ee par cinq points On utilise du mat eriel de g eom etrie projective que lon va d ecrire.

3.1

Homographies involutives

Une homographie involutive sur une droite projective ou sur une conique est une homographie h = Id telle que h2 = Id. Un exemple dhomographie involutive sur une droite projective D est donn e par la conjugaison par rapport ` a une conique C ` a laquelle D nest pas tangente. Elle fait correspondre ` a un point M sur D le point M conjugu e de M sur D par rapport ` a C . On peut remonter au plan vectoriel P dont la droite D est lespace projectif associ e : l equation de la conique C donne en restriction ` a P une forme quadratique q non d eg en er ee (la non d eg en erescence correspond au fait que D nest pas tangente ` a C ), et la droite vectorielle associ ee ` a M est lorthogonal pour q de la droite vectorielle associ ee ` a M . On peut choisir une base de P orthogonale pour q , dans laquelle q s ecrit (` a un facteur constant non nul pr` es) x x2 c y 2 ; en utilisant labscisse projective z = sur D, la conjugaison M M y c s ecrit z . z Donnons nous une ellipse dans un plan ane r eel. Rappelons que les points de la droite de linni du plan projectif compl et e du plan ane correspondent aux directions de droites dans le plan ane. Le passage dune direction ` a la direction conjugu ee par rapport ` a lellipse est une homographie involutive sur la droite de linni. Une conique propre C a une structure de droite projective obtenue par bijection avec le faisceau de droites issues dun point A de C (` a une droite D du faisceau correspond le deuxi` eme point dintersection de D avec C ). Ceci permet de parler dhomographie involutive sur une conique. Ces homographies involutives ont une description g eom etrique simple, donn ee par le Th eor` eme de Fr egier. Soit C une conique propre, un point qui nest pas sur C . Lapplication qui ` a M C fait correspondre le deuxi` eme point M dintersection de la droite (M ) avec C est une homographie involutive sur C . Toute homographie involutive sur C sobtient de cette mani` ere. On appelle le point de Fr egier de lhomographie involutive. Des r ef erences pour ceci : Berger, G eom etrie, 16.3.6 ; Samuel, G eom etrie projective, p. 86 ; Sidler, G eom etrie projective, p. 56 ; Fresnel, M ethodes modernes en g eom etrie, exercice p. 115-116.

3.2

Une autre construction des axes (et des foyers)

Revenons au plan euclidien et ` a la construction des foyers dune ellipse E ` a la r` egle et au compas. On a vu quelle se ramenait ` a la construction des axes de E . M. Berger donne en 16.3.10.2 une autre construction des axes ` a partir de deux paires de diam` etres conjugu es (voir plus haut comment construire ces donn ees). La conjugaison des diam` etres donne une homographie involutive sur le faisceau de droites passant par le centre O de E , quon peut transporter en une homographie involutive sur un cercle C de centre I passant par O. Les deux paires 4

b O I a E C

Fig. 3 Deuxi` eme construction des axes de diam` etres conjugu es permettent de construire le point de Fr egier de cette homographie involutive. Les axes sont des diam` etres conjugu es orthogonaux. On les obtient donc en trouvant deux points sur C diam etralement oppos es et se correspondant par lhomographie involutive : ce sont les points dintersection de (I ) avec C .

3.3

Construction ` a partir de cinq points d enissant lellipse

Ce quil faut savoir faire pour reprendre les constructions donn ees jusquici au moyen du trac e de lellipse, cest la construction ` a la r` egle et au compas des deux points dintersection dune droite D avec une ellipse E donn ee par cinq points A1 , A2 , A3 , A4 , A5 . Etant donn e un point M , le th eor` eme de Pascal permet de construire (` a la r` egle seule) le deuxi` eme point dintersection de la droite (Ai M ) avec lellipse. Ceci sut pour construire, ` a partir dun point M sur D, son conjugu e M sur D par rapport ` a E (toujours ` a la r egle seule). On aura besoin du compas pour trouver les points xes de la conjugaison, qui sont les points dintersection de D avec E (sils existent). On peut transporter, par projection centrale de centre un point O hors de D, lhomographie involutive sur D donn ee par la conjugaison par rapport ` a E en une homographie involutive sur un cercle C passant par O. Deux paires (M, M ) et (N, N ) de points conjugu es sur D donnent deux paires de points sur C qui permettent de d eterminer le point de Fr egier de lhomographie involutive sur

N N M O D

C Fig. 4 Construction des points xes de la conjugaison C . Les points xes de cette homographie involutive sont les points de contact des tangentes ` a C issues de . En projetant sur D depuis O, on trouve les points xes pour la conjugaison, c.-` a-d. les points dintersection de D avec E . Remarquons quon ne peut pas eectuer cette construction des points xes de la conjugaison si les segments [M M ] et [N N ] se coupent sans que lun soit contenu dans lautre (dans ce cas est ` a lint erieur du cercle). Cest ce qui se passe pour une droite qui ne coupe pas lellipse.