Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 25

Construction

Given an arc, to describe the complete circle.

Construction Steps

1. Let the circlular arc through the points A, B, and C be given.
2. Join AB, BC.
3. Bisect AB and BC at D and E, respectively.
4. From D, draw a line perpendicular to AB, and from E, draw a line perpendicular to BC. These two lines intersect at F.
5. Join FB. The circle centered at F with radius FB is the complete circle of which arc ABC is a part.

Original statement

κύκλου τμήματος δοθέντος προσαναγράψαι τὸν κύκλον, οὗπέρ ἐστι τμῆμα.

English translation

Given a segment of a circle, to describe the complete circle of which it is a segment.


Computable version


Additional instances


Dependency graphs