est un carré de coté .
est le milieu du segment et .
5) vaut :
. D'après le théorème de Pythagore on a : et ,
donc et .
Donc .