Required math: algebra
Required physics: special relativity
Reference: d’Inverno, Ray, Introducing Einstein’s Relativity (1992), Oxford Uni Press. – Section 2.9 and Problems 2.4, 2.5.
The composition of two velocities in special relativity has a particularly simple derivation using the k-calculus. Suppose we have 3 observers as shown in the diagram:
Observer A is at rest relative to us, while B moves to the right with velocity and C also moves to the right with velocity , with both velocities measured relative to A. Now suppose that A emits two light beams separated by a time interval T. From our k-calculus results, we know that B will receive these beams separated by a time . If B then sends these two beams on their way to C, C will receive them at a time interval . Thus the overall k-factor from A to C is
We already worked out in terms of , so we have
Squaring this equation we get
The composition of two velocities (in the same direction) is therefore less than just the arithmetic sum. In fact, if we start with two velocities, both less than 1 (that is, less than the speed of light), then their sum is also less than 1. We can show this with a little calculus.
Consider the function, defined for and :
Taking its two partial derivatives we find
Setting each of these to zero, we get the two conditions
Thus there are no maxima, minima, or saddle points anywhere inside the region, and the extreme values of the function must lie on the boundary. The boundaries are
Thus the maximum of the function occurs at the point and has the value 1. A plot of the function looks like this:
The nearest corner is the origin, with the point lying furthest away.
For velocities , the formula reduces to the Newtonian formula. We can approximate the formula above using a Taylor series:
If we save only up to first-order terms, we get
or, in terms of velocities
For negative velocities, we can look at the region and . The other two boundaries are
Thus along these boundaries, the extreme value of the function is . The function is actually discontinuous at the two points and , where the value tends to depending on how you approach the point. A plot looks like this:
The viewpoint is roughly the same as in the previous plot, with the nearest corner being and the farthest corner at the top being .
Another plot rotated about to the left shows the shape a bit more clearly: