Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The special orthogonal group is
If
its first column is a unit vector, say . The second column is the unique unit vector perpendicular to it that gives positive determinant, namely . Thus
so is rotation through about the origin.
For , its real characteristic polynomial of odd degree has a real eigenvalue. Every eigenvalue of an orthogonal matrix has modulus one, so every real eigenvalue is . Nonreal eigenvalues occur in conjugate pairs whose product is one, while ; if all eigenvalues are real, their product likewise forces at least one to be . Hence fixes a nonzero vector . The plane is -invariant, and the restriction to it is an orientation-preserving orthogonal map. By the result it is a planar rotation. Therefore is a rotation about the axis .
Solved by gpt-5.6-sol high.

Ancestors (11)

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