Euklidischer Vektorraum/Lineare Abbildung/Winkeltreu/Struktur/Fakt/Beweis

Beweis

Es sei

${}r=\det \varphi \,$

und es sei

${}s:={\sqrt[{n}]{\vert {r}\vert }}\,,$

wobei ${}n$ die Dimension von ${}V$ sei. Es sei ${}\sigma$ die Streckung mit dem Faktor ${}s$ und wir betrachten die Abbildung

${}\psi :=\sigma ^{-1}\circ \varphi \,.$

Diese Abbildung ist nach wie vor winkeltreu und ihre Determinante ist ${}1$ oder ${}-1$. Nach Aufgabe ist ${}\psi$ eine Isometrie.

Zur bewiesenen Aussage