113 4 2 PDF

Configurations de Morley
Andr Warusfel
Inspecteur gnral honoraire.
illustrations d'aprs Jean-Marie ARNAUDIS et Yves MA
ralises grce au logiciel Cabri-Geom
La pice se droule dans un plan affine euclidien orient, confondu avec le corps des complexes par
choix d'un repre orthonorm direct identifi la base canonique de . La diffrence de deux
points (de deux nombres complexes) est donc un vecteur appartenant la direction de l'espace.
L'intersection de deux droites et sera simplement note ; sa prsence dans une
proposition suppose implicitement qu'elle est bien dfinie, c'est--dire que les deux droites sont sca
La notation dsigne une mesure, modulo , de l'angle orient de ces deux droites.
Il s'agit dans cette note de prsenter les diffrentes configurations de Morley associes un vritabl
triangle , dit ci-dessous triangle de base. Ces configurations sont des points, des triangles, d
droites et des cardiodes, qui n'existent pas ncessairement tous en raison de cas particuliers qui peu
se rencontrer (par exemple certaines droites ne sont pas toujours scantes). Nous nous placerons don
dans le cadre gnral, et nous classerons ces lments de la faon suivante :
dix-huit trisectrices, six par sommet, gnralisations naturelles de ses six bisssectrices ;
cent huit points, dont vingt-sept principaux et quatre-vingt un secondaires, chaque trisectrice en
contenant respectivement trois et neuf de chaque sorte ;
cinquante-quatre triangles quilatraux, dont vingt-sept principaux et trente-six secondaires, en
comptant deux fois neuf triangles asymtriques appartenant aux deux catgories, les dix-huit triangl
principaux non asymtriques tant naturellement qualifis de symtriques ;
neuf droites, formant trois faisceaux de trois droites parallles, dont les points d'intersection son
exactement les points principaux de Morley, regoups six par six sur chacune de ces neuf droites ;
cinquante-quatre points supplmentaires, que l'on appelle centres des cinquante-quatre triangles
Morley, possdant galement certaines proprits d'alignement intressantes, trs diffrentes selon q
s'agit des dix-huit triangles principaux symtriques ou des trente-six triangles secondaires ;
vingt-sept courbes connues sous le nom de cardiodes.
En dpit des apparences, les points et triangles secondaires tant plus simples tudier, nous
commencerons cet article par eux. Ils ne sont pas classiques ; l'auteur ne les a, pour sa part, rencontr
pour la premire fois que sous la forme de conjectures conduites l'aide du logiciel Cabri-Geomet
formules en 1997 par Yves Martin (mar t i n@uni v- r euni on. f r ).
La partie lmentaire de ce qui suit (hors cardiodes) a dj t publie en septembre 2002 dans le
Complment de gomtrie du cours de Terminale S dirig par l'auteur aux ditions Vuibert. La tech
de dmonstration repose sur une vieille construction du centre du produit de deux rotations, prsent
Page 1sur 23 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=236&Type=enonce&Num=0&Mode=...
de nombreux ouvrages anciens de gomtrie lmentaire - par exemple Gomtrie pour la classe de
Mathmatiques de Maillard et Millet 1951, ex. 109 page 111, ibidem par Leboss et Hmery 1958
97, ibidem par Lespinard et Pernet 1956, page 70 - et surtout sur une mise en forme remontant
1998 dans un article d'Alain Connes (A new proof of Morley's theorem) o il s'appuie implicitemen
cette construction pour redfinir les points et triangles principaux par des calculs dans le groupe affi
la droite complexe.
Lemme 0 Une condition ncessaire et suffisante pour que trois points distincts , , forment
triangle quilatral direct est qu'ils soient lis par l'galit : o
En effet cette relation s'crit encore ; l'change de et de donne un triang
quilatral indirect.
Lemme 1 Si et sont les deux rotations de centres et d'angles respectifs et , o
sont deux complexes et et deux rels, le centre de la rotation produit , abrge ici e
est donn, si , par l'galit :

o et .
Cela rsulte de la forme rduite d'une rotation telle que qui transforme un point en
. Notons que, par exemple, .
Lemme 2 Dans ces conditions et si et sont distincts, le point vrifie les galits :
.
Il suffit de dfinir par ces galits, de vrifier que son image par est le symtrique de par
la droite , et enfin de faire agir sur .
En fait, ce que dmontre exactement Alain Connes, c'est le thorme d'algbre suivant : si l'on cons
trois lments du groupe affine d'un corps commutatif (c'est--dire des applications d
dans vrifiant , o est non nul), si l'on note l'unique point fixe de
celui de , celui de et (supposs bien dfinis), alors il y a quivalence en
deux propositions suivantes :
a) id,
b) et .
Les configurations principales (dix-huit triangles quilatraux) de Morley s'en dduisent facilement
comme on le verra plus loin; sous cet angle, le thorme de Morley classique apparat comme un
corollaire d'un rsultat algbrique beaucoup plus gnral (extensible mme certains cas o est u
anneau de matrices), sans rapport profond avec la structure euclidienne du plan en dpit des apparen

