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: the green curve above is generated from the cycloid's own equations, and its time is integrated from the bead dynamics, same as its three rivals.)
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. 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. 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.
- Closed forms (descent time √(a/g)·θ; tautochrone period π√(a/g)) verified against the live simulation in research/brachistochrone/verify.mjs.