Dans le triangle ABC la bissectrice de l'angle $\widehat{BAC}$ coupe [BC] en I.
La perpendiculaire à la droire (AI) issue de B coupe la droite (AI) en J.
La perpendiculaire à la droite (AI) issue de C coupe la droite (AI) en K.
Les triangles ABJ et ACK sont