Brachistochrone comparison
Six balls, six curves, one winner. Release them simultaneously from point A and watch them race to point B under gravity alone. The cycloid — the brachistochrone, or “shortest time” curve — always arrives first, despite not being the shortest path. The timing panel shows exactly how much faster it is than each alternative. Johann Bernoulli posed this challenge in 1696; the answer launched the calculus of variations.
Bernoulli’s challenge
In June 1696, Johann Bernoulli published a famous challenge: given two points A and B at different heights, find the curve connecting them along which a frictionless bead sliding under gravity travels from A to B in the least possible time. The straight line is the shortest distance — but it is not the fastest path.
The six curves
Straight line — the shortest distance. It descends gradually, so the ball gains speed slowly and arrives late. Parabola — a natural trajectory under constant force, but it does not optimize descent time. Circular arc — steepens the early descent somewhat, but not optimally. Catenary — the shape a hanging chain makes; interesting but not time-optimal. Quartic — a steeper power-law curve that dives fast but overshoots the optimal balance. Cycloid — the brachistochrone, traced by a point on a rolling circle. It steepens early to build speed, then levels off for an efficient horizontal traverse.
Why the cycloid always wins
The cycloid solves the Euler–Lagrange equation for the time functional T = ∫ ds / v, where v = √(2gy). It is the unique curve that minimizes travel time for any height and horizontal distance. The steep initial descent converts potential energy into kinetic energy faster than any other path, and the subsequent flattening exploits that speed for horizontal travel. No other curve can match this balance — the cycloid is the provably optimal solution.
Historical significance
Newton, Leibniz, L’Hôpital, and Jakob Bernoulli all solved the problem. It became the founding example of the calculus of variations — the branch of mathematics concerned with optimizing functionals (integrals over curves) rather than ordinary functions. The same framework now underpins classical mechanics (Lagrangian and Hamiltonian formulations), general relativity (geodesics), quantum field theory (path integrals), and optimal control theory.