Physical · the experiment · how the world actually answers
The Quickest Way Down
A bead slides from a high point to a lower one under gravity alone, no friction. What shape of ramp gets it there soonest? Not the straight line — the shortest path is the slowest sensible one. Drop them all and watch.
The race
Three ramps, the same start (top-left) and finish (the dot you can drag). Press Drop — all three beads release together.
The straight line is the shortest path, yet a bead beats it down both of the curves. The winner is the bright green one — a cycloid, the curve traced by a point on the rim of a rolling wheel, flipped upside down. It is longer than the straight line, yet it arrives first. The amber arc is the curve Galileo guessed; it comes within a whisker but loses. The green curve has a name: the brachistochrone (Greek brákhistos "shortest" + khrónos "time") — the path of quickest descent.
Why a longer ramp wins
Speed comes only from how far you've already dropped: a frictionless bead at depth y below the start moves at v = √(2gy), whatever the path. So the trick is to buy speed early — fall steeply at first, bank a high speed, then spend it crossing the gap. The straight line meters its drop out evenly and crawls at the start. The cycloid plunges almost vertically out of the gate, and the early speed it buys more than pays back the extra distance.
Push the idea to its limit and it bites back: a ramp that starts perfectly flat — a parabola resting on its apex — never gets going at all. With no slope there is no force along the path, so a bead let go from rest at the top simply stays there; its descent time is infinite, not merely long. (That is why only three ramps race here, not four — a finite time for the flat-start ramp would be a numerical mirage. The verifier shows the mirage growing without bound as the mesh is refined.)
Johann Bernoulli, who set this as a public challenge in 1696, found the answer by a sidewise leap: he imagined the bead as a ray of light threading layers of glass whose density changes with depth. Light already solves "least time" for free — that is Fermat's principle — and bending by Snell's law, sin θ / v = constant, the light ray traces exactly a cycloid. A mechanics problem, answered by optics. We don't take his word for it — watch it happen.
How he found it: make the bead a beam of light
Here is the trick, made operable. Slice the fall into horizontal layers, and let the bead's speed in each layer be the speed it has actually earned by falling that far, v = √(2gy). Now drop a ray of light down through the stack. At every boundary it refracts — bending toward the horizontal as it crosses into a faster layer — and Snell's law is exactly the rule that sin θ / v (with θ measured from the vertical) comes out the same at every single layer. Add more, thinner layers and the staircase of straight segments smooths into one curve. Drag the slider and watch which curve it is.
Bernoulli's beam of light
The faint green curve is the true cycloid; the cyan line is the refracted ray, built by Snell bends alone. They meet as the layers thin.
The cyan ray is never drawn from the cycloid's formula — it is built by refraction alone, one Snell bend per boundary. Yet as the layers thin it settles onto the green cycloid and closes on the finish, its descent time falling toward the cycloid's 0.80138 s from just below. That is Bernoulli's argument in miniature: light already takes the path of least time, so the path a ray would take through a medium where speed equals falling speed must be the path of quickest descent — and that path is the cycloid. The invariant sin θ / v holds rock-steady at 0.1903 s/m the whole way down (the verifier pins it to sixteen digits along the exact curve). A mechanics problem, answered by optics.
The same curve keeps a second secret
Take just the cycloid and forget the race. Place several beads on it at different heights and let them all go at once. Common sense says the high ones, with the longest way to fall, arrive last. Press release and watch what actually happens.
The tautochrone
Five beads, five heights. Release them together.
They land together — every bead, every height, the same arrival to the millisecond. The cycloid is also the tautochrone (Greek "same time"): the descent time from anywhere on the bowl to the bottom is a single constant, π·√(a/g), with no trace of the starting height in it. A bead let go near the top falls faster (more drop, more speed) by exactly enough to cover its longer arc in the identical time.
Christiaan Huygens proved this in 1659 and put it to work: a pendulum swinging in a cycloidal cheek keeps the same period whether it swings wide or narrow — a perfect clock, in principle, immune to the slow drift that plagues an ordinary pendulum at large swings. The shape that wins the race is the shape that keeps the time.
The challenge, and the lion's claw
In June 1696 Johann Bernoulli printed a challenge in the journal Acta Eruditorum "to the most acute mathematicians of the whole world": find the brachistochrone. He gave six months; at Leibniz's urging he extended the deadline so foreign mathematicians could join. In the end five solutions arrived — from Bernoulli himself, his brother Jacob, Leibniz, the Marquis de l'Hôpital, and Isaac Newton.
Newton, then Warden of the Mint and largely retired from mathematics, is said to have received the problem and not slept until he had it. His niece's husband, John Conduitt, recorded the story decades later: Newton came home tired from the Mint at four in the afternoon and "did not sleep till he had solved it, which was by four in the morning." His solution was published anonymously in the Philosophical Transactions — correct, but giving no hint of his method.
Bernoulli, the story goes, knew the author at a glance — tanquam ex ungue leonem, "the lion is known by its claw." The famous Latin phrasing comes from David Brewster's 1855 life of Newton. In his actual letter (to Henri Basnage, March 1697) Bernoulli wrote only that he recognised the anonymous solver "as the lion by its claw" (ex ungue Leonem) — meaning he knew the hand by its quality, per the historian D. T. Whiteside. We flag the difference rather than smooth it over.
Sixty years earlier, Galileo had already circled the question. In Two New Sciences (1638) he proved that a bead drops faster along a bent two-chord path than down the single straight chord — the right instinct, that curving helps. But then he guessed the best curve was the arc of a circle. It isn't. Run the race above and the circle (the amber curve) comes close — it loses to the cycloid by only a couple of percent — but it loses. Galileo, to his credit, hedged: he suspected a "higher" mathematics might do better. The tool that settled it, the calculus of variations, was still half a century away.
The check — recomputed, not asserted
Every ramp is built from its own equation; every time below is integrated from the bead's equation of motion (RK4 on the constrained dynamics), not from a stored answer. Default endpoints A=(0, 0) to B=(2, 1.4) m, g=9.80665 m/s². From the standalone verifier research/brachistochrone/verify.mjs:
| ramp | descent time | arc length |
|---|---|---|
| cycloid (brachistochrone) | 0.80138 s | 2.604 m |
| circular arc (Galileo's guess) | 0.82000 s | 2.861 m |
| straight line (the short path) | 0.93179 s | 2.441 m |
| parabola (flat start) | ∞ (diverges) | 2.533 m |
The cycloid wins by 14.0% over the straight line and by 2.3% over Galileo's circle. The flat-start parabola has no finite time: the simulated value keeps climbing as the mesh is refined (3.50 → 4.23 → 4.69 → 4.95 → 5.22 s at 900 → 80,000 points), because a bead at a horizontal tangent never leaves — so we don't race it. Energy check: every bead that does arrive reaches B at the identical speed √(2gY)=5.2401 m/s — the path changes the time, never the final speed. Tautochrone: on one cycloid (a=1), beads released from six different heights all reach the bottom in 1.00321 s, matching the closed form π√(a/g)=1.003205 s to within 0.01 ms (numerical step error). Cross-check: the cusp→θ descent law T=√(a/g)·θ matches the simulation to under 0.01 ms. Bernoulli's optics: along the exact cycloid the refraction invariant sin θ / v is constant to sixteen digits, equal to 1/(2√(g·a)) = 0.1903 s/m; and the layered light ray, built by Snell bends alone, converges onto the cycloid — at 64 layers it misses the finish by just 1.1 cm and its time (0.79930 s) closes on the cycloid's 0.80138 s from below. Reproduce: node research/brachistochrone/verify.mjs.
What's proven, what's assumed, what's a story
Proven (here, numerically) and analytically known: the cycloid is the curve of quickest descent and the tautochrone — both are classical theorems (calculus of variations; Huygens 1659). Our simulation demonstrates them; the proofs are older than the code. Bernoulli's light is a construction, not a circular assumption: the cyan ray is built by Snell's law alone (no cycloid formula goes into it), and we then check that the refraction invariant is constant along the independently-drawn cycloid and that the staircase converges to it — the optics and the geometry are derived separately and meet. Idealised: a point bead, no friction, no rolling, no air — a uniform gravity field. Real marbles roll (which changes the effective mass and the constant, not the winning shape) and feel drag; the result is about the mathematical ramp, and we say so. A story, flagged as one: Newton's "overnight" solve is Conduitt's later recollection, and the polished Latin "tanquam ex ungue leonem" is Brewster's 1855 wording, not Bernoulli's own — both noted above rather than passed off as fact.
Sources
- J. J. O'Connor & E. F. Robertson, "The brachistochrone problem," MacTutor History of Mathematics Archive, Univ. of St Andrews — challenge date, Conduitt's account, the five solvers, Huygens 1659, Galileo's circular-arc error.
- "Brachistochrone curve," Wikipedia — anonymous publication in Philosophical Transactions; the cycloid parametrisation x=r(φ−sinφ), y=r(1−cosφ); the Basnage letter and D. T. Whiteside's note on the "ex ungue Leonem" wording.
- Galileo Galilei, Dialogues Concerning Two New Sciences (1638), Third Day — the two-chord result and the circular-arc conjecture.
- Johann Bernoulli's optical solution (the bead as a light ray; Fermat's least-time + Snell's law sin θ / v = const, with v=√(2gy) from Galileo): MacTutor (above) and "Brachistochrone curve," Wikipedia. The invariant 1/(2√(g·a)) and the layered-ray convergence are derived and checked in the verifier.
- Closed forms (descent time √(a/g)·θ; tautochrone period π√(a/g)) verified against the live simulation in research/brachistochrone/verify.mjs.