Posté par
Coll Coll 
Tu peux trouver, si tu le souhaites, une démonstration par la géométrie ci-après :
_________________
J'appelle K le point d'intersection des droites (AI) et (JC)
Les triangles rectangles ABH et AHC sont semblables (considère les angles), donc BH/AH = AH/HC
Mais I et J sont les milieux de [BH] et de [AH] ; donc BH/AH = (2.IH)/(2.JH) = IH/JH
En conséquence IH/JH = AH/HC ce qui démontre que les triangles rectangles AIH et JHC sont semblables
Leurs angles homologues sont égaux et en particulier

Dans le triangle AIH, les angles

et

sont complémentaires, donc

et

sont complémentaires, ce qui prouve que le triangle IKC est rectangle en K et donc que les droites (AI) et (JC) sont perpendiculaires.
