Dans un repère orthonormé, le milieu de [AB] a pour coordonnées la moyenne des coordonnées de A et B, et la distance vaut AB = √((xB − xA)² + (yB − yA)²) — c'est le théorème de Pythagore traduit en coordonnées. Ces deux formules suffisent pour démontrer qu'un triangle est isocèle ou rectangle, ou qu'un quadrilatère est un parallélogramme.
1 I. Repère et coordonnées
2 II. Milieu d'un segment
3 III. Distance entre deux points
D'où vient cette formule
Le triangle est rectangle en (les axes étant perpendiculaires), et :
• (déplacement horizontal) ;
• (déplacement vertical).
Le théorème de Pythagore donne alors :
Comme une distance est positive, on prend la racine carrée. (Les valeurs absolues disparaissent : elles sont élevées au carré.)