Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 34

Construction

To cut off from a given circle a segment which contains an angle equal to a given angle.

Construction Steps

1. Let the circle through the point A centered at O be the given circle and EFG be the given angle.
2. Draw a line AD tangent to the circle at point A.
3. Find a point B on the circle such that BAD = ∠EFG.
4. Pick a point C on the circle such that C and D are on opposite sides of infinite line AB.
5. Join AC and BC. In the given circle, the angle ACB has been constructed equal to the given angle EFG.

Original statement

ἀπὸ τοῦ δοθέντος κύκλου τμῆμα ἀϕϵλϵῖν δϵχόμϵνον γωνίαν ἴσην τῇ δοθϵίσῃ γωνίᾳ ϵὐθυγράμμῳ.

English translation

From a given circle to cut off a segment admitting an angle equal to a given rectilinear angle.


Computable version


Additional instances


Dependency graphs