Conica
Apollonius of Perga
Apollonii Pergaei Quae Graece Exstant, Volume 2. Heiberg, J. L., editor. Leipzig: Teubner, 1893.
Τῶν αὐτῶν ὄντων τὸ Δ σημεῖον ἔστω ἐν τῇ ἐφεξῆς γωνίᾳ τῆς ὑπὸ τῶν ἀσυμπτώτων περιεχομένης. λέγω, ὅτι καὶ οὕτως τὰ αὐτὰ συμβήσεται. ἤχθω γὰρ ἐφαπτομένη ἡ ΔΘ, καὶ ἐπι- ζευχθεῖσα ἡ Θ Β πιπτέτω, εἰ δυνατόν, μὴ διὰ τοῦ Ζ, ἀλλὰ διὰ τοῦ Η. ἴση ἄρα ἐστὶν ἡ ΔΕ τῇ ΕΗ· ὅπερ ἄτοπον· ὑπόκειται γὰρ ἡ ΔΕ τῇ ΕΖ ἴση.
Τῶν αὐτῶν ὄντων ἔστω τὸ Δ σημεῖον ἐπὶ μιᾶς τῶν ἀσυμπτώτων, καὶ τὰ λοιπὰ γινέσθω τὰ αὐτά. λέγω, ὅτι ἡ ἀπὸ τῆς ἁφῆς ἐπ’ ἄκραν τὴν ἀποληφθεῖσαν ἀγομένη παράλληλος ἔσται τῇ ἀσυμπτώτῳ, ἐφ’ ἧς ἔσται τὸ Δ σημεῖον.
ἔστω γὰρ τὰ εἰρημένα, καὶ κείσθω τῇ ΔΕ ἴση ἡ ΕΖ, καὶ ἀπὸ τοῦ Β παράλληλος τῇ ΜΝ ἤχθω, εἰ δυνατόν, ἡ ΒΗ. ἴση ἄρα ἡ ΔΕ τῇ ΕΗ· ὅπερ ἄτοπον· ὑπόκειται γὰρ ἡ ΔΕ τῇ ΕΖ ἴση.
Ἐὰν ἀπὸ τοῦ αὐτοῦ σημείου δύο εὐθεῖαι ἀχθῶσι τέμνουσαι κώνου τομὴν ἢ κύκλου περιφέρειαν ἑκατέρα κατὰ δύο σημεῖα, καὶ ὡς ἔχουσιν αἱ ὅλαι πρὸς τὰς
ἐκτὸς ἀπολαμβανομένας, οὕτως αἱ ἐντὸς ἀπολαμβανόμεναι διαιρεθῶσιν, ὥστε τὰς ὁμολόγους πρὸς τῷ αὐτῷ σημείῳ εἶναι, ἡ διὰ τῶν διαιρέσεων ἀγομένη εὐθεῖα συμπεσεῖται τῇ τομῇ κατὰ δύο σημεῖα, καὶ αἱ ἀπὸ τῶν συμπτώσεων ἐπὶ τὸ ἐκτὸς σημεῖον ἀγόμεναι ἐφάψονται τῆς γραμμῆς.ἔστω γὰρ τῶν προειρημένων γραμμῶν τις ἡ ΑΒ, καὶ ἀπό τινος σημείου τοῦ Δ διήχθωσαν αἱ ΔΕ, ΔZ τέμνουσαι τὴν γραμμὴν ἡ μὲν κατὰ τὰ Θ, Ε, ἡ δὲ κατὰ τὰ Ζ, Η, καὶ ὃν μὲν ἔχει λόγον ἡ ΔΕ πρὸς ΘΔ, τοῦτον ἐχέτω ἡ ΕΛ πρὸς ΛΘ, ὃν δὲ ἡ ΔZ πρὸς ΔΗ, ἡ ΖΚ πρὸς ΚΗ. λέγω, ὅτι ἡ ἀπὸ τοῦ Λ ἐπὶ τὸ Κ ἐπιζευγνυμένη συμπεσεῖται ἐφ’ ἑκάτερα τῇ τομῇ, καὶ αἱ ἀπὸ τῶν συμπτώσεων ἐπὶ τὸ Δ ἐπιζευγνύμεναι ἐφάψονται τῆς τομῆς.
ἐπεὶ γὰρ αἱ ΕΔ, ΖΔ ἑκατέρα κατὰ δύο σημεῖα τέμνει την τομήν, δυνατόν ἐστιν ἀπὸ τοῦ Δ διάμετρον ἀγαγεῖν τῆς τομῆς· ὥστε καὶ ἐφαπτομένας ἐφ’ ἑκάτερα. ἤχθωσαν ἐφαπτόμεναι αἱ ΔΒ, ΔΑ, καὶ ἐπιζευχθεῖσα ἡ ΒΑ, εἰ δυνατόν, μὴ ἐρχέσθω διὰ τῶν Λ, Κ, ἀλλ’ ἤτοι διὰ τοῦ ἑτέρου αὐτῶν ἢ δι’ οὐδετέρου.
ἐρχέσθω πρότερον διὰ μόνου τοῦ Λ καὶ τεμνέτω τὴν ΖΗ κατὰ τὸ Μ. ἔστιν ἄρα, ὡς ἡ ΖΔ πρὸς ΔΗ, ἡ ΖΜ πρὸς ΜΗ· ὅπερ ἄτοπον· ὑπόκειται γάρ, ὡς ἡ ΖΔ πρὸς ΔΗ, ἡ ΖΚ πρὸς ΚΗ.
ἐὰν δὲ ἡ ΒΑ μηδὲ δι’ ἑτέρου τῶν Λ, Κ πορεύηται, ἐφ’ ἑκατέρας τῶν ΔΕ, ΔΖ συμβήσεται τὸ ἄτοπον.
Ταῦτα μὲν κοινῶς, ἐπὶ δὲ τῆς ὑπερβολῆς μόνης· ἐὰν τὰ μὲν ἄλλα τὰ αὐτὰ ὑπάρχῃ, αἱ δὲ τῆς μιᾶς εὐθείας συμπτώσεις περιέχωσι τὰς τῆς ἑτέρας συμπτώσεις, καὶ τὸ Δ σημεῖον ἐντὸς ᾗ τῆς ὑπὸ τῶν ἀσυμπτώτων περιεχομένης γωνίας, τὰ αὐτὰ συμβήσεται τοῖς προειρημένοις, ὡς προείρηται ἐν τῷ β̅ θεωρήματι.
Τῶν αὐτῶν ὄντων ἐὰν αἱ τῆς μιᾶς συμπτώσεις μὴ περιέχωσι τὰς τῆς ἑτέρας συμπτώσεις, τὸ μὲν Δ σημεῖον ἐντὸς ἔσται τῆς ὑπὸ τῶν ἀσυμπτώτων περιεχομένης γωνίας, καὶ ἡ καταγραφὴ καὶ ἡ ἀπόδειξις ἡ αὐτὴ τῷ θ̅.
Τῶν αὐτῶν ὄντων ἐὰν περιέχωσιν αἱ τῆς μιᾶς εὐθείας συμπτώσεις τὰς τῆς ἑτέρας, καὶ τὸ ληφθὲν σημεῖον ἐν τῇ ἐφεξῆς γωνίᾳ τῆς ὑπὸ τῶν ἀσυμπτώτων περιεχομένης ᾖ, ἡ διὰ τῶν διαιρέσεων ἀγομένη εὐθεῖα ἐκβαλλομένη τῇ ἀντικειμένῃ τομῇ συμπεσεῖται, καὶ αἱ ἀπὸ τῶν συμπτώσεων ἐπὶ τὸ Δ σημεῖον ἀγόμεναι εὐθεῖαι ἐφάψονται τῶν ἀντικειμένων.
ἔστω ὑπερβολὴ ἡ ΕΗ, ἀσύμπτωτοι δὲ αἱ ΝΞ, Ο Π, καὶ κέντρον τὸ Ρ, καὶ τὸ Δ σημεῖον ἔστω ἐν τῇ ὑπὸ ΞΡΠ γωνίᾳ, καὶ ἤχθωσαν αἱ ΔΕ, ΔΖ τέμνουσαι τὴν ὑπερβολὴν ἑκατέρα κατὰ δύο σημεῖα, καὶ περιεχέσθω τὰ E, Θ ὑπὸ τῶν Z, H, καὶ ἔστω, ὡς μὲν ἡ EΔ πρὸς ΔΘ, ἡ ΕΚ πρὸς ΚΘ, ὡς δὲ ἡ ΖΔ πρὸς ΔΗ, ἡ ΖΛ
πρὸς ΛH. δεικτέον, ὅτι ἡ διὰ τῶν K, Λ συμπεσεῖταί τε τῇ EZ τομῇ καὶ τῇ ἀντικειμένῃ, καὶ αἱ ἀπὸ τῶν συμπτώσεων ἐπὶ τὸ Δ ἐφάψονται τῶν τομῶν.ἔστω δὴ ἀντικειμένη ἡ Μ, καὶ ἀπὸ τοῦ Δ ἤχθωσαν ἐφαπτόμεναι τῶν τομῶν αἱ Δ Μ, ΔΣ, καὶ ἐπιζευχθεῖσα ἡ ΜΣ, εἰ δυνατόν, μὴ ἐρχέσθω διὰ τῶν Κ, Λ, ἀλλ’ ἤτοι διὰ τοῦ ἑτέρου αὐτῶν ἢ δι’ οὐδετέρου.
ἐρχέσθω πρότερον διὰ τοῦ Κ καὶ τεμνέτω τὴν ΖΗ κατὰ τὸ Χ. ἔστιν ἄρα, ὡς ἡ ΖΔ πρὸς ΔΗ, ἡ ΧΖ πρὸς ΧΗ· ὅπερ ἄτοπον· ὑπόκειται γάρ, ὡς ἡ ΖΔ πρὸς ΔΗ, ἡ ΖΛ πρὸς ΛΗ. ἐὰν δὲ μηδὲ δι’ ἑτέρου τῶν Κ, Λ ἔρχηται ἡ ΜΣ, ἐφ’ ἑκατέρας τῶν ΕΔ, ΔΖ τὸ ἀδύνατον συμβαίνει.