Length of Arc of Cycloid/Proof 1

Proof
Let $L$ be the length of one arc of the cycloid.

From Arc Length for Parametric Equations:


 * $\displaystyle L = \int_0^{2 \pi} \sqrt {\left({\frac{\mathrm d x}{\mathrm d \theta}}\right)^2 + \left({\frac{\mathrm d y}{\mathrm d \theta}}\right)^2} \mathrm d \theta$

where, from Equation of Cycloid:
 * $x = a \left({\theta - \sin \theta}\right)$
 * $y = a \left({1 - \cos \theta}\right)$

we have:

Thus:

Thus:

So $L = 8 a$ where $a$ is the radius of the generating circle.