1. Énoncé : diagonalisation en base orthonormée. 2. Valeurs propres réelles. 3. Orthogonalité des espaces propres. 4. Applications : formes quadratiques, inertie
Preuve par récurrence sur la dimension. Projecteurs spectraux