une médiatrice est une droite qui coupe perpendiculairement un segment en son milieu.
Propriété : Si deux droites sont perpendiculaires à la même droite alors ces deux droites sont parallèles entre elles.
ABC est un triangle rectangle.
Soit : [AB] ⊥ (perpendiculaire) [BC]
et (d)⊥ [BC] (def. médiatrice)
Donc [AB] // (d)
