This derivation confirms a fundamental identity in rigid body dynamics, showing how the time derivative of the inertia tensor projected along angular velocity relates to a torque-like term involving the Levi-Civita symbol. Starting from the definition of the inertia tensor and using the rigid body velocity field $\vec{v}=\vec{\omega} \times \vec{x}$, we compute $I_{i j} \omega_j$ by differentiating under the integral and applying antisymmetric properties of the cross product. The derivation assumes rotation about the center of mass, which simplifies the expression by eliminating linear terms. Ultimately, both sides of the identity are shown to match, reinforcing the deep connection between rotational kinematics and the structure of the inertia tensor.
<aside> 🧄
$\complement\cdots$Counselor
</aside>
‣
<aside> 🧄
</aside>