Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A real matrix is orthogonal when . If , norm preservation gives . If and , preservation of the Hermitian inner product gives ; distinct unit-modulus eigenvalues therefore have orthogonal eigenvectors.
The nonreal eigenvalues of a real matrix occur in conjugate pairs. Since their product is one and , the remaining real eigenvalue is . If , then , and , so : the plane is invariant.
The restriction to is a planar orthogonal map whose determinant is , hence a rotation through some . In an orthonormal basis adapted to ,
Therefore and
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 8B
  2. Paper 1
  3. Ia
  4. 2023
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home