Relativistic Velocity Addition

What it is

In Newtonian physics, velocities add by simple arithmetic. Throw a ball forward at 20 m/s from a train moving at 30 m/s, and a trackside observer measures 50 m/s. That works because Newton assumed time and distance are absolute — the same for everyone. Special relativity abolishes that assumption: moving clocks tick slow (time dilation) and moving rulers shrink (length contraction). Once space and time are frame-dependent, velocities — which are just distance over time — can no longer combine by naive addition.

The correct rule, for motion along a single line, is the relativistic velocity-addition formula:

u = (u′ + v) / (1 + u′v/c²)

• u — the object's velocity in frame S (m/s)
• u′ — the object's velocity in frame S′, which moves at v relative to S (m/s)
• v — the velocity of frame S′ relative to frame S (m/s)
• c — the speed of light, 299,792,458 m/s (exact, by definition of the metre)
• u′v/c² — a dimensionless ratio; the whole denominator is dimensionless

The numerator is the familiar Galilean sum; the denominator is the relativistic correction. When u′ and v are both small compared with c, that correction is essentially 1 and the two rules agree. As either speed approaches c, the denominator swells and reins the result back in — never letting it cross c.

Why it matters

This one equation is the enforcer of the cosmic speed limit. It is the reason you cannot chain boosts to reach light speed: fire a rocket from a rocket from a rocket, each at 0.9c relative to the last, and you asymptotically approach c but never arrive. It also encodes the second postulate of relativity — that light moves at c for every observer — as a mathematical fixed point rather than an assumption tacked on afterward.

Beyond thought experiments, the formula is quantitatively essential. It underlies the relativistic aberration and relativistic Doppler shifts seen in astrophysical jets; it explains Fizeau's 1851 measurement of the speed of light in moving water (the "Fresnel drag" is the first-order term of the formula); and it is built into the kinematics of every particle accelerator, where beams collide at speeds like 0.999999991c and the closing speed in one beam's frame must be computed correctly to predict collision energies.

Derivation from the Lorentz transformation

Let frame S′ move at speed v along the x-axis of frame S. The Lorentz transformation relates infinitesimal displacements as:

dx = γ (dx′ + v dt′)
dt = γ (dt′ + v dx′/c²)
γ  = 1 / √(1 − v²/c²)

The velocity in S is the ratio dx/dt:

u = dx/dt = γ(dx′ + v dt′) / [ γ(dt′ + v dx′/c²) ]

The Lorentz factor γ appears identically in numerator and denominator, so it cancels. Divide top and bottom by dt′ and recognise u′ = dx′/dt′:

u = (u′ + v) / (1 + u′v/c²)

No approximations were made — this is exact. The γ that governs time dilation and length contraction quietly cancels here, but its fingerprint remains in the u′v/c² denominator that all three effects share.

Worked examples

Example 1 — two fast spaceships. Ship A flies past Earth at v = 0.8c. It fires a probe forward at u′ = 0.5c relative to itself. Earth measures:

u = (0.5c + 0.8c) / (1 + 0.5·0.8) = 1.3c / 1.4 = 0.929c

Galilean arithmetic would have predicted 1.3c — faster than light. Relativity trims it to 0.929c, safely below the limit.

Example 2 — the light postulate. The same ship (v = 0.8c) turns on a headlight, so u′ = c:

u = (c + 0.8c) / (1 + 0.8·c·c/c²) = 1.8c / 1.8 = c

Earth sees the light beam moving at exactly c, not 1.8c. This is not a coincidence of these numbers — it holds for any v.

Example 3 — everyday speeds. Two cars approach each other, each at 30 m/s. The closing speed in one car's frame is:

u = (30 + 30) / (1 + 30·30/c²) ≈ 60 − 6×10⁻¹³ m/s

The relativistic correction is about 6×10⁻¹³ m/s (well under a picometre per second) — utterly undetectable, which is why Galilean addition served us perfectly for centuries.

Galilean vs relativistic results

u′ (in S′)	v (frame speed)	Galilean u′ + v	Relativistic u
30 m/s	30 m/s	60 m/s	≈ 60 m/s
0.1c	0.1c	0.20c	0.198c
0.5c	0.5c	1.00c	0.800c
0.8c	0.5c	1.30c	0.929c
0.9c	0.9c	1.80c	0.994c
0.99c	0.99c	1.98c	0.99995c
c	0.5c	1.50c	1.00c
c	c	2.00c	1.00c

Notice how the relativistic column asymptotes to c and locks there whenever a c appears in the input — the two rules diverge only when speeds become an appreciable fraction of light speed.

Rapidity — the quantity that really adds

Velocity looks like it should be additive but isn't. There is a quantity that adds perfectly, called rapidity φ, defined by:

v = c · tanh(φ)     ⇔     φ = artanh(v/c)

Because the hyperbolic tangent obeys tanh(a + b) = (tanh a + tanh b) / (1 + tanh a · tanh b), successive boosts simply add their rapidities: φ_total = φ₁ + φ₂. Substituting tanh φ for each velocity reproduces the velocity-addition formula exactly. Since tanh saturates at 1, an infinite rapidity is needed to reach c — you can keep adding rapidity forever and only creep asymptotically toward light speed. Rapidity is also the "angle" of a Lorentz boost in Minkowski spacetime, the hyperbolic cousin of a rotation angle.

Perpendicular motion

The single formula above governs motion along the boost direction. For a velocity component perpendicular to the boost, the transformation is different because γ acts on time but not on the transverse coordinate:

u_x = (u′_x + v) / (1 + u′_x v/c²)
u_y = u′_y / [ γ (1 + u′_x v/c²) ]

The perpendicular component u_y is reduced by both γ and the same denominator, which is what tilts velocity directions between frames and produces relativistic aberration — the reason a fast-moving observer sees stars crowd toward the direction of motion.

Common misconceptions

• "The formula slows the object down." Nothing physical decelerates. Different frames simply disagree on the numerical speed; each is correct in its own frame. The formula translates between them.
• "c + c = c breaks arithmetic." It doesn't — it's ordinary arithmetic applied to the right equation: 2c / 2 = c. What breaks is the assumption that velocities add.
• "You can't add speeds greater than c." You can plug in any values; the formula still returns a sensible answer. But if both inputs are below c, the output is guaranteed below c, so genuine object speeds never exceed it.
• "Closing speeds can't beat c." They can, in a sense: from Earth, two photons flying apart separate at a coordinate rate of 2c. That's a separation rate measured in one frame, not the speed of anything in its own frame — no physics is violated.
• "γ appears in the velocity formula." For collinear motion it cancels entirely; γ only survives in the transverse component. Writing γ into the main formula is a common error.
• "It only matters near c." True numerically, but conceptually it matters everywhere — Galilean addition is an approximation, and relativistic addition is the exact law at all speeds.

History

Hippolyte Fizeau measured light dragged by moving water in 1851 and found a partial drag coefficient — a result that puzzled physicists for half a century. In 1905, Albert Einstein's paper Zur Elektrodynamik bewegter Körper ("On the Electrodynamics of Moving Bodies") derived velocity addition from the two postulates of special relativity, and the Fizeau result fell out as the first-order approximation of the exact formula. Hendrik Lorentz and Henri Poincaré had assembled much of the mathematical machinery earlier, but it was Einstein who recognised velocity addition as a consequence of the relativity of time itself, not an ad hoc property of the ether.