Galilean Relativity

In the 1650s Christiaan Huygens drew a picture that belongs on the first page of every relativity book. A boat glides along a canal; a man standing in it swings two balls on strings together, and they collide and rebound, while on the towpath an assistant watches the same collision. The two observers write down different velocities for the same two balls, and they are obliged to agree on what the balls do. Huygens saw that this obligation is not a nuisance but a tool: shift to the frame in which the collision is symmetric, solve it there by inspection, shift back. Out of that trick came the correct laws of elastic impact, half a century before anyone had the modern word for momentum. The machinery of the shift is not ours to build. The mechanics article Relative Motion and Galilean Transformations (`aq-mech-relative-motion-galilean-transformations`) owns it: the coordinate dictionary r′=r−Vt\mathbf{r}' = \mathbf{r} - \mathbf{V}t with t′=tt' = t, the velocity rule v′=v−V\mathbf{v}' = \mathbf{v} - \mathbf{V}, the invariance of acceleration a′=a\mathbf{a}' = \mathbf{a}, the covariance F′=ma′=ma=F\mathbf{F}' = m\mathbf{a}' = m\mathbf{a} = \mathbf{F}, the ten-parameter family of boosts, rotations and translations, and the frame-hopping recipe that boosts by Vcm=P/M\mathbf{V}_{\mathrm{cm}} = \mathbf{P}/M into the zero-momentum frame. We recall that by name and put it to work; we do not rebuild it. What this article owns is the machinery read as a claim about the world. Galilean relativity says the laws of physics are blind to uniform motion: no experiment sealed inside a smoothly moving laboratory can reveal its own velocity. We prove the claim where it holds — for Huygens' collision law, identical in every inertial frame — then walk it up to the one moving object that breaks it. Feed the same innocent addition rule a beam of light and it hands back c±vc \pm v: a speed of light that depends on who is looking. The rest of special relativity is the repair.

Key takeaways
  • Galilean relativity: the laws of mechanics take the same form in every inertial frame, so uniform motion is undetectable from inside a closed laboratory — Galileo's ship, 1632.
  • Its engine is Galilean velocity addition, u′=u−vu' = u - v: a walker at 5 m/s5\ \mathrm{m/s} on a train at 30 m/s30\ \mathrm{m/s} moves at exactly 35 m/s35\ \mathrm{m/s} over the ground.
  • Differentiate once more and the frame velocity dies: a′=aa' = a. Acceleration is a fact all inertial observers share, so F=ma\mathbf{F} = m\mathbf{a} survives the boost word for word — galilean invariance.
  • Huygens' law of elastic collision is therefore frame-independent: the relative velocity reverses, and conservation of momentum and of kinetic energy hold in every inertial frame at once — though the values of pp and KK differ between frames.
  • Equal masses, head-on, elastic: the velocities exchange. A ball at 4 m/s4\ \mathrm{m/s} striking an identical stationary ball stops dead and the target leaves at 4 m/s4\ \mathrm{m/s} — the Newton's-cradle click.
  • Key idea: a Galilean boost subtracts a constant from every velocity and leaves every acceleration, force and conservation law untouched — so mechanics cannot tell you how fast you are moving. Hand the same rule a light beam and it returns c±vc \pm v, a frame-dependent speed of light: the one place where the principle and the arithmetic cannot both survive.
The core insight

A boost to a frame moving at constant velocity vv subtracts vv from every velocity, leaves every acceleration alone, and therefore leaves Newton's laws — and every conservation law built on them — reading exactly the same. Uniform motion has no mechanical signature. But the same arithmetic predicts a light beam travelling at c+vc + v for an observer running toward it — and that prediction is false.

Where this lives today

