Mathematics
Calculus of Variations and the Brachistochrone Problem
Quick fact
The solution to the brachistochrone problem is a cycloid—the curve traced by a point on a rolling wheel—which is faster than a straight line and even faster than an arc of a circle.
Why this is interesting
What if the fastest path between two points isn't a straight line? In 1696, Johann Bernoulli challenged the world's best mathematicians with this very puzzle—and the answer reshaped physics.
Read the full explanation
Understanding Calculus of Variations and the Brachistochrone Problem
Imagine you have two points, A and B, with B lower than A (but not directly below). If you want a bead to slide along a frictionless wire from A to B, which shape of wire gives the shortest travel time? Intuitively, you might think a straight line, but the bead's speed depends on how steep the descent is: the steeper it is, the faster it goes. A curve that dives steeply at first builds up speed quickly, making the overall trip faster even though the path is longer. The curve that minimizes the total time is a cycloid—the shape traced by a point on the rim of a rolling wheel. This problem is special because it isn't about finding a number or a point; it's about finding a whole curve—a function—that optimizes a quantity (here, travel time). That's the essence of the calculus of variations.
A deeper explanation
The brachistochrone problem asks us to minimize a functional—a function of a function. Here, the travel time T depends on the path y(x) via an integral. Using energy conservation, the bead's speed v is related to the drop in height: v = sqrt(2g(y0 - y)), assuming it starts from rest. The time integral becomes T[y] = ∫ (ds / v) = ∫ (sqrt(1 + (dy/dx)^2) / sqrt(2g(y0 - y))) dx. The calculus of variations provides a general condition for a function to make such an integral stationary (minimum or maximum). If we slightly perturb the function y(x) to y(x) + ε η(x), where η is small and vanishes at the endpoints, the change in T must be zero for it to be a minimum. Expanding T in ε, the first-order term gives the Euler–Lagrange equation: ∂f/∂y - d/dx (∂f/∂y') = 0, where f is the integrand. Applying this to the time integral yields the cycloid. This method, developed by Euler and Lagrange, is remarkably powerful: it shows that many laws of physics can be derived from a 'least action principle', where nature chooses the path that minimizes a certain integral, such as action. This idea is now foundational in classical mechanics, quantum mechanics, and general relativity.