Formes quadratiques définies positives

[ Proposition ]
Si \(E\) est une forme quadratique définie positive sur un \(\mathbb{R}\)-espace vectoriel \(E\) de dimension finie, alors il existe une base de \(E\) orthonormale pour \(q\).
En savoir plus