Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/ia/paper-1/8b/b/ii/solution

An eigenvalue can be complex even though is real, so use the complex Hermitian inner product. For a nonzero complex eigenvector , the real orthogonal matrix also satisfies . Hence
and . Taking complex conjugates in gives because is real. The conjugate vector is nonzero, so .
For the unheaded geometrical conclusion, the third eigenvalue of must be real: nonreal eigenvalues of a real matrix occur in conjugate pairs. Its modulus is one, so it is or . Exact algebraic multiplicity two for excludes a third , leaving . By the supplied diagonalisability fact, the -eigenspace is a two-dimensional plane and the -eigenspace is a line. They are orthogonal: preservation of the inner product between a fixed vector and a negated vector gives . Therefore is the orthogonal reflection in its fixed plane. It fixes the two tangential directions and reverses the normal direction; with unit normal , .

New to topics? Read the docs here!