Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 20

Theorem

The angle (∠AOB) at the center (O) of a circle is double any angle (∠ACB) at the circumference standing on the same arc.

Commentary

1. Given a circle centered at O, let A, B and C be three points on the circumference.
2. Connect OA and OB, constructing ∠AOB, and connect CA and CB, constructing ∠ACB.
3. Then ∠AOB = 2 ∠ACB. In modern terminology, the central angle ∠AOB is twice the inscribed angle ∠ACB.
4. Note that ∠AOB and ∠ACB must stand on the same arc for this proposition to hold. Euclid used the word "circumference" in this proposition to mean an arc or a part of the circumference, whereas in modern terminology "circumference" means the whole perimeter of the circle.
5. The next proposition, Book 3 Proposition 21, covers the case when two angles are both at the circumference.

Original statement

ἐν κύκλῳ ἡ πρὸς τῷ κέντρῳ γωνία διπλασίων ἐστὶ τῆς πρὸς τῇ πϵριϕϵρϵίᾳ, ὅταν τὴν αὐτὴν πϵριϕέρϵιαν βάσιν ἔχωσιν αἱ γωνίαι.

English translation

In a circle the angle at the centre is double of the angle at the circumference, when the angles have the same circumference as base.


Computable version


Additional instances


Dependency graphs