De conoidibus et sphaeroidibus (6-7)

Τὰ περιεχόμενα χωρία ὑπὸ ὀξυγωνίου κώνου τομᾶς τὸν
αὐτὸν ἔχοντι λόγον ποτ ἄλλαλα, ὃν τὰ περιεχόμενα ὑπὸ τᾶν διαμέτρων τᾶν τῶν ὀξυγωνίων κώνων τομᾶν ποτʼ ἄλλαλα.

Ἔστω περιεχόμενα χωρία ὑπὸ ὀξυγωνίου κώνου τομᾶς, ἐν οἷς τὰ Α, Β, ἔστω δὲ καὶ τὸ μὲν Γ περιεχόμενον ὑπὸ τᾶν
διαμέτρων τᾶς τοῦ ὀξυγωνίου κώνου τομᾶς τᾶς περιεχούσας τὸ Α χωρίον, τὸ δὲ ΕΖ περιεχόμενον ὑπὸ τᾶν διαμέτρων
τᾶς ἑτέρας τομᾶς· δεικτέον ὅτι τὸ Α χωρίον ποτὶ τὸ Β τὸν αὐτὸν ἔχει λόγον, ὃν τὸ Γ ποτὶ τὸ ΕΖ.

Λελάφθω δὴ κύκλος τις, ἐν ᾧ τὸ Ψ, ἀπὸ δὲ τᾶς διαμέτρου αὐτοῦ τετράγωνον ἔστω τὸ ΚΛ. Ἔχει δὴ τὸ μὲν Α χωρίον ποτὶ τὸν Ψ κύκλον τὸν αὐτὸν λόγον, ὃν τὸ Γ ποτὶ τὸ ΚΛ, ὁ δὲ Ψ κύκλος ποτὶ τὸ Β χωρίον τὸν αὐτὸν λόγον, ὃν τὸ ΚΛ
ποτὶ τὸ ΕΖ δῆλον οὖν ὅτι τὸ Α χωρίον ποτὶ τὸ Β τὸν αὐτὸν ἔχει λόγον, ὃν τὸ Γ ποτὶ τὸ ΕΖ.

ΠΟΡΙΣΜΑ.

Ἐκ τούτου δὲ φανερὸν ὅτι τὰ περιεχόμενα χωρία ὑπὸ ὁμοιᾶν ὀξυγωνίου κώνου τομᾶν τὸν αὐτὸν λόγον ἔχοντι
ποτʼ ἄλλαλα, ὃν ἔχοντι δυνάμει ποτʼ ἀλλάλας αἱ ὁμόλογοι διάμετροι τᾶν τομᾶν.

Ὀξυγωνίου κώνου τομᾶς δοθείσας καὶ γραμμᾶς ἀπὸ τοῦ κέντρου τᾶς τοῦ ὀξυγωνίου κώνου τομᾶς ἀνεστακούσας
ὀρθᾶς ποτὶ τὸ ἐπίπεδον, ἐν ᾧ ἐστιν ἁ τοῦ ὀξυγωνίου κώνου τομά, δυνατόν ἐστι κῶνον εὑρεῖν κορυφὰν ἔχοντα τὸ πέρας τᾶς ἀνεστακούσας εὐθείας, οὗ ἐν τᾷ ἐπιφανείᾳ ἐσσεῖται ἁ δοθεῖσα τοῦ ὀξυγωνίου κώνου τομά.

Δεδόσθω τις ὀξυγωνίου κώνου τομά, καὶ ἀπὸ τοῦ
κέντρου αὐτᾶς εὐθεῖα γραμμὰ ἀνεστάκουσα ὀρθὰ ποτὶ τὸ ἐπίπεδον, ἑν ᾧ ἐστιν ἁ τοῦ ὀξυγωνίου κώνου τομά, διὰ δὲ τᾶς ἀνεστακούσας εὐθείας καὶ τᾶς ἐλάσσονος διαμέτρου ἐπίπεδόν τι ἐκβεβλήσθω, καὶ ἔστω ἐν αὐτῷ ἁ μὲν ἐλάσσων διάμετρος ἁ ΑΒ, τὸ δὲ κέντρον τᾶς τοῦ ὀξυγωνίου κώνου
τομᾶς τὸ , ἁ δὲ ἀπὸ τοῦ κέντρου ἀνεστάκουσα ὀρθὰ ἁ Γ, πέρας δὲ αὐτᾶς τὸ Γ, ἁ δὲ τοῦ ὀξυγωνίου κώνου τομὰ νοείσθω περὶ διάμετρον τὰν ΑΒ γεγραμμένα ἐν ἐπιπέδῳ