Every collider on Earth runs on Huygens' trick. When two proton beams meet, what matters is not the energy in the laboratory but the energy available in the zero-momentum frame — the frame you reach by boosting, exactly as in worked example 1 — and every event recorded at CERN is analysed by transforming into and out of it. The same manoeuvre is routine in molecular-beam chemistry and nuclear scattering; accident reconstruction is its low-speed cousin, and the collision-avoidance systems that keep aircraft apart compute the invariant of worked example 2. The deeper legacy is methodological: "choose the frame where the physics is simplest, solve it there, transform back" survives the revolution. Relativity swaps the Galilean dictionary for the Lorentz one, but the strategy becomes more central, not less — Einstein's 1905 paper is that strategy applied with a straight face to a light beam, precisely where equation (5) ran out of road.

The physical picture

Walk forward along the aisle of a train. To the other passengers you are ambling; to a farmer in a field you are a blur. Neither is wrong — the farmer's number is your number plus the train's, and that is the whole of Galilean velocity addition. It took two centuries and a beam of light to notice that this most natural of additions was an assumption at all.

Figure
Galilean velocity addition — a walker at u′ = 5 m/s on a train at v = 30 m/s reads u = u′ + v = 35 m/s over the ground. The two contributions stack end-to-end on the number line, with no correction term of any kind.
S′ — the train frame u′ = 5 m/s v = 30 m/s S — the ground frame · the number line of speeds v = 30 m/s — the frame's own speed u′ = 5 0203040 speed over the ground (m/s) u = u′ + v = 5 + 30 = 35 m/s no correction term · no ceiling

Now seal the walker in a windowless carriage and let her play catch, pour coffee, bounce two billiard balls off each other. Every experiment comes out as it would in a station car park — not because the train is slow, but because the train's speed cancels. Carriage positions differ from ground positions by vtvt, velocities by vv, accelerations by nothing at all: subtract a constant, differentiate twice, and the constant is gone. That is why Huygens could treat a moving boat as a laboratory — and why the punchline figure repays a stare. Drawn as a graph of ground speed against frame speed, the addition rule is an exactly straight line: slope one, forever. Push it far enough and it calmly predicts that a stroll on a fast enough train carries you past the speed of light.

Figure
PUNCHLINE — Galilean addition is exactly linear. Left: the everyday case u = v + 5, with 30 + 5 = 35 m/s dead on the line. Right: the same straight rule for a walker at u′ = 0.5c — it sails clean through the speed of light and predicts u = 1.5c. The dashed curve is the rule that actually holds up there: it bends over and stops at c.
train speed v (m/s) ground speed u (m/s) 30355 train speed vc the world you live in — walker at u′ = 5 m/s the same straight rule, pushed to v → c u = v + 5 · slope exactly 1 30 + 5 = 35 m/s u = c u = 1.5c ✗ the relativistic rule (The Constancy of the Speed of Light) Same equation in both panels. On the left it is exact to every digit anyone has measured; on the right it is simply false.

The core equations

Two inertial frames: SS (the ground, the towpath, the lab) and S′S' (the train, the boat), with S′S' sliding at constant velocity vv along the shared xx-axis, origins together at t=0t = 0. Classical physics adds one silent clause — a single clock serves them both.

x′=x−vt,y′=y,z′=z,t′=t(1)x' = x - vt, \qquad y' = y, \qquad z' = z, \qquad t' = t \qquad (1)

where: (x,y,z,t)(x,y,z,t) — an event's coordinates in SS; (x′,y′,z′,t′)(x',y',z',t') — the same event's coordinates in S′S'; vv — the constant speed of S′S' relative to SS. Physical reading: by time tt the moving frame has carried its origin vtvt down the track, so its position reading is the ground's minus that head start, while t′=tt' = t asserts absolute time. The dictionary belongs to the mechanics article named above — here it is the input, not the output. Differentiate the first line with respect to the shared time and the boost passes to velocities. Differentiate once more and the character of the statement changes completely, because the frame velocity is a constant and a constant has no derivative left to give.

u′=u−v⟺u=u′+v,a′=a(2)u' = u - v \qquad\Longleftrightarrow\qquad u = u' + v, \qquad\qquad a' = a \qquad (2)

