4.10.14 · D5Advanced Topics (Elite Level)

Question bank — Brachistochrone problem

1,439 words7 min readBack to topic

True or false — justify

The straight line from to is the fastest descent because it is the shortest.
False. Time is , not ; the cycloid dives steeply first so is already large over the long stretch. Shorter-but-slower loses to longer-but-faster.
The brachistochrone's shape depends on the mass of the bead.
False. Mass cancels in , so is mass-free; the whole functional has no .
The brachistochrone's shape depends on the value of .
False (for shape), true (for time). appears as an overall constant multiplying the functional, so it scales every path's time equally and cannot change which path is minimal. The shape is a cycloid regardless of gravity's strength.
Any curve satisfying the Euler–Lagrange equation is the fastest curve.
False. Euler–Lagrange only makes time stationary (first variation zero); it flags candidates. The cycloid is checked to be a genuine minimum separately — E–L alone cannot distinguish min from max or saddle.
The Beltrami identity is a different physical law from Euler–Lagrange.
False. Beltrami is a consequence of E–L, valid only when has no explicit ; it's a first integral (conserved quantity) that trades E–L's second-order equation for a first-order one.
On the cycloid, a bead released from a higher point reaches the bottom sooner than one released lower.
False. This is the tautochrone property: both reach the bottom in the same time, to the lowest point, independent of starting height.
If two points can be joined by a straight vertical drop, the cycloid still beats it.
False. If is directly below , free vertical fall is the fastest path — the cycloid degenerates into that vertical line (its steepest possible start). No horizontal distance means no advantage to trade for.
The brachistochrone can be found by minimizing the average speed along the curve.
False. We minimize total time . Average speed is a summary number that discards where the speed is fast versus slow — but where matters, so it can't be the optimization target.
The functional is a function of a number.
False. is a functional: its input is an entire curve and its output is one number (the time). This shift from optimizing over numbers to optimizing over functions is what launched the Calculus of Variations.

Spot the error

"Energy conservation gives since the bead falls, so ."
The error is the sign convention. Here is measured downward as positive, so a falling bead has and is real. Choosing upward would flip the sign — state your convention first.
" holds for every variational problem."
Wrong — Beltrami requires (no explicit -dependence). If depends directly on , the quantity is not conserved and you must use the full Euler–Lagrange equation.
"From , near the top so : the curve starts flat."
Backwards. As , the product forces , so : the curve starts vertical, not flat. That steep plunge is exactly how the bead gains speed early.
"The integrand is finite everywhere, so the integral is fine at ."
At the start the integrand blows up like . It's an improper integral but still converges (the singularity is integrable) — the total time is finite even though the integrand is not bounded.
"Squaring loses no information because both sides are positive."
Squaring hides the sign of : on the descending part , but after the lowest point of a full arch the bead rises and . The single ODE covers both branches; you must pick the right root per segment.
"Beltrami gives , so setting gives the solution."
would require everywhere — degenerate, not a curve. is a positive constant fixed by making the cycloid pass through ; it is never zero for a real brachistochrone.
"The cycloid is just a shifted sine curve."
No. A sine curve is as an explicit function of ; the cycloid is genuinely parametric and near its cusp the slope becomes infinite — no single-valued sine can do that. It is the rim-point path of a rolling circle (see Cycloid).

Why questions

Why do we integrate instead of just using distance over average speed?
Because speed varies continuously along the path; only summing the local infinitesimal times correctly weights the slow regions (top) against the fast regions (bottom).
Why does the Beltrami trick save so much work here?
Because has no explicit , Beltrami hands us a first-order ODE () directly, instead of the messy second-order Euler–Lagrange equation we'd otherwise integrate twice.
Why is the answer a cycloid and not, say, a parabola or circle arc?
The substitution that solves produces exactly — the algebra forces the rolling-circle curve; no other shape satisfies the ODE.
Why does the same cycloid solve both the brachistochrone and the tautochrone?
The factor appears identically in the arc length and in the speed, so it cancels in . That cancellation is simultaneously what minimizes total time and what makes descent time independent of start height.
Why does this problem count as the birth of the Calculus of Variations?
It was the first famous case of minimizing over an entire function (the curve) rather than over numbers, demanding new machinery — the Euler-Lagrange equation — beyond ordinary calculus.
Why is the brachistochrone deeply related to Fermat's Principle and light?
Fermat says light takes the least-time path; a medium whose speed grows with depth like bends light into a cycloid, so the bead and a light ray obey the same "least time" law.

Edge cases

What happens to the brachistochrone if is at the same height as ?
Then is not lower, so a bead starting from rest can never reach it (no potential energy to convert). The problem as posed needs strictly below .
What if lies far horizontally but only slightly below ?
The cycloid still applies but uses a large radius and small -range; the curve dips below the chord and can even pass below 's height then rise back up — going deeper than necessary to gain speed for the long horizontal run.
What is the limiting shape as moves directly beneath ?
The horizontal distance , the cycloid's arch collapses onto a vertical line — the bead simply free-falls, which is indeed the fastest descent when there's nothing horizontal to cover.
Can the brachistochrone ever curve upward on the way to ?
Yes. For a full arch past the lowest point the bead rises toward (still on the same cycloid). It sacrifices a little to plunge deep early, then climbs slightly — net time is still minimal.
What happens to the descent time if we double the radius ?
Time to the lowest point is , so doubling multiplies the time by — a larger, gentler arch takes longer even though the bead reaches higher speeds.
At the starting cusp, why isn't the infinite slope a physical problem?
The bead starts at rest with there, and the vertical tangent just means it drops straight down for an instant; the time contribution stays finite because the singular integrand is integrable.

Recall One-line self-test

Cover the answers to "shortest = fastest", the sign of near the top, and the tautochrone claim. If you can justify all three with a reason (not a bare verdict), you've internalized the traps.