Foundations — Brachistochrone problem

This page assumes you have seen nothing. We will name every letter, arrow, and squiggle the parent note uses, draw the picture it stands for, and say why the problem needs it. Read top to bottom — each idea leans only on the ones above it.

1. Points, coordinates, and the two axes

Look at the first figure. Notice the surprise: the $y$-axis points downward, not up.

• $A$ — the start point, placed at the top, at $(0,0)$.
• $B$ — the end point, lower and off to the side.
• $x_1$ — the horizontal distance across to $B$.

Why the topic needs this: the whole question is "join $A$ to $B$ by a curve" — you cannot join two points without first naming them.

2. A function $y(x)$ — the shape of the wire

Why the topic needs this: the brachistochrone question is "which $y(x)$?". The unknown here is not a number — it is an entire curve. Hold that thought; it is the whole reason a new branch of maths (Calculus of Variations) is needed.

3. Slope $y^{\prime }$ — how steep the curve is right here

• $dx$ — an infinitesimally small, positive step across (think "a step so small it's basically a point, but not zero"). By §1 we always have $dx>0$.
• $dy$ — the matching tiny drop.
• $y^{\prime }$ big $\Rightarrow$ steep wire; $y^{\prime }$ small $\Rightarrow$ flat wire; $y^{\prime }=0\Rightarrow$ momentarily level.

Why the "prime" notation? $y^{\prime }$ is short for "the derivative of $y$" — the tool from calculus that measures instantaneous steepness. We use it because the wire's tilt changes continuously; a single number can't describe it, but a function of $x$ can.

4. Arc length $ds$ — the true length of a tiny piece of curve

WHAT we did: treated a tiny curve-piece as the hypotenuse of a right triangle with legs $dx$ (across) and $dy$ (down).

WHY: on a scale small enough, any smooth curve looks straight, so Pythagoras applies.

WHAT IT LOOKS LIKE: the little triangle in the figure below.

The second form comes from factoring out $d{x}^2$: $\sqrt{d{x}^2+d{y}^2}=\sqrt{d{x}^2\left(1+\frac{d{y}^2}{d{x}^2}\right)}=\sqrt{d{x}^2}\sqrt{1+y^{\prime 2}}.$ Now $\sqrt{d{x}^2}=|dx|$ in general — but by our orientation convention from §1 we always move with $dx>0$, so $|dx|=dx$ and

$\sqrt{d{x}^2+d{y}^2}=\sqrt{1+y^{\prime 2}}dx.$

Why the topic needs this: time = length ÷ speed, so we must measure the wire's real length, slant included.

5. The integral $\int$ — adding up infinitely many tiny pieces

• ${\int }_0^{x_1}$ — sum from the start ($x=0$) to the end ($x=x_1$).
• The thing after the $\int$ (the integrand) is "one tiny bit's worth".

Why the topic needs this: total time is built from countless tiny times $dt$ (defined next); only summation ($\int$) assembles them into a single number.

6. Speed $v$, gravity $g$, and the tiny time $dt$

• $v$ small = crawling; $v$ large = zooming.
• The deeper the bead has fallen, the more $g$ has sped it up, so the bigger $v$ becomes.

Why the topic needs this: $dt=ds/v$ is the atom of the whole problem. A fast bead clears the same length in less time — so where the bead is fast matters enormously.

7. Energy conservation $\Rightarrow v=\sqrt{2gy}$

First, meet the mass symbol before we use it.

WHAT we did: set the energy of motion equal to the height-energy given up.

WHY: on a frictionless wire, nothing wastes energy, so "motion-energy gained = fall-energy lost" (Conservation of Energy).

WHAT IT LOOKS LIKE: deeper (bigger $y$) $\Rightarrow$ faster (bigger $v$). The two terms:

• $\frac{1}{2}m{v}^2$ — kinetic energy, the energy of moving.
• $mgy$ — potential energy released by dropping a height $y$.

Divide by $m$ and both mass terms vanish — the fastest shape does not depend on the bead's weight. Rearranging gives $v=\sqrt{2gy}$.

The square root  ​ answers "what number, times itself, gives $2gy$?" — it undoes the squaring in $v^2$, letting us isolate $v$.

8. Putting it together — the time functional $T[y]$

Read it piece by piece with everything above:

• top $\sqrt{1+y^{\prime 2}}dx$ = tiny length $ds$ (§4),
• bottom $\sqrt{2gy}$ = speed $v$ (§7),
• their ratio = tiny time $dt=ds/v$ (§6),
• the $\int$ = add up all tiny times (§5).

Why the topic needs this idea: ordinary minimization tweaks a number to shrink something. Here we must tweak a whole curve. That leap is exactly what Calculus of Variations and its master rule, the Euler-Lagrange equation, are built to handle.

9. The Greek helpers you'll meet next

You don't solve the ODE on this page, but these symbols appear in the parent — meet them now so they aren't strangers:

• $\theta$ (theta) — an angle, used as a dial that traces the winning curve (Cycloid) point by point.
• $r$ — the radius of the imaginary rolling circle that draws that cycloid.
• $C$, $k$ — plain constants: fixed numbers pinned down later by forcing the curve through $B$.
• $F(y,y^{\prime })$ — the integrand (the stuff inside $\int$), also called the Lagrangian (Lagrangian Mechanics).
• $\partial$ (partial-dee) — like a derivative, but wiggle one variable while freezing the others.

How these foundations feed the topic

Each arrow says "you need the left idea before the right one makes sense". Nothing on the right can be understood by skipping a box on its left.

Related vault stepping-stones

• Fermat's Principle — the same "least-time" idea for light; the historical cousin of this problem.
• Conservation of Energy — supplies §7's speed formula.
• Euler-Lagrange equation — the machine that actually minimizes $T[y]$.
• Calculus of Variations — the field this whole page prepares you for.

Equipment checklist

Cover the right side and test yourself.