ὀρθῷ ποτὶ τὰν Γ· δεῖ δὴ κῶνον εὑρεῖν κορυφὰν ἔχοντα τὸ Γ σαμεῖον, οὗ ἐν τᾷ ἐπιφανείᾳ ἐσσεῖται ἁ τοῦ ὀξυγωνίου κώνου τομά.

Ἀπὸ δὴ τοῦ Γ ἐπὶ τὰ Α, Β εὐθεῖαι ἀχθεῖσαι ἐκβεβλήσθων,
καὶ ἀπὸ τοῦ Α διάχθω ἁ ΑΖ, ὥστε τὸ περιεχόμενον ὑπὸ τᾶν ΑΕ, ΕΖ ποτὶ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΕΓ τοῦτον ἔχειν τὸν λόγον, ὃν ἔχει τὸ τετράγωνον τὸ ἀπὸ τᾶς ἡμισείας τᾶς μείζονος διαμέτρου ποτὶ τὸ ἀπὸ Γ τετράγωνον· δυνατὸν δέ ἐστιν, ἐπεὶ μείζων ἐστὶν ὁ λόγος τοῦ ὃν ἔχει τὸ ὑπὸ τᾶν
Α, Β περιεχόμενον ποτὶ τὸ ἀπὸ τᾶς Γ τετράγωνον· ἀπὸ δὲ τᾶς ΑΖ ἐπίπεδον ἀνεστακέτω ὀρθὸν ποτὶ τὸ ἐπίπεδον, ἐν ᾧ ἐντι αἱ ΑΓ, ΑΖ, ἐν δὲ τῷ ἐπιπέδῳ τούτῳ κύκλος γεγράφθω περὶ διάμετρον τὰν ΑΖ, καὶ ἀπὸ τοῦ κύκλου τούτου κῶνος ἔστω κορυφὰν ἔχων τὸ Γ σαμεῖον· ἐν δὴ τᾷ ἐπιφανείᾳ τοῦ
κώνου τούτου δειχθήσεται ἐοῦσα ἁ τοῦ ὀξυγωνίου κώνου τομά.

Εἰ γὰρ μή ἐστιν ἐν τᾷ ἐπιφανείᾳ τοῦ κώνου, ἀναγκαῖον εἶμέν τι σαμεῖον ἐπὶ τᾶς τοῦ ὀξυγωνίου κώνου τομᾶς, ὃ μή ἐστιν ἐν τᾷ ἐπιφανείᾳ τοῦ κώνου. Νοείσθω δή τι σαμεῖον

