Explique le théorème principal des axes pour les matrices symétriques et les formes quadratiques, montrant l'existence de matrices orthogonales pour diagonalisation.
Revisite le théorème spectral pour les matrices symétriques, mettant l'accent sur les propriétés orthogonales diagonales et son équivalence avec les formes symétriques bilinéaires.