Nach Fakt ist
und nach Fakt ist
Wir ergänzen die Orthonormalbasis zu einer Orthonormalbasis u 1 , … , u n {\displaystyle {}u_{1},\ldots ,u_{n}} von V {\displaystyle {}V} . Also ist unter Verwendung des Satzes des Pythagoras