Es seien
und
die Bilder der Standardvektoren
und .
Unter einer Isometrie wird die Länge eines Vektors erhalten, daher ist
Daher ist eine reelle Zahl zwischen
und
und
,
d.h. ist ein Punkt auf dem reellen Einheitskreis. Der Einheitskreis wird bekanntlich durch die trigonometrischen Funktionen parametrisiert, d.h. es gibt einen eindeutig bestimmten Winkel
, ,
mit
Da unter einer Isometrie die Senkrechtsbeziehung erhalten bleibt, muss
gelten.
Bei
folgt daraus
(wegen
)
.
Dann ist
und wegen der Eigentlichkeit muss das Vorzeichen dasselbe wie von sein. Es sei also
.
Dann gilt
Da die beiden Vektoren die Länge haben, muss der skalare Faktor den Betrag haben. Bei
wäre
und die Determinante wäre . Also muss
und
sein, was die Behauptung ergibt.
Die Hintereinanderschaltung von zwei Drehungen
und
ist . Diese Eigenschaft ist einleuchtend, wenn man die intuitive Vorstellung, die sich mit einer Drehung verbindet, verwendet. Unter Verwendung der
Additionstheoreme
für die trigonometrischen Funktionen kann man sie beweisen. Umgekehrt folgen die Additionstheoreme aus dieser Eigenschaft, siehe
Aufgabe.
Aus dieser Eigenschaft folgt auch, dass die Gruppe der ebenen Drehungen kommutativ ist.
Bei einer solchen Achsenspiegelung ist ein Eigenvektor zum Eigenwert , die Spiegelungsachse ist also , siehe
Aufgabe.
Eine Achsenspiegelung wird bezüglich der Basis, die aus einen Vektor der Spiegelungsachse und einem dazu senkrechten Vektor besteht, durch beschrieben. Die in
Fakt
gegebene Beschreibung bezüglich der Standardbasis lässt sich also wesentlich verbessern.