κε΄.

Πᾶν τμᾶμα ἀμβλυγωνίου κωνοειδέος ἀποτετμαμένον ἐπιπέδῳ ὀρθῷ ποτὶ τὸν ἄξονα ποτὶ τὸν κῶνον τὸν βάσιν ἔχοντα τὰν αὐτὰν τῷ τμάματι καὶ ὕψος ἴσον τοῦτον ἔχει τὸν λόγον, ὃν ἔχει ἁ συναμφοτέραις ἴσα τῷ τε ἄξονι τοῦ τμάματος καὶ τᾷ τριπλασίᾳ τᾶς ποτεούσας τῷ ἄξονι ποτὶ τὰν ἴσαν ἀμφοτέραις τῷ τε ἄξονι τοῦ τμάματος καὶ τᾷ διπλασίᾳ τᾶς ποτεούσας τῷ ἄξονι. Ἔστω τι τμᾶμα ἀμβλυγωνίου κωνοειδέος ἀποτετμαμένον ἐπιπέδῳ ὀρθῷ ποτὶ τὸν ἄξονα, καὶ τμαθέντος αὐτοῦ ἐπιπέδῳ ἄλλῳ διὰ τοῦ ἄξονος ἁ τομὰ ἔστω αὐτοῦ μὲν τοῦ κωνοειδέος ἁ ΑΒΓ ἀμβλυγωνίου κώνου τομά, τοῦ δὲ ἐπιπέδου τοῦ ἀποτέμνοντος τὸ τμᾶμα ἁ ΑΓ εὐθεῖα, ἄξων δὲ ἔστω τοῦ τμάματος ἁ Β△, ἁ δὲ ποτεοῦσα τῷ ἄξονι ἔστω ἁ ΒΘ καὶ τᾷ ΒΘ ἴσα ἁ ΖΘ καὶ ἁ ΖΗ. Δεικτέον ὅτι τὸ τμᾶμα ποτὶ τὸν κῶνον τὸν βάσιν ἔχοντα τὰν αὐτὰν τῷ τμάματι καὶ ἄξονα τὸν αὐτὸν λόγον ἔχει, ὃν ἁ Η△ ποτὶ τὰν Ζ△. Ἔστω δὴ κύλινδρος τὰν αὐτὰν βάσιν ἔχων τῷ τμάματι καὶ ἄξονα τὸν αὐτόν, πλευραὶ δὲ αὐτοῦ ἔστωσαν αἱ ΦΑ, ΓΥ, ἔστω δὲ καὶ κῶνός τις, ἐν ᾧ τὸ Ψ, καὶ ποτὶ τὸν κῶνον τὸν βάσιν ἔχοντα τὰν αὐτὰν τῷ τμάματι καὶ ἄξονα τὰν Β△ τοῦτον ἐχέτω τὸν λόγον, ὃν ἔχει ἁ Η△ ποτὶ τὰν △Ζ φαμὶ δὴ τὸ τμᾶμα τοῦ κωνοειδέος ἴσον εἶμεν τῷ Ψ κώνῳ. Εἰ γὰρ μή ἐστιν ἴσον, ἤτοι μεῖζον ἢ ἔλασσόν ἐστιν. Ἔστω πρότερον, εἰ δυνατόν, μεῖζον. Ἐγγεγράφθω δὴ εἰς τὸ τμᾶμα σχῆμα στερεόν, καὶ ἄλλο περιγεγράφθω ἐκ κυλίνδρων ὕψος ἴσον ἐχόντων συγκείμενον, ὥστε τὸ περιγραφὲν σχῆμα τοῦ ἐγγραφέντος ὑπερέχειν ἐλάσσονι ἢ ἁλίκῳ ὑπερέχει τὸ τοῦ κωνοειδέος τμᾶμα τοῦ Ψ κώνου, διάχθω δὲ τὰ ἐπίπεδα πάντων τῶν κυλίνδρων ποτὶ τὰν ἐπιφάνειαν τοῦ κυλίνδρου τοῦ βάσιν μὲν ἔχοντος τὸν κύκλον τὸν περὶ διάμετρον τὰν ΑΓ, ἄξονα δὲ τὰν Β△· ἐσσεῖται δὴ ὅλος ὁ κύλινδρος διῃρημένος εἰς κυλίνδρους τῷ μὲν πλήθει ἴσους τοῖς κυλίνδροις τοῖς ἐν τῷ περιγεγραμμένῳ σχήματι, τῷ δὲ μεγέθει ἴσους τῷ μεγίστῳ αὐτῶν. Καὶ ἐπεὶ ἐλάσσονι ὑπερέχει τὸ περιγεγραμμένον σχῆμα τοῦ ἐγγεγραμμένου ἢ τὸ τμᾶμα τοῦ Ψ κώνου, καὶ μεῖζόν ἐστι τὸ περιγεγραμμένον σχῆμα τοῦ τμάματος, δῆλον ὅτι καὶ τὸ ἐγγεγραμμένον σχῆμα μεῖζόν ἐστι τοῦ Ψ κώνου. Ἔστω δὴ τρίτον μέρος τᾶς Β△ ἁ ΒΡ· ἐσσεῖται οὖν ἁ Η△ τριπλασία τᾶς ΘΡ. Καὶ ἐπεὶ ὁ μὲν κύλινδρος ὁ βάσιν ἔχων τὸν κύκλον τὸν περὶ διάμετρον τὰν ΑΓ, ἄξονα δὲ τὰν Β△, ποτὶ τὸν κῶνον τὸν βάσιν ἔχοντα τὰν αὐτὰν καὶ ἄξονα τὸν αὐτὸν τοῦτον ἔχει τὸν λόγον, ὃν ἁ Η△ ποτὶ τὰν ΘΡ, ἔχει δὲ καὶ ὁ εἰρημένος κῶνος ποτὶ τὸν Ψ κῶνον, ὃν ἁ Ζ△ ποτὶ τὰν Η△, ἕξει ἄρα μεγεθέων τριῶν ἀνομοίως τῶν λόγων τεταγμένων τὸν αὐτὸν λόγον ὁ κύλινδρος ὁ εἰρημένος ποτὶ τὸν Ψ κῶνον, ὃν ἁ Ζ△ ποτὶ τὰν ΘΡ. Ἔστωσαν δὲ γραμμαὶ κείμεναι, ἐφʼ ἇν τὰ Ξ, τῷ μὲν πλήθει ἴσαι τοῖς τμαμάτεσσιν τοῖς ἐν τᾷ Β△ εὐθείᾳ, τῷ δὲ μεγέθει ἑκάστα ἴσα τᾷ ΖΒ, καὶ παῤ ἑκάσταν αὐτᾶν παραπεπτωκέτω χωρίον ὑπερβάλλον εἴδει τετραγώνῳ, καὶ τὸ μὲν μέγιστον ἔστω ἴσον τῷ ὑπὸ Ζ△Β, τὸ δὲ ἐλάχιστον ἴσον τῷ ὑπὸ ΖΙΒ, αἱ δε πλευραὶ τῶν ὑπερβλημάτων τῷ ἴσῳ ἀλλαλᾶν ὑπερεχόντων ,καὶ ἔστω ἁ μὲν τοῦ μεγίστου ὑπερβλήματος πλευρά, ἐφʼ ἇς τὸ Ν, ἴσα τᾷ Β△, ἁ δὲ τοῦ ἐλαχίστου ἴσα τᾷ ΒΙ, ἔστω δὲ καὶ ἄλλα χωρία, ἐν οἷς τὸ Ω, τῷ μὲν πλήθει ἴσα τούτοις, τῷ δὲ μεγέθει ἕκαστον ἴσον τῷ μεγίστῳ τῷ ὑπὸ τᾶν Ζ△Β· ὁ δὴ κύλινδρος ὁ βάσιν μὲν ἔχων τὸν κύκλον τὸν περὶ διάμετρον τὰν ΑΓ, ἄξονα δὲ τὰν △Ε, ποτὶ τὸν κύλινδρον τὸν βάσιν μὲν ἔχοντα τὸν κύκλον τὸν περὶ διάμετρον τὰν ΚΛ, ἄξονα δὲ τὰν △Ε, τὸν αὐτὸν ἔχει λόγον, ὃν ἁ △Α ποτὶ τὰν ΚΕ δυνάμει· οὗτος δέ ἐστιν ὁ αὐτὸς τῷ ὃν ἔχει τὸ περιεχόμενον ὑπὸ τᾶν Ζ△, Β△ ποτὶ τὸ περιεχόμενον ὑπὸ τᾶν ΖΕ, ΒΕ· ἐν πάσᾳ γὰρ τοῦ ἀμβλυγωνίου κώνου τομᾷ τοῦτο συμβαίνει . Καὶ ἔστι τῷ μὲν ὑπὸ τᾶν Ζ△, Β△ περιεχομένῳ ἴσον τὸ ΞΝ χωρίον, τῷ δὲ ὑπὸ τᾶν ΖΕ, ΒΕ ἴσον ἐστὶ τὸ ΞΜ· ἁ γὰρ Ξ ἴσα ἐστὶ τᾷ ΖΒ, ἁ δὲ Μ τᾷ ΒΕ, ἁ δὲ Ν τᾷ Β△· ὁ ἄρα κύλινδρος ὁ βάσιν μὲν ἔχων τὸν κύκλον τὸν περὶ διάμετρον τὰν ΑΓ, ἄξονα δὲ τὰν △Ε, ποτὶ τὸν κύλινδρον τὸν βάσιν ἔχοντα τὸν κύκλον τὸν περὶ διάμετρον τὰν ΚΛ, ἄξονα δὲ τὰν △Ε, τὸν αὐτὸν ἔξει λόγον, ὃν τὸ Ω χωρίον ποτὶ τὸ ΞΜ. Ὁμοίως δὲ δειχθήσεται καὶ τῶν ἄλλων κυλίνδρων ἕκαστος τῶν ἐν τῷ ὅλῳ κυλίνδρῳ ἄξονα ἔχων τὰν ἴσαν τᾷ △Ε ποτὶ τὸν κύλινδρον τὸν ἐν τῷ ἐγγεγραμμένῳ σχήματι τὸν ἔχοντα τὸν αὐτὸν ἄξονα τοῦτον ἔχων τὸν λόγον, ὃν ἔχει τὸ Ω χωρίον ποτὶ τὸ ὁμόλογον τῶν παρὰ τὰν Ξ παραπεπτωκότων ὑπερβαλλόντων τετραγώνῳ. Ἔστιν δή τινα μεγέθεα, οἱ κύλινδροι οἱ ἐν τῷ ὅλῳ κυλίνδρῳ, ὧν ἕκαστος ἄξονα ἔχει ἴσον τᾷ △Ε, καὶ ἄλλα μεγέθεα, τὰ χωρία, ἐν οἷς τὸ Ω, ἴσα τούτοις τῷ πλήθει, κατὰ δύο μεγέθεα τὸν αὐτὸν ἔχοντα λόγον, ἐπεὶ οἵ τε κύλινδροι ἴσοι ἐντὶ ἀλλάλοις καὶ τὰ Ω χωρία ἴσα ἀλλάλοις, λέγονται δὲ τῶν τε κυλίνδρων τινὲς ποτὶ ἄλλους κυλίνδρους τοὺς ἐν τῷ ἐγγεγραμμένῳ σχήματι, ὁ δὲ ἔσχατος οὐδὲ ποθʼ ἓν λέγεται, καὶ τῶν χωρίων, ἐν οἷς τὰ Ω, ποτʼ ἄλλα χωρία τὰ παρὰ τὰν Ξ παραπεπτωκότα ὑπερβάλλοντα εἴδει τετραγώνῳ, τὰ ὁμόλογα ἐν τοῖς αὐτοῖς λόγοις, τὸ δὲ ἔσχατον οὐδὲ ποθʼ ἓν λέγεται· δῆλον οὖν ὅτι καὶ πάντες οἱ κύλινδροι οἱ ἐν τῷ ὅλῳ κυλίνδρῳ ποτὶ πάντας τοὺς κυλίνδρους τοὺς ἐν τῷ ἐγγεγραμμένῳ σχήματι τὸν αὐτὸν ἑξοῦντι λόγον, ὃν πάντα τὰ Ω χωρία ποτὶ πάντα τὰ παραβλήματα χωρὶς τοῦ μεγίστου. Δέδεικται δὲ ὅτι πάντα τὰ χωρία ποτὶ πάντα τὰ παραβλήματα χωρὶς τοῦ μεγίστου μείζω λόγον ἔχοντι ἢ ὃν ἁ ΝΞ ποτὶ τὰν ἴσαν συναμφοτέραις τᾷ τε ἡμισείᾳ τᾶς Ξ καὶ τῷ τρίτῳ μέρει τᾶς Ν· ὥστε καὶ ὅλος ὁ κύλινδρος ποτὶ τὸ ἐγγεγραμμένον σχῆμα μείζονα ἔχει λόγον ἢ ὃν ἁ Ζ△ ποτὶ τὰν ΘΡ· ὃν ὁ ὅλος κύλινδρος ἔχων ἐδείχθη ποτὶ τὸν Ψ κῶνον· μείζονα οὖν ἔχει λόγον ὁ ὅλος κύλινδρος ποτὶ τὸ ἐγγεγραμμένον σχῆμα ἢ ποτὶ τὸν Ψ κῶνον. Ὥστε μείζων ἐστὶν ὁ Ψ κῶνος τοῦ ἐγγεγραμμένου σχήματος· ὅπερ ἀδύνατον· ἐδείχθη γὰρ τὸ ἐγγεγραμμένον σχῆμα μεῖζον τοῦ Ψ κώνου· οὐκ ἄρα μεῖζον τὸ τοῦ κωνοειδέος τμᾶμα τοῦ Ψ κώνου. Οὐδὲ τοίνυν ἔλασσον, Ἔστω γάρ, εἰ δυνατόν, ἔλασσον. Πάλιν οὖν ἐγγεγράφθω εἰς τὸ τμᾶμα σχῆμα στερεόν, καὶ ἄλλο περιγεγράφθω ἐκ κυλίνδρων ὕψος ἴσον ἐχόντων συγκείμενον, ὥστε τὸ περιγεγραμμένον σχῆμα τοῦ ἐγγραφέντος ὑπερέχειν ἐλάσσονι ἢ ἁλίκῳ ὑπερέχει ὁ κῶνος τοῦ τμάματος, καὶ τὰ ἄλλα τὰ αὐτὰ κατεσκευάσθω. Ἐπεὶ οὖν ἔλασσόν ἐστι τὸ ἐγγεγραμμένον σχῆμα τοῦ τμάματος, καὶ ἐλάσσονι ὑπερέχει τὸ περιγεγραμμένον τοῦ ἐγγεγραμμένου ἢ ὁ Ψ κῶνος τοῦ τμάματος, δῆλον ὅτι καὶ τὸ περιγεγραμμένῳ σχῆμα ἔλασσόν ἐστι τοῦ Ψ κώνου. Πάλιν δὴ ὅ τε κύλινδρος ὁ πρῶτος τῶν ἐν τῷ ὅλῳ κυλίνδρῳ ὁ ἔχων ἄξονα τὰν △Ε ποτὶ τὸν πρῶτον κύλινδρον τῶν ἐν τῷ περιγεγραμμένῳ σχήματι τὸν ἔχοντα ἄξονα τὰν △Ε τὸν αὐτὸν ἔχει λόγον, ὃν τὸ Ω χωρίον ποτὶ τὸ ΞΝ ,καὶ τῶν ἄλλων κυλίνδρων ἕκαστος τῶν ἐν τῷ ὅλῳ κυλίνδρῳ ἄξονα ἐχόντων τὰν ἴσαν τᾷ △Ε ποτὶ τὸν κύλινδρον τὸν ἐν τῷ περιγεγραμμένῳ σχήματι κατʼ αὐτὸν ἐόντα καὶ ἄξονα ἔχοντα τὸν αὐτὸν τοῦτον ἕξει τὸν λόγον, ὃν τὸ Ω χωρίον ποτὶ τὸ ὁμόλογον τῶν παρὰ τὰν Ξ παραβλημάτων σὺν τῷ ὑπερβλήματι, διὰ τὸ ἕκαστον τῶν περιγεγραμμένων χωρὶς τοῦ μεγίστου ἴσον εἶμεν ἑκάστῳ τῶν ἐγγεγραμμένων σὺν τῷ μεγίστῳ· ἕξει οὖν καὶ ὁ ὅλος κύλινδρος ποτὶ τὸ περιγεγραμμένον σχῆμα τὸν αὐτὸν λόγον, ὃν πάντα τὰ Ω χωρία ποτὶ τὰ παραβλήματα σὺν τοῖς ὑπερβλημάτεσσιν. Δέδεικται δὲ πάλιν πάντα τὰ Ω χωρία ποτὶ πάντα τὰ ἕτερα ἐλάσσω λόγον ἔχοντα τοῦ ὃν ἔχει ἁ ΞΝ ποτὶ τὰν ἴσαν συναμφοτέραις τᾷ τε ἡμισέᾳ τᾶς Ξ καὶ τῷ τρίτῳ μέρει τᾶς Ν· ὥστε καὶ ὅλος ὁ κύλινδρος ποτὶ τὸ περιγεγραμμένον σχῆμα ἐλάσσονα λόγον ἕξει ἢ ἁ Ζ△ ποτὶ τὰν ΘΡ. Ἀλλʼ ὡς ἁ Ζ△ ποτὶ τὰν ΘΡ, ὁ ὅλος κύλινδρος ποτὶ τὸν Ψ κῶνον· ἐλάσσονα οὖν λόγον ἔχει ὁ αὐτὸς κύλινδρος ποτὶ τὸ περιγεγραμμένον σχῆμα ἢ ποτὶ τὸν Ψ. Ὥστε μεῖζόν ἐστι τὸ περιγεγραμμένον τοῦ Ψ κώνου· ὅπερ ἀδύνατον· ἐδείχθη γὰρ ἔλαττον ἐὸν τὸ περιγεγραμμένον σχῆμα τοῦ κώνου. Οὐκ ἀρα ἔλασσόν ἐστι τὸ τοῦ κωνοειδέος τμᾶμα τοῦ Ψ κώνου. Ἐπεὶ δὲ οὔτε μεῖζον οὔτε ἔλασσόν ἐστιν, δέδεικται οὖν τὸ προτεθέν.