Points et triangles secondaires
Points et triangles principaux
Un peu d'histoire : les cardiodes de Morley
ANNEXE
Dmonstration gomtrique du lemme 3

Points et triangles secondaires
Cette partie repose sur un rsultat dj prsent par exemple dans un livre fort intressant d'Andr V
et Jacques Bouteloup, publi en 1993 par les ditions du Petit Archimde (ACDS, BP 222, 80002
Amiens) sous le titre Le thorme de Morley et, sans aucun doute, dans de trs nombreuses autres
sources. En effet, un rsultat aussi simple n'a pu qu'tre spontanment retrouv par une foule de
mathmaticiens, professionnels ou amateurs, d'autant plus qu'il possde aussi une dmonstration
gomtrique trs lmentaire, facilement extensible tous les polygones rguliers. Il sera justifi ici
l'outil remarquable exhib par Connes.
Thorme Si trois droites passant par sont lies par les galits
et si trois droites passant par sont lies p
galits alors les points , et
dans cet ordre dfinissent un triangle quilatral direct.
Posons et . Reprenant les notations ci-dessus, on
substitution circulaire :

o puisque , puisque :

et , d'o enfin . Il est alors immdiat de vrifier l'galit recherche
.


Figure 1.
Voici une preuve de ce thorme ne faisant intervenir que la gomtrie pure du collge. Il suffit de
remarquer, grce au thorme de l'arc capable, que les points et appartiennent au cercle dfi
les trois points (non aligns car est dtermin de manire unique par hypothse). Le thor
de l'arc capable, appliqu cette fois-ci en , et , prouve que le triangle est bie
quilatral, et mme direct puisque la mesure principale de ses angles est positive.
Corollaire [fixant les directions des cts du triangle ]
De plus, avec les notations de la dmonstration prcdente, l'angle a pour mesure le n
.
Cela rsulte des galits faciles et . On conn
donc la direction des trois cts du triangle . Ajouter une mme constante, par exemple
et donne un triangle quilatral homothtique du prcdent. Une substitution circulaire sur
conserve et augmente de Ce calcul, correctement continu, redonn
facilement le fait que est quilatral par les angles, mais aussi par les cts puisque :

