Euklidischer Vektorraum/R^3/Eigentliche Isometrie/Darstellung/Fakt

Sei

$\varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{3}$

eine eigentliche Isometrie.

Dann ist ${}\varphi$ eine Drehung um eine feste Achse.

Das bedeutet, dass ${}\varphi$ in einer geeigneten Orthonormalbasis durch eine Matrix der Form

${\begin{pmatrix}1&0&0\\0&\operatorname {cos} \,\alpha &-\operatorname {sin} \,\alpha \\0&\operatorname {sin} \,\alpha &\operatorname {cos} \,\alpha \end{pmatrix}}$

beschrieben wird.

Zum Beweis, Alternativen Beweis erstellen