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

Propriété 2

"puisque la médiatrice d'un segment coupe ce segment en son milieu..." 

J'en déduis que :
Pour l'utiliser, il faut :
 La médiatrice d'un segment