Yes. The matrix is a real symmetric matrix, so the spectral theorem for real symmetric matrices provides an orthonormal basis of real eigenvectors and hence a real diagonal form. Explicitly its characteristic polynomial is , with distinct real eigenvalues
The characteristic polynomial is , with eigenvalues . A real diagonal form can have only real eigenvalues, so it requires . Conversely, when , the rotation matrix is already . Thus
Articles by others on the same topic
There are currently no matching articles.