Euklidische Ebene/Eigentliche Isometrie/Drehung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei

eine eigentliche, lineare Isometrie.

Dann ist eine Drehung,

und ihre Matrix hat bezüglich der Standardbasis die Gestalt

mit einem eindeutig bestimmten Drehwinkel .

Zum Beweis, Alternativen Beweis erstellen