Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 8b

Theorem

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

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. Find two points F and I on the circumference, such that PF  and PI  make equal angles on opposite sides of PA  (POF = ∠POI).
4. Then PF  = PI .
5. Book 3 Proposition 8c 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 7b 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