Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 3b

Theorem

Alternate name(s): perpendicular chord bisector theorem converse.

If a line (AB ) passing through the center of a circle cuts a chord (CD ) which does not pass through the center at right angles, then the line bisects the chord.

Commentary

1. Given a circle centered at O, let CD  be a chord that does not pass through the center.
2. Let AB  be a diameter (a chord passing through the center O) that is perpendicular to CD .
3. Then AB  bisects CD .
4. This proposition is known as the perpendicular chord bisector theorem converse, and Book 3 Proposition 3a is the converse of this proposition.

Original statement

ἐὰν ἐν κύκλῳ ϵὐθϵῖά τις διὰ τοῦ κέντρου ϵὐθϵῖάν τινα μὴ διὰ τοῦ κέντρου δίχα τέμνῃ, καὶ πρὸς ὀρθὰς αὐτὴν τέμνϵι: καὶ ἐὰν πρὸς ὀρθὰς αὐτὴν τέμνῃ, καὶ δίχα αὐτὴν τέμνϵι.

English translation

If in a circle a straight line through the centre bisects a straight line not through the centre, it also cuts it at right angles; and if it cuts it at right angles, it also bisects it.


Computable version


Additional instances


Dependency graphs