where: u=dx/dtu = \mathrm{d}x/\mathrm{d}t and a=d2x/dt2a = \mathrm{d}^2x/\mathrm{d}t^2 — a particle's velocity and acceleration in SS; u′,a′u', a' — the same in S′S'. Physical reading: ground velocity is velocity-in-the-frame plus velocity-of-the-frame (5+30=355 + 30 = 35 for the walker), while acceleration is identical in the two frames. Velocity is an opinion; acceleration is a fact — which is what a law of motion needs, since forces prescribe accelerations, not velocities. Classical forces depend on relative positions and relative velocities, and the boost leaves every such difference unchanged, because the vtvt and vv shifts cancel between the two bodies; mass is a scalar. So the second law crosses the translation intact:

F′=ma′=ma=F(3)F' = ma' = ma = F \qquad (3)

where: FF — the net force, computed from the same physics in either frame; mm — mass, invariant in classical mechanics. Physical reading: galilean invariance in one line, and Galileo's ship argument in equation form. A physicist sealed in either frame writes identical equations, with no lever to decide whose laboratory is "really" moving. Now the collision law Huygens extracted from that freedom. Two bodies of masses m1,m2m_1, m_2 approach along a line with velocities v1,v2v_1, v_2 and leave with w1,w2w_1, w_2, elastically, so kinetic energy as well as momentum is conserved. The outcome is forced, and it takes a strikingly frame-friendly shape.

w2−w1=−(v2−v1),and for m1=m2:w1=v2,w2=v1(4)w_2 - w_1 = -(v_2 - v_1), \qquad\text{and for } m_1 = m_2: \quad w_1 = v_2, \quad w_2 = v_1 \qquad (4)

where: v2−v1v_2 - v_1 and w2−w1w_2 - w_1 — the relative velocity of the bodies before and after impact. Physical reading: an elastic collision reverses the relative velocity, whatever the masses, and equal masses simply exchange velocities. Notice what the law contains — only a difference of velocities. Every observer subtracts the same vv from both bodies, so every observer computes the same relative velocity and agrees on the law before any calculation is done. That is the structural result this article owns. Finally, the equation that ends the classical world. Apply the velocity rule not to a ball but to a light beam, u=cu = c, and it returns a speed of light that depends on the observer.

u=c⟹u′=c−v(5)u = c \quad\Longrightarrow\quad u' = c - v \qquad (5)

where: c=2.998×108 m/sc = 2.998\times10^{8}\ \mathrm{m/s} — the speed Maxwell's electrodynamics assigns an electromagnetic wave, built from two laboratory constants in c=1/μ0ε0c = 1/\sqrt{\mu_0\varepsilon_0} and naming no frame at all. Physical reading: a chasing observer should measure c−vc - v, an approaching one c+vc + v, so at most one inertial frame could see light obey Maxwell's law in every direction. That frame — the ether — would be detectable, contradicting the very principle equation (3) established. Either the principle fails for electromagnetism, or the addition rule fails for light. The Michelson–Morley Experiment was built to find out; the arc runs on through The Constancy of the Speed of Light and Einstein's Two Postulates.

Where the results come from

Derivation AVelocity addition and the invariance of acceleration

The goal is to extract the two workhorses of this article — the addition rule u=u′+vu = u' + v and the invariance a′=aa' = a — from the coordinate dictionary (1) and nothing else, while watching where each classical assumption is spent. Absolute time is consumed in the first step, before any calculus happens; the constancy of vv is consumed in the third. Knowing which assumption pays for which conclusion is what lets us predict, later, exactly which conclusion collapses when absolute time turns out to be false.

Step 1. Write the boost for a particle whose ground trajectory is x(t)x(t): in S′S' it is x′(t′)=x(t)−vtx'(t') = x(t) - vt, with t′=tt' = t. Why: the clause t′=tt' = t is not decoration — it lets both observers differentiate with respect to the same variable. Without it, d/dt′\mathrm{d}/\mathrm{d}t' and d/dt\mathrm{d}/\mathrm{d}t are different operators and nothing below survives.

Step 2. Differentiate once with respect to that shared time:

u′=dx′dt′=ddt(x−vt)=u−vu' = \frac{\mathrm{d}x'}{\mathrm{d}t'} = \frac{\mathrm{d}}{\mathrm{d}t}\big(x - vt\big) = u - v

Why: the linear term vtvt differentiates to the constant vv, so the frames disagree about every velocity by exactly the frame velocity — identically for every particle in the world. That universality is what makes the disagreement harmless.

Step 3. Differentiate again, noting that vv is a constant of the problem:

a′=du′dt=dudt−dvdt=a−0=aa' = \frac{\mathrm{d}u'}{\mathrm{d}t} = \frac{\mathrm{d}u}{\mathrm{d}t} - \frac{\mathrm{d}v}{\mathrm{d}t} = a - 0 = a

Why: a constant cannot survive a derivative. This is the engine of the whole principle, and where the constancy of vv is spent — let vv depend on time and an extra term −v˙-\dot v appears, the fictitious-force acceleration of a non-inertial frame.

Step 4. Close the loop on dynamics. Under the boost xi′−xj′=xi−xjx_i' - x_j' = x_i - x_j and ui′−uj′=ui−uju_i' - u_j' = u_i - u_j, so classical forces — which depend only on such differences — satisfy F′=FF' = F; with m′=mm' = m and a′=aa' = a, the law F=maF = ma becomes F′=ma′F' = ma'. Why this step is not optional: a′=aa' = a alone proves nothing about dynamics — a force law depending on absolute velocity would break the invariance anyway. Form-invariance needs both an invariant acceleration and an invariant force, and it is the second that nature has to grant us. *Verified symbolically in verify_aq-sr-galilean-relativity.py: sympy differentiates x′=x−vtx' = x - vt to give u′=u−vu' = u - v and a′=aa' = a, confirms relative separations and velocities are boost-invariant, recovers a′=a−v˙a' = a - \dot v, and reproduces 5+30=35 m/s5 + 30 = 35\ \mathrm{m/s}.*

Go deeper · Derivation B · 2 minHuygens: the elastic-collision law is the same in every inertial frame
Derivation BHuygens: the elastic-collision law is the same in every inertial frame

This is the result the article owns. We show that the outcome of a one-dimensional elastic collision computed in the ground frame is exactly what you get by boosting into another inertial frame, solving there, and boosting back — and that momentum and kinetic energy are conserved in both frames at once, although their values differ in each. The proof is Huygens' own: rather than grind through simultaneous quadratics, choose the frame in which the collision is symmetric, where the answer is forced by inspection, then boost back. That frame is the one in which the total momentum vanishes.

Step 1. Take equal masses mm, body 1 approaching at v1v_1, body 2 at rest. Boost into the frame moving at V=12(v1+v2)V = \tfrac12(v_1 + v_2); for equal masses this is exactly the zero-momentum frame, since P′=m(v1−V)+m(v2−V)=0P' = m(v_1 - V) + m(v_2 - V) = 0. In it the bodies approach with equal and opposite velocities ±12(v1−v2)\pm\tfrac12(v_1 - v_2). Why: the trick is choosing the frame in which the problem has a symmetry it did not visibly have before. Nothing was done to the bodies — only the bookkeeping moved.

Step 2. In that frame invoke Huygens' one postulate: two equal bodies meeting head-on at equal and opposite speeds rebound at equal and opposite speeds, so each velocity reverses. Boost back by adding VV and body 1 leaves with w1=−12(v1−v2)+V=v2w_1 = -\tfrac12(v_1 - v_2) + V = v_2, body 2 with w2=v1w_2 = v_1 — the velocities have been exchanged, which is equation (4). Why the postulate is forced rather than assumed: momentum must stay zero, so the final velocities are ±w\pm w, and kinetic energy must be unchanged, which fixes ∣w∣|w| at the incoming speed. The exchange then follows because reflecting two numbers about their mean swaps them.

