Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 14a

Theorem

Alternate name(s): equidistant chords theorem.

In equal circles, equal chords (AB  = CD ) are equally distant from the center.

Commentary

1. Given a circle centered at O, let AB  and CD  be two equal chords of the circle.
2. From O construct OE  perpendicular to AB  at E and OF  perpendicular to CD  at F, so that OE  and OF  are the distances from the center to the two chords.
3. Then these distances are equal (OE  = OF ).
4. We represent the case of the same circle. The case of equal circles follows from this case.
5. This proposition is one part of the equidistant chord theorem.
6. The next proposition, Book 3 Proposition 14b, is the converse of this proposition.
7. Book 3 Proposition 15b covers the case when the chords are not the same length.

Original statement

ἐν κύκλῳ αἱ ἴσαι ϵὐθϵῖαι ἴσον ἀπέχουσιν ἀπὸ τοῦ κέντρου, καὶ αἱ ἴσον ἀπέχουσαι ἀπὸ τοῦ κέντρου ἴσαι ἀλλήλαις ϵἰσίν.

English translation

In a circle equal straight lines are equally distant from the centre, and those which are equally distant from the centre are equal to one another.


Computable version


Additional instances


Dependency graphs