Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 1

Construction

To construct an equilateral triangle on a given line segment.

Construction Steps

1. Let AB be the given line segment.
2. Construct the circle through the point B centered at A and the circle through the point A centered at B. These two circles intersect at C.
3. Join CA, CB so that △ABC is constructed. △ABC is equilateral, and it has been constructed on the given line segment AB.

Original statement

ἐπὶ τῆς δοθϵίσης ϵὐθϵίας πϵπϵρασμένης τρίγωνον ἰσόπλϵυρον συστήσασθαι.

English translation

On a given finite straight line to construct an equilateral triangle.


Computable version


Additional instances


Dependency graphs