Enonc´e D138 (Diophante)
Solution de Jean Moreau de Saint-Martin
Sur le cercle circonscrit au triangle ABC, de centre O, je note les points D, E, F milieux des arcs BC, CA, AB. Je prendrai le rayon de ce cercle comme unit´e de longueur. Les angles du triangle sont :
Aˆ= (AB, AC) = (OB, OD) = (OD, OC) Bˆ = (BC, BA) = (OC, OE) = (OE, OA) Cˆ = (CA, CB) = (OA, OF) = (OF, OCB)
(angles orient´es, positifs si le triangle est de sens direct).
Je note O1, O2, . . . les centres du premier cercle de l’´enonc´e, du deuxi`eme, etc. Le premier cercle passant par A et B, O1 est sur OF de mˆeme que O4, O7, etc. De mˆeme,O2, O5, etc. sont surOE etO3, O6, etc. sont surOD.
Le premier et le deuxi`eme cercle ´etant tangents en A, les points O1, O2 et A sont align´es. La somme alg´ebrique des aires des triangles OO1A, OAO2 etOO2O1 est nulle (de mˆeme que celle de leurs doubles) :
OO1sin(OF, OA) +OO2sin(OA, OE) +OO2·OO1sin(OE, OF) = 0, ce qui donne
−sinC OO2
+−sinB OO1
+ sin(B+C) = 0
Cette relation reste valable en prenantOO1 n´egatif s’il est de sens contraire
`
aOF, et de mˆeme pourOO2,OO3, etc. Je l’´ecris plus simplement sinB
OO1 +sinC
OO2 = sinA
Pour les cercles suivant le deuxi`eme, on a les alignementsO2CO3, O3BO4, etc., avec les relations
sinA OO2
+sinB OO3
= sinC sinC
OO3
+sinA OO4
= sinB
J’ajoute ces trois relations membre `a membre, en les pond´erant respective- ment par sinA,−sinC,sinB, ce qui ´elimineOO2 etOO3. Il reste
sinAsinB
1
OO1 + 1 OO4
= sin2A−sin2C+ sin2B expression qui vaut 2 sinAsinBcosC, carA+B+C=π. On a donc
1
OO1 + 1 OO4
= 2 cosC
Poursuivant l’analyse sur les cercles de centresO5, O6, O7on trouve ´evidemment
1
1
OO4 + 1 OO7
= 2 cosC
ce qui entraˆıneOO7=OO1. Le 7e cercle est confondu avec le premier, le 8e sera confondu avec le 2e, etc. : la suite des cercles est p´eriodique de p´eriode 6.
2