De sphaera et cylindro

Archimedes

Archimedes. Archimède, Volume 1. Mugler, Charles, editor. Paris: Les Belles Lettres, 1970.

Ἡ ἐπιφάνεια τοῦ ἐγγεγραμμένου σχήματος εἰς τὸ τμῆμα τῆς σφαίρας ἴση ἐστὶ κύκλῳ, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ περιεχομένῳ ὑπό τε μιᾶς πλευρᾶς τοῦ ἐγγεγραμμένου πολυγώνου ἐν τῷ τμήματι τοῦ μεγίστου κύκλου καὶ τῆς ἴσης πάσαις ταῖς παραλλήλοις τῇ βάσει τοῦ τμήματος σὺν τῇ ἡμισείᾳ τῆς τοῦ τμήματος βάσεως. Ἔστω σφαῖρα καὶ ἐν αὐτῇ τμῆμα, οὗ βάσις ὁ περὶ τὴν ΑΗ κύκλος ἐγγεγράφθω σχῆμα εἰς αὐτό, οἷον εἴρηται, περιεχόμενον ὑπὸ κωνικῶν ἐπιφανειῶν, καὶ μέγιστος κύκλος ὁ ΑΗΘ καὶ ἀρτιόπλευρον πολύγωνον τὸ ΑΓΕΘΖ△Η χωρὶς τῆς ΑΗ πλευρᾶς, καὶ εἰλήφθω κύκλος ὁ Λ, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ περιεχομένῳ ὑπό τε τῆς ΑΓ πλευρᾶς καὶ ὑπὸ πασῶν τῶν ΕΖ, Γ△ καὶ ἔτι τῆς ἡμισείας τῆς βάσεως, τουτέστι τῆς ΑΚ· δεικτέον ὅτι ὁ κύκλος ἴσος ἐστὶ τῇ τοῦ σχήματος ἐπιφανείᾳ.

83

Εἰλήφθω γὰρ κύκλος ὁ Μ, οὗ ἡ ἐκ τοῦ κέντρου δύναται τὸ περιεχόμενον ὑπό τε τῆς ΕΘ πλευρᾶς καὶ τῆς ἡμισείας τῆς ΕΖ· γίνεται δὴ ὁ Μ κύκλος ἴσος τῇ ἐπιφανείᾳ τοῦ κώνου, οὗ βάσις μὲν ὁ περὶ τὴν ΕΖ κύκλος, κορυφὴ δὲ τὸ Θ σημεῖον. Εἰλήφθω δὲ καὶ ἄλλος ὁ Ν, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ περιεχομένῳ ὑπό τε τῆς ΕΓ καὶ τῆς ἡμισείας συναμφοτέρου τῆς ΕΖ, Γ△· ἔσται οὖν οὗτος ἴσος τῇ ἐπιφανείᾳ τοῦ κώνου τῇ μεταξὺ τῶν παραλλήλων ἐπιπέδων τῶν κατὰ τὰς ΕΖ, Γ△. Καὶ ἄλλος ὁμοίως ὁ Ξ εἰλήφθω κύκλος, οὗ ἡ ἐκ τοῦ κέντρου δύναται τὸ περιεχόμενον ὑπό τε τῆς ΑΓ καὶ τῆς ἡμισείας συναμφοτέρων τῶν Γ△, ΑΗ· καὶ αὐτὸς οὖν ἴσος ἐστὶ τῇ κωνικῇ ἐπιφανείᾳ τῇ μεταξὺ τῶν παραλλήλων ἐπιπέδων τῶν κατὰ τὰς ΑΗ, Γ△. Πάντες οὖν οἱ κύκλοι ἴσοι ἔσονται τῇ ὅλῃ τοῦ σχήματος ἐπιφανείᾳ, καὶ αἱ ἐκ τῶν κέντρων αὐτῶν ἴσον δυνήσονται τῷ περιεχομένῳ ὑπὸ μιᾶς πλευρᾶς τῆς ΑΓ καὶ τῆς ἴσης ταῖς ΕΖ, Γ△ καὶ τῇ ἡμισείᾳ τῆς βάσεως τῇ ΑΚ. Ἐδύνατο δὲ καὶ ἡ ἐκ τοῦ κέντρου τοῦ Λ κύκλου ἴσον τῷ αὐτῷ χωρίῳ· ὁ ἄρα Λ κύκλος ἴσος ἔσται τοῖς Μ, Ν, Ξ κύκλοις· ὥστε καὶ τῇ ἐπιφανείᾳ τοῦ ἐγγεγραμμένου σχήματος.

Τετμήσθω σφαῖρα μὴ διὰ τοῦ κέντρου ἐπιπέδῳ, καὶ ἐν αὐτῇ μέγιστος κύκλος ὁ ΑΕΖ τέμνων πρὸς ὀρθὰς τὸ ἐπίπεδον τὸ τέμνον, καὶ ἐγγεγράφθω εἰς τὸ ΑΒΓ τμῆμα πολύγωνον ἰσόπλευρόν τε καὶ ἀρτιόγωνον χωρὶς τῆς βάσεως τῆς ΑΒ. Ὁμοίως δὴ τοῖς πρότερον, ἐὰν μενούσης τῆς ΓΖ περιενεχθῇ τὸ σχῆμα, αἱ μὲν △, Ε, Α, Β γωνίαι κατὰ κύκλων οἰσθήσονται, ὧν διάμετροι αἱ △Ε, ΑΒ, αἱ δὲ

84
πλευραὶ τοῦ τμήματος κατὰ κωνικῆς ἐπιφανείας, καὶ ἔσται τὸ γενηθὲν σχῆμα στερεὸν ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενον βάσιν μὲν ἔχον κύκλον, οὗ διάμετρος ἡ ΑΒ, κορυφὴν δὲ τὸ Γ. Ὁμοίως δὴ τοῖς πρότερον τὴν ἐπιφάνειαν ἐλάσσονα ἕξει τῆς τοῦ τμήματος ἐπιφανείας τοῦ περιλαμβάνοντος· τὸ γὰρ αὐτὸ πέρας αὐτῶν ἐστιν ἐν ἐπιπέδῳ τοῦ τε τμήματος καὶ τοῦ σχήματος ἡ περιφέρεια τοῦ κύκλου, οὗ διάμετρος ἡ ΑΒ, καὶ ἐπὶ τὰ αὐτὰ κοῖλαι ἀμφότεραί εἰσιν αἱ ἐπιφάνειαι, καὶ περιλαμβάνεται ἡ ἑτέρα ὑπὸ τῆς ἑτέρας.