Step 3. Now show the law itself is frame-blind. Apply (2) to each body and subtract: the relative velocity transforms as (v2−v)−(v1−v)=v2−v1(v_2 - v) - (v_1 - v) = v_2 - v_1 — a Galilean invariant. So "the relative velocity reverses" reads identically in every inertial frame, for any masses. Why this is the deep point: a law written purely in relative velocities cannot betray the frame it was written in. Huygens never had to check his result on the towpath; the form of the law guaranteed it.

Step 4. Audit the conservation laws in two frames. Momentum in the boosted frame is P′=∑imi(vi−v)=P−MvP' = \sum_i m_i(v_i - v) = P - Mv, and mass is conserved in the collision, so that shift is the same before and after: ΔP′=ΔP=0\Delta P' = \Delta P = 0. Kinetic energy is K′=∑i12mi(vi−v)2=K−Pv+12Mv2K' = \sum_i \tfrac12 m_i (v_i - v)^2 = K - Pv + \tfrac12 Mv^2; again PP, MM and vv are untouched by the collision, so ΔK′=ΔK=0\Delta K' = \Delta K = 0. Why this settles a famous confusion: the two observers write down different momenta and different kinetic energies, and both are right. They share not the values but the verdicts — an elastic collision is elastic for everybody. *Verified in verify_aq-sr-galilean-relativity.py: sympy solves momentum and kinetic-energy conservation for general masses and returns w2−w1=−(v2−v1)w_2 - w_1 = -(v_2 - v_1) and, for m1=m2m_1 = m_2, the exchange w1=v2w_1 = v_2, w2=v1w_2 = v_1; the numbers 4.0→04.0 \to 0 and 0→4.0 m/s0 \to 4.0\ \mathrm{m/s} are checked for conservation of pp and KK in the ground frame and in the frame boosted at 2.0 m/s2.0\ \mathrm{m/s}, with the shift identity K′=K−Pv+12Mv2K' = K - Pv + \tfrac12 Mv^2.*

Limiting cases

CaseResultMeaning
Low speeds, β=v/c≪1\beta = v/c \ll 1addition is exact to the precision of any mechanical measurementon Earth β≲10−4\beta \lesssim 10^{-4}, so corrections enter at β2≲10−8\beta^2 \lesssim 10^{-8}
The formal limit c→∞c \to \inftyabsolute time and u=u′+vu = u' + v become exactly truethe world you would inhabit if light were infinitely fast — a limit, not a blunder
Equal masses, elastic, head-onw1=v2w_1 = v_2, w2=v1w_2 = v_1the Newton's-cradle click; a special case of the relative-velocity reversal
A light beam, u=cu = cu′=c−vu' = c - v, frame-dependentthe rule breaks — see The Constancy of the Speed of Light
Frame accelerates, v=v(t)v = v(t)a′=a−v˙a' = a - \dot vthe frame is no longer inertial; fictitious forces appear

Worked examples

1 · The Newton's-cradle click, computed the way Huygens computed it

Two identical steel balls, m=0.50 kgm = 0.50\ \mathrm{kg} each. Ball 1 rolls at v1=4.0 m/sv_1 = 4.0\ \mathrm{m/s} into ball 2, at rest, head-on and elastically. Find the final velocities by a frame boost, then confirm that momentum and kinetic energy are conserved in the ground frame and in a frame moving at 2.0 m/s2.0\ \mathrm{m/s}.

Step 1. Choose the frame that makes the problem symmetric. The total momentum is P=(0.50)(4.0)+(0.50)(0)=2.0 kg m/sP = (0.50)(4.0) + (0.50)(0) = 2.0\ \mathrm{kg\,m/s} and the total mass is M=1.0 kgM = 1.0\ \mathrm{kg}, so the zero-momentum frame moves at V=P/M=2.0 m/sV = P/M = \boxed{2.0\ \mathrm{m/s}} — for equal masses, the mean of the two velocities.

