je tente une démo de ton théorème, je sais pas ce qu´elle vaut...
http://serge.mehl.free.fr/cgif/th_moy.gif
nous sommes dans cette situation, si j´ai bien compris.
Et il faut montrer que (AB;AH)=(CA;CB)
Sachant que AB perpendiculaire à AC, et BH perpendiculaire à AH.
on a B, H, et C alignés.
donc, (BC;BH)=0, et par la relation de chasles,(BC;BH)=(BC;AC)+(AC;AB)+(AB;AH)+(AH;BH)
or, par les hypothèses (droites perpendiculaires), on a (AC;AB)=-pi/2 et (AH;BH)=(HA;HB)=pi/2
-pi/2+pi/2=0, par conséquent, on peut écrire
(BC;BH)=(BC;AC)+(AB;AH)
en appliquant les règles des angles orientés, on trouve que (BC;AC)=(CB;CA).
donc, on a (BC;BH)=(CB;CA)+(AB;AH)=0
donc (AB;AH)=-(CB;CA)=(CA;CB)
on est arrivés au résultat...