A positively oriented planar rotation matrix acts byFor a unit vector in three dimensions, the parallel and perpendicular orthogonal projections areOn 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 formulaIts 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 giveTherefore the two axis-angle pairs areReversing the axis and the angle leaves the Rodrigues rotation formula unchanged, so these describe the same rotation.
Articles by others on the same topic
There are currently no matching articles.