Ἡ ἐπιφάνεια τοῦ ἐγγεγραμμένου σχήματος ἐν τῷ τμήματι τῆς σφαίρας ἐλάσσων ἐστὶ τοῦ κύκλου, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος ἐπὶ τὴν περιφέρειαν ἠγμένῃ τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος.

Ἔστω σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος ὁ ΑΒΕΖ, καὶ ἔστω τμῆμα ἐν τῇ σφαίρᾳ, οὗ βάσις ὁ περὶ διάμετρον τὴν ΑΒ καὶ ἐγγεγράφθω εἰς αὐτὸ τὸ εἰρημένον σχῆμα, καὶ ἐν τῷ τμήματι τοῦ κύκλου πολύγωνον, καὶ τὰ λοιπὰ τὰ αὐτὰ

85
διαμέτρου μὲν τῆς σφαίρας οὔσης τῆς ΘΛ, ἐπεζευγμένων δὲ τῶν ΛΕ, ΘΑ, καὶ ἔστω κύκλος ὁ Μ, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἔστω τῇ ΑΘ· δεικτέον ὅτι ὁ Μ κύκλος μείζων ἐστὶ τῆς τοῦ σχήματος ἐπιφανείας.

Ἡ γὰρ ἐπιφάνεια τοῦ σχήματος δέδεικται ἴση οὖσα κύκλῳ, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ περιεχομένῳ ὑπό τε τῆς ΕΘ καὶ τῶν ΕΖ, Γ△, ΚΑ· τὸ δὲ ὑπὸ τῆς ΕΘ καὶ τῶν ΕΖ, Γ△, ΚΑ δέδεικται ἴσον· τῷ ὑπὸ τῶν ΕΛ, ΚΘ περιεχομένῳ· τὸ δὲ ὑπὸ τῶν ΕΛ, ΚΘ ἔλασσόν ἐστι τοῦ ἀπὸ τῆς ΑΘ καὶ γὰρ τοῦ ΛΘ, ΚΘ· φανερὸν οὖν ὅτι ἡ ἐκ τοῦ κέντρου τοῦ κύκλου, ὅς ἐστιν ἴσος τῇ ἐπιφανείᾳ τοῦ σχήματος, ἐλάσσων ἐστὶ τῆς ἐκ τοῦ κέντρου τοῦ Μ· δῆλον ἄρα ὅτι ὁ Μ κύκλος μείζων ἐστὶ τῆς ἐπιφανείας τοῦ σχήματος.

Τὸ ἐγγεγραμμένον σχῆμα ἐν τῷ τμήματι ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενον σὺν τῷ κώνῳ τῷ βάσιν μὲν τὴν αὐτὴν ἔχοντι τῷ σχήματι, κορυφὴν δὲ τὸ κέντρον τῆς

86
σφαίρας, ἴσον ἐστὶ τῷ κώνῳ τῷ βάσιν ἔχοντι ἴσην τῇ ἐπιφανείᾳ τοῦ σχήματος, ὕψος δὲ τῇ ἀπὸ τοῦ κέντρου τῆς σφαίρας ἐπὶ μίαν πλευρὰν τῶν τοῦ πολυγώνου καθέτῳ ἠγμένῃ.

Ἔστω γὰρ σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος καὶ τμῆμα ἔλασσον ἡμικυκλίου τὸ ΑΒΓ καὶ κέντρον τὸ Ε, καὶ ἐγγεγράφθω εἰς τὸ ΑΒΓ τμῆμα πολύγωνον ἀρτιόπλευρον χωρὶς τῆς ΑΓ ὁμοίως τοῖς πρότερον, καὶ μενούσης τῆς ΒΛ περιενεχθεῖσα ἡ σφαῖρα ποιείτω σχῆμά τι ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενον, καὶ ἀπὸ τοῦ κύκλου τοῦ περὶ διάμετρον τὴν ΑΓ κῶνος ἀναγεγράφθω κορυφὴν ἔχων τὸ κέντρον, καὶ εἰλήφθω κῶνος ὁ Κ βάσιν μὲν ἔχων ἴσην τῇ ἐπιφανείᾳ τοῦ σχήματος, ὕψος δὲ τῇ ἀπὸ τοῦ Ε κέντρου ἐπὶ μίαν πλευρὰν τοῦ πολυγώνου καθέτῳ ἠγμένῃ· δεικτέον ὅτι ὁ Κ κῶνος ἴσος ἐστὶ τῷ περιεχομένῳ σχήματι σὺν τῷ κώνῳ τῷ ΑΕΓ.

Ἀναγεγράφθωσαν δὴ καὶ κῶνοι ἀπὸ τῶν κύκλων τῶν περὶ διαμέτρους τὰς ΘΗ, △Ζ κορυφὴν ἔχοντες τὸ Ε σημεῖον· οὐκοῦν ὁ μὲν ΗΒΘΕ ὁόμβος στερεὸς ἴσος ἐστὶ κώνῳ, οὗ ἡ μὲν βάσις ἴση ἐστὶ τῇ ἐπιφανείᾳ τοῦ

