bonsoir,
si BEC isocèle en E alors CE=EB
d'où E appartient à la médiatrice de BC
Si BFC isocéle en F alors FC=FB
d'où F appartient à la médiatrice de BC
Si E appartient à la médiatrice de BC et F apparteint à la médiatrice de BC
alors d=(EF) est médiatrice de BC
Si EF médiatrice de BC
EF perpendiculaire à BC
si (d) // EF alors (d) perpendiculaire àBC
A appartient à (d)
une droite issue d'un sommet et perpendiculaire au côté opposé est une hauteur du triangle
