Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 8c

Theorem

If P is any point outside of a circle, 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 outside the circle.
2. Connect PO  and extend it so that PO  intersects the circle at two points, the one nearer to P is D and the farther is A.
3. Let F and I be two points on the circumference with PF  = PI . (Book 3 Proposition 8b showed that this is possible.)
4. Find a point K such that PF  = PI  = PK , while K is a point distinct from F and I.
5. Then K 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 7c is similar except P is inside of the circle.

Original statement

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

English translation

If a point is taken outside a circle and from the point straight lines are drawn through to the circle, one of which is through the centre and the others are drawn at random, then, of the straight lines which fall on the concave circumference, that through the centre is greatest, while of the rest the nearer to that through the centre is always greater than the more remote, but, of the straight lines falling on the convex circumference, that between the point and the diameter is least, while of the rest the nearer to the least is always less than the more remote, and only two equal straight lines will fall on the circle from the point, one on each side of the least.


Computable version


Additional instances


Dependency graphs