Conica

Ἐὰν κώνου τομῆς ἢ κύκλου περιφερείας ληφθῇ τι σημεῖον ἐκτός, καὶ ἀπ’ αὐτοῦ τῇ τομῇ προσπίπτωσι δύο εὐθεῖαι, ὧν ἡ μὲν ἐφάπτεται, ἡ δὲ τέμνει κατὰ δύο σημεῖα, καὶ ὃν ἔχει λόγον ὅλη ἡ τέμνουσα πρὸς τὴν ἐκτὸς ἀπολαμβανομένην μεταξὺ τοῦ τε σημείου καὶ τῆς γραμμῆς, τοῦτον τμηθῇ ἡ ἐντὸς ἀπολαμβανομένη

ἔστω γὰρ κώνου τομὴ ἢ κύκλου περιφέρεια ἡ ΑΒΓ, καὶ εἰλήφθω τι σημεῖον ἐκτὸς τὸ Δ, καὶ ἀπ’ αὐτοῦ ἡ μὲν ΔΒ ἐφαπτέσθω κατὰ τὸ Β ἡ δὲ ΔΕΓ τεμνέτω τὴν τομὴν κατὰ τὰ Ε, Γ, καὶ ὃν ἔχει λόγον ἡ ΓΔ πρὸς ΔΕ, τοῦτον ἐχέτω ἡ ΓΖ πρὸς ΖΕ. λέγω, ὅτι ἡ ἀπὸ τοῦ Β ἐπὶ τὸ Ζ ἀγομένη συμπίπτει τῇ τομῇ, καὶ ἡ ἀπὸ τῆς συμπτώσεως ἐπὶ τὸ Δ ἐφάπτεται τῆς τομῆς.

[ἐπεὶ οὖν ἡ ΔΓ τέμνει τὴν τομὴν κατὰ δύο σημεῖα, οὐκ ἔσται διάμετρος αὐτῆς. δυνατὸν ἄρα ἐστὶ διὰ τοῦ Δ διάμετρον ἀγαγεῖν· ὥστε καὶ ἐφαπτομένην.] ἤχθω γὰρ ἀπὸ τοῦ Δ ἐφαπτομένη τῆς τομῆς ἡ ΔΑ, καὶ ἐπιζευχθεῖσα ἡ ΒΑ τεμνέτω τὴν ΕΓ, εἰ δυνατόν, μὴ κατὰ τὸ Ζ, ἀλλὰ κατὰ τὸ Η. ἐπεὶ οὖν ἐφάπτονται αἱ ΒΔ, ΔΑ, καὶ ἐπὶ τὰς ἁφάς ἐστιν ἡ ΒΑ, καὶ διῆκται ἡ ΓΔ τέμνουσα τὴν μὲν τομὴν κατὰ τὰ Γ, Ε, τὴν δὲ ΑΒ κατὰ τὸ Η, ἔσται ὡς ἡ ΓΔ πρὸς ΔΕ, ἡ ΓΗ πρὸς ΗΕ· ὅπερ ἄτοπον· ὑπόκειται γάρ, ὡς ἡ ΓΔ πρὸς ΔΕ, ἡ ΓΖ πρὸς ΖΕ. οὐκ ἄρα ἡ ΒΑ καθ’ ἕτερον σημεῖον τέμνει τὴν ΓΕ· κατὰ τὸ Ζ ἄρα.

Ταῦτα μὲν κοινῶς ἐπὶ πασῶν τῶν τομῶν δείκνυται, ἐπὶ δὲ τῆς ὑπερβολῆς μόνης· ἐὰν ἡ μὲν ΔΒ ἐφάπτηται, ἡ δὲ ΔΓ τέμνῃ κατὰ δύο σημεῖα τὰ Ε, Γ, τὰ δὲ Ε, Γ περιέχῃ τὴν κατὰ τὸ Β ἁφήν, καὶ τὸ Δ σημεῖον ἐντὸς ᾖ τῆς ὑπὸ τῶν ἀσυμπτώτων περιεχομένης γωνίας, ὁμοίως ἡ ἀπόδειξις γενήσεται· δυνατὸν γὰρ ἀπὸ τοῦ Δ σημείου ἄλλην ἐφαπτομένην ἀγαγεῖν εὐθεῖαν τὴν ΔΑ καὶ τὰ λοιπὰ τῆς ἀποδείξεως ὁμοίως ποιεῖν.

Τῶν αὐτῶν ὄντων τὰ Ε, Γ σημεῖα μὴ περιεχέτωσαν τὴν κατὰ τὸ Β ἁφὴν μεταξὺ αὑτῶν, τὸ δὲ Δ σημεῖον ἐντὸς ἔστω τῆς ὑπὸ τῶν ἀσυμπτώτων περιεχομένης γωνίας. δυνατὸν ἄρα ἀπὸ τοῦ Δ ἑτέραν ἐφαπτομένην ἀγαγεῖν τὴν ΔΑ καὶ τὰ λοιπὰ ὁμοίως ἀποδεικνύειν.