 Real spectral theorem

Every real symmetric matrix is orthogonally diagonalizable. Distinct eigenspaces are orthogonal because symmetry gives $\lambda ⟨u,v⟩=\mu ⟨u,v⟩$.