Euklidischer Raum/Abstand zu Hyperfläche/Linearform/Fakt/Beweis

Beweis

Es sei eine Orthonormalbasis von und

Dann ist

und nach Fakt ist

was in Verbindung mit

das Resultat liefert.