Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ib/paper-4/10e/solution

An orthogonal transformation preserves the real inner product. If is an invariant subspace, its orthogonal complement is invariant too: in finite dimensions, and for , , we have .
Complexify the space and the transformation. There is a complex eigenvalue , and preservation of the Hermitian norm gives . If is real, it is or , and the real kernel of contains a nonzero vector. Its span is an invariant line on which acts as or .
If is nonreal, write an eigenvector as . Its real and imaginary parts are linearly independent: otherwise a nonzero real vector would have the nonreal eigenvalue. The real plane is invariant, because comparison of real and imaginary parts in gives real combinations of . The restriction has determinant . In an oriented orthonormal basis of , it is therefore a rotation
There is no invariant real line in this plane: such a line would supply a real eigenvalue, whereas its two eigenvalues are nonreal.
Apply the argument repeatedly to the invariant orthogonal complement. Thus the smallest mutually orthogonal invariant blocks are lines with action , and planes with a genuine rotation. Planes with angle or can be decomposed further into lines.
In dimension three a suitably chosen orthonormal basis therefore gives either
or
Changing the orientation of the plane reverses the angle, so this angle range loses no cases. These exhaust rotations, reflections and their possible compositions in three dimensions.

New to topics? Read the docs here!