Book 12, Type prop

πᾶς κῶνος κυλίνδρου τρίτον μέρος ἐστὶ τοῦ τὴν αὐτὴν βάσιν ἔχοντος αὐτῷ καὶ ὕψος ἴσον. ἐχέτω γὰρ κῶνος κυλίνδρῳ βάσιν τε τὴν αὐτὴν τὸν ΑΒΓΔ κύκλον καὶ ὕψος ἴσον· λέγω, ὅτι ὁ κῶνος τοῦ κυλίνδρου τρίτον ἐστὶ μέρος, τουτέστιν ὅτι ὁ κύλινδρος τοῦ κώνου τριπλασίων ἐστίν. εἰ γὰρ μή ἐστιν ὁ κύλινδρος τοῦ κώνου τριπλασίων, ἔσται ὁ κύλινδρος τοῦ κώνου ἤτοι μείζων ἢ τριπλασίων ἢ ἐλάσσων ἢ τριπλασίων. ἔστω πρότερον μείζων ἢ τριπλασίων, καὶ ἐγγεγράφθω εἰς τὸν ΑΒΓΔ κύκλον τετράγωνον τὸ ΑΒΓΔ· τὸ δὴ ΑΒΓΔ τετράγωνον μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ ΑΒΓΔ κύκλου. καὶ ἀνεστάτω ἀπὸ τοῦ ΑΒΓΔ τετραγώνου πρίσμα ἰσουψὲς τῷ κυλίνδρῳ. τὸ δὴ ἀνιστάμενον πρίσμα μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ κυλίνδρου, ἐπειδήπερ κἂν περὶ τὸν ΑΒΓΔ κύκλον τετράγωνον περιγράψωμεν, τὸ ἐγγεγραμμένον εἰς τὸν ΑΒΓΔ κύκλον τετράγωνον ἥμισύ ἐστι τοῦ περιγεγραμμένου· καί ἐστι τὰ ἀπʼ αὐτῶν ἀνιστάμενα στερεὰ παραλληλεπίπεδα πρίσματα ἰσοϋψῆ· τὰ δὲ ὑπὸ τὸ αὐτὸ ὕψος ὄντα στερεὰ παραλληλεπίπεδα πρὸς ἄλληλά ἐστιν ὡς αἱ βάσεις· καὶ τὸ ἐπὶ τοῦ ΑΒΓΔ ἄρα τετραγώνου ἀνασταθὲν πρίσμα ἥμισύ ἐστι τοῦ ἀνασταθέντος πρίσματος ἀπὸ τοῦ περὶ τὸν ΑΒΓΔ κύκλον περιγραφέντος τετραγώνου· καί ἐστιν ὁ κύλινδρος ἐλάττων τοῦ πρίσματος τοῦ ἀνασταθέντος ἀπὸ τοῦ περὶ τὸν ΑΒΓΔ κύκλον περιγραφέντος τετραγώνου· τὸ ἄρα πρίσμα τὸ ἀνασταθὲν ἀπὸ τοῦ ΑΒΓΔ τετραγώνου ἰσοϋψὲς τῷ κυλίνδρῳ μεῖζόν ἐστι τοῦ ἡμίσεως τοῦ κυλίνδρου. τετμήσθωσαν αἱ ΑΒ, ΒΓ, ΓΔ, ΔΑ περιφέρειαι δίχα κατὰ τὰ Ε, Ζ, Η, Θ σημεῖα, καὶ ἐπεζεύχθωσαν αἱ ΑΕ, ΕΒ, ΒΖ, ΖΓ, ΓΗ, ΗΔ, ΔΘ, ΘΑ· καὶ ἕκαστον ἄρα τῶν ΑΕΒ, ΒΖΓ, ΓΗΔ, ΔΘΑ τριγώνων μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ καθʼ ἑαυτὸ τμήματος τοῦ ΑΒΓΔ κύκλου, ὡς ἔμπροσθεν ἐδείκνυμεν. ἀνεστάτω ἐφʼ ἑκάστου τῶν ΑΕΒ, ΒΖΓ, ΓΗΔ, ΔΘΑ τριγώνων πρίσματα ἰσουψῆ τῷ κυλίνδρῳ· καὶ ἕκαστον ἄρα τῶν ἀνασταθέντων πρισμάτων μεῖζόν ἐστιν ἢ τὸ ἥμισυ μέρος τοῦ καθʼ ἑαυτὸ τμήματος τοῦ κυλίνδρου, ἐπειδήπερ ἐὰν διὰ τῶν Ε, Ζ, Η, θ σημείων παραλλήλους ταῖς ΑΒ, ΒΓ, ΓΔ, ΔΑ ἀγάγωμεν, καὶ συμπληρώσωμεν τὰ ἐπὶ τῶν ΑΒ, ΒΓ, ΓΔ, ΔΑ παραλληλόγραμμα, καὶ ἀπʼ αὐτῶν ἀναστήσωμεν στερεὰ παραλληλεπίπεδα ἰσοϋψῆ τῷ κυλίνδρῳ, ἑκάστου τῶν ἀνασταθέντων ἡμίση ἐστὶ τὰ πρίσματα τὰ ἐπὶ τῶν ΑΕΒ, ΒΖΓ, ΓΗΔ, ΔΘΑ τριγώνων· καί ἐστι τὰ τοῦ κυλίνδρου τμήματα ἐλάττονα τῶν ἀνασταθέντων στερεῶν παραλληλεπιπέδων· ὥστε καὶ τὰ ἐπὶ τῶν ΑΕΒ, ΒΖΓ, ΓΗΔ, ΔΘΑ τριγώνων πρίσματα μείζονά ἐστιν ἢ τὸ ἥμισυ τῶν καθʼ ἑαυτὰ τοῦ κυλίνδρου τμημάτων. τέμνοντες δὴ τὰς ὑπολειπομένας περιφερείας δίχα καὶ ἐπιζευγνύντες εὐθείας καὶ ἀνιστάντες ἐφʼ ἑκάστου τῶν τριγώνων πρίσματα ἰσοϋψῆ τῷ κυλίνδρῳ καὶ τοῦτο ἀεὶ ποιοῦντες καταλείψομέν τινα ἀποτμήματα τοῦ κυλίνδρου, ἃ ἔσται ἐλάττονα τῆς ὑπεροχῆς, ᾗ ὑπερέχει ὁ κύλινδρος τοῦ τριπλασίου τοῦ κώνου. λελείφθω, καὶ ἔστω τὰ ΑΕ, ΕΒ, ΒΖ, ΖΓ, ΓΗ, ΗΔ, ΔΘ, ΘΑ· λοιπὸν ἄρα τὸ πρίσμα, οὗ βάσις μὲν τὸ ΑΕΒΖ ΓΗΔΘ πολύγωνον, ὕψος δὲ τὸ αὐτὸ τῷ κυλίνδρῳ, μεῖζόν ἐστιν ἢ τριπλάσιον τοῦ κώνου. ἀλλὰ τὸ πρίσμα, οὗ βάσις μέν ἐστι τὸ ΑΕΒΖΓΗΔΘ πολύγωνον, ὕψος δὲ τὸ αὐτὸ τῷ κυλίνδρῳ, τριπλάσιόν ἐστι τῆς πυραμίδος, ἧς βάσις μέν ἐστι τὸ ΑΕΒΖΓΗΔΘ πολύγωνον, κορυφὴ δὲ ἡ αὐτὴ τῷ κώνῳ· καὶ ἡ πυραμὶς ἄρα, ἧς βάσις μὲν τὸ ΑΕΒΖΓΗΔΘ πολύγωνον, κορυφὴ δὲ ἡ αὐτὴ τῷ κώνῳ, μείζων ἐστὶ τοῦ κώνου τοῦ βάσιν ἔχοντος τὸν ΑΒ ΓΔ κύκλον. ἀλλὰ καὶ ἐλάττων· ἐμπεριέχεται γὰρ ὑπʼ αὐτοῦ· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἐστὶν ὁ κύλινδρος τοῦ κώνου μείζων ἢ τριπλάσιος. λέγω δή, ὅτι οὐδὲ ἐλάττων ἐστὶν ἢ τριπλάσιος ὁ κύλινδρος τοῦ κώνου. εἰ γὰρ δυνατόν, ἔστω ἐλάττων ἢ τριπλάσιος ὁ κύλινδρος τοῦ κώνου· ἀνάπαλιν ἄρα ὁ κῶνος τοῦ κυλίνδρου μείζων ἐστὶν ἢ τρίτον μέρος. ἐγγεγράφθω δὴ εἰς τὸν ΑΒΓΔ κύκλον τετράγωνον τὸ ΑΒΓΔ· τὸ ΑΒΓΔ ἄρα τετράγωνον μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ ΑΒΓΔ κύκλου. καὶ ἀνεστάτω ἀπὸ τοῦ ΑΒΓΔ τετραγώνου πυραμὶς τὴν αὐτὴν κορυφὴν ἔχουσα τῷ κώνῳ· ἡ ἄρα ἀνασταθεῖσα πυραμὶς μείζων ἐστὶν ἢ τὸ ἥμισυ μέρος τοῦ κώνου, ἐπειδήπερ, ὡς ἔμπροσθεν ἐδείκνυμεν, ὅτι ἐὰν περὶ τὸν κύκλον τετράγωνον περιγράψωμεν, ἔσται τὸ ΑΒΓΔ τετράγωνον ἥμισυ τοῦ περὶ τὸν κύκλον περιγεγραμμένου τετραγώνου· καὶ ἐὰν ἀπὸ τῶν τετραγώνων στερεὰ παραλληλεπίπεδα ἀναστήσωμεν ἰσοϋψῆ τῷ κώνῳ, ἃ καὶ καλεῖται πρίσματα, ἔσται τὸ ἀνασταθὲν ἀπὸ τοῦ ΑΒΓΔ τετραγώνου ἥμισυ τοῦ ἀνασταθέντος ἀπὸ τοῦ περὶ τὸν κύκλον περιγραφέντος τετραγώνου· πρὸς ἄλληλα γάρ εἰσιν ὡς αἱ βάσεις. ὥστε καὶ τὰ τρίτα· καὶ πυραμὶς ἄρα, ἧς βάσις τὸ ΑΒΓΔ τετράγωνον, ἥμισύ ἐστι τῆς πυραμίδος τῆς ἀνασταθείσης ἀπὸ τοῦ περὶ τὸν κύκλον περιγραφέντος τετραγώνου. καί ἐστι μείζων ἡ πυραμὶς ἡ ἀνασταθεῖσα ἀπὸ τοῦ περὶ τὸν κύκλον τετραγώνου τοῦ κώνου· ἐμπεριέχει γὰρ αὐτόν. ἡ ἄρα πυραμὶς, ἧς βάσις τὸ ΑΒΓΔ τετράγωνον, κορυφὴ δὲ ἡ αὐτὴ τῷ κώνῳ, μείζων ἐστὶν ἢ τὸ ἥμισυ τοῦ κώνου. τετμήσθωσαν αἱ ΑΒ, ΒΓ, ΓΔ, ΔΑ περιφέρειαι δίχα κατὰ τὰ Ε, Ζ, Η, Θ σημεῖα, καὶ ἐπεζεύχθωσαν αἱ ΑΕ, ΕΒ, ΒΖ, ΖΓ, ΓΗ, ΗΔ, ΔΘ, ΘΑ· καὶ ἕκαστον ἄρα τῶν ΑΕΒ, ΒΖΓ, ΓΗΔ, ΔΘΑ τριγώνων μεῖζόν ἐστιν ἢ τὸ ἥμισυ μέρος τοῦ καθʼ ἑαυτὸ τμήματος τοῦ ΑΒΓΔ κύκλου. καὶ ἀνεστάτωσαν ἐφʼ ἑκάστου τῶν ΑΕΒ, ΒΖΓ, ΓΗΔ, ΔΘΑ τριγώνων πυραμίδες τὴν αὐτὴν κορυφὴν ἔχουσαι τῷ κώνῳ· καὶ ἑκάστη ἄρα τῶν ἀνασταθεισῶν πυραμίδων κατὰ τὸν αὐτὸν τρόπον μείζων ἐστὶν ἢ τὸ ἥμισυ μέρος τοῦ καθʼ ἑαυτὴν τμήματος τοῦ κώνου. τέμνοντες δὴ τὰς ὑπολειπομένας περιφερείας δίχα καὶ ἐπιζευγνύντες εὐθείας καὶ ἀνιστάντες ἐφʼ ἑκάστου τῶν τριγώνων πυραμίδα τὴν αὐτὴν κορυφὴν ἔχουσαν τῷ κώνῳ καὶ τοῦτο ἀεὶ ποιοῦντες καταλείψομέν τινα ἀποτμήματα τοῦ κώνου, ἃ ἔσται ἐλάττονα τῆς ὑπεροχῆς, ᾗ ὑπερέχει ὁ κῶνος τοῦ τρίτου μέρους τοῦ κυλίνδρου. λελείφθω, καὶ ἔστω τὰ ἐπὶ τῶν ΑΕ, ΕΒ, ΒΖ, ΖΓ, ΓΗ, ΗΔ, ΔΘ, ΘΑ· λοιπὴ ἄρα ἡ πυραμίς, ἧς βάσις μέν ἐστι τὸ ΑΕΒΖΓΗΔΘ πολύγωνον, κορυφὴ δὲ ἡ αὐτὴ τῷ κώνῳ, μείζων ἐστὶν ἢ τρίτον μέρος τοῦ κυλίνδρου. ἀλλʼ ἡ πυραμίς, ἧς βάσις μέν ἐστι τὸ ΑΕΒΖΓ ΗΔΘ πολύγωνον, κορυφὴ δὲ ἡ αὐτὴ τῷ κώνῳ, τρίτον ἐστὶ μέρος τοῦ πρίσματος, οὗ βάσις μέν ἐστι τὸ ΑΕΒΖΓ ΗΔΘ πολύγωνον, ὕψος δὲ τὸ αὐτὸ τῷ κυλίνδρῳ· τὸ ἄρα πρίσμα, οὗ βάσις μέν ἐστι τὸ ΑΕΒΖΓΗΔΘ πολύγωνον, ὕψος δὲ τὸ αὐτὸ τῷ κυλίνδρῳ, μεῖζόν ἐστι τοῦ κυλίνδρου, οὗ βάσις ἐστὶν ὁ ΑΒΓΔ κύκλος. ἀλλὰ καὶ ἔλαττον· ἐμπεριέχεται γὰρ ὑπʼ αὐτοῦ· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ὁ κύλινδρος τοῦ κώνου ἐλάττων ἐστὶν ἢ τριπλάσιος. ἐδείχθη δέ, ὅτι οὐδὲ μείζων ἢ τριπλάσιος· τριπλάσιος ἄρα ὁ κύλινδρος τοῦ κώνου· ὥστε ὁ κῶνος τρίτον ἐστὶ μέρος τοῦ κυλίνδρου. πᾶς ἄρα κῶνος κυλίνδρου τρίτον μέρος ἐστὶ τοῦ τὴν αὐτὴν βάσιν ἔχοντος αὐτῷ καὶ ὕψος ἴσον· ὅπερ ἔδει δεῖξαι.