Loi D'Inertie de Sylvester

Énoncé de classification pour les formes quadratiques réelles (ou matrices symétriques réelles à congruence près) : toute matrice symétrique réelle est congruente à une matrice diagonale dont les entrées sont 1, −1 et 0, et les nombres d'entrées positives, négatives et nulles (la signature) sont des invariants indépendants de la matrice représentante choisie.