Let be the real orthogonal matrix. If for a nonzero complex eigenvector, then preservation of the complex Euclidean norm gives
so . 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 form
Their product shows that .

Articles by others on the same topic (0)

There are currently no matching articles.