Orthogonal Diagonalization

Let be a symmetric matrix then where is an orthogonal matrix and is a diagonal matrix.

This follows from the Spectral Theorem.