The inverse is assumed to exist. First,
By matrix commutation with an inverse, multiplying on both sides by gives
An equivalent calculation writes , so both products equal . No convergent infinite matrix series is needed.
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 .
First, is invertible. If for a real vector, then , whereas the skew-symmetric matrix identity gives ; hence and . Thus its real kernel is trivial, which suffices for invertibility. The same argument applies to .
Using and the rule for the transpose of a product,
The factors and commute, as do the required inverses. Consequently
Thus . This is the Cayley transform of a real skew-symmetric matrix.
For a possibly complex eigenvector with , invertibility of gives . Therefore
Thus every eigenvector of remains an eigenvector of . For a real skew-symmetric matrix, its eigenvalues have the form with real, so lies on the unit circle, consistently with orthogonality.
Taking determinants and using invariance under transpose,
This determinant identity actually holds in every dimension. In dimension three, skew symmetry additionally gives
so . Hence there is a real nonzero vector in the kernel:
The eigenvalue relation then gives . Thus the Cayley transform fixes an axis and is a proper three-dimensional rotation, including the identity as a degenerate case.

Articles by others on the same topic (0)

There are currently no matching articles.