les sommets du triangle étant celui de l’angle droit),
le milieu de l’hypothénuse
le cercle passant par et tangent à en
le rayon de ce cercle et son centre.
En choisissant pour repère orthonormal :
La médiatrice de admet pour équation :
c’est-à-dire
La médiatrice de admet pour équation :
c’est-à-dire :
Comme appartient à ces deux droites, le couple de ses coordonnées est (la) solution du système :
On obtient ainsi :
Il s’ensuit que :
Or, d’après Pythagore et donc :
Remarque
Ce qui précède apporte une interprétation en géométrie plane de la moyenne géométrique de trois nombres positifs (c’est-à-dire, par définition, la racine cubique de leur produit).
Rigolo. Pour l’équation de la médiatrice [AB] ne serait-ce pas plutôt (x-a)^2+y^2 = x^2+(y-b)^2 (sans le facteur 1/2) ?
Oui, merci d’avoir relevé cette coquille ! Le texte est à présent corrigé.