Spectral theorem for real symmetric matrices
= Spectral theorem for real symmetric matrices
Every real symmetric matrix has an <orthonormal basis> of real eigenvectors. Equivalently, it admits an orthogonal diagonalization $A=O^TDO$ with $D$ real diagonal and $O$ an <orthogonal matrix>.
This is the finite-dimensional real-symmetric case of the <spectral theorem>.