Tout point qui est à égale distance des extrémités de la médiatrice d'un segment se trouve sur la médiatrice

→ Démonstration: