Let be an orthonormal basis fixed in and write . A basis vector rotating with angular velocity satisfies
Differentiating the components and the basis vectors in therefore gives the rotating-frame derivative formula