Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 7c

Theorem

If P is any point within a circle other than the center, then more than two equal line segments cannot be drawn from P to the circumference.

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. Let E and F be two points on the circumference with PE  = PF . (Book 3 Proposition 7b showed that this is possible.)
4. Find a point G such that PG  = PE  = PF , where G is a point distinct from E and F.
5. Then G cannot lie on the circumference, which means at most two equal line segments can be drawn from P to the circumference.
6. Book 3 Proposition 8c is similar except P is outside of the circle.
7. This proposition is a logical equivalent of Book 3 Proposition 9.

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