Prouver que deux distances sont égales... 
Sachant que :

Propriété 4

"puisque le milieu d'un segment est équidistant des extrémités de ce segment..." 

J'en déduis que :
Pour l'utiliser, il faut :
Le milieu d'un segment