Soit
une droite dirigée par un vecteur
. La symétrie glissée
vérifie ces propriétés :
- Les applications
et
commutent. On a aussi
.
- Le carré
de
vaut
.
- La décomposition
est unique.
- L'application
n'admet aucun point fixe.
- La droite
est l'ensemble des milieux de
pour
.
1. Les applications
et
commutent si et seulement si on a l'égalité
. Soit un point
M du plan, on pose
Par l'égalité
, le quadrilatère
M M1 M2 M3 est un parallélogramme. Comme
dirige
et que
(
M1 M2) est perpendiculaire à
, l'angle
est droit donc
M M1 M2 M3 est un rectangle.
Alors
est une médiane puisque parallèle à
(
M M1) et passant par le milieu de
[
M1 M2]. Donc le milieu de
[
M M3] appartient à
et
(
M M3) est perpendiculaire à
, ceci signifie que
M3 est le symétrique de
M par rapport à
.
On a donc démontré
, qui est équivalent à
.
2. En utilisant (1) et le fait qu'une réflexion est involutive, on peut écrire :
3. Le vecteur de la symétrie glissée est uniquement déterminé par l'égalité
; la réflexion est alors uniquement déterminée par
.
4. Comme la translation
n'admet aucun point fixe, il en est de même pour
.
5. Sur la figure,
M3 est l'image de
M1 par
. La droite
est une droite des milieux dans le triangle
M1 M2 M3 puisque parallèle à la base
(
M2 M3) et passant par le milieu de
[
M1 M2] donc elle passe par le milieu
N de
[
M1 M3].
On a donc montré que le milieu
N de
appartient à
pour tout
M1.
Réciproquement, soit
P un point de
. On pose
et
. Comme
P0 appartient à
, il est fixe par
donc
P1 est l'image par
de
P0 et
P est, par construction, le milieu de
[
P0 P1]. On a montré que tout point de
est le milieu d'un segment
pour
M point du plan.
L'assertion (5) est démontrée.