Equidistance de deux points

On veut démontrer: 
Appartenance à la médiatrice d'un segment
hypothèse: 

Si un point est équidistant de A et de B

conclusion: 

alors il est sur la médiatrice de [AB]