Step 2. Boost into it with equation (2): v1′=4.0−2.0=+2.0 m/sv_1' = 4.0 - 2.0 = +2.0\ \mathrm{m/s} and v2′=0−2.0=−2.0 m/sv_2' = 0 - 2.0 = -2.0\ \mathrm{m/s}. The balls approach at equal and opposite speeds — Huygens' symmetric collision — and indeed P′=(0.50)(+2.0)+(0.50)(−2.0)=0P' = (0.50)(+2.0) + (0.50)(-2.0) = 0.

Step 3. Collide, then boost back. In the symmetric frame the only outcome consistent with zero momentum and unchanged kinetic energy is a clean reversal, w1′=−2.0w_1' = -2.0 and w2′=+2.0 m/sw_2' = +2.0\ \mathrm{m/s}; adding V=2.0 m/sV = 2.0\ \mathrm{m/s} returns w1=0w_1 = \boxed{0} and w2=4.0 m/sw_2 = \boxed{4.0\ \mathrm{m/s}}. The striker stops dead and the target leaves with its whole velocity — the exchange promised by equation (4), with no algebra anywhere.

Step 4. Audit in the ground frame. Momentum: 2.0 kg m/s2.0\ \mathrm{kg\,m/s} before, (0.50)(0)+(0.50)(4.0)=2.0 kg m/s(0.50)(0) + (0.50)(4.0) = \boxed{2.0\ \mathrm{kg\,m/s}} after. Kinetic energy: 12(0.50)(4.0)2=4.0 J\tfrac12(0.50)(4.0)^2 = \boxed{4.0\ \mathrm{J}} before, the same after. Both conserved.

Step 5. Audit again in the boosted frame, where every number is different. Momentum: 0\boxed{0} before and after. Kinetic energy: 2×12(0.50)(2.0)2=2.0 J2 \times \tfrac12(0.50)(2.0)^2 = \boxed{2.0\ \mathrm{J}} before and after — half the ground-frame total, and just as perfectly conserved. Different values, identical verdicts; and the relative velocity flips from +4.0+4.0 to −4.0 m/s-4.0\ \mathrm{m/s} in both frames, because it is a Galilean invariant.

2 · Closing speed on a two-lane road

One car travels east at 25 m/s25\ \mathrm{m/s}, another west at 20 m/s20\ \mathrm{m/s}, both relative to the road, and they are 200 m200\ \mathrm{m} apart. How fast is one approaching the other, and how long until they meet?

Step 1. Ride in the eastbound car, so S′S' is that car and v=+25 m/sv = +25\ \mathrm{m/s} with east positive; the westbound car has ground velocity u=−20 m/su = -20\ \mathrm{m/s}. Apply equation (2): u′=u−v=(−20)−(+25)=−45 m/su' = u - v = (-20) - (+25) = \boxed{-45\ \mathrm{m/s}}. The other car rushes at him at 45 m/s45\ \mathrm{m/s} — the closing speed, the same subtraction that gave 35 m/s35\ \mathrm{m/s} for the walker, with different signs. Sitting in the westbound car instead gives (+25)−(−20)=+45 m/s(+25) - (-20) = +45\ \mathrm{m/s}: the same magnitude, because relative velocity is a Galilean invariant.

Step 2. Collapse the gap in whichever frame you like. In the eastbound car's frame 200 m200\ \mathrm{m} shrinks at 45 m/s45\ \mathrm{m/s}, so t=200/45=4.44 st = 200/45 = \boxed{4.44\ \mathrm{s}}; in the road frame it closes at 25+20=45 m/s25 + 20 = 45\ \mathrm{m/s}, giving the same 4.44 s4.44\ \mathrm{s} — as it must, since time intervals are Galilean invariants too. Two frames, one answer: the arithmetic behind every airborne collision-avoidance alert.

Physics of the portrait

