Prouver qu'un point est le milieu d'un segment... 
Sachant que :

Propriété 1

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

J'en déduis que :
Pour l'utiliser, il faut :
 Un point qui appartient à un segment et équidistant des extrémités du segment