Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 7b

Theorem

Let P be any point within a circle other than the center, and let PA , PD , PE , and PF  be lines to the circumference of the circle. If PA  passes through the center of the circle and PE  and PF  make equal angles with PA  on the opposite sides, then PE  = PF .

Commentary

1. Given a circle centered at O, let P be any point inside the circle other than the center.
2. Connect PO  and extend it so that it intersects the circle at a point A. Extend AP  so that it intersects the circle at a point D.
3. Find two points E and F on the circumference, such that PE  and PF  make equal angles on opposite sides of PO  (POE = ∠POF).
4. Then PE  = PF .
5. Book 3 Proposition 7c will show that a third line of equal length cannot be drawn from P to a point lying on the circumference.
6. Book 3 Proposition 8b is similar except P is outside of the circle.

Original statement

ἐὰν κύκλου ἐπὶ τῆς διαμέτρου ληϕθῇ τι σημϵῖον, ὃ μή ἐστι κέντρον τοῦ κύκλου, ἀπὸ δὲ τοῦ σημϵίου πρὸς τὸν κύκλον προσπίπτωσιν ϵὐθϵῖαί τινϵς, μϵγίστη μὲν ἔσται, ἐϕ᾽ ἧς τὸ κέντρον, ἐλαχίστη δὲ ἡ λοιπή, τῶν δὲ ἄλλων ἀϵὶ ἡ ἔγγιον τῆς διὰ τοῦ κέντρου τῆς ἀπώτϵρον μϵίζων ἐστίν, δύο δὲ μόνον ἴσαι ἀπὸ τοῦ σημϵίου προσπϵσοῦνται πρὸς τὸν κύκλον ἐϕ᾽ ἑκάτϵρα τῆς ἐλαχίστης.

English translation

If on the diameter of a circle a point is taken which is not the centre of the circle, and from the point straight lines fall upon the circle, that will be greatest on which the centre is, the remainder of the same diameter will be least, and of the rest the nearer to the straight line through the centre is always greater than the more remote, and only two equal straight lines will fall from the point on the circle, one on each side of the least straight line.


Computable version


Additional instances


Dependency graphs