Bertrand's Theorem
In 1873 Joseph Bertrand published a three-page note in the Comptes Rendus asking a question nobody had thought to ask sharply: among all possible central force laws, which ones bend every bound orbit into a closed curve? Newton had shown the inverse-square law gives perfect ellipses; Hooke's linear force does too. Bertrand proved something far stronger — these two are the only central forces for which every bound orbit, at every energy and angular momentum, closes on itself. Everything else, however close to inverse-square, produces open rosettes that precess forever. The theorem turns the two most important forces in physics into geometrically privileged objects, with a practical edge: because closure is so fragile, any observed precession is a measurement of a deviation from the pure force law. Mercury's stray 43 arcseconds per century is exactly a Bertrand violation — general relativity's small correction breaking inverse-square perfection. The proof runs in two stages, and this article walks both. First the near-circular filter: closure near every circular radius forces the apsidal angle to one fixed rational number, which integrates to a power law — infinitely many candidates survive. Then the amplitude test: closure at finite eccentricity collapses the survivors to (inverse-square) and (Hooke) alone. The first stage we derive completely; the second we sketch honestly, marking where the heavy bookkeeping lives.
- Only the inverse-square force and the linear force close every bound orbit — Kepler with apsidal angle , Hooke with .
- The proof filters twice: near-circular closure forces a power law with rational and constant; finite-eccentricity closure leaves only () and ().
- The master formula is the near-circular apsidal angle — times the ratio of orbital to radial frequency.
- Kepler ellipses have the force centre at a focus; Hooke ellipses have it at the centre, closing after half a revolution.
- Any perturbation — general relativity, oblateness, a third body — reopens the orbit: measured precession quantifies the perturbation.
- Key idea: closure of all bound orbits requires the apsidal angle to be a fixed rational multiple of for every orbit; matching this constant across near-circular and eccentric orbits forces the inverse-square or linear force law — nothing else.
Closure of all bound orbits requires the apsidal angle to be a fixed rational multiple of for every orbit; matching this constant across both near-circular and highly eccentric orbits forces or — nothing else.
Where this lives today
Bertrand's theorem is used today mostly through its contrapositive: real orbits do not close, and every measured precession rate is a clean probe of whatever spoils the pure force law. The star S2, tracked through pericentre around Sagittarius A*, precesses by the Schwarzschild prediction — the GRAVITY collaboration's headline measurement, now sharpened by GRAVITY+ to hunt for an extended dark-mass component that would add its own Bertrand violation. Binary-pulsar periastron advance plays the same game at higher precision; in exoplanet systems the apsidal precession of eccentric hot Jupiters is read backwards to infer tidal deformation. And the Hooke survivor runs the modern laboratory: ion traps approximate isotropic harmonic confinement precisely because Bertrand guarantees closed, non-dephasing orbits — anharmonicity announces itself as amplitude-dependent precession, the diagnostic trap designers actually monitor.
The physical picture
Watch the radius as a bead oscillating in the effective-potential well while the whole picture turns at . During one radial half-cycle the azimuth advances by the apsidal angle : rational multiple of means the orbit eventually retraces itself; anything else precesses forever. Bertrand's question: which force laws make the rational value come out the same for every orbit?
Near a circular orbit the picture simplifies to two clocks: the radius wobbles harmonically at , set by the curvature of the effective-potential well, while the angle turns at . Demanding their ratio be the same rational number at every circular radius already kills every force law that is not a power law. The second demand is harsher: as the orbit grows eccentric, the apsidal angle of a generic power law drifts with amplitude, so an orbit that closes when nearly circular fails when eccentric. Only two force laws hold the apsidal angle fixed at every amplitude — the same two whose closed orbits carry hidden conserved quantities (the Laplace–Runge–Lenz vector and the Fradkin tensor; see the hidden-symmetry article).
From effective potential to apsidal angle
Conservation of and compresses the planar motion into a radial problem, and the closure question then lives in one integral — the angle swept as the radius runs from minimum to maximum:
where: — apsidal angle, perihelion to aphelion; — the turning points, where ; — the (reduced) mass; — angular momentum. It comes from dividing by from the energy equation. Successive perihelia sit apart, so the orbit closes iff : after radial oscillations and revolutions the trajectory bites its tail. For the second stage of the proof we will need the orbit equation itself. Trading time for angle and radius for turns Newton's radial equation into Binet's form:
where: ; — the central force, negative for attraction; — the force term as a function of inverse radius. A circular orbit is a fixed point ; everything about closure is encoded in how oscillations about that fixed point behave. Throughout we write — force exponent , Kepler at , Hooke at — for which is itself a pure power, the fact that makes the whole analysis tractable. (The potential goes as ; the hidden-symmetry article's potential-exponent formula is the same result with .)
The near-circular filter
Perturb a circular orbit slightly and the radius oscillates harmonically in the effective well while the angle advances at the circular rate. The apsidal angle becomes times the frequency ratio, computed from the force law alone — Derivation A builds it and then squeezes it:
where: — the circular radius; — the squared frequency ratio . Stability needs ; closure needs rational. But the decisive demand is uniformity: the same rational at every circular radius, since varying continuously cannot stay rational. A constant is a differential equation for , and it integrates to a pure power law:
where: — the force strength; — the force exponent. Read the survivors off: gives with ; gives with . But so far (), and every other rational survive too — the near-circular filter narrows infinitely many force laws to a one-parameter family, and can do no more:
The amplitude test
To kill the remaining rationals, push beyond the harmonic approximation. Write in the Binet equation and keep terms through third order in ; the oscillation is no longer exactly harmonic, and its frequency — hence the apsidal angle — picks up a correction proportional to the squared amplitude:
where: — the dimensionless oscillation amplitude ( eccentricity for small ); — the anharmonic frequency-shift coefficient, computable from the Taylor coefficients of . Closure for all amplitudes demands : otherwise an orbit closing at one eccentricity precesses at another. Working out for the power law (Derivation B) gives the celebrated selection rule
where: the root is the unstable boundary, leaving (Kepler, ) and (Hooke, ). This is Bertrand's theorem; both survivors are checked exactly after the derivations below.
We derive the near-circular apsidal angle completely, then impose radius-independence and integrate to the power law (4). The strategy: a circular orbit sits at the minimum of the effective potential, so a slightly perturbed orbit executes simple harmonic radial motion at a frequency fixed by the well's curvature; the apsidal angle is times the ratio of angular to radial frequency. Watch one bookkeeping point — the circular-orbit condition is used twice to eliminate .
Step 1. Set up and locate the circular orbit. With , the radial problem is with ; the circular radius satisfies , i.e. . Why: conservation of buries the angular motion in the centrifugal term; a circular orbit is radial equilibrium, requiring attraction at .
Step 2. Compute the well's curvature. , using Step 1. Why: the curvature is the spring constant felt by a radial perturbation : .
Step 3. Form the frequency ratio. and , so . Why: every dimensional quantity cancels; the ratio is the force law's local logarithmic slope plus three.
Step 4. Convert to the apsidal angle. Perihelion to aphelion is half a radial period , during which advances — equation (3). Why: the apsidal angle is how far the angle clock turns during half a tick of the radius clock.
Step 5. Demand radius-independence and integrate. Closure at every with one rational requires for all : a separable ODE, , hence — equation (4). Why: if varied with it would sweep through irrational values between any two radii; a constant logarithmic derivative is precisely the definition of a power law.
Go deeper · Derivation B · 2 minThe finite-eccentricity expansion selects two force laws
The goal is the selection rule (6), , which eliminates every power law except Kepler and Hooke. This is the technical half of Bertrand's proof, run honestly as a structured sketch: the full bookkeeping lives in Goldstein's Appendix A, but every conceptual move is here. The strategy is a Poincaré–Lindstedt expansion of the Binet equation about the circular solution: nonlinear terms shift the fundamental oscillation's frequency at second order in amplitude; closure demands that shift vanish identically, which becomes an algebraic equation in .
Step 1. Specialize Binet to the power law. With , equation (2) reads with . Why: only for a power-law force is a pure power of , making the Taylor coefficients below simple functions of alone.
Step 2. Expand about the circular fixed point. Set with : , using . Why: the linear term reproduces the near-circular result — apsidal angle ; the quadratic and cubic terms are the anharmonicity that can spoil it.
Step 3. Feed the ansatz through. Write and collect orders. At order the quadratic term generates a constant offset and a second harmonic , both proportional to . Why: a squared cosine contains DC and double-frequency pieces; neither shifts the fundamental's frequency yet, but both feed back at the next order.
Step 4. Impose no frequency shift at order . The third-order terms proportional to — sourced by cross-terms and by directly — would resonantly shift the fundamental unless their net coefficient vanishes. Inserting the power-law values of and in terms of , the amplitude-dependence of cancels only when . Why: the standard Lindstedt secular-term condition; the algebra collapses because is a pure power.
Step 5. Read off the survivors. is the stability boundary; is Kepler, ; is Hooke, . Every other rational fails at finite eccentricity. Why: closure for all amplitudes is an infinite family of conditions, and the first nontrivial one is already this restrictive; higher orders check out for the survivors because their orbits are exactly solvable.
Both survivors check out exactly. For Binet's equation is linear with constant drive, , solved by the focal conic — apsides diametrically opposite, at every eccentricity (Kepler's first law; the Kepler problem article runs it in full). For the substitution linearizes Binet to : the radius oscillates twice per revolution, at every amplitude — the centred ellipse. The factor-of-two echo, four apses for a centred ellipse against two for a focal one, is the geometric face of versus .
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Kepler, | at all | Focal ellipse; closes after one revolution; LRL vector conserved. |
| Hooke, | at all | Centred ellipse; closes after half a revolution; Fradkin tensor conserved. |
| Generic power law | near-circular only | Drifts with eccentricity: rosette; fails the amplitude test. |
| Logarithmic force | Irrational multiple of : never closes even near the circle. | |
| , | Stability boundary: circular orbits marginal, orbits spiral. |
Worked examples
1 · A puck on a spring table (confidence builder)
A puck on a frictionless table is tied to a central spring, (Hooke force ), on a slightly non-circular orbit. Find the two frequencies, the apsidal angle, and the orbit's shape.
Step 1. For the circular condition holds at every radius, so — independent of .
Step 2. The force exponent is , so and : the radius breathes twice per revolution.
Step 3. Apsidal angle: — perihelion to aphelion is a quarter turn, four apses per revolution.
Step 4. Period check: a revolution takes , a radial cycle ; after one revolution the puck has completed exactly two radial breaths and retraces its path: a closed ellipse centred on the post — Bertrand's second survivor, on a tabletop.
2 · How fast does a slightly-wrong force law precess? (exam level)
Suppose gravity followed — force exponent , a 1% tilt. For a near-circular planet, find the apsidal angle, the perihelion drift per orbit, and how many orbits until the perihelion laps the full circle.
Step 1. , so . The frequency ratio is no longer exactly 1: the radial clock now ticks slightly slower than the angular one.
Step 2. Apsidal angle: — each half radial cycle overshoots half a turn by .
Step 3. Perihelion drift per orbit: per orbit, prograde (the apsides advance with the motion, as for any force falling faster than inverse-square).
Step 4. Full apsidal revolution after . A 1% exponent error makes the orbit visibly non-closing within a hundred revolutions — which is why Newton, via his revolving-orbits theorem, could already argue from the slowness of observed apsidal motion that the exponent must be extremely close to 2.
Origins · 1 minJoseph Bertrand and how this was discovered
Bertrand entered the École Polytechnique at eleven as an auditor and held a doctorate by seventeen. As professor at the Collège de France and permanent secretary of the Académie des Sciences he shaped French mathematics for half a century — his prime conjecture, probability paradox, and critiques of economic equilibrium all carry his name. The closed-orbit theorem appeared in 1873 as a three-page Comptes Rendus note, so compressed that filling in its steps became a standard graduate exercise for the next century. Characteristically, Bertrand posed it as a question about what observation could prove: if all orbits close, the force law is already determined — an early, crisp example of an inverse problem in physics.
Going further
References. Goldstein, Poole & Safko, Classical Mechanics (3rd ed.), §3.6 and Appendix A · Landau & Lifshitz, Mechanics (Vol. 1), §14 and Problem after §14 · Morin, Introduction to Classical Mechanics, Ch. 7 · Taylor, Classical Mechanics, Ch. 8 · J. Bertrand, Comptes Rendus 77, 849 (1873) · Arnold, Mathematical Methods of Classical Mechanics, §8 The key checkpoints of the article are: (1) the near-circular apsidal angle derived from ; (2) the power-law identity giving with values () and () in the potential-exponent convention (; the article text uses the force exponent ); (3) the cubic selection condition from the finite-eccentricity expansion; and (4) the explicit Binet solutions and the harmonic reduction. Mercury's /century is the standard GR value. Worked-example numbers: , rad/s for kg, N/m; for : , , drift /orbit, full turn in 98.5 orbits.
Builds on: The Effective Potential · The Orbit Equation and Binet's Equation · Angular Momentum Conservation in Central Fields · Classification of Orbits by Energy Leads to: The Kepler Problem · Kepler's First Law: Elliptical Orbits · Conic-Section Orbits
Is it just a coincidence that the two most important forces in physics are the two Bertrand forces?
Partly yes, partly no. Gravity and electrostatics are inverse-square for a deep reason — flux conservation in three dimensions (Gauss's law) — and a linear restoring force arises universally as the leading Taylor term near stable equilibrium. So both laws were guaranteed starring roles regardless of Bertrand. What the theorem adds is that these two, and only these two, produce closed orbits — why solar-system dynamics is so clean and the harmonic oscillator became the exactly-solvable workhorse. The two problems physics solves beautifully are the two with maximal hidden symmetry.
The apsidal angle formula gives a rational value for lots of exponents, like n = 6 giving one third of pi. Why do those fail?
Because for holds only in the strict near-circular limit. Feed in a finite eccentricity and the anharmonic terms of the Binet equation shift the radial frequency by an amount proportional to — equation (5) — so the apsidal angle drifts away from as the orbit grows. An orbit that closes at one amplitude precesses at the next; the family as a whole never closes. The amplitude test of Derivation B is exactly the demand that this drift vanish, and its cubic (6) has no root at . Only and hold the apsidal angle rigid at every eccentricity.
Where does the observed direction of Mercury's precession come from — why prograde?
A force falling faster than inverse-square (, so ) makes the radial oscillation slower relative to the revolution: , and the apsides advance with the motion — prograde. General relativity's correction adds extra attraction at small radius, effectively steepening the law, which is why Mercury's perihelion advances rather than regresses. The worked example's toy shows the same sign: . A force falling more slowly than inverse-square gives and regression instead.
Does Bertrand's theorem apply to the actual solar system with all its planets?
Strictly, no — and that is its practical power. The theorem concerns one body in an exact central field; the real Sun is slightly oblate, the planets tug on each other, and general relativity corrects the potential, so real orbits precess. Mercury's perihelion moves about per century from planetary perturbations plus from GR. The theorem is why these numbers are measurable: against the rigid backdrop of would-be-closed Kepler ellipses, any drift is signal, not noise. Astronomers use Bertrand closure as the null hypothesis every deviation is tested against.
Why does demanding closure at every radius force a power law, rather than just some smooth force?
Because "the apsidal angle is the same at every circular radius" is a differential statement. Equation (3) says depends on only through — the logarithmic slope of the force. Holding constant across all radii means holding constant, and the only functions with constant logarithmic slope are pure powers, . Any other smooth force has a slope that varies with radius, so its apsidal angle sweeps through a continuum of values — necessarily hitting irrational multiples of — and closure fails somewhere in the family.
What actually happens physically at the n = −3 boundary where the formula blows up?
At the attractive force scales as — exactly the same power as the centrifugal term . The two no longer cross at an isolated radius: either the centrifugal term wins everywhere (escape) or the attraction wins everywhere (spiral to the centre), depending on the ratio of to the force constant. There is no potential well, hence no stable circular orbit, and signals it: the radial oscillation frequency goes to zero, so a displaced orbit never gets pulled back. For circular orbits exist algebraically but sit on a potential maximum — the stability side of the story is the circular-orbit stability article.