Galileo gave physics the principle; Huygens gave it the first serious proof of concept. In the decades after Galileo's death the theory of impact was a shambles — Descartes had published seven rules of collision, most of them wrong. Huygens dismantled them with one idea: a collision seen from a moving boat must agree with the same collision seen from the bank. It is the earliest instance in physics of a symmetry argument replacing a calculation — and still how a particle physicist attacks a collision three centuries later.

Origins · 1 minChristiaan Huygens and how this was discovered
CH
Christiaan Huygens
1629–1695 · The Hague · Paris

Huygens was the most formidable physicist between Galileo and Newton, and the first to turn the relativity of motion into a working method. Between 1652 and 1656 he worked out the correct laws of elastic impact in a manuscript, De Motu Corporum ex Percussione, using the relativity principle as his engine: he imagined the collision performed by a man on a canal boat while an assistant on the bank watched, and demanded that the two accounts agree. From the one symmetric case he could solve outright — equal balls meeting at equal and opposite speeds, which simply rebound — the boost-and-return trick generated the general law, and with it two results a century ahead of their time: that the relative velocity of the bodies reverses, and that ∑mv2\sum m v^2 is conserved in an elastic collision (Leibniz's vis viva, our kinetic energy). Cautious to a fault, he did not publish; his rules reached the world in 1669 through the Royal Society's competition on impact, and the treatise itself only in 1703. The irony is exquisite: the man who first exploited the relativity of motion also handed the nineteenth century the wave theory of light, whose speed that same relativity could not accommodate.

History
1632
— Galileo's Dialogo argues from a ship's sealed cabin that shared uniform motion is undetectable — the relativity principle.
1656
— Huygens completes De Motu Corporum ex Percussione, deriving the elastic-collision laws by shifting between a moving boat and the canal bank; he leaves it unpublished.
1668
— The Royal Society sets the laws of impact as a problem; Wallis, Wren and Huygens each send in solutions.
1669
— Huygens' collision rules appear in the Journal des Sçavans and in the Philosophical Transactions.
1687
— Newton's Principia, Corollary V: the motions of bodies among themselves are the same whether their space is at rest or moves uniformly.
1703
— De Motu Corporum ex Percussione is printed posthumously in Huygens' Opuscula postuma.

Going further

Texts. Taylor and Wheeler, Spacetime Physics, 2nd ed., ch. 1 and 3 · Rindler, Introduction to Special Relativity, 2nd ed., ch. I · Morin, Introduction to Classical Mechanics, ch. 5 · Landau and Lifshitz, Mechanics, Vol. 1, §3 · Griffiths, Introduction to Electrodynamics, 4th ed., §12.1.

Provenance. Everything here follows from the boost x′=x−vtx' = x - vt, t′=tt' = t and is re-derived in `verify_aq-sr-galilean-relativity.py`, which reproduces u′=u−vu' = u - v, a′=aa' = a and a′=a−v˙a' = a - \dot v for a non-inertial frame (Rindler ch. I; Landau and Lifshitz §3); the elastic-collision solution, the reversal w2−w1=−(v2−v1)w_2 - w_1 = -(v_2 - v_1) and the equal-mass exchange (Huygens 1656/1669; Morin ch. 5); and every printed number — 5+30=35 m/s5 + 30 = 35\ \mathrm{m/s}; the collision 4.0→04.0 \to 0, 0→4.0 m/s0 \to 4.0\ \mathrm{m/s} with p=2.0 kg m/sp = 2.0\ \mathrm{kg\,m/s} and K=4.0 JK = 4.0\ \mathrm{J} conserved in the ground frame while p′=0p' = 0 and K′=2.0 JK' = 2.0\ \mathrm{J} are conserved in the frame boosted at 2.0 m/s2.0\ \mathrm{m/s}; the closing speed 45 m/s45\ \mathrm{m/s} with 200/45=4.44 s200/45 = 4.44\ \mathrm{s}; and Galilean addition applied to light returning c−vc - v. Constants: c=2.998×108 m/sc = 2.998\times10^{8}\ \mathrm{m/s}, Earth's orbital β≈9.94×10−5\beta \approx 9.94\times10^{-5}.

Builds on. Inertial Frames of Reference · The Principle of Relativity. Leads to. Galilean Transformations · Symmetries of Galilean Spacetime · Absolute Space and Absolute Time · Electromagnetism and the Failure of Galilean Invariance · Einstein's Two Postulates.

If motion is relative, how does the collision "know" to exchange the velocities rather than do something else?

It knows nothing — the exchange is forced by two conservation laws that hold in every frame. Frame-hopping just makes it feel less arbitrary. Boost into the frame where the balls approach at equal and opposite speeds, and the only outcome keeping momentum at zero and kinetic energy unchanged is a clean reversal; boosting back turns that reversal into an exchange, because reflecting two numbers about their mean swaps them. What is relative is the description — a stop and a start on the ground, a symmetric bounce in the boosted frame — while the physics, the reversal of the relative velocity, is identical in both.

The kinetic energy is 4.0 J in one frame and 2.0 J in another. Which is the real one?

Both, and there is no further answer. Kinetic energy is a property not of a body but of a body and a frame. A boost shifts the total by −Pv+12Mv2-Pv + \tfrac12 Mv^2, and since PP, MM and vv are constants of a closed process, that shift is identical before and after the collision — so every observer's books balance, at different totals. If you feel the pull of "one must be the true energy", notice that the same pull would demand a true velocity, hence a true rest frame — exactly what Galilean relativity forbids. The invariant content is the change, and every frame agrees it is zero.

Is Galilean relativity simply wrong, then?

No — it is exact in a limit and superbly accurate outside it. Every mechanical result on this page is right to the last digit any experiment can measure; no laboratory has caught a′=aa' = a or the collision law failing. What fails is the extension of velocity addition to light, and the failure hides at ordinary speeds because it is governed by β=v/c\beta = v/c, about 10−410^{-4} even for the Earth in orbit, with corrections at β2≈10−8\beta^2 \approx 10^{-8}. Read Galilean relativity as the c→∞c \to \infty theory — the physics of a universe where signals could be infinitely fast, so a universal "now" would make sense. Ours very nearly is that universe.

Exactly what does the principle of relativity forbid?

It forbids any experiment whose result depends on the uniform velocity of the laboratory. It does not forbid detecting acceleration or rotation: an accelerometer works with the blinds drawn, a Foucault pendulum reveals the Earth's spin, coffee slides across the dashboard when you brake. The line runs exactly where equation (2) runs — a constant vv dies under the second derivative, a time-dependent vv does not, and the surviving −v˙-\dot v is the fictitious force. Velocity is undetectable from inside; acceleration announces itself. Any claim to have measured "our absolute speed", through the ether or otherwise, is a claim to have broken the principle.

Why is the collision law credited to Huygens rather than to Galileo or Newton?

Galileo supplied the principle but never applied it to impact, and Newton's Principia came three decades after Huygens had the answer. Huygens' contribution was to see that the relativity of motion could be used as a computational instrument — that a collision you cannot solve becomes one you can solve if you view it from the right boat. From that idea alone he derived the reversal of relative velocity and the conservation of ∑mv2\sum m v^2, in a manuscript completed in 1656, then sat on it for over a decade, publishing a summary only in 1669 when the Royal Society made a competition of the problem.

If the addition rule is what breaks for light, why does everyone say relativity is about time?

Because the addition rule is not an independent assumption — it is a consequence, and the derivation above shows which assumption it rests on. Step 1 spends the clause t′=tt' = t: only because the observers share a clock can they differentiate along the same variable and conclude u′=u−vu' = u - v. A velocity rule that is wrong for light is the symptom; the disease is absolute time. That is why the repair is not a patched-up velocity formula but a new coordinate dictionary in which t′t' depends on position as well as on tt — so observers in relative motion stop agreeing about which events are simultaneous.

Before this

Where this leads