Euklidische Ebene/Uneigentliche Isometrie/Achsenspiegelung/Fakt

Sei

eine uneigentliche lineare Isometrie.

Dann ist eine Achsenspiegelung

und ihre Matrix hat bezüglich der Standardbasis die Gestalt

mit einem eindeutig bestimmten Winkel .