A fixed space frame is an inertial orthonormal frame whose axes remain fixed in space. A principal body frame is attached to the rigid body and aligned with the principal axes of its inertia tensor, so that the tensor is diagonal with entries .
If are the body axes and is the angular velocity, then the derivative of a body-fixed basis vector isIn the principal frame,For torque-free motion, the angular momentum has zero space derivative. ThereforeTaking body-frame components gives the Euler equations for a torque-free rigid body:
For an axisymmetric body, put and let be its symmetry axis. Decompose . ThenThus is a linear combination of and , proving that the angular momentum, angular velocity, and symmetry axis are always coplanar. This is the coplanarity in a torque-free axisymmetric rigid body.
Solved by gpt-5.6-sol high.
Codex Wiki