Question: are all symmetric matrices orthogonally diagonalizable?
Answer: The amazing thing is that the converse is also true: Every real symmetric matrix is orthogonally diagonalizable. The proof of this is a bit tricky. However, for the case when all the eigenvalues are distinct, there is a rather straightforward proof which we now give.