ISOMÉTRIES DU PLAN AFFINE EUCLIDIEN 3

Sur la figure, la droite D est l’axe des abscisses. Les longueurs MP et MS sont
égales mais M 0 S0 est strictement inférieur à M 0 P0 . On voit aussi que [MP] et [MQ]
ont même projeté [M 0 P0 ].

1.1.2. Points fixes.

Définition 1.4. On dit qu’un point C est fixe par une application φ s’il vérifie
φ(C) = C.
Tous les points de l’axe des abscisses sont fixes par la projection de l’exemple
précédent.
1.2. Isométries. Dans ce document, nous nous intéressons aux applications qui
conservent les longueurs.
Définition 1.5. On dit qu’une application φ du plan P dans lui-même est une iso-
métrie si elle conserve les longueurs, c’est-à-dire si l’on a, pour tous points A et B
dans P , φ(A)φ(B) = AB.
Proposition 1.1. Une isométrie transforme trois points alignés en trois points ali-
gnés dans le même ordre.
En particulier, une isométrie conserve les milieux.
Démonstration. On rappelle l’inégalité triangulaire :
Soient A, B et C trois points du plan. On a l’inégalité triangulaire :
AC ≤ AB + BC
L’égalité AC = AB + BC vaut si et seulement si les trois points sont alignés avec B
entre A et C.
Soient trois points A, B et C alignés et A0 , B0 et C0 leurs images respectives
par une isométrie φ. De AC = AB + BC, on déduit, puisque φ est une isométrie,