Evolute of Cycloid is Cycloid

Theorem
The evolute of a cycloid is another cycloid.

Proof
Let $C$ be the cycloid defined by the equations:
 * $\begin {cases}

x = a \paren {\theta - \sin \theta} \\ y = a \paren {1 - \cos \theta} \end {cases}$

From Parametric Equations for Evolute: Formulation 2:


 * $(1): \quad \begin{cases}

X = x - \dfrac {y' \paren {x'^2 + y'^2} } {x' y - y' x} \\ Y = y + \dfrac {x' \paren {x'^2 + y'^2} } {x' y - y' x} \end{cases}$

where:
 * $\tuple {x, y}$ denotes the Cartesian coordinates of a general point on $C$
 * $\tuple {X, Y}$ denotes the Cartesian coordinates of a general point on the evolute of $C$
 * $x'$ and $x''$ denote the derivative and second derivative respectively of $x$ $\theta$
 * $y'$ and $y''$ denote the derivative and second derivative respectively of $y$ $\theta$.

Thus we have:

and:

Thus:

and so:

and:

The cycloid $C$ (blue) and its evolute (red) are illustrated below: