Symmetrische Bilinearform/Positivität auf Orthogonalbasis testbar/Aufgabe

Aus Wikiversity

Es 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.