Bisection of an Arc

Theorem

It is possible to bisect an arc of a circle.

Construction

Let $AB$ be the given arc.

Join the line $AB$ and bisect it at $C$.

Construct the line $CD$ perpendicular to $AB$ at $C$.

Then the arc $AB$ has been bisected at $D$.

Proof

Join $AD$ and $BD$.

We have that $AC = CB$ and $CD$ is common.

We also have that $\angle ACD = \angle BCD$ as they are both right angles.

So from Triangle Side-Angle-Side Equality $\triangle ACD = \triangle BCD$ and so $AD = BD$.

But from Straight Lines Cut Off Equal Arcs in Equal Circles, the arc $AD$ equals the arc $BD$.

That is, the arc $AB$ has been bisected at $D$.

$\blacksquare$

Historical Note

This is Proposition 30 of Book III of Euclid's The Elements.