Let be the real orthogonal matrix. If for a nonzero complex eigenvector, then preservation of the complex Euclidean norm givesso . Its characteristic polynomial has real coefficients, hence nonreal eigenvalues occur in conjugate pairs. Such a pair is , and the remaining real eigenvalue is or .
If all three eigenvalues are real, each is ; two have the same sign and can be paired as with or . Thus in every case the spectrum has the formTheir product shows that .
Articles by others on the same topic
There are currently no matching articles.