Sylvester's law of inertia

For a real symmetric matrix A, the triple (p, q, r) counting positive, negative, and zero eigenvalues is invariant under real congruence A ↦ P^T A P with P invertible. Determines the equivalence class of a real quadratic form. Sylvester…