Odd-dimensional rotations have an axis
Statement
Show that every with odd has the eigenvalue . In particular (Euler's theorem), every rotation of has an axis.
Hint
Show using and .
Show solutionHide solution
Solution
Idea. The matrix is related to its transpose by a factor up to conjugation; taking determinants gives an equation that forces when is odd.
Step 1: a factorisation. Since ,
Step 2: determinants. Using and ,
But , so . Therefore
Step 3: odd. For odd this reads , so . Hence is an eigenvalue: there is a unit vector with .
Euler's theorem. For this unit vector spans the axis, and restricts to an orientation preserving isometry of the plane (preserved because is orthogonal and fixes ), i.e. to a plane rotation. So is a rotation about .
Remark. For even the statement fails: has no eigenvalue . The same computation shows that for even and one has : every reflection-type orthogonal matrix has eigenvalue (and also ).
Lesson. Parity of the dimension decides the existence of fixed vectors for rotations.