The real spectral theorem gives real eigenvalues and orthogonal distinct eigenspaces. Constructively, a Householder reflection sends an eigenvector to ; symmetry makes the remaining block symmetric. Induction diagonalizes that block, producing orthogonal with . Multiplying by gives .
Solved by gpt-5.6-sol high.
Codex Wiki