87
ΗΒΘ κὼνου, τὸ ὕψος δὲ τῇ ἀπὸ τοῦ Ε ἐπὶ τὴν ΗΒ ἀγομένῃ καθέτῳ, τὸ δὲ περίλειμμα τὸ περιεχόμενον ὑπὸ τῆς ἐπιφανείας τῆς μεταξὺ τῶν παραλλήλων ἐπιπέδων τῶν κατὰ τὰς ΗΘ, Ζ△ καὶ τῶν κωνικῶν τῶν ΖΕ△, ΗΕΘ ἴσον ἐστὶ κώνῳ, οὗ ἡ βάσις μέν ἐστιν ἴση τῇ ἐπιφανείᾳ τῇ μεταξὺ τῶν παραλλήλων ἐπιπέδων τῶν κατὰ τὰς ΗΘ, Ζ△, ὕψος δὲ τῇ ἀπὸ τοῦ Ε ἐπὶ τὴν ΖΗ καθέτῳ ἠγμένῃ, Πάλιν τὸ περίλειμμα τὸ περιεχόμενον ὑπό τε τῆς ἐπιφανείας τῆς μεταξὺ τῶν παραλλήλων ἐπιπέδων τῶν κατὰ τὰς Ζ△, ΑΓ καὶ τῶν κωνικῶν τῶν ΑΕΓ, ΖΕ△ ἴσον ἐστὶ κώνῳ, οὗ ἡ μὲν βάσις ἴση ἐστὶ τῇ ἐπιφανείᾳ τῇ μεταξὺ τῶν παραλλήλων ἐπιπέδων τῶν κατὰ τὰς Ζ△, ΑΓ, ὕψος δὲ τῇ ἀπὸ τοῦ Ε ἐπὶ τὴν ΖΑ καθέτῳ ἠγμένῃ· οἱ οὖν εἰρημένοι κῶνοι ἴσοι ἔσονται τῷ σχήματι μετὰ τοῦ ΑΕΓ κώνου. Καὶ ὕψος μὲν ἴσον ἔχουσιν τῇ ἀπὸ τοῦ Ε ἐπὶ μίαν πλευρὰν τοῦ πολυγώνου καθέτῳ ἠγμένῃ, τὰς δὲ βάσεις ἴσας τῇ ἐπιφανείᾳ του ΑΖΗΒΘ△Γ σχήματος· ἔχει δὲ καὶ ὁ Κ κῶνος τὸ αὐτὸ ὕψος καὶ βάσιν ἴσην τῇ ἐπιφανείᾳ τοῦ σχήματος· ἴσος ἄρα ἐστὶν ὁ κῶνος τοῖς εἰρημένοις κώνοις. Οἱ δὲ εἰρημένοι κῶνοι ἐδείχθησαν ἴσοι τῷ σχήματι καὶ τῷ ΑΕΓ κώνῳ· καὶ ὁ Κ ἄρα κῶνος ἴσος ἐστὶ τῷ τε σχήματι καὶ τῷ ΑΕΓ κώνῳ.

ΠΟΡΙΣΜΑ.

Ἐκ δὴ τούτου φανερὸν ὅτι ὁ κῶνος ὁ βάσιν μὲν ἔχων τὸν κύκλον, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος ἐπὶ τὴν περιφέρειαν ἠγμένῃ τοῦ κύκλου, ὅς

88
ἐστι βάσις τοῦ τμήματος, ὕψος δὲ ἴσον τῇ ἐκ τοῦ κέντρου τῆς σφαίρας, μείζων ἐστὶ τοῦ ἐγγεγραμμένου σχήματος σὺν τῷ κώνῳ· ὁ γὰρ προειρημένος κῶνος μείζων ἐστὶ τοῦ κώνου τοῦ ἴσου τῷ σχήματι σὺν τῷ κώνῳ τῷ βάσιν μὲν ἔχοντι τὴν βάσιν τοῦ τμήματος, τὴν δὲ κορυφὴν πρὸς τῷ κέντρῳ, τουτέστι τοῦ τὴν βάσιν μὲν ἔχοντος ἴσην τῇ ἐπιφανείᾳ τοῦ σχήματος, ὕψος δὲ τῇ ἀπὸ τοῦ κέντρου ἐπὶ μίαν πλευρὰν τοῦ πολυγώνου καθέτῳ ἠγμένῃ· ἥ τε γὰρ βάσις τῆς βάσεως μείζων ἐστὶ δέδεικται γὰρ τοῦτο καὶ τὸ ὕψος τοῦ ὕψους.

Ἔστω σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος ὁ ΑΒΓ, καὶ τετμήσθω ἔλασσον ἡμικυκλίου, ὃ ἀποτέμνει ἡ ΑΒ, καὶ κέντρον τὸ △, καὶ ἀπὸ τοῦ κέντρου τοῦ △ ἐπὶ τὰ Α, Β ἐπεζεύχθωσαν αἱ Α△, △Β, καὶ περὶ τὸν γεννηθέντα τομέα περιγεγράφθω πολύγωνον καὶ περὶ αὐτὸ κύκλος ἕξει δὴ τὸ αὐτὸ κέντρον τῷ ΑΒΓ κύκλῳ. Ἐὰν δὴ μενούσης τῆς ΕΚ περιενεχθὲν τὸ πολύγωνον εἰς τὸ αὐτὸ πάλιν ἀποκατασταθῇ, ὁ περιγεγραμμένος κύκλος κατὰ ἐπιφανείας οἰσθήσεται σφαίρας, καὶ αἱ γωνίαι τοῦ πολυγώνου κύκλους γράψουσιν, ὧν αἱ διάμετροι ἐπιζευγνύουσιν τὰς γωνίας τοῦ πολυγώνου οὖσαι παράλληλοι τῇ ΑΒ, τὰ δὲ σημεῖα, καθʼ ἃ ἅπτονται τοῦ ἐλάσσονος κύκλου αἱ τοῦ πολυγώνου πλευραί, κύκλους γράφουσιν ἐν τῇ ἐλάσσονι σφαίρᾳ, ὧν διάμετροι ἔσονται αἱ ἐπιζευγνύουσαι τὰς ἁφὰς παράλληλοι οὖσαι τῇ ΑΒ, αἱ δὲ πλευραὶ κατὰ κωνικῶν ἐπιφανειῶν οἰσθήσονται, καὶ ἔσται τὸ περιγραφὲν σχῆμα ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενον, οὗ βάσις ὁ περὶ τὴν ΖΗ κύκλος·

