Soit DEF un triangle quelconque.
On appelle D', E' et F' les pieds des hauteurs de DEF issues respectivement des sommets D, E et F. Soit H l'orthocentre de DEF.
On appelle enfin Q, R et O les milieux respectifs des segments \left[DE\right], \left[EF\right], \left[DH\right].
Pourquoi D' appartient-il au cercle C de diamètre \left[RO\right] ?
Le point D' étant le pied de la hauteur du triangle DEF issue du sommet D, on en déduit que les droites \left(DD'\right) et \left(EF\right) sont perpendiculaires. Le point R appartenant à \left(EF\right), on en conclut que \left(DD'\right) et \left(RD'\right) sont perpendiculaires.
On en déduit que le triangle ROD' est rectangle en D'.
Or, l'hypoténuse d'un triangle rectangle est un diamètre du cercle circonscrit à ce triangle rectangle.
Le cercle C ayant pour diamètre \left[RO\right], qui est l'hypoténuse du triangle ROD', on en conclut que ce cercle est le cercle circonscrit au triangle ROD'.
Les trois sommets du triangle ROD' appartiennent donc au cercle C.
Le point D' appartient au cercle C.
Pourquoi le point Q appartient-il également à C ?
Pour démontrer que le point Q appartient également au cercle C, il suffit de montrer, comme précédemment, que le triangle ROQ est rectangle en Q.
On va donc montrer que les droites \left(QR\right) et \left(QO\right) sont perpendiculaires.
Montrons que \left(QR\right) et \left(EE'\right) sont perpendiculaires.
Dans le triangle DEF, \left(QR\right) est la droite des milieux des côtés \left[DE\right] et \left[EF\right]. Donc \left(QR\right) est parallèle à \left(DF\right).
De plus, \left(EE'\right) étant la hauteur du triangle DEF issue du sommet E, on a : \left(EE'\right) perpendiculaire à \left(DF\right).
Or, si deux droites sont parallèles, toute droite perpendiculaire à l'une est perpendiculaire à l'autre.
La droite \left(EE'\right) est donc également perpendiculaire à \left(QR\right).
Montrons que \left(QO\right) et \left(EE'\right) sont parallèles.
H étant l'orthocentre du triangle DEF, il est donc le point de concours des trois hauteurs \left(DD'\right), \left(EE'\right) et \left(FF'\right) de ce triangle et appartient donc à ces trois hauteurs.
Dans le triangle DHE, \left(QO\right) est la droite des milieux des côtés \left[DE\right] et \left[DH\right]. Donc \left(QO\right) est parallèle à \left(EH\right).
\left(QO\right) est donc parallèle à \left(EE'\right), les points E, H et E' étant alignés.
Finalement, on a :
- \left(QR\right) perpendiculaire à \left(EE'\right).
- \left(QO\right) parallèle à \left(EE'\right).
On en conclut que les droites \left(QR\right) et \left(QO\right) sont perpendiculaires, et donc que le triangle ROQ est rectangle en Q.
Le point Q appartient également au cercle C.
Soit S le milieu de \left[DF\right].
S appartient-il au cercle C ?
Pour vérifier que S appartient au cercle C, on peut montrer que les droites \left(SO\right) et \left(SR\right) sont perpendiculaires.
De la même manière qu'à la question précédente, on montre que :
- \left(SR\right) perpendiculaire à \left(FF'\right).
- \left(SO\right) parallèle à \left(FF'\right).
On en conclut que les droites \left(SR\right) et \left(SO\right) sont perpendiculaires, et donc que le triangle ROS est rectangle en S.
Le point S appartient donc également au cercle C.