Symmetric bilinear form/Positivity on orthogonal basis/Exercise
Appearance
Let be a finite-dimensional real vector space, endowed with a symmetric bilinear form on . Let be an orthogonal basis of with the property for all . Show that is positive definite ist.