λελαμμένον ἐπὶ τᾶς τοῦ ὀξυγωνίου κώνου τομᾶς τὸ Θ, ὃ οὐκ ἔστιν ἐν τᾷ ἐπιφανείᾳ τοῦ κώνου, καὶ ἀπὸ τοῦ Θ κάθετος ἄχθω ἁ ΘΚ ἐπὶ τὰν ΑΒ ἐσσεῖται δὴ αὕτα ὀρθὰ ποτὶ τὸ ἐπίπεδον τὸ ἐν ᾧ ἐντι αἱ ΑΓ, ΓΖ ἀπὸ δὲ τοῦ Γ ἐπὶ τὸ Κ
εὐθεῖα ἀχθεῖσα ἐκβεβλήσθω συμπιπτέτω δὴ οὕτα τᾷ ΑΖ κατὰ τὸ Λ, καὶ ἀπὸ τοῦ Λ ἄχθω ποτʼ ὀρθὰς τᾷ ΖΑ ἁ ΛΜ ἐν τῷ κύκλῳ τῷ περὶ τὰν ΑΖ, τὸ δὲ Μ νοείσθω μετέωρον ἐπὶ τᾶς περιφερείας αὐτοῦ, ἄχθω δὲ καὶ παρὰ τὰν ΑΒ διὰ μὲν τοῦ Λ ἁ ΞΟ, διὰ δὲ τοῦ Ε ἁ ΠΡ. Ἐπεὶ οὖν τὸ μὲν ὑπὸ τᾶν
ΕΑ, ΕΖ περιεχόμενον ποτὶ τὸ ἀπὸ τᾶς ΕΓ τετράγωνον τὸν αὐτὸν ἔχει λόγον, ὃν τὸ ἀπὸ τᾶς ἡμισείας τᾶς μείζονος διαμέτρου ποτὶ τὸ ἀπὸ τᾶς Γ, τὸ δὲ ἀπὸ τᾶς ΕΓ ποτὶ τὸ ὑπὸ τᾶν ΕΠ, ΕΡ, ὃν τὸ ἀπὸ τᾶς Γ ποτὶ τὸ ὑπὸ τᾶν Α, Β, τὸν αὐτὸν ἔχει λόγον τὸ ὑπὸ τᾶν ΑΕ, ΕΖ ποτὶ τὸ ὑπὸ τᾶν ΕΠ,
ΕΡ, ὃν τὸ τετράγωνον τὸ ἀπὸ τᾶς ἡμισείας τᾶς μείζονος διαμέτρου ποτὶ τὸ ὑπὸ τᾶν Α, Β. Ἔστιν δέ, ὡς μὲν τὸ ὑπὸ τᾶν ΑΕ, ΕΖ ποτὶ τὸ ὑπὸ τᾶν ΕΠ, ΕΡ, οὕτω τὸ ὑπὸ τᾶν ΑΛ, ΛΖ ποτὶ τὸ ὑπὸ τᾶν ΛΞ, ΛΟ, ὡς δὲ τὸ ἀπὸ τᾶς ἡμισείας τᾶς μείζονος διαμέτρου ποτὶ τὸ ὑπὸ τᾶν Α, Β, οὕτως τὸ ἀπὸ
τᾶς ΘΚ τετράγωνον ποτὶ τὸ ὑπὸ τᾶν ΑΚ, ΚΒ τὸν αὐτὸν ἄρα ἔχει λόγον τὸ ὑπὸ τᾶν ΑΛ, ΛΖ ποτὶ τὸ ὑπὸ τᾶν ΞΛ, ΛΟ, ὃν τὸ ἀπὸ τᾶς ΘΚ τετράγωνον ποτὶ τὸ ὑπὸ τᾶν ΑΚ, ΚΒ. Ἔχει δὲ καὶ τὸ ὑπὸ τᾶν ΞΛ, ΛΟ ποτὶ τὸ ἀπὸ τᾶς ΓΛ τετράγωνον τὸν αὐτὸν λόγον, ὃν τὸ ὑπὸ ΑΚ, ΚΒ ποτὶ τὸ
ἀπὸ τᾶς ΚΓ τετράγωνον ἔχει ἄρα καὶ τὸ ὑπὸ τᾶν ΑΛ, ΛΖ περιεχόμενον ποτὶ τὸ ἀπὸ τᾶς ΓΛ τετράγωνον τὸν αὐτὸν λόγον, ὃν τὸ ἀπὸ τᾶς ΘΚ ποτὶ τὸ ἀπὸ τᾶς ΚΓ. Τῷ δὲ ὑπὸ τᾶν ΑΛ, ΛΖ περιεχομένῳ ἴσον ἐστὶ τὸ ἀπὸ τᾶς ΛΜ τετράγωνον· ἐν ἡμικυκλίῳ γὰρ τῷ περὶ τὰν ΑΖ κάθετος ἄχθη ἁ
ΛΜ· τὸν αὐτὸν ἄρα ἔχει λόγον τὸ ἀπὸ τᾶς ΛΜ τετράγωνον ποτὶ τὸ ἀπὸ τᾶς ΛΓ, ὃν τὸ ἀπὸ τᾶς ΘΚ ποτὶ τὸ ἀπὸ τᾶς ΚΓ· ὥστε ἐπʼ εὐθείας ἐστὶν τὰ Γ, Θ, Μ σαμεῖα. Ἁ δὲ ΓΜ ἐν τᾷ ἐπιφανείᾳ ἐστὶ τοῦ κώνου· δῆλον οὖν ὅτι καὶ τὸ Θ σαμεῖον ἐν τᾷ ἐπιφανείᾳ ἐσσεῖται τοῦ κώνου. Ὑπέκειτο δὲ μὴ εἶμεν·
οὐκ ἄρα ἐστὶ σαμεῖον οὐδὲν ἐπὶ τᾶς τοῦ ὀξυγωνίου κώνου τομᾶς, ὃ οὐκ ἔστιν ἐν τᾷ ἐπιφανείᾳ τοῦ προειρημένου κώνου. Ὅλα οὖν ἁ τοῦ ὀξυγωνίου κώνου τομὰ ἐν τᾷ ἐπιφανείᾳ ἐστὶν τοῦ αὐτοῦ κώνου.