Euh non, le codage initial indique que AB=AC, c'est tout, mais il y a superposition avec le dessin des hauteurs.
I étant le point d'intersection des hauteurs (BH) et (CK), on déduit que (AI) est la troisième hauteur du triangle, puisque les trois hauteurs d'un triangle sont concourantes en son orthocentre .
Donc (AI)et (BC) sont perpendiculaires. (AI) est la perpendiculaire à (BC) qui passe par A.
AB=AC (triangle isocèle en A), donc A est sur la médiatrice de [BC]
(si un point est équidistant des deux extrémités d'un segment, alors il est sur sa médiatrice)
La médiatrice de (BC) passe donc par A, et, comme toute médiatrice, est perpendiculaire au segment. La médiatrice de [BC] est donc la droite qui lui est perpendiculaire te qui passe par A. Tiens ? C'est donc (AI)
Comme la médiatrice d'un segment est la droite qui lui est perpendicualire et passe par son milieu , tu en déduis que (AI) coupe [BC] en son milieu. CQFD (ce qu'il fallait démontrer)