One thing that can be puzzling when deriving the equations of motion for a rotating body is the Coriolis component (the cross product) term when differentiating body-fixed velocity:

This post won’t attempt to provide a mathematical proof of the theorem, but rather observe the phenomenon from a perspective that I think provides a bit more intuition in what is happening.

Let us take for example a generic coordinate frame which has an instantaneous angular velocity vector . We want to evaluate the following expression to find the derivative of a velocity vector, , from the perspective of the body-fixed, rotating frame.

### The Chain Rule

If the body’s orientation was constant, the derivative would simply be the derivative of the velocity magnitude in each x, y, z component of the reference frame. This is because the derivative of the unit vectors would be constants and their derivatives zero. With a rotating body you have to take into account the chain rule of derivation and the non-zero derivative of the reference frame’s unit vectors. In this scenario, the above equation is then expanded to:

### The Derivative of Rotating Unit Vectors

Instead of starting from the derivatives of the unit vectors directly, let’s look at how rotations about each of the three unit vectors will be perceived from the rotating frame.

### Evaluating Rotations One Axis at a Time

Looking back at the direction cosine matrices we derived in the Euler angle post we can represent the change from some initial set of unit vectors to a new set of unit vectors across some delta time, , as a rotation by an angle , where .

**Visualization of the rotation due to angular velocity about the z-axis unit vector (which is perpendicular to x and y and goes out of the page)**

However from the perspective of the new (prime) frame, the past frame — and velocity vector within it — looks to be rotating in the negative direction. We want to see how much the frame is changing over time, so let’s imagine that is large enough that we can observe the original reference frame rotating away from the prime frame. We want to stay fixed with the rotating frame, so let’s try to express the past frame in terms of components of the current (prime) frame.

To undo the rotation from xyz to xyz’ we can take the **transpose of the rotation matrix** of the angle . So, for rotation about we would find at time :

For rotation about :

For rotation about :

### Simplify with Small Angle Theorem

Now we care about the instantaneous change of the unit vectors as goes to zero. If we assume the resulting angles of rotation are small we can simplify the above expressions using the small angle theorem where

.

The expressions then become,

For rotation about :

For rotation about :

For rotation about :

### Find the Derivative from the Delta over dt

Now let’s try to express the delta in the unit vectors as a result of these rotations by subtracting the change in unit vectors over time . At time the xyz and xyz’ unit vectors are equivalent, so we can simply substitute one for the other. Taking the rotation , we can write out the following set of equations:

Dividing both sides of the equation by and expressing the result back in matrix form, we get the following derivatives due to the angular velocity about :

.

Doing the same operation for the other axes results in:

and

.

### Combine Rotations for All 3 Axes Together

For the general case where we have instantaneous angular velocity about all 3 axes, then it is straightforward to see the combination as:

The resulting matrix, represented by , is a skew-symmetric matrix known as the cross-product matrix of the angular velocity vector . This is just a helpful notation as the matrix multiplication of this matrix with a vector is equivalent to the cross product expression .

### Back to the Chain Rule Expression

When we combine this result for unit vector derivatives with the chain rule derivation from above, we arrive at Coriolis’ Theorem for the change in velocity in a moving reference frame.