The following derivations are based on the exposition by G. G. Lombardi *here*.

Time Dilation

A clock is made by sending a pulse of light toward a mirror at a distance *L* and back to a receiver. Each “tick” is a round-trip to the mirror and back. The clock is shown at rest in the “Lab” frame in Fig. 1a, or any time it is in its own rest frame. Consequently, it also represents the clock at rest in Rocket #1. Figure 1b is the way the clock looks in the Lab when the clock is at rest in Rocket #1, which is moving to the right with velocity **v** and lenticity **u**, hence speed *v* and pace *u*.

Some notation:

*t* = half of the time for the light to make one round-trip in the Lab or at rest in Rocket #1 (Fig. 1b)

*t*´ = half of the time for the light to make one round-trip in Rocket #1 in its own rest frame (Fig. 1a)

*L* = distance to mirror

So the times and distances are related as follows:

*L* = *ct*´ = *t*´/*k* and

*ct*² = *L*^{2} + *vt*² = *L*^{2} + *t*/*u*² = *t*/*k*²

where *c* is the speed of light, *k* is the pace of light, and the Pythagorean theorem is used.

Eliminate *L* from the equations:

*ct* = *ct*´ + *vt* = *t*´/*k*^{2} + *t*/*u*² = *t*/*k*²,

and solve for t´:

*t*´ = *t* √(1 − *v*²/*c*²) = *t* √(1 − *k*²/*u*²).

Since √(1 − *v*^{2}/*c*^{2}) = √(1 − *k*^{2}/*u*^{2}) < 1, the clock at rest in Rocket #1 appears slow to observers in the Lab.

Go back to Fig. 1c. Rocket #2 is moving with velocity **v** and lenticity **u** to the *left*. Those clocks would also appear slow to observers in the Lab. But it is also the way a clock at rest in the Lab appears in Rocket #1. So, Lab clocks also appear slow to observers in the Rockets. Relativity is symmetrical!

Length Contraction

As with the time dilation example, imagine a pulse of light reflects from a mirror back to a receiver. Light will be the reference used to measure the length of an object in the Lab and Rocket frames.

Some notation:

*L*´ = length of rod in the Rocket

*L* = length of rod in the Lab

*t*_{1} = the light pulse travel time to the end of the rod (Lab)

*t*_{2} = the light pulse travel time back from the end of the rod (Lab)

*t* = *t*_{1 }+ *t*_{2} = total travel time in the Lab

*t*´ = total travel time in the Rocket

*u* = pace of the Rocket in the Lab frame

*v* = speed of the Rocket in the Lab frame

In the Lab:

*L* + *vt*_{1} = *ct*_{1} and L − vt_{2} = ct_{2
}

or *L* + *t*_{1}/*u* = *t*_{1} /*k* and *L* − *t*_{2}/2 = t_{2}/*k*

So *t* = *t*_{1} + *t*_{2} = (2*L*/*c*) / (1 − *v*^{2}/*c*^{2}) = (2L*ç*) / (1 − *k*^{2}/*u*^{2}).

In the Rocket:

2*L*´ = *ct*´ = t´/*k* or

*t*´ = 2*L*´/*c* = 2*L*´*k*.

We know from the time dilation formula that *t*´ = *t* √(1 − *v*^{2}/*c*^{2}) = *t* √(1 − *k*^{2}/*u*^{2}).

So 2*L*´/*c* = 2*L*´*k* = (2*L*/*c*) / √(1 − *v*^{2}/*c*^{2}) = (2*Lk*) / √(1 − *k*^{2}/*u*^{2}).

*L*´ = *L* / √(1 − *v*^{2}/*c*^{2}) = *L* / √(1 − *k*^{2}/*u*^{2}) or

*L* = *L*´ √(1 − v^{2}/c^{2}) = *L*´ √(1 − *k*^{2}/*u*^{2}).

The rod appears shorter in the Lab frame since √(1 − *v*^{2}/*c*^{2}) = √(1 − *k*^{2}/*u*^{2}) < 1.