89
ἡ δὴ τοῦ εἰρημένου σχήματος ἐπιφάνεια μείζων ἐστὶ τῆς τοῦ ἐλάσσονος τμήματος ἐπιφανείας, οὗ βάσις ὁ περὶ τὴν ΑΒ κύκλος.

Ἤχθωσαν γὰρ ἐφαπτόμεναι αἱ ΑΜ, ΒΝ· κατὰ κωνικῆς ἄρα ἐπιφανείας οἰσθήσονται, καὶ τὸ σχῆμα τὸ γενηθὲν ὑπὸ τοῦ πολυγώνου τοῦ ΑΜΘΕΛΝΒ μείζονα ἕξει τὴν ἐπιφάνειαν τοῦ τμήματος τῆς σφαίρας, οὗ βασις ὁ περὶ διάμετρον τὴν ΑΒ κύκλος πέρας γὰρ ἐν ἑνὶ ἐπιπέδῳ τὸ αὐτὸ ἔχουσιν τὸν περὶ διάμετρον τὴν ΑΒ κύκλον, καὶ περιλαμβάνεται τὸ τμῆμα ὑπὸ τοῦ σχήματος. Ἀλλʼ ἡ γεγενημένη ὑπὸ τῶν ΖΜ, ΗΝ ἐπιφάνεια κώνου μείζων ἐστὶ τῆς γεγενημένης ὑπὸ τῶν ΜΑ, ΝΒ· ἡ μὲν γὰρ ΖΜ τῆς ΜΑ μείζων ἐστὶ ὑπὸ γὰρ ὀρθὴν ὑποτείνει, ἡ δὲ ΝΗ τῆς ΝΒ, ὅταν δὲ τοῦτο ᾖ, μείζων γίνεται ἡ ἐπιφάνεια τῆς ἐπιφανείας ταῦτα γὰρ δέδεικται ἐν τοῖς λήμμασιν. Δῆλον οὖν ὅτι καὶ τοῦ περιγεγραμμένου σχήματος ἡ ἐπιφάνεια μείζων ἐστὶ τῆς τοῦ τμήματος ἐπιφανείας τῆς ἐλάσσονος σφαίρας.

90

ΠΟΡΙΣΜΑ.

Καὶ φανερὸν ὅτι ἡ ἐπιφάνεια τοῦ περιγεγραμμένου σχήματος τοῦ περὶ τὸν τομέα ἴση ἐστὶ κύκλῳ, οὗ ἡ ἐκ τοῦ κέντρου δύναται τὸ περιεχόμενον ὑπό τε μιᾶς πλευρᾶς τοῦ πολυγώνου καὶ τῶν ἐπιζευγνυουσῶν πασῶν τὰς γωνίας τοῦ πολυγώνου καὶ ἔτι τῆς ἡμισείας τῆς βάσεως τοῦ εἰρημένου πολυγώνου τὸ γὰρ ὑπὸ τοῦ πολυγώνου γεγραμμένον σχῆμα ἐγγεγραμμένον ἐστὶν εἰς τὸ τμῆμα τῆς μείζονος σφαίρας, τοῦτο δὲ δῆλον διὰ τὸ προγεγραμμένον.

Τοῦ περιγεγραμμένου σχήματος τῷ τομεῖ ἡ ἐπιφάνεια μείζων ἐστὶ κύκλου, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος ἠγμένῃ ἐπὶ τὴν περιφέρειαν τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος.

91

Ἔστω γὰρ σφαῖρα καὶ μέγιστος κύκλος ἐπʼ αὐτῆς ὁ ΑΒΓ△ καὶ κέντρον τὸ Ε, καὶ περὶ τὸν τομέα περιγεγράφθω τὸ ΛΚΖ πολύγωνον, καὶ περὶ αὐτὸ κύκλος περιγεγράφθω, καὶ γεγενήσθω σχῆμα, καθάπερ πρότερον, καὶ ἔστω κύκλος ὁ Ν, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ περιεχομένῳ ὑπό τε μιᾶς πλευρᾶς τοῦ πολυγώνου καὶ πασῶν τῶν ἐπιζευγνυουσῶν σὺν τῇ ἡμισείᾳ τῆς ΚΛ. Ἀλλὰ τὸ εἰρημένον χωρίον ἴσον ἐστὶ τῷ ὑπὸ τῆς ΜΘ καὶ ΖΗ ὃ δή ἐστιν ὕψος τοῦ τμήματος τῆς μείζονος σφαίρας· τοῦτο γὰρ προδέδεικται. Τοῦ ἄρα Ν κύκλου ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ ὑπὸ ΜΘ, ΗΖ περιεχομένῳ. Ἀλλʼ ἡ μὲν ΗΖ μείζων ἐστὶ τῆς △Ξ ὅ ἐστιν ὕψος τοῦ ἐλάσσονος τμήματος· ἐὰν γὰρ ἐπιζεύξωμεν τὴν ΚΖ, ἔσται παράλληλος τῇ △Α. Ἔστιν δὲ καὶ ἡ ΑΒ τῇ ΚΛ παράλληλος, καὶ κοινὴ ἡ ΖΕ· ὅμοιον ἄρα τὸ ΖΚΗ τρίγωνον τῷ △ΑΞ τριγώνῳ. Καί ἐστιν μείζων ἡ ΖΚ τῆς Α△· μείζων ἄρα καὶ ἡ ΖΗ τῆς △Ξ, ἴση δὲ ἡ ΜΘ τῇ διαμέτρῳ τῇ Γ△ ἐὰν γὰρ ἐπιζευχθῇ ἡ ΕΟ, ἐπεὶ ἴση ἐστὶν ἡ μὲν ΜΟ τῇ ΟΖ, ἡ δ ΘΕ τῇ ΕΖ, παράλληλος ἄρα ἐστὶν ἡ ΕΟ τῇ ΜΘ· διπλασία ἄρα ἐστὶν ἡ ΜΘ τῇ ΕΟ. Ἀλλὰ καὶ ἡ Γ△ διπλασία ἐστὶν τῆς ΕΟ· ἴση ἄρα ἐστὶν ἡ ΜΘ τῇ Γ△, τὸ δὲ ὑπὸ τῶν Γ△, △Ξ ἴσον τῷ ἀπὸ τῆς Α△· ἡ ἄρα τοῦ σχήματος τοῦ ΚΖΛ ἐπιφάνεια μείζων ἐστὶ τοῦ κύκλου, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος ἐπὶ τὴν περιφέρειαν ἠγμένῃ τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος, τοῦ περὶ διάμετρον τὴν ΑΒ· ὁ γὰρ Ν κύκλος ἴσος ἐστὶ τῇ ἐπιφανείᾳ τοῦ περιγεγραμμένου περὶ τὸν τομέα σχήματος.

