Symmetrische Bilinearform/Positivität auf Orthogonalbasis testbar/Aufgabe

Sei ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform auf . Es sei eine Orthogonalbasis auf mit der Eigenschaft für alle . Zeige, dass positiv definit

ist.