Bonjour,
1 ) PJ
2) D est le projeté orthogonal de B sur (AC) ⇒ (BD) ⊥ (AC)
F est le projeté orthogonal de E sur (AC) ⇒ (EF) ⊥ (AC)
(BD) ⊥ (AC) et (EF) ⊥ (AC) ⇒ (EF) // (BD)
E est le projeté orthogonal de C sur (AB) ⇒ (CE) ⊥ (AB)
J est le projeté orthogonal de D sur (AB) ⇒ (DJ) ⊥ (AB)
(CE) ⊥ (AB) et (DJ) ⊥ (AB) ⇒ (DJ) // (CE)
3 ) D'après le th. de Thalès, on a AF/AD = AE/AB et AD/AC = AJ/AE
On en déduit que
AF/AC = (AF/AD) . (AD/AC) = (AE/AB) . (AJ/AE) = AJ/AB
Soit AB.AF = AC.AJ
4 ) Puisque AF/AC = AJ/AB, on (FJ) // (BC) d'après la réciproque du th. de Thalès.