92

ΠΟΡΙΣΜΑ α΄.

Γίνεται δὴ καὶ τὸ περιγεγραμμένον σχῆμα περὶ τὸν τομέα σὺν τῷ κώνῳ, οὗ βάσις ὁ περὶ διάμετρον τὴν ΚΛ κύκλος, κορυφὴ δὲ τὸ κέντρον, ἴσον κώνῳ, οὗ ἡ μὲν βάσις ἴση ἐστὶ τῇ ἐπιφανείᾳ τοῦ σχήματος, ὕψος δὲ τῇ ἀπὸ τοῦ κέντρου ἐπὶ τὴν πλευρὰν καθέτῳ ἠγμένῃ ἣ δὴ ἴση ἐστὶ τῇ ἐκ τοῦ κέντρου τῆς σφαίρας· τὸ γὰρ περιγεγραμμένον σχῆμα τῷ τομεῖ ἐγγεγραμμένον ἐστὶν εἰς τὸ τμῆμα τῆς μείζονος σφαίρας, ἧς κέντρον ἐστὶ τὸ αὐτό· δῆλον οὖν τὸ λεγόμενόν ἐστιν ἐκ τοῦ προγεγραμμένου.

ΠΟΡΙΣΜΑ β΄.

Ἐκ τούτου δὲ φανερὸν ὅτι τὸ περιγεγραμμένον σχῆμα σὺν τῷ κώνῳ μεῖζόν ἐστι κώνου τοῦ βάσιν μὲν ἔχοντος τὸν κύκλον, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος τῆς ἐλάσσονος σφαίρας ἐπὶ τὴν περιφέρειαν ἠγμένῃ τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος, ὕψος δὲ τῇ ἐκ τοῦ κέντρου· ὁ γὰρ ἴσος κῶνος τῷ σχήματι σὺν τῷ κώνῳ τὴν μὲν βάσιν μείζονα ἕξει τοῦ εἰρημένου κύκλου, τὸ δὲ ὕψος ἴσον τῇ ἐκ τοῦ κέντρου τῆς ἐλάσσονος σφαίρας.

Ἔστω πάλιν σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος καὶ τμῆμα ἔλασσον ἡμικυκλίου τὸ ΑΒΓ καὶ κέντρον τὸ △, καὶ εἰς τὸν ΑΒΓ τομέα ἐγγεγράφθω πολύγωνον ἀρτιόγωνον, καὶ τούτῳ ὅμοιον περιγεγράφθω, καὶ παράλληλοι ἔστωσαν αἱ πλευραὶ ταῖς πλευραῖς, καὶ κύκλος περιγεγράφθω περὶ

93
τὸ περιγεγραμμένον πολύγωνον, καὶ ὁμοίως τοῖς πρότερον μενούσης τῆς ΗΒ περιενεχθέντες οἱ κύκλοι ποιείτωσαν σχήματα ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενα· δεικτέον ὅτι ἡ τοῦ περιγεγραμμένου σχήματος ἐπιφάνεια πρὸς τὴν τοῦ ἐγγεγραμμένου σχήματος ἐπιφάνειαν διπλασίονα λόγον ἔχει ἢ ἡ πλευρὰ ἡ τοῦ περιγεγραμμένου πολυγώνου πρὸς τὴν πλευρὰν τοῦ ἐγγεγραμμένου πολυγώνου, τὸ δὲ σχῆμα σὺν τῷ κώνῳ τριπλασίονα λόγον ἔχει τοῦ αὐτοῦ.

Ἔστω γὰρ ὁ Μ κύκλος, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ ὑπό τε μιᾶς πλευρᾶς τοῦ περιγεγραμμένου πολυγώνου καὶ πασῶν τῶν ἐπιζευγνυουσῶν τὰς γωνίας καὶ ἔτι τῆς ἡμισείας τῆς ΕΖ· ἔσται δὴ ὁ Μ κύκλος ἴσος τῇ ἐπιφανείᾳ

