Des solutions ont été données par Jean Moreau de Saint Martin, Dominique Ceugniet, Pierre-Henri Palmade et David Vincent.
Dominique Ceugniet :
J'appelle D1 la médiatrice de BC, D2, celle de CA, D3 celle de AB.
Le premier cercle passe par A et B. Soit D son centre : il se trouve sur D3. Un cercle passant par A et tangent au premier cercle est forcément tangent à ce cercle en A. Il en résulte que le centre du cercle cherché se trouve sur la droite AD. Comme le cercle en question passe par A et C, son centre E se trouve sur D2. Il est donc l'intersection de AD et de D2. Finalement, il n'est pas utile de tracer les cercles suivants. Il est clair que le centre F du troisième cercle se trouve à l'intersection de EC et de D1. Et ainsi de suite :
E, centre du deuxième cercle est l'intersection de DA et D2
F, centre du troisième cercle est l'intersection de EC et D1
G, centre du quatrième cercle est l'intersection de FB et D3
H, centre du cinquième cercle est l'intersection de GA et D2
I, centre du sixième cercle est l'intersection de HC et D1
J, centre du septième cercle est l'intersection de IB et D3
Sur la figure juste, il semble (?) que I soit sur BD. Je me propose de le démontrer.
Pour éviter de prendre comme hypothèse, la conclusion, j'ai dû me faire un figure fausse ; voir donc la figure ci-jointe, où j'ai volontairement déplacé le point H pour que le point I ne soit pas sur la droite BD, de manière à raisonner correctement. Donc le point H et le point I sont volontairement déplacés, et le segment AH est ici représenté par deux segments non alignés AG et GH. La géométrie n'est-elle pas l'art de raisonner juste sur une figure fausse ?
Je suppose la figure rapportée à un repère orthonormé Oxy que je n'ai pas jugé utile de représenter. Tous les angles référencés ici sont des angles de droites.
J'appelle :
alpha l'angle (Ox,D1)
beta l'angle (Ox,D2)
gamma l'angle (Ox,D3)
a l'angle (Ox,IB)
b l'angle (Ox,IC) ou (Ox,CH)
c l'angle (Ox,HA) ou (Ox,GA)
d l'angle (Ox,GB) ou (Ox,FB)
e l'angle (Ox,FC) ou (Ox,EC)
f l'angle (Ox,EA) ou (Ox,DA)
g l'angle (Ox,DB)
Du fait de la symétrie de B et C par rapport à D1 : (a+b)=2*alpha soit a=2*alpha-b
Du fait de la symétrie de C et A par rapport à D2 : (b+c)=2*beta soit -b=c-2*beta
Du fait de la symétrie de A et B par rapport à D3 : (c+d)=2*gamma soit c=2*gamma-d
Du fait de la symétrie de B et C par rapport à D1 : (d+e)=2*alpha soit -d=e-2*alpha
Du fait de la symétrie de C et A par rapport à D2 : (e+f)=2*beta soit e=2*beta-f
Du fait de la symétrie de A et B par rapport à D3 : (f+g)=2*gamma soit -f=g-2*gamma
En additionnant membre à membre toutes les égalité de la dernière colonne on obtient : a=g
Par conséquent (Ox,IB) = (Ox,DB), ce qui montre que les points B, D et I sont alignés.
Il s'ensuit que si l'on continue le processus de création des cercles tangents, puisque l'on va chercher l'intersection J de IB et D3, celle-ci étant l'intersection de DB et D3, on va retomber sur le même point D qui appartient à D3 et on va tracer le cercle de centre D et de rayon DB, qui n'est autre que le premier cercle. La suite est évidente. On peut donc tracer ainsi six cercles successifs.
Diophante :
Le tracé des cercles a heureusement une fin et le 7 ème cercle se confond avec le 1 er cercle.
Soit
le centre du 1 er cercle (en rouge) passant par les sommets A et B du triangle. Il est sur la médiatrice de AB. Le centre
du 2 ème cercle (en bleu clair) est à l'intersection de la médiatrice de AC et de la droite
. Le centre
du 3 ème cercle (en ocre) est à l'intersection de la médiatrice de BC et de
. Le centre
est à l'intersection de la médiatrice de AB et de
, etc?..
On en déduit que les points
sont colinéaires. Il en est de même des points
, des points
, des points
, des points
et enfin des points
.
Soient P,Q et R les milieux respectifs des côtés AB, AC et BC.
On désigne :
- par u,v et w les angles BAC, ACB et ABC avec u + v + w = 180°.
- par
= angle(
AP) = angle(
BP),
= angle(
AQ) = angle(
CQ),
=angle(
BR) = angle(
CR),
= angle(
AP) = angle(
BP),
=angle(
AQ) = angle(
CQ),
=angle(
BR) = angle(
CR),
= angle(
AP) = angle(
BP).
En raison de la colinéarité des triplets de points
,
etc?on peut écrire six équations dont les termes dépendent des positions relatives des points
par rapport aux sommets du triangle ABC.
Avec la figure ci-dessus, on obtient :
Après addition de ces six relations, il apparaît que tous les termes disparaissent 2 à 2 à l'exception de
et de
et l'on a l'égalité
=
qui confirme que les cercles n°1 et n°7 ne font qu'un même cercle.
Avec des positions des points
par rapport aux sommets du triangle différentes de celles de la figure, on vérifie que lorsque les points sont situés de part et d'autre d'un sommet on a des relations du 1 er type
et que lorsque les points sont du même côté elles sont du 2 ème type
.
Par exemple dans la 2 ème figure ci-dessous, on a les six relations
,
.Leur addition aboutit toujours à la relation
=
.
Dernier exemple avec tous les centres des cercles successifs intérieurs au triangle ABC :
Cette fois-ci on a les relations
puis
et enfin
. Là encore on obtient
=
.
Pierre-Henri Palmade
Le centre M du premier cercle est sur la médiatrice de AB; comme
le second cercle est tangent au premier en A, son centre N est
l'intersection de AM et de la médiatrice de AC.
Si nous utilisant les coordonnées barycentriques relatives aux points
A,B,C, les coordonnées de M sont du type (m,m,1-2m) . Tout point de AM
aura des coordonnées de la forme (1-t(1-m), tm, t(1-2m)) et il sera sur
la médiatrice de AC si 1-t(1-m)=t(1-2m), donc t=1/(2-3m) et donc les
coordonnées de N sont (n,1-2n,n) avec n=(1-2m)/(2-3m). Si l'on
continue, le troisième point, P, intersection de CN et de la médiatrice
de BC a pour coordonnées (1-2p, p,p) avec
p=(1-2n)/(2-3n)=(1-2(1-2m)/(2-3m))/(2-3(1-2m)/(2-3m))=
((2-3m)-2(1-2m)/(2(2-3m)-3(1-2m))=m.
Le centre du troisième cercle, P, a donc pour coordonnées (1-2m, m, m).
En permutant A ,B et C et en itérant encore deux fois, on trouvera le
centre du cinquième cercle de coordonnées (m,1-2m, m) et après deux
fois supplémentaires le centre du septième cercle, de coordonnées(m, m,
1-2m) qui n'est autre que le point M initial. On n'obtient donc que 6
cercles distincts...