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