Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2007/paper-1/4/solution

The matrix trace is . Expanding the matrix products gives . Thus the cyclic property of the trace gives zero trace to every commutator. If , taking the trace would give , impossible for positive finite over the real or complex field.
For real , let , a real polynomial of degree at most . Since , it is not the zero polynomial. It has at most finitely many real roots of a polynomial, so is an invertible matrix for some real , in fact for all but finitely many.
Finally write the invertible intertwiner as . The relation and the reality of give and . Choose a real for which is invertible. Then , so . This proves that complex similarity of real matrices implies real similarity.

New to topics? Read the docs here!