Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 10

Construction

To bisect a given line segment.

Construction Steps

1. Let AB be the given line segment.
2. Taking AB as the base, construct an equilateral triangle ABC.
3. Bisect ACB. This angle bisector intersects AB at point D. The given line segment AB has been bisected at D.

Original statement

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

English translation

To bisect a given finite straight line.


Computable version


Additional instances


Dependency graphs