Length of Arc of Cycloid

Theorem
Let $C$ be a cycloid generated by the equations:
 * $x = a \paren {\theta - \sin \theta}$
 * $y = a \paren {1 - \cos \theta}$

Then the length of one arc of the cycloid is $8 a$.

Also see

 * Area under Arc of Cycloid