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
Jusqu'ici, la géométrie se faisait à la règle et au compas. En repérant les points par des nombres, on va pouvoir la faire par le calcul : démontrer qu'un triangle est rectangle devient une simple vérification numérique.
2 II. Milieu d'un segment
3 III. Distance entre deux points
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é.)