Spectral theorem for real symmetric matrices
= Spectral theorem for real symmetric matrices
{wiki=Spectral_theorem}
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>.