- 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.
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 :
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é.