Soit H le point d'intersection de la médiatrice de [AO] au segment [AO].
Dans le triangle AHD, rectangle en H, on a d'après le théorème de pythagore :
AD²=AH²+HD²
Dans le triangle OHD, rectangle en H, on a d'après le théorème de Pythagore :
DO²=OH²+HD²
Or, la médiatrice d'un segment coupe le segment en son milieu par définition, d'où :
OH=AH.
Au final, DA²=DO².
Comme ce sont des distances, on a alors :
DA=DO.
FIN