Les dix-huit trisectrices du triangle de base
Reprenons, peu de choses prs, les notations du prdcesseur d'Alain Connes au Collge de Franc
Henri Lebesgue, qui n'a pas ddaign notre sujet dans un expos Les -sectrices d'un triangle ;
extension d'un thorme de Frank Morley au Congrs pour l'avancement des sciences mathmatiqu
Lige et dans deux articles compagnons dont Sur les -sectrices d'un triangle (En mmoire de Fran
Morley 1860-1937), tous de 1939, ainsi que dans son livre posthume de 1950 Leons sur les
constructions gomtriques. La question de la cohrence et de la force interne des notations est ici,
comme en bien des sujets en mathmatiques, tout fait stratgique.
Partant d'un triangle direct dont les angles ont pour mesures principales les nombres positif
et , il note les deux trisectrices intrieures de l'angle , puis et l
transformes par des rotations d'angles et Il tend ensuite ces notations aux douze droites
analogues associes aux autres sommets et . Plus prcisment, si est donn modulo 3, une dro
est dfinie par l'galit et une droite par l'galit
Il existe donc six trisectrices par sommet d'un triangle. Leurs intersections deux deux, mis part c
de deux trisectrices associes un mme sommet, sont donc au nombre de cent huit dans le cas gn
Le thorme tabli ci-dessus permet alors de montrer aussitt que sont quilatraux, et mme direct
neuf triangles du type o est dfini modulo 3,
et (neuf triangles dj reconnus par Lebesgue en plus des dix-huit plus
traditionnels, et que nous avons choisi d'appeler asymtriques dans cet article), et surtout les vingt-s
autres triangles d'un autre type devins par Yves Martin et publis en 1997 sur son site dans
abraCAdaBRI aprs vrifications approches grce un logiciel de gomtrie euclidienne lment
par exemple , ,
Ces derniers vingt-sept triangles, dont les quatre-vingt et un sommets sont deux deux distincts en
gnral et sont appels ici points secondaires de Morley, peuvent tre regroups trois par trois selon
directions communes de leurs cts que le corollaire permet de contrler. Ils n'existent pas toujours
ainsi , et sont trois points l'infini (dans trois directions diffrant de bien ent
si .
Chacun de ces quatre-vingt un points secondaires est donc, en gnral, sommet de l'un (et seulemen
l'un) des vingt-sept triangles secondaires de Morley. De la mme manire, chacun des vingt-sept som
des neuf triangles asymtriques restants n'est sommet que d'un seul de ces triangles asymtriques ; m
nous verrons plus loin qu'ils appartiennent galement deux autres triangles de Morley, principaux
l (cela fera donc trois en tout).
De manire prcise, ces trente-six triangles secondaires sont tous dfinis partir d'intersections de d
ne mettant en jeu que deux des trois sommets du triangle de base , ce qui les caractrise. Po
dresser la liste exhaustive, il faut d'abord choisir ces deux sommets, par exemple et , puis crire
douze triplets o est arbitraire modulo 3, et o les deux symboles
reprsentent, au choix, un indice suprieur vide ou un accent aigu.
Les angles et intervenant dans le corollaire du thorme sont alors connus.
Pour les neuf triangles du type , c'est--dire obtenus par substitution circulaire partir de
, on a et d'o :

ce qui montre que leurs cts sont parallles trois des trisectrices relatives au sommet laiss de ct
, et dans l'exemple choisi). Ces neuf triangles forment trois groupes de triangles deux d
homothtiques ; ainsi est-il homothtique
.
Pour les neuf triangles du type , on a et d'o :

ce qui montre que leurs cts sont parallles aux autres trisectrices relatives au sommet laiss de ct
, et dans l'exemple choisi). Ces neuf triangles forment trois groupes de triangles deux d
homothtiques ; ainsi est-il homothtique
.
Pour les neuf triangles asymtriques, du type , connus de Lebesgue, on a :

d'o o est la moyenne arithmtique des trois angles que f
droite de rfrence avec les trois cts du triangle. Nous retrouverons cet angle , cit par Lebe
dans l'tude des points et triangles principaux. Ces neuf triangles sont deux deux homothtiques.
Enfin, pour les neuf triangles du type , on a d'o :

cet angle n'tant pas susceptible, semble-t-il, d'une interprtation aussi simple que dans les cas prc
Ces neuf triangles forment trois groupes de triangles deux deux homothtiques ; ainsi
est-il homothtique :

Les centres de Morley des trente-six triangles secondaires sont simplement leurs isobarycentres ; pu
ces triangles sont tous forms de points d'un cercle passant par deux des sommets du triangle de bas
trente-six centres sont aligns, douze par douze, sur les trois mdiatrices des cts du triangle de ba
Plus prcisment, l'isobarycentre du triangle secondaire appartient la
mdiatrice du ct , et ainsi de suite par substitution circulaire sur . Ces mdiatrices
contiennent videmment les centres des homothties signales plus haut car elles transforment les c
des triangles secondaires en les centres de leurs images.
Il est temps, maintenant, d'en venir enfin aux rsultats les plus connus, issus des travaux originaux d
Frank Morley (1860-1937) qui datent d'un peu plus de cent ans, mais n'ont pas cess depuis d'intr
les mathmaticiens, professionnels et amateurs.
Il s'agit des points, triangles, droites et centres appels principaux dans cet article, que termine une
annexe historique et bibliographique consacre quelques proprits, gnralement absentes des co
gomtrie, des pourtant clbres cardiodes qui sont l'origine de la dcouverte des configurations d
Morley.


Figure 2. Un triangle secondaire

Figure 3.
Un triangle asymtrique c'est--dire la fois principal et secondair

Points et triangles principaux
Les vingt-sept points principaux de Morley sont dfinis par des intersections de droites , plus
prcisment , ou (d'o le nombre de vingt-sept). la diffrence des points
secondaires, ils existent ncessairement et sont bien dtermins quel que soit le triangle de
Il se trouve que, comme annonc plus haut, chacun de ces points est sommet de trois triangles
quilatraux principaux, regroups ici en neuf directs, neuf indirects et neuf asymtriques dans notr
terminologie (l'origine de ce dernier qualificatif vient du fait que seuls deux des trois sommets conc
leur dfinition). Les prsentations usuelles des rsultats de Morley sont issues de ses recherches d
sans doute, de 1899 sur les centres des cardiodes tangentes aux cts du triangle (voir la
dernire partie de cet article). Ces prsentations sommaires ne concernent que les points et triangles
principaux, la plupart ne faisant tat que des dix-huit triangles symtriques, et parfois mme du seul
triangle fondamental . Comme les autres ont dj t reprs dans la partie
prcdente - savoir les trois triangles et leurs six images par substituti
circulaire en - nous nous contenterons, suivant essentiellement Connes avec des notations
inspires par Lebesgue, de ne prsenter ici que les dix-huit premiers, et tout d'abord les neuf directs

Figure 4.
Le triangle fondamental .
bp
Ces derniers sont les triangles avec congru zro
modulo 3. On leur associe les rotations , et , de centres respectifs , et , et d'angles ,
o et Nous poserons enfin , et
tous diffrents de . On notera enfin que et que , d'o l'galit
fait que , et sont tous diffrents de 1.
Il est alors facile de vrifier, par les lemmes initiaux, que , et sont respectivement les centres
rotations , et , qui ne sont pas des translations, et que par contre est une
translation. Mais s'crit sous la forme ; il en rsulte que
transforme en son symtrique par rapport et que retransforme en , invariant par
Par suite la translation est l'identit. Une gnralisation de routine du lemme 1 montre qu
pour tout complexe :

Les points , et vrifiant les relations :

il suffit d'utiliser la dcomposition bien connue pour extraire
relation entre , et les galits :

Ces neuf triangles directs se dduisent du triangle fondamental, pour lequel , et sont simplem
les tiers des mesures des angles de , par les changements de , et en , et ,
ne modifie pas le produit . Parmi les triangles directs, le fondamental se reconnat ce qu'il est
plus petit, et ncessairement intrieur au triangle (mais une figure montre qu'il peut exister d'autres
triangles de Morley principaux intrieurs au triangle si est obtusangle).
Nous ne reprendrons pas la suite des calculs, presque identiques, pour les neuf triangles indirects, p
lesquels est congru un modulo 3, d'o ; la quantit considrer est alors
naturellement . Il est noter que le cas congru deux modulo 3 ne donne p
gnral, de triangles quilatraux ; l aussi une figure permet de s'en rendre compte aussitt, par exe
en partant d'un triangle lui-mme quilatral.
Les neuf droites de Morley
Rappelons que nous avons affirm qu'il existe neuf droites, contenant chacune six points principaux
Morley, dont les points d'intersection deux deux sont exactement ces vingt-sept points. On peut le
regrouper en trois faisceaux de parallles, dans trois directions formant avec le ct de rfrence
angles de mesures Il en rsulte que l'on peut former de nombreux triangles quilatraux
de ces droites : ce sont plus prcisment les vingt-sept triangles principaux, dont nous avons dj
rencontr neuf cas particuliers qui sont ceux des triangles asymtriques.
La dcouverte de ces remarquables alignements remonte Morley lui-mme, pour qui ces droites
constituaient le lieu qu'il recherchait, savoir celui des centres des cardiodes tangentes aux cts d
(par centre d'une cardiode, on entend le centre du cercle fixe sur lequel roule extrieureme
sans glisser, un cercle de mme rayon). On trouvera, dans Lebesgue notamment, une dmonstration
directe purement gomtrique de ces alignements. Bien que Connes ne dveloppe pas cette partie de
question, il est possible, bien qu'assez lourd, d'utiliser encore une fois sa dfinition des points , e
pour tablir cette proprit, tout aussi fascinante que les triangles quilatraux qui ont fait la gloire d
thme.
Le but est d'obtenir une expression de la similitude transformant le vecteur en le vecteur
l'argument du nombre complexe associ donnera l'angle , et son module permettra de calcul
prime, la longueur qui redonnera le caractre quilatral de .
Le travail concerne le triangle direct avec congru
modulo 3 (le cas indirect se traiterait de faon tout fait analogue). On leur associe encore les rotati
, et de centres respectifs , et . Nous poserons toujours
lis par l'galit mais noterons pour des raisons de commodit, dans
seule section, , et (soient des racines carres des nombres , et
prcdents).
On obtient facilement les relations :

Il est facile de se persuader, l'aide des rotations et , de la vracit des galits :

En rsulte la relation o :

Figure 5.
Trisectrices, droites de Morley, points et triangles principaux
(30 points, 30 droites).
partir des galits faciles prouver et
, un calcul minutieux montre que :


(il suffit d'crire et sous forme exponentielle pour observer avec bonheu
deux des quatre exponentielles en prsence se neutralisent exactement).
Nous disposons donc enfin de l'galit recherche :

que l'on pourra comparer avec la formule analogue, moins sympathique, donnant dans la
premire partie de cette note. On constate donc que l'angle de et de est gal , soit
Les neuf triangles principaux directs, puis finalement les vingt-sept
triangles principaux de Morley, admettent donc les mmes directions pour leurs cts, dans les direc
``moyennes'' des trois cts du triangle de base . Les alignements annoncs s'ensuivent auss
Enfin un calcul immdiat donne l'galit parfaitement symtrique
est, cette fois-ci, le rayon du cercle circonscrit au triangle de base . Il est alors intressant, c
l'a montr Viricel, d'tudier par exemple les primtres des triangles de Morley. La richesse de cette
figure est dcidemment remarquable, comme l'est la panoplie des outils mis au point par de nombre
chercheurs, petits et grands, pour pouvoir en savourer la puissance. Mais elle nous offre encore quel
proprits surprenantes.
Les dix-huit centres de Morley des triangles principaux symtriques
En ce qui concerne les dix-huit triangles principaux symtriques, nous appellerons centres de Morle
ces triangles, non plus leurs isobarycentres qui ne semblent pas jouir de proprits particulires, ma
d'autres points ralisant des alignements remarquables.
Plus prcisment, le centre d'un triangle principal avec
congru 0 ou 1 modulo 3 est le point commun des trois droites , et ; on dmo
son existence en calculant ses coordonnes barycentriques relatives au triangle de base. Elles sont
proportionnelles au triplet :

o sont dfinis comme plus haut en fonction de . Ce fait tait dj connu en 1967
un mathmaticien du nom de Peter Yff.
Reprenons les notations du dbut de l'tude des triangles principaux et notons le triplet de
coordonnes barycentriques normalises (et relles) du sommet relatives au triangle de base
Si grce aux formules de Connes nous posons avec et
vient facilement et . De la mme manire, nous pouvons cr
, et se dduisant de et en changeant et en et
La coordonne est alors l'unique rel tel que soit rel (et gal ) ; comme n'est pas r
existe :

d'o les valeurs :

On dispose donc ainsi d'une quation barycentrique de la droite puisque les rapports et
sont invariants par la transposition changeant et . Le point commun aux droites , et
existe donc, et ses coordonnes ont bien la valeur annonce. On pourra vrifier que, pour
(demi-triangle quilatral) et , on a , ce qui signifie q
appartient la droite et la droite , ce qui donne ici et justifie les prcautions prises p
ne pas diviser par zro dans le calcul prcdent. Il est alors par exemple facile d'en dduire dix-huit
alignements supplmentaires en appliquant le thorme de Desargues.
Il serait videmment agrable de disposer d'une dmonstration purement gomtrique de l'existence
ces dix-huit centres. Notons enfin qu'une figure montre aisment qu'il n'existe aucun faisceau de dro
telles que , et o est un triangle secondaire ; la notion de centre de Morl
sens de ce paragraphe, est donc uniquement lie au cas principal non singulier.

Un peu d'histoire : les cardiodes de Morley
Les dernires configurations de Morley sont les cardiodes tritangentes au triangle de base, plus
prcisment tangentes chacun de ses trois cts. Ces courbes jouissent de nombreuses proprits ;
sont les picyclodes un rebroussement, inverses de paraboles relatives leurs foyers et donc poda
de cercles relativement l'un de leurs points, mais aussi cas particuliers intressants de spirales
sinusodales, mais aussi de limaons de Pascal, d'ovales de Descartes et, par consquent, de quartiqu
bicirculaires. En vertu de la formule de Plcker qui se rduit dans le cas prsent :

elles sont de classe trois (ce qui est exceptionnel) puisque pourvues de trois points de rebroussemen
premire espce aux tangentes concourantes en dont deux, invisibles l' il nu, ne sont autres qu
fameux points cycliques du plan. Qu'il ne puisse exister qu'au plus trois tangentes issues d'un point
joue d'ailleurs un rle de premier plan dans l'affaire Morley.
L'histoire de notre thorme est prsente pour l'essentiel dans un article de l'American Monthly de
(85, pages 737-745). Outre les articles et le livre de Lebesgue largement cits ci-dessus, on pourra s
reporter aux articles originaux de Frank Morley lui mme : On the metric geometry of the plane n-li
1900 dans les Transactions of the American Mathematical Society (1, pages 97- 115), On the inters
of the trisectrices of a triangle de 1924 dans le Journal of the Mathematical Association of Japan (6
pages 260-262), encore Extensions of Clifford's chain theorems en 1929 dans le American Journal o
Mathematics (51, pages 465-472), et enfin surtout son livre Inversive Geometry, publi par G. Bel
Londres en 1933 et rdit par Chelsea en 1974, notamment dans les pages 239 244 du chapitre X
The cardioid and the deltoid.
Reste maintenant entrer dans la pense et rinterprter les techniques trs particulires de Frank
Morley, qui ne manquent d'ailleurs pas d'intrt, pour voir comment ce lemme est intimement li s
configurations. Il s'agit de traiter les problmes de gomtrie par un recours systmatique aux nomb
complexes, conforme aux identifications places en tte de cet article. Il utilise systmatiquement le
coordonnes isotropes d'un point du plan (identifi son affixe ) o est son conjugu. Il
facile de voir que est l'quation gnrale d'une droite (prendre
et o mesure l'angle de cette droite avec l'axe des abscisses). Il est clair qu
nombre unimodulaire dtermine compltement la direction de la droite et que le complexe lui
par la relation .
Une seconde innovation consiste utiliser les nombres unimodulaires pour paramtrer
cardiode. Si est le centre et 1 le rebroussement, un tel paramtrage est particulirement simple :

On en dduit sans peine que la tangente en ce point de paramtre a pour quation :

Dans la position gnrale, o le centre est not et le rebroussement avec , ce
quations deviennent :

o , avec . Ces nombres sont notamment lis par les
relations Notons que chacun des couples et dans dterm
une unique cardiode du plan, mais qu'inversement une cardiode dtermine un unique couple
trois couples puisque et j donnent le mme (il faut alors diviser et par j pour
compenser).
Dans cet univers, les cts du triangle de base sont dfinis par trois quations de la forme
o les sont unimodulaires deux deux indpendants. Une cardiode est tan
chacune de ces trois droites si, et seulement si, il existe trois nombres unimodulaires tels que :

Pour rechercher le lieu des centres des cardiodes tangentes ces trois droites, il convient d'limin
et entre ces trois dernires galits. On trouve :

o est la valeur non nulle d'un dterminant de Vandermonde, so
enfin o , et sont invariants par multiplication de par j ou j
Il existe vingt-sept choix possibles des triplets Toutefois, il n'en existe au plus que neuf
donnant des quations distinctes. On constate donc qu'il existe au plus neuf droites sur lesquelles do
trouver le centre . Pour vrifier que chacun de leurs points convient, il faut encore montrer que les
nombres et ainsi limins sont deux deux conjugus et non nuls. C'est clair parce que le rang
systme considr est gal deux, ce qui implique l'existence et l'unicit de deux complexes et
que ; or la conjuguaison de ces trois galits montre que le couple
en est galement solution, ce qui implique bien . La non nullit de est clairement quivalen
non nullit du dterminant :

qui quivaut son tour au fait que les trois cts du triangle de base n'ont aucun point commun.
Ces droites sont donc bien le lieu recherch des centres des cardiodes tritangentes au triangle.
Puisque chacun des trois est racine cubique du nombre associ, il est clair que ces neuf droite
rpartissent en trois faisceaux de droites deux deux parallles, suivant trois directions faisant entre
des angles de mesures
Montrons que deux quelconques de ces neuf droites sont distinctes. C'est clair si elles n'ont pas la m
direction. Supposons donc qu'elles admettent pour quations et e
soient dfinies, par exemple, par deux triplets et . Un calcul assez pnible
montre que la diffrence s'crit sous la forme :

o et sont les vandermondiens relatifs aux deux triplets ci-dessus. Nous retrouvons au numrate
dterminant que nous savons tre diffrent de zro : l'unicit cherche est donc prouve (notons, en
passant, qu'on ne trouve malheureusement pas trace de tels scrupules chez Morley, pas plus que de
de rigueur dans des rciproques comme celle qui vient d'tre tablie un peu plus haut ; mais il est ju
rappeler que l'intuition gomtrique sur laquelle il s'appuie implicitement tait particulirement brill
Nous avons ainsi retrouv la si lgante famille des neuf droites de Morley. Les vingt-sept points
principaux de Morley sont, par dfinition, les intersections deux deux de ces neuf droites. Il est cla
l'on peut construire partir d'eux vingt-sept triangles quilatraux, chaque point tant sommet de tro
triangles homothtiques entre eux. Reste enfin montrer que ces points peuvent tre obtenus par de
trisections, comme nous l'avions constat la suite de Lebesgue et de Connes.


Figure 6.
Deux cardodes de Morley et les triangles correspondants.
Tout repose sur une proprit remarquable de la cardiode dont voici une dmonstration analytique.
Rappelons que cette courbe peut tre dfinie comme le lieu du symtrique d'un point fixe d'u
cercle de centre , appel le centre, par rapport une tangente variable ce cercle. C'est donc enco
l'picyclode un rebroussement, engendre par le roulement extrieur sans glisser d'un cercle mob
un cercle fixe de mme rayon. Il est immdiat que cette courbe admet une unique tangente double, u
droite , d'quation par rapport un repre orthonorm direct dont est le centre et le p
de coordonnes .
Voici le deus ex machina de Morley :
Lemme 3 Pour toute tangente en un point coupant la tangente double en , on dispose de
relation :

est donc une trisectrice de l'angle .
Nous donnerons plus loin la preuve de Morley lui-mme, qui prsente quelques difficults pour tre
rendue absolument satisfaisante, et nous nous contenterons ici d'une simple vrification analytique.
Il suffit de remarquer que notre courbe admet comme reprsentation paramtrique :

o est une mesure de l'angle de et de : c'est immdiat par la dfinition picyclodale, ou
l'on sait qu'une quation polaire avec ple en s'crit :

La tangente en , de pente a comme quation :

et coupe au point de coordonnes Il en rsulte que des mesures des angles compa
sont respectivement et ce qui convient puisque modulo .


Figure 7. Les vingt-sept cardiodes de Morley
Une autre preuve d'esprit voisin, plus rapide, repose sur l'quation tangentielle :

condition ncesaire et suffisante pour que la droite d'quation soit tangente la
cardiode.
Inversement, cette proprit caractrise la cardiode, puisque la droite d'quation gnrale
touche son enveloppe au point de coordonns
(on doit d'ailleurs noter que ce calcul peut aussi tre considr comme une
dmonstration du lemme 3).
Ce lemme admet aussi une dmonstration par la gomtrie pure. Tous renseignements sur son histo
seraient les bienvenus. On peut remarquer qu'il ne figure pas dans le Dictionnaire Mathematique ou
Generale des Mathematiques de 1691 par J. Ozanam, o ce dernier, dans son sous-chapitre Geome
Speculative, introduit page 102 et trace page 103 (pour la premire fois dans un ouvrage imprim ?)
courbe sous le nom de Cyclode Geometrique, ni surtout dans le Trait, pourtant souvent presque
exhaustif, de F. Gomes Texeira (1905 et 1908), bien qu'on y trouve le nom de Morley dans la page
prcdant exactement le chapitre sur la cardiode !
Signalons qu'en revanche l'article consacr cette courbe dans la somme, magnifique et inacheve,
Brocard et T. Lemoyne sur les Courbes Gomtriques Remarquables (Courbes Spciales) planes e
gauches, Tome I, 1919 (rdition Blanchard 1967), attire l'attention page 92 sur deux thormes tr
gnraux de Laguerre tablis dans les Nouvelles Annales de 1878 (cf. aussi le tome 2 de ses uvre
pages 480-491) o l'auteur avait pris le soin d'expliciter notamment le corollaire suivant : si d'un po
on mne trois tangentes la cardiode, la somme des angles que font ces droites avec la droite
gale un multiple de . T. Lemoyne en a vu le parti tirer pour le problme de la trisection de l'an
nonc, sous le numro 45 page 96, le rsultat qui nous intresse ici.
Revenons aux cardiodes tritangentes. Nous savons que les points de l'une des neuf droites de Mo
sont associs un choix particulier du triplet , donc un choix particulier des points de
contacts avec chacun des cts. On voit facilement que s'intresser un point commun deux de ce
droites se ramne fixer deux mmes valeurs pour et , donc deux mmes points de contacts
deux des cts, et deux valeurs distinctes et , lies par une relation du type , qui
conduisent deux points de contacts distincts sur le troisime.
Inversement, donnons-nous deux droites de Morley non parallles, dfinies par deux triplets
et qui n'ont pas le mme produit. Les trois rapports sont des racines troisimes de l'u
qui ne peuvent donc pas tre deux deux distinctes (sinon ce seraient 1, j et j , de produit gal 1)
peut donc supposer par exemple, que et et l'on est bien dans le cas qui
d'tre dbattu.
Nous avons donc dmontr qu'il y a quivalence entre le fait que le centre soit dtermin comme
appartenant deux droites de Morley et la bitangence de cette cardiode avec l'un des cts du trian
base. Il n'y a plus maintenant qu' appliquer le lemme 3 pour voir enfin apparatre les points de Mor
comme intersections de certains de couples de trisectrices du triangle de base. Un calcul sans difficu
spciale, montre que l'on peut partir de l caractriser ces couples par les notations de Lebesgue
avec congru zro ou un modulo 3. Enfin une tude simple d
Lemme 3 montre que le point d'intersection des droites et est le centre de l'une des neuf
cardiodes de Morley bitangentes la droite .
Une telle courbe est donc bitangente la droite joignant les sommets d'o sont issues les trisectrices
coupant en son centre. Il est facile d'en construire le point de rebroussement, situ aux deux tiers du
segment projetant le centre sur la droite, ainsi que les deux points de contact symtriques par rappor
l'axe de la courbe, qui sont vus du centre sous un angle de et du point de rebroussement sous un a
de Une macro de Cabri-Geometre s'en dduit facilement qui trace la courbe en un instant, une f
donns la tangente double et le centre. Si l'on tient faire apparatre les deux points de contacts ave
tangente double, on enrichit ainsi la figure de vingt-sept triangles quilatraux supplmentaires !
On dispose donc finalement des :
Thormes et dfinitions
Les neuf droites de Morley d'un triangle, deux deux distinctes, sont les lieux des centres des
cardiodes de taille variable tangentes en au moins un point chacun des ses cts.
Les ving-sept points principaux de Morley, deux deux distincts, sont les centres des ving-sep
cardiodes de Morley quadritangentes, i.e. simplement tangentes deux des cts du triangle d
base et tangentes au troisime en deux points diffrents l'un de l'autre.
Ce sont aussi les intersections des neuf droites de Morley, et de certains couples tels que
(notations de Lebesgue) forms par les dix-huit trisectrices du triangle.
Les vingt-sept triangles principaux de Morley, deux deux distincts, sont les triangles quilat
spontanment forms par les intersections des neuf droites de Morley.
Les dix-huit centres principaux de Morley, deux deux distincts, sont les points situs
l'intersection des droites joignant les sommets du triangle de base aux sommets des triangles
principaux associs aux jeux de trisectrices impliquant chacun des t
sommets du triangle.
Notons enfin que la dmonstration originale de ce qui est appel ici lemme 3 tait moins longue et b
plus clairante que la ntre, mais prsentait quelques lacunes fortes quant la rigueur (d'ailleurs le s
de l'auteur, extrmement bref, dfie un peu le sens critique d'un lecteur moderne). L'ide, parfaiteme
ingnieuse, consiste partir de la relation , considre comme une quatio
des points de contact des trois tangentes la cardiode issues du point suppos extrieur.
le cas de bitangence, Morley crit, sans justification compltement satisfaisante, que les trois racine
(implicitement supposes toutes unimodulaires) sont telles que par exemple (paramtres du
double contact) et donc que la troisime tangente est obtenue pour Retrouver le lemme e
alors un simple jeu d'criture d'arguments entre , , et . Il est clair que ce procd, s'il souffre
dfauts vidents quant la solidit de la dmarche, est autrement pntrant que notre lourd attirail
analytique. une vrification d'une proprit tombe du ciel, il substitue une illumination gomtri
issue d'habiles et suggestives notations trs abrges par rapport la gomtrie cartsienne usuelle,
conduisant un nonc correct et un embryon de preuve dj solide.
Le tour des configurations de Morley entrepris dans cette note est donc maintenant termin. Pour
conclure, nous ne pouvons pas mieux faire que de renvoyer le lecteur trois sources bien connues,
savoir le livre dj cit de Viricel, contenant plusieurs articles intressants de Bouteloup, mais aussi
l'incontournable Gomtrie de Marcel Berger, Cedic-Nathan 1977, et le livre fondamental de H.S.M
Coxeter et S.L. Greitzer (paru en 1971 en traduction franaise chez Dunod sous le titre Redcouvr
gomtrie puis repris par J acques Gabay en 1997), pour y admirer la merveilleuse solution, puremen
gomtrique, publie en 1922 par Raoul Bricard dans les pages 254-258 des Nouvelles Annales de
Mathmatiques (5), dont la simplicit n'a pas t gale. Il s'agit en quelque sorte d'une redtermina
du triangle de dpart partir du triangle quilatral fondamental de Morley. C'est simple et prodigie
mme si cela laisse de ct la difficile dmonstration des alignements sur les neuf droites de Morley
tout ce que nous avons appel dans cette note triangles secondaires, centres et, a fortiori, cardiodes
Morley.
Cette dernire dmonstration peut tre vue comme une belle application de la rgle selon laquelle le
mathmatiques sont, beaucoup plus souvent qu'on ne le croit, une science exprimentale. Quelques
par exemple avec un logiciel ou tout simplement la main (comme l'poque de Bricard), indiquen
effet quelles doivent tre les mesures des angles des triangles , , , ,
et en fonction de , et . Apparaissent alors presque miraculeusement, qui sa
prolonger les lignes, trois triangles supplmentaires, isocles, accols , puis trois triangles
, et sont respectivement centres de cercles inscrits. Il suffit ensuite de vrifier que ces conjectu
simples, issues des ttonnements du dessinateur, fonctionnent suffisamment bien pour permettre de
reconstruire le triangle de base partir de , ce qui redmontre la partie traditionnell
thorme de Morley. noter encore que cette brillante dcouverte de Bricard, plus simple saisir
visuellement dans le cas du triangle fondamental, vaut en fait pour les dix-sept autres, en introduisan
triplets de Lebesgue. Elle semble mriter, avec beaucoup de matriel voqu dans ces page
figurer dans le Livre de Dieu dont le regrett Paul Erds jurait qu'il contenait les perles les plus ach
du monde merveilleux des mathmatiques.

ANNEXE
Dmonstration gomtrique du lemme 3

Si un point dcrit le cercle fixe de centre passant par le rebroussement , le symtrique d
relatif la tangente en engendre la cardiode. Si est diffrent de , donc de , la droite
normale en la cardiode (proprit du centre instantan de rotation). Posant
notant l'intersection ventuelle de la perpendiculaire issue de et de la mdiatrice de
voit que est une trisectrice de l'angle et que la tangente en passe par . Elle coup
gnral la droite en un point qui se projette orthogonalement en sur la droite . Le tho
de Thals montre que :

ce qui dmontre que est fixe et que appartient bien la tangente double . Le lemme rsulte
des paralllismes de et de , et de et de .

Le cas particulier est vident, ainsi que celui o la tangente en est parallle : le lem
traduit alors par une trisection de segments.


113 4 2 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

113 4 2 PDF

Uploaded by

Copyright:

Available Formats

Configurations de Morley

You might also like