94
τοῦ περιγεγραμμένου σχήματος. Εἰλήφθω δὴ καὶ ὁ Ν κύκλος, οὗ ἡ ἐκ τοῦ κέντρου ἴσον δύναται τῷ περιεχομένῳ ὑπό τε μιᾶς πλευρᾶς τοῦ ἐγγεγραμμένου πολυγώνου καὶ πασῶν τῶν ἐπιζευγνυουσῶν τὰς γωνίας σὺν τῇ ἡμισείᾳ τῆς ΑΓ· ἔσται δὴ καὶ οὗτος ἴσος τῇ ἐπιφανείᾳ τοῦ ἐγγεγραμμένου σχήματος. Ἀλλὰ τὰ εἰρημένα χωρία ἐστὶ πρὸς ἄλληλα ὡς τὸ ἀπὸ τῆς ΕΚ πλευρᾶς πρὸς τὸ ἀπὸ τῆς ΑΛ πλευρᾶς καὶ ὡς ἄρα τὸ πολύγωνον πρὸς τὸ πολύγωνον, ὁ Μ κύκλος πρὸς τὸν Ν κύκλον· φανερὸν οὖν ὅτι καὶ ἡ ἐπιφάνεια τοῦ περιγεγραμμένου σχήματος πρὸς τὴν ἐπιφάνειαν τοῦ ἐγγεγραμμένου σχήματος διπλασίονα λόγον ἔχει ἤπερ ἡ ΕΚ πρὸς ΑΛ τὸν δὲ αὐτόν, ὃν καὶ τὸ πολύγωνον. Ἔστω πάλιν κῶνος ὁ Ξ βάσιν μὲν ἔχων τῷ Μ ἴσην, ὕψος δὲ τὴν ἐκ τοῦ κέντρου τῆς ἐλάσσονος σφαίρας · ἴσος δὴ οὗτός ἐστιν ὁ κῶνος τῷ περιγεγραμμένῳ σχήματι σὺν τῷ κώνῳ, οὗ βάσις ὁ περὶ τὴν ΕΖ κύκλος, κορυφὴ δὲ τὸ △. Καὶ ἔστω ἄλλος κῶνος ὁ Ο βάσιν μὲν ἴσην ἔχων τῷ Ν, ὕψος δὲ τὴν ἀπὸ τοῦ △ ἐπὶ τὴν ΑΛ κάθετον ἠγμένην· ἔσται δὴ καὶ οὗτος ἴσος τῷ ἐγγεγραμμένῳ σχήματι σὺν τῷ κώνῳ, οὗ βάσις ὁ περὶ διάμετρον τὴν ΑΓ κύκλος, κορυφὴ δὲ τὸ △ κέντρον· ταῦτα γὰρ πάντα προγέγραπται. Καὶ ἐπεί ἐστιν ὡς ἡ ΕΚ πρὸς τὴν ἐκ τοῦ κέντρου τῆς ἐλάσσονος σφαίρας οὕτως ἡ ΑΛ πρὸς τὴν ἀπὸ τοῦ κέντρου τοῦ △ ἐπὶ τὴν ΑΛ κάθετον ἠγμένην, ἐδείχθη δε ὡς ἡ ΕΚ πρὸς τὴν ΑΛ οὕτως ἡ ἐκ τοῦ κέντρου τοῦ Μ κύκλου πρὸς τὴν ἐκ τοῦ κέντρου τοῦ Ν κύκλου καὶ ἡ διάμετρος πρὸς τὴν διάμετρον· ἔσται ἄρα ὡς ἡ διάμετρος τοῦ κύκλου, ὅς ἐστι βάσις τοῦ Ξ, πρὸς τὴν διάμετρον τοῦ κύκλου, ὅς ἐστι βάσις τοῦ Ο, οὕτως τὸ ὕψος τοῦ Ξ κώνου πρὸς τὸ ὕψος τοῦ
95
Ο κώνου ὅμοιοι ἄρα εἰσὶν οἱ κῶνοι, Ὁ Ξ ἄρα κῶνος πρὸς τὸν Ο κῶνον τριπλασίονα λόγον ἔχει ἤπερ ἡ διάμετρος πρὸς τὴν διάμετρον· φανερὸν οὖν ὅτι καὶ τὸ σχῆμα τὸ περιγεγραμμένον σὺν τῷ κώνῳ πρὸς τὸ ἐγγεγραμμένον σὺν τῷ κώνῳ τριπλασίονα λόγον ἔχει ἤπερ ἡ ΕΚ πρὸς ΑΛ.

Παντὸς τμήματος σφαίρας ἐλάσσονος ἡμισφαιρίου ἡ ἐπιφάνεια ἴση ἐστὶ κύκλῳ, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος ἐπὶ τὴν περιφέρειαν ἠγμένῃ τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος τῆς σφαίρας.

Ἔστω σφαῖρα καὶ μέγιστος ἐν αὐτῇ κύκλος ὁ ΑΒΓ καὶ τμῆμα ἐν αὐτῇ ἔλασσον ἡμισφαιρίου, οὗ βάσις ὁ περὶ τὴν ΑΓ κύκλος πρὸς ὀρθὰς ὢν τῷ ΑΒΓ κύκλῳ, καὶ εἰλήφθω κύκλος ὁ Ζ, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ΑΒ· δεῖ δὴ δεῖξαι ὅτι ἡ ἐπιφάνεια τοῦ ΑΒΓ τμήματος ἴση ἐστὶ τῷ Ζ κύκλῳ.

96

Εἰ γὰρ μή, ἔστω μείζων ἡ ἐπιφάνεια τοῦ Ζ κύκλου, καὶ εἰλήφθω τὸ △ κέντρον, καὶ ἀπὸ τοῦ △ ἐπὶ τὰ Α, Γ ἐπιζευχθεῖσαι ἐκβεβλήσθωσαν· καὶ δύο μεγεθῶν ἀνίσων ὄντων, τῆς τε ἐπιφανείας τοῦ τμήματος καὶ τοῦ Ζ κύκλου, ἐγγεγράφθω εἰς τὸν ΑΒΓ τομέα πολύγωνον ἰσόπλευρον καὶ ἀρτιογώνιον, καὶ ἄλλο τούτῳ ὅμοιον περιγεγράφθω, ὥστε τὸ περιγεγραμμένον πρὸς τὸ ἐγγεγραμμένον ἐλάσσονα λόγον ἔχειν ἤπερ ἡ ἐπιφάνεια τοῦ τμήματος τῆς σφαίρας πρὸς τὸν Ζ κύκλον, περιενεχθέντος δὲ τοῦ κύκλου, ὡς καὶ πρότερον, ἔσται δύο σχήματα ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενα, ὧν τὸ μὲν περιγεγραμμένον, τὸ δὲ ἐγγεγραμμένον, καὶ ἡ τοῦ περιγεγραμμένου σχήματος ἐπιφάνεια πρὸς τὴν τοῦ ἐγγεγραμμένου ἔσται ὡς τὸ περιγεγραμμένον πολύγωνον πρὸς τὸ ἐγγεγραμμένον· ἑκάτερος γὰρ τῶν λόγων διπλάσιός ἐστι τοῦ ὃν ἔχει ἡ τοῦ περιγεγραμμένου πολυγώνου πλευρὰ πρὸς τὴν τοῦ ἐγγεγραμμένου πλευράν, Ἀλλὰ τὸ περιγεγραμμένον πολύγωνον πρὸς τὸ ἐγγεγραμμένον ἐλάσσονα λόγον ἔχει ἤπερ ἡ τοῦ εἰρημένου τμήματος ἐπιφάνεια πρὸς τὸν Ζ κύκλον, μείζων δὲ ἐστιν ἡ τοῦ περιγεγραμμένου σχήματος ἐπιφάνεια τῆς ἐπιφανείας τοῦ τμήματος· καὶ ἡ τοῦ ἐγγεγραμμένου σχήματος ἐπιφάνεια ἄρα μείζων ἐστὶ τοῦ Ζ κύκλου· ὅπερ ἀδύνατον· δέδεικται γὰρ ἡ εἰρημένη τοῦ σχήματος ἐπιφάνεια ἐλάσσων οὖσα τοῦ τηλικούτου κύκλου.

