Ebene Isometrien/Textabschnitt
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.
Es sei
eine eigentliche, lineare Isometrie.
Dann ist eine Drehung,
und ihre Matrix hat bezüglich der Standardbasis die Gestalt
mit einem eindeutig bestimmten Drehwinkel .
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.
Es sei
eine uneigentliche lineare Isometrie.
Dann ist eine Achsenspiegelung
und ihre Matrix hat bezüglich der Standardbasis die Gestalt
mit einem eindeutig bestimmten Winkel .
Wir betrachten
was nach dem Determinantenmultiplikationssatz eine eigentliche Isometrie ist. Nach Fakt gibt es somit einen eindeutig bestimmten Winkel mit
Somit 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.