# Brachistochrone is Cycloid/Proof 1

## Theorem

The shape of the brachistochrone is a cycloid.

## Proof

We invoke a generalization of the Snell-Descartes Law.

This is justified, as we are attempting to demonstrate the curve that takes the smallest time.

Thus we have $\dfrac {\sin \alpha} v = k$, where $k$ is some constant.

By the Principle of Conservation of Energy, the speed of the bead at a particular height is determined by its loss in potential energy in getting there.

Thus, at the point $\tuple {x, y}$, we have:

- $v = \sqrt {2 g y}$

We have:

\(\ds \sin \alpha\) | \(=\) | \(\ds \cos \beta\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \frac 1 {\sec \beta}\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \frac 1 {\sqrt {1 + \tan^2 \beta} }\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \frac 1 {\sqrt {1 + \paren {y'}^2} }\) |

Combining all the above equations, we get:

\(\ds \frac {\frac 1 {\sqrt {1 + \paren {y'}^2} } } {\sqrt {2 g y} }\) | \(=\) | \(\ds k\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds \frac 1 {1 + \paren {y'}^2}\) | \(=\) | \(\ds 2 k^2 g y\) | |||||||||||

\(\ds \leadsto \ \ \) | \(\ds y \paren {1 + \paren {y'}^2}\) | \(=\) | \(\ds \frac 1 {2 k^2 g} = c\) |

where $c$ is another (more convenient) constant.

This is the differential equation which defines the brachistochrone.

Now we solve it:

\(\ds y \paren {1 + \paren {y'}^2}\) | \(=\) | \(\ds c\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds \frac {\d y} {\d x}\) | \(=\) | \(\ds \sqrt {\frac {c - y} y}\) | |||||||||||

\(\ds \leadsto \ \ \) | \(\ds \int \rd x\) | \(=\) | \(\ds \int \sqrt {\frac y {c - y} } \rd y\) |

Now we introduce a change of variable:

- $\sqrt {\dfrac y {c - y} } = \tan \phi$

Thus:

\(\ds \sqrt {\frac y {c - y} }\) | \(=\) | \(\ds \tan \phi\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds y\) | \(=\) | \(\ds \paren {c - y} \tan^2 \phi\) | |||||||||||

\(\ds \leadsto \ \ \) | \(\ds c\) | \(=\) | \(\ds y \paren {1 + \tan^2 \phi}\) | |||||||||||

\(\ds \) | \(=\) | \(\ds y \sec^2 \phi\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \sin^2 \phi\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds \frac {\d y} {\d \phi}\) | \(=\) | \(\ds 2 c \sin \phi \cos \phi\) |

Also:

\(\ds \frac {\d y} {\d x}\) | \(=\) | \(\ds \sqrt {\frac {c - y} y}\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds \frac {\d y} {\d x}\) | \(=\) | \(\ds \frac 1 {\tan \phi}\) | |||||||||||

\(\ds \leadsto \ \ \) | \(\ds \frac {\d y} {\d \phi}\) | \(=\) | \(\ds \frac {\d y} {\d x} \frac {\d x} {\d \phi}\) | |||||||||||

\(\ds \) | \(=\) | \(\ds 2 c \sin \phi \cos \phi\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds \frac {\d x} {\d \phi}\) | \(=\) | \(\ds \paren {\frac {\d y} {\d \phi} } / \paren {\frac {\d y} {\d x} }\) | |||||||||||

\(\ds \) | \(=\) | \(\ds 2 c \sin \phi \cos \phi \tan \phi\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds 2 c \sin^2 \phi\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds c \paren {1 - \cos 2 \phi}\) |

Thus:

\(\ds \frac {\d x} {\d \phi}\) | \(=\) | \(\ds c \paren {1 - \cos 2 \phi}\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds \int \rd x\) | \(=\) | \(\ds \int c \paren {1 - \cos 2 \phi} \rd \phi\) | |||||||||||

\(\ds \leadsto \ \ \) | \(\ds x\) | \(=\) | \(\ds \frac c 2 \paren {2 \phi - \sin 2 \phi} + c_1\) |

As the curve goes through the origin, we have $x = y = 0$ when $\phi = 0$ and so $c_1 = 0$.

Now we can look again at our expression for $y$:

\(\ds y\) | \(=\) | \(\ds c \sin^2 \phi\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \frac c 2 \paren {1 - \cos 2 \phi}\) |

To simplify the constants, we can substitute $a = c / 2$ and $\theta = 2 \phi$, and thus we get:

\(\ds x\) | \(=\) | \(\ds a \paren {\theta - \sin \theta}\) | ||||||||||||

\(\ds y\) | \(=\) | \(\ds a \paren {1 - \cos \theta}\) |

which are the parametric equations of the cycloid.

$\blacksquare$

## Historical Note

The **Brachistochrone Problem** was raised by Johann Bernoulli to the readers of *Acta Eruditorum* in June $1696$.

Isaac Newton interpreted the problem as a direct challenge to his abilities, and (despite being out of practice) solved the problem in the evening before going to bed.

He published it anonymously, but Bernoulli recognised whose solution it was, and commented:

*I recognise the lion by his print.*

Bernoulli published the solution in the *Acta Eruditorum* in May $1697$, along with solutions by Jacob Bernoulli and Gottfried Wilhelm von Leibniz.

*With justice we admire Huygens because he first discovered that a heavy particle slides down to the bottom of a cycloid in the same time, no matter where it starts. But you will be petrified with astonishment when I say that this very same cycloid, the tautochrone of Huygens, is also the brachistochrone we are seeking.*

## Sources

- 1972: George F. Simmons:
*Differential Equations*... (previous) ... (next): $1$: The Nature of Differential Equations: $\S 6$: The Brachistochrone. Fermat and the Bernoullis - 1992: George F. Simmons:
*Calculus Gems*... (previous) ... (next): Chapter $\text {B}.21$: The Cycloid - 1992: George F. Simmons:
*Calculus Gems*... (previous) ... (next): Chapter $\text {B}.22$: Bernoulli's Solution of the Brachistochrone Problem