Ἔστω πάλιν ὁ κύκλος μείζων τῆς ἐπιφανείας, καὶ περιγεγράφθω καὶ ἐγγεγράφθω ὅμοια πολύγωνα, καὶ τὸ περιγεγραμμένον πρὸς τὸ ἐγγεγραμμένον ἐλάσσονα λόγον ἐχέτω τοῦ ὃν ἔχει ὁ κύκλος πρὸς τὴν ἐπιφάνειαν τοῦ τμήματος. Οὐκ ἄρα μείζων ἡ ἐπιφάνεια τοῦ Ζ κύκλου. Ἐδείχθη δὲ ὡς οὐδὲ ἐλάσσων· ἴση ἄρα.

97

Καὶ ἐὰν μεῖζον ἡμισφαιρίου ᾗ τμῆμα, ὁμοίως αὐτοῦ ἡ ἐπιφάνεια ἴση ἐστὶ κύκλῳ, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἔσται τῇ ἀπὸ τῆς κορυφῆς ἐπὶ τὴν περιφέρειαν ἠγμένῃ τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος.

Ἔστω γὰρ σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος, καὶ νοείσθω τετμημένη ἐπιπέδῳ ὀρθῷ τῷ κατὰ τὴν Α△, καὶ τὸ ΑΒ△ ἔλασσον ἔστω ἡμισφαιρίου, καὶ διάμετρος ἡ ΒΓ πρὸς ὀρθὰς τῇ Α△, καὶ ἀπὸ τῶν Β, Γ ἐπὶ τὸ Α ἐπεζεύχθωσαν αἱ ΒΑ, ΑΓ, καὶ ἔστω ὁ μὲν Ε κύκλος, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ΑΒ, ὁ δὲ Ζ κύκλος, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ΑΓ, ὁ δὲ Η κύκλος, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ΒΓ· καὶ ὁ Η ἄρα κύκλος ἴσος ἐστὶ τοῖς δυσὶ κύκλοις τοῖς Ε, Ζ. Ὁ δὲ Η κύκλος ἴσος ἐστὶν ὅλῃ τῇ ἐπιφανείᾳ τῆς σφαίρας ἐπειδήπερ ἑκατέρα τετραπλασία ἐστὶ τοῦ περὶ διάμετρον τὴν ΒΓ κύκλου, ὁ δὲ Ε κύκλος ἴσος ἐστὶ τῇ ἐπιφανείᾳ τοῦ ΑΒ△ τμήματος δέδεικται γὰρ τοῦτο ἐπὶ τοῦ ἐλάσσονος ἡμισφαιρίου· λοιπὸς ἄρα ὁ Ζ κύκλος ἴσος ἐστὶ τῇ τοῦ ΑΓ△ τμήματος ἐπιφανείᾳ, ὃ δή ἐστι μεῖζον ἡμισφαιρίου.

98

Παντὶ τομεῖ σφαίρας ἴσος ἐστὶ κῶνος ὁ βάσιν μὲν ἔχων ἴσην τῇ ἐπιφανείᾳ τοῦ τμήματος τῆς σφαίρας τοῦ κατὰ τὸν τομέα, ὕψος δὲ ἴσον τῇ ἐκ τοῦ κέντρου τῆς σφαίρας. Ἔστω σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος ὁ ΑΒ△ καὶ κέντρον τὸ Γ καὶ κῶνος ὁ βάσιν μὲν ἔχων τὸν κύκλον τὸν ἴσον τῇ κατὰ τὴν ΑΒ△ περιφέρειαν ἐπιφανείᾳ, ὕψος δὲ ἴσον τῇ ΒΓ· δεικτέον ὅτι ὁ τομεὺς ὁ ΑΒΓ△ ἴσος ἐστὶ τῷ εἰρημένῳ κώνῳ.

99

