Propriété des points de la médiatrice d'un segment

d est la médiatrice de [AB].

P d, donc PA = PB.

Et si un point n'appartient pas à la médiatrice de [AB] ?
médiatrice d'un segment
Tout point de la médiatrice d'un segment est équidistant des extrémités de ce segment.