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