Εἰ γὰρ μή, ἔστω μείζων ὁ τομεὺς τοῦ κώνου, καὶ κείσθω ὁ Θ κῶνος, οἷος εἴρηται· δύο δὴ μεγεθῶν ἀνίσων ὄντων, τοῦ τομέως καὶ τοῦ Θ κώνου, εὑρήσθωσαν δύο γραμμαὶ αἱ △, Ε, μείζων δὲ ἡ △ τῆς Ε, καὶ ἐλάσσονα λόγον ἐχέτω ἡ △ πρὸς Ε ἤπερ ὁ τομεὺς πρὸς τὸν κῶνον, καὶ εἰλήφθωσαν δύο γραμμαὶ αἱ Ζ, Η, ὅπως τῷ ἴσῳ ὑπερέχῃ ἡ △ τῆς Ζ καὶ ἡ Ζ τῆς Η καὶ ἡ Η τῆς Ε, καὶ περὶ τὸν ἐπίπεδον τομέα τοῦ κύκλου περιγεγράφθω πολύγωνον ἰσόπλευρον καὶ ἀρτιογώνιον, καὶ τούτῳ ὅμοιον ἐγγεγράφθω, ὅπως ἡ τοῦ περιγεγραμμένου πλευρὰ ἐλάσσονα λόγον ἔχῃ πρὸς τὴν τοῦ ἐγγεγραμμένου τοῦ ὃν ἔχει ἡ △ πρὸς Ζ, καὶ ὁμοίως τοῖς πρότερον περιενεχθέντος τοῦ κύκλου γεγενήσθω δύο σχήματα ὑπὸ κωνικῶν ἐπιφανειῶν περιεχόμενα· τὸ ἄρα περιγεγραμμένον σὺν τῷ κώνῳ τῷ κορυφὴν ἔχοντι τὸ Γ σημεῖον πρὸς τὸ ἐγγεγραμμένον σὺν τῷ κώνῳ τριπλασίονα λόγον ἔχει τοῦ ὃν ἔχει ἡ πλευρὰ τοῦ περιγεγραμμένου πολυγώνου πρὸς τὴν πλευρὰν τοῦ ἐγγεγραμμένου. Ἀλλὰ ἡ τοῦ περιγεγραμμένου ἐλάσσονα λόγον ἔχει ἤπερ ἡ △ πρὸς Ζ· ἐλάσσονα λόγον ἄρα ἕξει ἢ τριπλάσιον τὸ εἰρημένον στερεὸν σχῆμα τοῦ τῆς △ πρὸς Ζ. Ἡ δὲ △ πρὸς Ε μείζονα λόγον ἔχει ἢ τριπλάσιον τοῦ τῆς △ πρὸς Ζ· τὸ ἄρα περιγεγραμμένον σχῆμα στερεὸν τῷ τομεῖ πρὸς τὸ ἐγγεγραμμένον σχῆμα ἐλάσσονα λόγον ἔχει τοῦ ὃν ἔχει ἡ △ πρὸς Ε. Ἡ δὲ △ πρὸς Ε ἐλάσσονα λόγον ἔχει ἢ ὁ στερεὸς τομεὺς πρὸς τὸν Θ κῶνον· μείζονα ἄρα λόγον ἔχει ὁ στερεὸς τομεὺς πρὸς τὸν Θ κῶνον ἢ τὸ περιγεγραμμεῖζον τῷ τομεῖ σχῆμα πρὸς τὸ ἐγγεγραμμένον. Καὶ ἐναλλάξ· μεῖζον δέ ἐστι τὸ περιγεγραμμένον στερεὸν σχῆμα τοῦ τμήματος· καὶ τὸ ἐγγεγραμμένον ἄρα σχῆμα ἐν τῷ τομεῖ

100
μεῖζόν ἐστι τοῦ Θ κώνου· ὅπερ ἀδύνατον· δέδεικται γὰρ ἐν τοῖς ἄνω ἔλασσον ὂν τοῦ τηλικούτου κώνου τουτέστι τοῦ ἔχοντος βάσιν μὲν κύκλον, οὗ ἡ ἐκ τοῦ κέντρου ἴση ἐστὶ τῇ ἀπὸ τῆς κορυφῆς τοῦ τμήματος ἐπὶ τὴν περιφέρειαν ἐπιζευγνυμένῃ εὐθείᾳ τοῦ κύκλου, ὅς ἐστι βάσις τοῦ τμήματος, ὕψος δὲ τὴν ἐκ τοῦ κέντρου τῆς σφαίρας· οὗτος δέ ἐστιν ὁ εἰρημένος κῶνος ὁ Θ· βάσιν τε γὰρ ἔχει κύκλον ἴσον τῇ ἐπιφανείᾳ τοῦ τμήματος, τουτέστι τῷ εἰρημένῳ κύκλῳ, καὶ ὕψος ἴσον τῇ ἐκ τοῦ κέντρου τῆς σφαίρας· οὐκ ἄρα ὁ στερεὸς τομεὺς μείζων ἐστὶ τοῦ Θ κώνου.

Ἔστω δὴ πάλιν ὁ Θ κῶνος τοῦ στερεοῦ τομέως μείζων. Πάλιν δὴ ὁμοίως ἡ △ πρὸς τὴν Ε μείζων αὐτῆς οὖσα ἐλάσσονα λόγον ἐχέτω τοῦ ὃν ἔχει ὁ κῶνος πρὸς τὸν τομέα, καὶ ὁμοίως εἰλήφθωσαν αἱ Ζ, Η, ὥστε εἶναι τὰς διαφορὰς τὰς αὐτάς, καὶ τοῦ περιγεγραμμένου περὶ τὸν ἐπίπεδον τομέα πολυγώνου ἀρτιογώνου ἡ πλευρὰ πρὸς τὴν τοῦ ἐγγεγραμμένου ἐλάσσονα λόγον ἐχέτω τοῦ ὃν ἔχει ἡ △ πρὸς Ζ καὶ γεγενήσθω τὰ περὶ τὸν στερεὸν τομέα στερεὰ σχήματα· ὁμοίως οὖν δείξομεν ὅτι τὸ περιγεγραμμένον περὶ τὸν τομέα στερεὸν σχῆμα πρὸς τὸ ἐγγεγραμμένον ἐλάσσονα λόγον ἔχει τοῦ ὃν ἔχει ἡ △ πρὸς Ε καὶ τοῦ ὃν ἔχει ὁ Θ κῶνος πρὸς τὸν τομέα ὥστε καὶ ὁ τομεὺς πρὸς τὸν κῶνον ἐλάσσονα λόγον ἔχει ἤπερ τὸ ἐγγεγραμμένον στερεὸν ἐν τῷ τμήματι πρὸς τὸ περιγεγραμμένον. Μείζων δέ ἐστιν ὁ τομεὺς τοῦ ἐγγεγραμμένου εἰς αὐτὸν σχήματος· μείζων ἄρα ὁ Θ κῶνος τοῦ περιγεγραμμένου σχήματος· ὅπερ ἀδύνατον δέδεικται γὰρ τοῦτο ὅτι ὁ τηλικοῦτος κῶνος ἐλάσσων ἐστὶ τοῦ περιγεγραμμένου σχήματος περὶ τὸν τομέα· ἴσος ἄρα ὁ τομεὺς τῷ Θ κώνῳ.