A positively oriented planar rotation matrix acts by
For a unit vector in three dimensions, the parallel and perpendicular orthogonal projections are
On the plane perpendicular to , the map preserves lengths and turns vectors through a positive right angle about . It squares to minus the identity there. Thus rotates that component, while the parallel component remains fixed. This proves the Rodrigues rotation formula
Its component form uses the Levi-Civita symbol:
Since and , its matrix trace is .
For the given matrix, the matrix trace is with , so . In the stated angular range, . The antisymmetric entries give
Therefore the two axis-angle pairs are
Reversing the axis and the angle leaves the Rodrigues rotation formula unchanged, so these describe the same rotation.

Articles by others on the same topic (0)

There are currently no matching articles.