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

Beweis

Es sei

und es sei

wobei die Dimension von sei. Es sei die Streckung mit dem Faktor und wir betrachten die Abbildung

Diese Abbildung ist nach wie vor winkeltreu und ihre Determinante ist oder . Nach Aufgabe ist eine Isometrie.