Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 30

Construction

To bisect a given arc.

Construction Steps

1. Let ACB be the given circular arc.
2. Join AB . Bisect the chord AB  at D.
3. From D, draw a line perpendicular to AB  and intersecting the arc at P. Then arc ACB is bisected at P.

Original statement

τὴν δοθϵῖσαν πϵριϕέρϵιαν δίχα τϵμϵῖν.

English translation

To bisect a given circumference.


Computable version


Additional instances


Dependency graphs