Length of Chord of Circle

Theorem
Let $C$ be a circle of radius $r$.

Let $AB$ be a chord which joins the endpoints of the arc $ADB$.

Then:
 * $AB = 2 r \sin \dfrac \theta 2$

where $\theta$ is the angle subtended by $AB$ at the center of $C$.