Proper Time
Send a traveller to a star light-years away at and bring her home. Earth's calendars will have turned over years. Her wristwatch will read . Not because the watch malfunctioned, and not because anyone measured it badly — she really did live years while her twin lived , and every observer in the universe, whatever coordinates they use, computes the same . That number has a name: it is the proper time along her worldline, the time a clock reads when carried between two events. It is not a coordinate. Coordinate time depends on who is watching; proper time belongs to the path, and it is an invariant — built from the spacetime interval, , which every inertial frame agrees on. Along a worldline of speed it accumulates as . And now the theorem this article exists to prove. Among all timelike worldlines joining two given events, the inertial one carries the greatest proper time. Every detour into space costs you time on your own clock. In Euclid's geometry the straight line is the shortest path between two points; in spacetime, with its minus sign, the straight worldline is the longest. That single reversal is the whole content of the twin paradox — and The Twin Paradox is where the drama belongs. Here we prove the theorem.
- Proper time is the time elapsed on a clock carried along a worldline. It is a Lorentz invariant: every inertial frame, using its own coordinates, computes the same value.
- It comes straight from the interval: , so and along any path.
- Time dilation is the special case of a straight worldline: .
- The maximal-proper-time theorem: among all timelike worldlines joining two fixed events, the inertial one has the GREATEST proper time. Proof: work in the frame where the events share a place; then , with equality only if — which is exactly the inertial worldline.
- The integrand depends on speed alone, never on acceleration. That is the clock hypothesis, and it is an empirical claim: CERN's muons survive in the lab at while enduring about .
- Key idea: proper time is the invariant arc length of a worldline — the reading on the traveller's own watch. In spacetime the straight path is the LONGEST, the exact reverse of Euclid's triangle inequality, and that reversal is why the travelling twin comes home young.
A wristwatch knows nothing of frames, factors or simultaneity conventions. It simply ticks, and the number it shows between two events on its own worldline is the proper time between them — a quantity every observer computes identically from their own coordinates. Because the metric carries a minus sign, wandering off in space reduces what the watch accumulates. Straight is longest. The traveller who leaves and returns has taken a shortcut through time, and pays for it in years.
Where this lives today
Proper time is now something engineers budget for. Every GPS satellite carries an atomic clock whose accumulated proper time is what the receiver in your pocket ultimately reads: at an orbital speed of the special-relativistic term alone is , which over a day is of clock loss. A larger gravitational term of the opposite sign belongs to another article; what matters here is that the SR piece is a proper-time integral along the satellite's worldline, and it is not optional. The clock hypothesis, meanwhile, is still being pushed. The Fermilab Muon experiment stores muons at exactly as CERN did, and its precision measurements depend on the dilated lifetime being with no acceleration correction. Optical clocks now resolve fractional frequency shifts near — fine enough that a clock walked across a room measurably changes its proper time. Wheeler's wristwatch has become laboratory hardware.
The physical picture
Think of proper time as the odometer of a spacetime traveller — but an odometer that runs backwards against detours. Two clocks start together and are reunited later. Between those two events, whichever clock wandered furthest through space has ticked the fewest times. The clock that never moved wins.
The two watches disagree because they took different paths, not because either was mistreated. And there is nothing special about : sweep the traveller's speed and the proper time she brings home is a smooth function of how hard she detoured. It has a maximum, and the maximum sits exactly where the bend disappears.
The core equations
Everything begins with the interval, the one combination of coordinate differences that every inertial frame agrees on. Signature , so a timelike separation has .
where: — the proper time along an infinitesimal step of the worldline; — the coordinate separation of its ends in some inertial frame; . Physical reading: in the clock's own momentary rest frame , so is literally what that clock reads — and because the left-hand side is invariant, any frame's coordinates give the same number. Divide through by and the working formula appears.
where: — the instantaneous speed in the chosen frame; . Physical reading: the integrand is at most , and equals only at rest, so a moving clock always accumulates less than the coordinate time — moment by moment, locally. Nothing requires the motion to be uniform: the integral handles any timelike path. For a straight worldline is constant and the integral collapses. Time dilation is a corollary, not a separate law.
where: — the coordinate separation of the two events; — the reading of a clock travelling inertially between them. Physical reading: the second form is the useful one, needing no frame at all — hand it any frame's and it returns the same . Time Dilation and The Light Clock own the derivation of ; this article owns what is. Finally, the claim that lets equation (2) be applied to a rocket, a storage ring, or a twin who turns around.
where: — the acceleration. Physical reading: this is the clock hypothesis — not a theorem of special relativity but an empirical claim about real clocks: an ideal clock's rate depends on its instantaneous speed alone. It is why an accelerated worldline can be chopped into inertial slivers and integrated, and it has been tested to about .
Where the results come from
The goal is to show that deserves the name "the time the clock reads", and that its value is the same computed in any inertial frame. Two moves do it. First, in the clock's instantaneous rest frame equation (1) collapses to — the clock's own tick, by definition. Second, the interval is invariant under boosts, so every other frame's coordinates return that same number. The second move is where the algebra lives, and the cross terms are the whole story.
Step 1. Anchor the meaning. At each moment go to the inertial frame momentarily co-moving with the clock, where . Equation (1) then gives , so . Why this definition is worth making: it identifies an abstract algebraic combination with a physical reading on a physical dial.
Step 2. Boost, and watch the cross terms die. With and , expand . The terms come with coefficient and cancel exactly, leaving . Why the cancellation is the point: without it would depend on the frame, and a wristwatch reading would be a matter of opinion.
Step 3. Integrate, and notice what was never assumed. Proper time along a whole worldline is , a sum of invariants and hence itself an invariant: every inertial observer, using their own coordinates, computes the same total. Nowhere did the clock have to move uniformly — Step 1 used only its instantaneous velocity. That the real rate depends on speed alone, never on , is the clock hypothesis of equation (4): an empirical claim, and a strong one, since a clock in a storage ring is wrenched around at . Why it must be said aloud: it is the bridge from the inertial theory to bent worldlines, and without it the twin's turnaround could not be handled at all. *As a concrete check: boosting by an arbitrary , expanding , and collecting terms shows the coefficient is exactly and the result equals identically in . Numerically, the interval , light-seconds gives in every boosted frame.*
Go deeper · Derivation B · 2 minTHE THEOREM — the inertial worldline has the greatest proper time
Here is the result the article exists for, and it is sharper than "the traveller ages less". Take any two timelike-separated events and any two timelike worldlines joining them, one inertial and one not. Claim: the inertial one accumulates strictly more proper time. The proof takes three lines once you choose the frame well — and the choice is the trick, because for a timelike separation there always exists a frame in which the two events happen at the same place. There the inertial worldline just sits still, and everything else is a detour.
Step 1. Choose the frame: the events are timelike-separated, so a frame exists in which they occur at the same spatial point, separated only by in time. It is the rest frame of the inertial worldline joining them — which is exactly why that worldline is the natural benchmark. Why this is legitimate rather than a dodge: proper time is an invariant, so whatever we prove in this frame holds in every frame.
Step 2. Compute both. The inertial path has here, so . Any other timelike path from to must have somewhere — it has to leave and come back — and gives . Why the integrals share limits: both paths join the same events, so both take exactly of this frame's coordinate time.
Step 3. Apply the pointwise inequality. For every , , with equality iff . Integrating preserves it: , and the inequality is strict unless everywhere — that is, unless the path is the inertial one. . Why this is the entire proof: the minus sign in the metric put into the integrand, and that square root is a penalty for moving. There is no way to make it a bonus.
Step 4. Read the geometry. In Euclidean space a detour is longer; here the triangle inequality reverses, and the straight worldline is the longest curve between two timelike-separated events. A traveller who leaves and returns has taken a shortcut through time and comes home young. Why the paradox is not a paradox: the two worldlines are not related by any symmetry — one is straight and one is bent, and "bent" is a frame-independent fact. The Twin Paradox is where that story is told. *The inequality holds with equality only at , and integrating over the constant- family gives for any . Evaluating the straight worldline () against out-and-back paths at gives respectively; a three-leg path with different out and back speeds, and a smoothly-varying integrated numerically, likewise come in strictly under .*
Go deeper · Derivation C · 1 minConstant proper acceleration, and the one variable that stays linear
One card, and then this is handed on. If a rocket burns so that its crew feel a constant — an accelerometer bolted to the floor reads the same value forever — its worldline is a hyperbola and its proper time grows only like a logarithm of coordinate time. The elegant fact underneath is that the rapidity is exactly linear in the crew's own clock. The accelerated-frames articles develop the geometry; this card is here because the proper-time integral is what makes any of it computable.
Step 1. Set up. Constant proper acceleration means , so from rest, giving . Why and not : it is that grows without bound, which is how the rocket accelerates forever without reaching .
Step 2. Integrate equation (2): , equivalently . For this is — logarithmic, which is why a crew at could cross the galaxy inside a human lifetime of their time. Why the scale is : at that is years, so a year of burn is where relativity takes over.
Step 3. Read off the linear variable. Since , the rapidity is — exactly linear in proper time. Why that is the right way to see it: rapidities add and speeds do not, so constant proper acceleration is "constant rapidity gain per second of your own clock". Rapidity and the Hyperbolic Form of Boosts develops this. *Direct integration gives ; differentiating confirms exactly; and numerically .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| At rest, | proper time equals coordinate time — and this path is the maximum | |
| Slow, | second order: a GPS satellite at loses only per day | |
| Constant | ordinary time dilation — the straight-worldline special case | |
| Ultra-relativistic, | at a -year round trip reads years | |
| Lightlike, | exactly | a photon accumulates no proper time and has no rest frame |
| Galilean limit, | proper time collapses into absolute time, and every worldline between two events ties |
Worked examples
1 · Four years younger
A traveller leaves Earth at , flies to a star light-years away, turns around instantly, and comes home. How much does each twin age, and what is the largest possible reading her watch could have shown?
Step 1. Coordinate time. Each leg covers light-years at , taking years, so the round trip is on Earth's clocks. The stay-at-home twin is inertial and at rest here, so her watch also reads years.
Step 2. The traveller's watch. , and her speed is constant on each leg, so equation (2) gives . She comes home younger.
Step 3. Check it with the interval, using no at all. The outbound leg joins to , so years of proper time; the return leg is the mirror image and gives more. Total — the same answer from the invariant, as it must be.
Step 4. Now bound it. By the theorem, no worldline from departure to reunion can beat the inertial one's years — every route she could have flown, faster, slower or wiggly, comes in under it. At she would have brought home years, at only , at just .
2 · The muon that survives
In the CERN muon storage ring (Bailey et al., 1977) muons circulate at in a ring of radius . Their rest lifetime is . Predict the lab-frame lifetime, and compute the proper acceleration they endure.
Step 1. The prediction is pure proper time: the muon decays after on its own clock, and the lab watches that clock through equation (3). So the lab-frame lifetime is . Bailey et al. measured .
Step 2. Now the acceleration. At the speed is , and for circular motion the proper acceleration is , which is .
Step 3. Read the verdict. The measured lifetime matches — a formula containing no acceleration term whatsoever — to a fractional precision of about . A clock flung around at keeps time by its speed alone, so equation (4) is not an assumption of convenience but a measured fact.
Step 4. Note the scale. Everyday accelerations are of order and laboratory centrifuges reach ; this tests the hypothesis twelve orders of magnitude beyond that, and it holds.
Physics of the portrait
The portrait here is a quantity, not a person — and the reason is instructive. Proper time was named in 1908, proved maximal in 1911, measured in 1963, and only then made the foundation of the subject. No single physicist owns it; what it has instead is a biography.
Origins · 2 minProper time and how this was discovered
Hermann Minkowski gave the quantity its name — Eigenzeit, "own time" — in 1908, in the paper that recast relativity as four-dimensional geometry. Almost at once it acquired its central theorem: in 1911 Max von Laue, working in Minkowski's language, showed that among all timelike worldlines joining two events the straight one carries the greatest proper time — the reverse of Euclid's triangle inequality, and the whole content of the twin story Paul Langevin told at Bologna that same year. For half a century it remained a quantity in a formalism. Then Frisch and Smith (1963) counted muons falling down Mount Washington and demonstrated that a particle's decay clock reads its own proper time and nothing else — the integral became a thing you could photograph. What remained was to make it the starting point rather than a consequence, and that was the work of Edwin Taylor and John Archibald Wheeler, whose Spacetime Physics (first edition 1966) refused to open with factors and moving rods, and built the subject on the invariant interval and the time a clock reads along its own worldline. Their name for that reading — "wristwatch time", which appears in the second edition (1992) — is the best three-word definition anyone has written: not a coordinate, not a convention, not a frame's opinion, but the number on the dial of the watch that actually went. The moral of the biography is the moral of the article: when a quantity is invariant, build the theory on it and the paradoxes never arise.
Going further
Texts. Taylor and Wheeler, Spacetime Physics, 2nd ed., Chs. 1–4 (wristwatch time) · Rindler, Introduction to Special Relativity, 2nd ed., §§10–14 · Griffiths, Introduction to Electrodynamics, 4th ed., Ch. 12 · Hartle, Gravity, Chs. 4–5 · J. Bailey et al., "Measurements of relativistic time dilatation for positive and negative muons in a circular orbit", Nature 268 (1977) 301. The key results include: the boost-invariance of (the coefficient vanishes identically); the inequality with equality iff ; the hyperbolic-motion integral giving and ; and numerically the interval check , the CERN result under , , and the GPS SR term . The phrase "wristwatch time" is documented in the second edition of Spacetime Physics (1992); the 1966 first edition is credited with making proper time the operational spine of the subject, and the coinage is not claimed for it. Minkowski's Eigenzeit (1908) is the name's origin, as the history card notes.
Builds on. The Invariant Spacetime Interval · The Lorentz Factor Gamma · Timelike, Spacelike, and Lightlike Separations · The Light Clock and Time Dilation. Leads to. Time Dilation · Proper Length · The Twin Paradox · Proper Time and Proper Length · Four-Vectors.
Is proper time the shortest time or the longest? I have seen both claims.
Both — they are different statements, and keeping them apart is essential. (i) For two events on one clock's worldline, that clock's proper time is the smallest elapsed time any inertial frame assigns to the pair, since every other frame says . That is time dilation. (ii) Among all worldlines joining two fixed events, the inertial one has the largest proper time — this article's theorem. The first compares one path across many frames; the second compares many paths within one frame. Confusing them is the commonest way to get the twin paradox backwards.
Does the accelerating twin age less because acceleration slows her clock?
No. The clock hypothesis — tested to about in CERN's muon ring — says a clock's rate depends only on its instantaneous speed, with no term for . Acceleration matters for exactly one reason: it is the only way to bend a worldline, and hence the only way to leave and return. The ageing is bought by the bend, and never asks how violently you turned. A gentle year-long turn and a brutal millisecond one give the same answer if the speeds match.
Why is the straight worldline the LONGEST? Every geometric instinct says the opposite.
Because the metric has a minus sign, and your instincts were trained on a plus. In Euclidean geometry , so wandering in adds to the length. In spacetime , so wandering in subtracts. The factor measuring your path is , which can never exceed one. The triangle inequality does not merely fail — it reverses, and the reversal is exactly one minus sign deep.
Is proper time the same thing as the spacetime interval?
Very nearly; the difference is a convention. For a timelike separation the invariant is positive and — so proper time is the interval, in seconds rather than metres, read as the time on a clock that travels between the events. For a spacelike separation , no clock can make the trip, and the natural reading is a proper length. Same invariant, two physical readings, chosen by the sign. The Invariant Spacetime Interval owns the general object; here we use its timelike face.
What is the proper time "in frame S"? I keep being told the question is wrong.
It is wrong, and gently so: the question contains a category error. Proper time is not a property of a frame but of a worldline — as the length of a road is a property of the road, not of the map you drew it on. Ask "what proper time elapses along this clock's path between these two events" and every frame in the universe returns the same number. Ask "what is the proper time in " and there is nothing to compute until you say whose clock. When a textbook says "the proper time in the rocket frame", it means "the proper time along the rocket's worldline".
If a photon accumulates zero proper time, what does the universe look like to a photon?
The question has no answer, and that is the point rather than a dodge. Proper time is defined by , and for a light ray this vanishes identically: at every step. There is no frame in which a photon is at rest — a boost can bring you arbitrarily close to but never to it, and the limit is singular, not a destination. So there is no clock to carry and nothing for it to read. What survives is a statement about the path: it is a null curve, of zero interval, joining events that light can connect.