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

Propriété 8

"puisque les diagonales d'un carré se coupent en leur milieu..." 

J'en déduis que :
Pour l'utiliser, il faut :
Un carré et l'intersection de ses diagonales