Στοιχεῖα

τὰ ἐν τοῖς κύκλοις ὅμοια πολύγωνα πρὸς ἄλληλά ἐστιν ὡς τὰ ἀπὸ τῶν διαμέτρων τετράγωνα.

ἔστωσαν κύκλοι οἱ ΑΒΓ, ΖΗΘ, καὶ ἐν αὐτοῖς ὅμοια πολύγωνα ἔστω τὰ ΑΒΓΔΕ, ΖΗΘΚΛ, διάμετροι δὲ τῶν κύκλων ἔστωσαν αἱ ΒΜ, ΗΝ· λέγω, ὅτι ἐστὶν ὡς τὸ ἀπὸ τῆς ΒΜ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΗΝ τετράγωνον, οὕτως τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον.

ἐπεζεύχθωσαν γὰρ αἱ ΒΕ, ΑΜ, ΗΛ, ΖΝ. καὶ ἐπεὶ ὅμοιον τὸ ΑΒΓΔΕ πολύγωνον τῷ ΖΗΘΚΛ πολυγώνῳ, ἴση ἐστὶ καὶ ἡ ὑπὸ ΒΑΕ γωνία τῇ ὑπὸ ΗΖΛ, καί ἐστιν ὡς ἡ ΒΑ πρὸς τὴν ΑΕ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΛ. δύο δὴ τρίγωνά ἐστι τὰ ΒΑΕ, ΗΖΛ μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχοντα τὴν ὑπὸ ΒΑΕ τῇ ὑπὸ ΗΖΛ, περὶ δὲ τὰς ἴσας γωνίας τὰς πλευρὰς ἀνάλογον· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΕ τρίγωνον τῷ ΖΗΛ τριγώνῳ. ἴση ἄρα ἐστὶν ἡ ὑπὸ ΑΕΒ γωνία τῇ ὑπὸ ΖΛΗ. ἀλλʼ ἡ μὲν ὑπὸ ΑΕΒ τῇ ὑπὸ ΑΜΒ ἐστιν ἴση· ἐπὶ γὰρ τῆς αὐτῆς περιφερείας βεβήκασιν· ἡ δὲ ὑπὸ ΖΛΗ τῇ ὑπὸ ΖΝΗ· καὶ ἡ ὑπὸ ΑΜΒ ἄρα τῇ ὑπὸ ΖΝΗ ἐστιν ἴση. ἔστι δὲ καὶ ὀρθὴ ἡ ὑπὸ ΒΑΜ ὀρθῇ τῇ ὑπὸ ΗΖΝ ἴση· καὶ ἡ λοιπὴ ἄρα τῇ λοιπῇ ἐστιν ἴση. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΜ τρίγωνον τῷ ΖΗΝ τριγώνῳ. ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΒΜ πρὸς τὴν ΗΝ, οὕτως ἡ ΒΑ πρὸς τὴν ΗΖ. ἀλλὰ τοῦ μὲν τῆς ΒΜ πρὸς τὴν ΗΝ λόγου διπλασίων ἐστὶν ὁ τοῦ ἀπὸ τῆς ΒΜ τετραγώνου πρὸς τὸ ἀπὸ τῆς ΗΝ τετράγωνον, τοῦ δὲ τῆς ΒΑ πρὸς τὴν ΗΖ διπλασίων ἐστὶν ὁ τοῦ ΑΒΓΔΕ πολυγώνου πρὸς τὸ ΖΗ ΘΚΛ πολύγωνον· καὶ ὡς ἄρα τὸ ἀπὸ τῆς ΒΜ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΗΝ τετράγωνον, οὕτως τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον.

τὰ ἄρα ἐν τοῖς κύκλοις ὅμοια πολύγωνα πρὸς ἄλληλά ἐστιν ὡς τὰ ἀπὸ τῶν διαμέτρων τετράγωνα· ὅπερ ἔδει δεῖξαι.

οἱ κύκλοι πρὸς ἀλλήλους εἰσὶν ὡς τὰ ἀπὸ τῶν διαμέτρων τετράγωνα.

ἔστωσαν κύκλοι οἱ ΑΒΓΔ, ΕΖΗΘ, διάμετροι δὲ αὐτῶν ἔστωσαν αἱ ΒΔ, ΖΘ· λέγω, ὅτι ἐστὶν ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως τὸ ἀπὸ τῆς ΒΔ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΖΘ τετράγωνον.

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

λέγω δή, ὅτι οὐδὲ ὡς τὸ ἀπὸ τῆς ΒΔ πρὸς τὸ ἀπὸ τῆς ΖΘ, οὕτως ὁ ΑΒΓΔ κύκλος πρὸς μεῖζόν τι τοῦ ΕΖΗΘ κύκλου χωρίον.

εἰ γὰρ δυνατόν, ἔστω πρὸς μεῖζον τὸ Σ. ἀνάπαλιν ἄρα ἐστὶν ὡς τὸ ἀπὸ τῆς ΖΘ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΔΒ, οὕτως τὸ Σ χωρίον πρὸς τὸν ΑΒΓΔ κύκλον. ἀλλʼ ὡς τὸ Σ χωρίον πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΖΗΘ κύκλος πρὸς ἔλαττόν τι τοῦ ΑΒΓΔ κύκλου χωρίον· καὶ ὡς ἄρα τὸ ἀπὸ τῆς ΖΘ πρὸς τὸ ἀπὸ τῆς ΒΔ, οὕτως ὁ ΕΖΗΘ κύκλος πρὸς ἔλασσόν τι τοῦ ΑΒΓΔ κύκλου χωρίον· ὅπερ ἀδύνατον ἐδείχθη. οὐκ ἄρα ἐστὶν ὡς τὸ ἀπὸ τῆς ΒΔ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΖΘ, οὕτως ὁ ΑΒΓΔ κύκλος πρὸς μεῖζόν τι τοῦ ΕΖΗΘ κύκλου χωρίον. ἐδείχθη δέ, ὅτι οὐδὲ πρὸς ἔλασσον· ἔστιν ἄρα ὡς τὸ ἀπὸ τῆς ΒΔ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΖΘ, οὕτως ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον.

οἱ ἄρα κύκλοι πρὸς ἀλλήλους εἰσὶν ὡς τὰ ἀπὸ τῶν διαμέτρων τετράγωνα· ὅπερ ἔδει δεῖξαι.

λῆμμα

λέγω δή, ὅτι τοῦ Σ χωρίου μείζονος ὄντος τοῦ ΕΖΗΘ κύκλου ἐστὶν ὡς τὸ Σ χωρίον πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΖΗΘ κύκλος πρὸς ἔλαττόν τι τοῦ ΑΒΓΔ κύκλου χωρίον.

γεγονέτω γὰρ ὡς τὸ Σ χωρίον πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΖΗΘ κύκλος πρὸς τὸ Τ χωρίον. λέγω, ὅτι ἔλαττόν ἐστι τὸ Τ χωρίον τοῦ ΑΒΓΔ κύκλου. ἐπεὶ γάρ ἐστιν ὡς τὸ Σ χωρίον πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΖΗΘ κύκλος πρὸς τὸ Τ χωρίον, ἐναλλάξ ἐστιν ὡς τὸ Σ χωρίον πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΒΓΔ κύκλος πρὸς τὸ Τ χωρίον. μεῖζον δὲ τὸ Σ χωρίον τοῦ ΕΖΗΘ κύκλου· μείζων ἄρα καὶ ὁ ΑΒΓΔ κύκλος τοῦ Τ χωρίου. ὥστε ἐστὶν ὡς τὸ Σ χωρίον πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΖΗΘ κύκλος πρὸς ἔλαττόν τι τοῦ ΑΒΓΔ κύκλου χωρίον· ὅπερ ἔδει δεῖξαι.

πᾶσα πυραμὶς τρίγωνον ἔχουσα βάσιν διαιρεῖται εἰς δύο πυραμίδας ἴσας τε καὶ ὁμοίας ἀλλήλαις καὶ ὁμοίας τῇ ὅλῃ τριγώνους ἐχούσας βάσεις καὶ εἰς δύο πρίσματα ἴσα· καὶ τὰ δύο πρίσματα μείζονά ἐστιν ἢ τὸ ἥμισυ τῆς ὅλης πυραμίδος.

ἔστω πυραμίς, ἧς βάσις μέν ἐστι τὸ ΑΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον· λέγω, ὅτι ἡ ΑΒΓΔ πυραμὶς διαιρεῖται εἰς δύο πυραμίδας ἴσας ἀλλήλαις τριγώνους βάσεις ἐχούσας καὶ ὁμοίας τῇ ὅλῃ καὶ εἰς δύο πρίσματα ἴσα· καὶ τὰ δύο πρίσματα μείζονά ἐστιν ἢ τὸ ἥμισυ τῆς ὅλης πυραμίδος.

τετμήσθωσαν γὰρ αἱ ΑΒ, ΒΓ, ΓΑ, ΑΔ, ΔΒ, ΔΓ δίχα κατὰ τὰ Ε, Ζ, Η, Θ, Κ, Λ σημεῖα, καὶ ἐπεζεύχθωσαν αἱ ΘΕ, ΕΗ, ΗΘ, ΘΚ, ΚΛ, ΛΘ, ΚΖ, ΖΗ. ἐπεὶ ἴση ἐστὶν ἡ μὲν ΑΕ τῇ ΕΒ, ἡ δὲ ΑΘ τῇ ΔΘ, παράλληλος ἄρα ἐστὶν ἡ ΕΘ τῇ ΔΒ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΘΚ τῇ ΑΒ παράλληλός ἐστιν. παραλληλόγραμμον ἄρα ἐστὶ τὸ ΘΕ ΒΚ· ἴση ἄρα ἐστὶν ἡ ΘΚ τῇ ΕΒ. ἀλλὰ ἡ ΕΒ τῇ ΕΑ ἐστιν ἴση· καὶ ἡ ΑΕ ἄρα τῇ ΘΚ ἐστιν ἴση. ἔστι δὲ καὶ ἡ ΑΘ τῇ ΘΔ ἴση· δύο δὴ αἱ ΕΑ, ΑΘ δυσὶ ταῖς ΚΘ, ΘΔ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΕΑΘ γωνίᾳ τῇ ὑπὸ ΚΘΔ ἴση· βάσις ἄρα ἡ ΕΘ βάσει τῇ ΚΔ ἐστιν ἴση. ἴσον ἄρα καὶ ὅμοιόν ἐστι τὸ ΑΕΘ τρίγωνον τῷ ΘΚΔ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΑΘΗ τρίγωνον τῷ ΘΛΔ τριγώνῳ ἴσον τέ ἐστι καὶ ὅμοιον. καὶ ἐπεὶ δύο εὐθεῖαι ἁπτόμεναι ἀλλήλων αἱ ΕΘ, ΘΗ παρὰ δύο εὐθείας ἁπτομένας ἀλλήλων τὰς ΚΔ, ΔΛ εἰσιν οὐκ ἐν τῷ αὐτῷ ἐπιπέδῳ οὖσαι, ἴσας γωνίας περιέξουσιν. ἴση ἄρα ἐστὶν ἡ ὑπὸ ΕΘΗ γωνία τῇ ὑπὸ ΚΔΛ γωνίᾳ. καὶ ἐπεὶ δύο εὐθεῖαι αἱ ΕΘ, ΘΗ δυσὶ ταῖς ΚΔ, ΔΛ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ γωνία ἡ ὑπὸ ΕΘΗ γωνίᾳ τῇ ὑπὸ ΚΔΛ ἐστιν ἴση, βάσις ἄρα ἡ ΕΗ βάσει τῇ ΚΛ ἐστιν ἴση· ἴσον ἄρα καὶ ὅμοιόν ἐστι τὸ ΕΘΗ τρίγωνον τῷ ΚΔΛ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΑΕΗ τρίγωνον τῷ ΘΚΛ τριγώνῳ ἴσον τε καὶ ὅμοιόν ἐστιν. ἡ ἄρα πυραμίς, ἧς βάσις μέν ἐστι τὸ ΑΕΗ τρίγωνον, κορυφὴ δὲ τὸ Θ σημεῖον, ἴση καὶ ὁμοία ἐστὶ πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΘΚΛ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον. καὶ ἐπεὶ τριγώνου τοῦ ΑΔΒ παρὰ μίαν τῶν πλευρῶν τὴν ΑΒ ἦκται ἡ ΘΚ, ἰσογώνιόν ἐστι τὸ ΑΔΒ τρίγωνον τῷ ΔΘΚ τριγώνῳ, καὶ τὰς πλευρὰς ἀνάλογον ἔχουσιν· ὅμοιον ἄρα ἐστὶ τὸ ΑΔΒ τρίγωνον τῷ ΔΘΚ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ μὲν ΔΒΓ τρίγωνον τῷ ΔΚΛ τριγώνῳ ὅμοιόν ἐστιν, τὸ δὲ ΑΔΓ τῷ ΔΛΘ. καὶ ἐπεὶ δύο εὐθεῖαι ἁπτόμεναι ἀλλήλων αἱ ΒΑ, ΑΓ παρὰ δύο εὐθείας ἁπτομένας ἀλλήλων τὰς ΚΘ, ΘΛ εἰσιν οὐκ ἐν τῷ αὐτῷ ἐπιπέδῳ, ἴσας γωνίας περιέξουσιν. ἴση ἄρα ἐστὶν ἡ ὑπὸ ΒΑΓ γωνία τῇ ὑπὸ ΚΘΛ. καί ἐστιν ὡς ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΚΘ πρὸς τὴν ΘΛ· ὅμοιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΘΚΛ τριγώνῳ. καὶ πυραμὶς ἄρα, ἧς βάσις μέν ἐστι τὸ ΑΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, ὁμοία ἐστὶ πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΘΚΛ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον. ἀλλὰ πυραμίς, ἧς βάσις μὲν ἐστι τὸ ΘΚΛ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, ὁμοία ἐδείχθη πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΑΕΗ τρίγωνον, κορυφὴ δὲ τὸ Θ σημεῖον ὥστε καὶ πυραμίς, ἧς βάσις μὲν τὸ ΑΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, ὁμοία ἐστὶ πυραμίδι, ἧς βάσις μὲν τὸ ΑΕΗ τρίγωνον, κορυφὴ δὲ τὸ Θ σημεῖον. ἑκατέρα ἄρα τῶν ΑΕΗΘ, ΘΚΛΔ πυραμίδων ὁμοία ἐστὶ τῇ ὅλῃ τῇ ΑΒΓΔ πυραμίδι. ¯Καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΖ τῇ ΖΓ, διπλάσιόν ἐστι τὸ ΕΒΖΗ παραλληλόγραμμον τοῦ ΗΖΓ τριγώνου. καὶ ἐπεί, ἐὰν ᾖ δύο πρίσματα ἰσοϋψῆ, καὶ τὸ μὲν ἔχῃ βάσιν παραλληλόγραμμον, τὸ δὲ τρίγωνον, διπλάσιον δὲ ᾖ τὸ παραλληλόγραμμον τοῦ τριγώνου, ἴσα ἐστὶ τὰ πρίσματα, ἴσον ἄρα ἐστὶ τὸ πρίσμα τὸ περιεχόμενον ὑπὸ δύο μὲν τριγώνων τῶν ΒΚΖ, ΕΘΗ, τριῶν δὲ παραλληλογράμμων τῶν ΕΒΖΗ, ΕΒΚΘ, ΘΚΖΗ τῷ πρίσματι τῷ περιεχομένῳ ὑπὸ δύο μὲν τριγώνων τῶν ΗΖΓ, ΘΚΛ, τριῶν δὲ παραλληλογράμμων τῶν ΚΖΓΛ, ΛΓΗΘ, ΘΚΖΗ. καὶ φανερόν, ὅτι ἑκάτερον τῶν πρισμάτων, οὗ τε βάσις τὸ ΕΒΖΗ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΘΚ εὐθεῖα, καὶ οὗ βάσις τὸ ΗΖΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΘΚΛ τρίγωνον, μεῖζόν ἐστιν ἑκατέρας τῶν πυραμίδων, ὧν βάσεις μὲν τὰ ΑΕΗ, ΘΚΛ τρίγωνα, κορυφαὶ δὲ τὰ Θ, Δ σημεῖα, ἐπειδήπερ καὶ ἐὰν ἐπιζεύξωμεν τὰς ΕΖ, ΕΚ εὐθείας, τὸ μὲν πρίσμα, οὗ βάσις τὸ ΕΒΖΗ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΘΚ εὐθεῖα, μεῖζόν ἐστι τῆς πυραμίδος, ἧς βάσις τὸ ΕΒΖ τρίγωνον, κορυφὴ δὲ τὸ Κ σημεῖον. ἀλλʼ ἡ πυραμίς, ἧς βάσις τὸ ΕΒΖ τρίγωνον, κορυφὴ δὲ τὸ Κ σημεῖον, ἴση ἐστὶ πυραμίδι, ἧς βάσις τὸ ΑΕΗ τρίγωνον, κορυφὴ δὲ τὸ Θ σημεῖον· ὑπὸ γὰρ ἴσων καὶ ὁμοίων ἐπιπέδων περιέχονται. ὥστε καὶ τὸ πρίσμα, οὗ βάσις μὲν τὸ ΕΒΖΗ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΘΚ εὐθεῖα, μεῖζόν ἐστι πυραμίδος, ἧς βάσις μὲν τὸ ΑΕΗ τρίγωνον, κορυφὴ δὲ τὸ Θ σημεῖον. ἴσον δὲ τὸ μὲν πρίσμα, οὗ βάσις τὸ ΕΒΖΗ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΘΚ εὐθεῖα, τῷ πρίσματι, οὗ βάσις μὲν τὸ ΗΖΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΘΚΛ τρίγωνον· ἡ δὲ πυραμίς, ἧς βάσις τὸ ΑΕΗ τρίγωνον, κορυφὴ δὲ τὸ Θ σημεῖον, ἴση ἐστὶ πυραμίδι, ἧς βάσις τὸ ΘΚΛ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον. τὰ ἄρα εἰρημένα δύο πρίσματα μείζονά ἐστι τῶν εἰρημένων δύο πυραμίδων, ὧν βάσεις μὲν τὰ ΑΕΗ, ΘΚΛ τρίγωνα, κορυφαὶ δὲ τὰ Θ, Δ σημεῖα.

ἡ ἄρα ὅλη πυραμίς, ἧς βάσις τὸ ΑΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, διῄρηται εἴς τε δύο πυραμίδας ἴσας ἀλλήλαις καὶ ὁμοίας τῇ ὅλῃ καὶ εἰς δύο πρίσματα ἴσα, καὶ τὰ δύο πρίσματα μείζονά ἐστιν ἢ τὸ ἥμισυ τῆς ὅλης πυραμίδος· ὅπερ ἔδει δεῖξαι.

ἐὰν ὦσι δύο πυραμίδες ὑπὸ τὸ αὐτὸ ὕψος τριγώνους ἔχουσαι βάσεις, διαιρεθῇ δὲ ἑκατέρα αὐτῶν εἴς τε δύο πυραμίδας ἴσας ἀλλήλαις καὶ ὁμοίας τῇ ὅλῃ καὶ εἰς δύο πρίσματα ἴσα, ἔσται ὡς ἡ τῆς μιᾶς πυραμίδος βάσις πρὸς τὴν τῆς ἑτέρας πυραμίδος βάσιν, οὕτως τὰ ἐν τῇ μιᾷ πυραμίδι πρίσματα πάντα πρὸς τὰ ἐν τῇ ἑτέρᾳ πυραμίδι πρίσματα πάντα ἰσοπληθῆ.

ἔστωσαν δύο πυραμίδες ὑπὸ τὸ αὐτὸ ὕψος τριγώνους ἔχουσαι βάσεις τὰς ΑΒΓ, ΔΕΖ, κορυφὰς δὲ τὰ Η, Θ σημεῖα, καὶ διῃρήσθω ἑκατέρα αὐτῶν εἴς τε δύο πυραμίδας ἴσας ἀλλήλαις καὶ ὁμοίας τῇ ὅλῃ καὶ εἰς δύο πρίσματα ἴσα· λέγω, ὅτι ἐστὶν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὰ ἐν τῇ ΑΒΓΗ πυραμίδι πρίσματα πάντα πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι πρίσματα ἰσοπληθῆ.

ἐπεὶ γὰρ ἴση ἐστὶν ἡ μὲν ΒΞ τῇ ΞΓ, ἡ δὲ ΑΛ τῇ ΛΓ, παράλληλος ἄρα ἐστὶν ἡ ΛΞ τῇ ΑΒ καὶ ὅμοιον τὸ ΑΒΓ τρίγωνον τῷ ΛΞΓ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΔΕΖ τρίγωνον τῷ ΡΦΖ τριγώνῳ ὅμοιόν ἐστιν. καὶ ἐπεὶ διπλασίων ἐστὶν ἡ μὲν ΒΓ τῆς ΓΞ, ἡ δὲ ΕΖ τῆς ΖΦ, ἔστιν ἄρα ὡς ἡ ΒΓ πρὸς τὴν ΓΞ, οὕτως ἡ ΕΖ πρὸς τὴν ΖΦ. καὶ ἀναγέγραπται ἀπὸ μὲν τῶν ΒΓ, ΓΞ ὅμοιά τε καὶ ὁμοίως κείμενα εὐθύγραμμα τὰ ΑΒΓ, ΛΞΓ, ἀπὸ δὲ τῶν ΕΖ, ΖΦ ὅμοιά τε καὶ ὁμοίως κείμενα εὐθύγραμμα τὰ ΔΕΖ, ΡΦΖ. ἔστιν ἄρα ὡς τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΛΞΓ τρίγωνον, οὕτως τὸ ΔΕΖ τρίγωνον πρὸς τὸ ΡΦΖ τρίγωνον· ἐναλλὰξ ἄρα ἐστὶν ὡς τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον, οὕτως τὸ ΛΞΓ τρίγωνον πρὸς τὸ ΡΦΖ τρίγωνον. ἀλλʼ ὡς τὸ ΛΞΓ τρίγωνον πρὸς τὸ ΡΦΖ τρίγωνον, οὕτως τὸ πρίσμα, οὗ βάσις μὲν ἐστι τὸ ΛΞΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΟΜΝ, πρὸς τὸ πρίσμα, οὗ βάσις μὲν τὸ ΡΦΖ τρίγωνον, ἀπεναντίον δὲ τὸ ΣΤΥ· καὶ ὡς ἄρα τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον, οὕτως τὸ πρίσμα, οὗ βάσις μὲν τὸ ΛΞΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΟΜΝ, πρὸς τὸ πρίσμα, οὗ βάσις μὲν τὸ ΡΦΖ τρίγωνον, ἀπεναντίον δὲ τὸ ΣΤΥ. ὡς δὲ τὰ εἰρημένα πρίσματα πρὸς ἄλληλα, οὕτως τὸ πρίσμα, οὗ βάσις μὲν τὸ ΚΒΞΛ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΟΜ εὐθεῖα, πρὸς τὸ πρίσμα, οὗ βάσις μὲν τὸ ΠΕΦΡ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΣΤ εὐθεῖα. καὶ τὰ δύο ἄρα πρίσματα, οὗ τε βάσις μὲν τὸ ΚΒΞΛ παραλληλόγραμμον, ἀπεναντίον δὲ ἡ ΟΜ, καὶ οὗ βάσις μὲν τὸ ΛΞΓ, ἀπεναντίον δὲ τὸ ΟΜΝ, πρὸς τὰ πρίσματα, οὗ τε βάσις μὲν τὸ ΠΕΦΡ, ἀπεναντίον δὲ ἡ ΣΤ εὐθεῖα, καὶ οὗ βάσις μὲν τὸ ΡΦΖ τρίγωνον, ἀπεναντίον δὲ τὸ ΣΤΥ. καὶ ὡς ἄρα ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὰ εἰρημένα δύο πρίσματα πρὸς τὰ εἰρημένα δύο πρίσματα.

καὶ ὁμοίως, ἐὰν διαιρεθῶσιν αἱ ΟΜΝΗ, ΣΤΥΘ πυραμίδες εἴς τε δύο πρίσματα καὶ δύο πυραμίδας, ἔσται ὡς ἡ ΟΜΝ βάσις πρὸς τὴν ΣΤΥ βάσιν, οὕτως τὰ ἐν τῇ ΟΜ ΝΗ πυραμίδι δύο πρίσματα πρὸς τὰ ἐν τῇ ΣΤΥΘ πυραμίδι δύο πρίσματα. ἀλλʼ ὡς ἡ ΟΜΝ βάσις πρὸς τὴν ΣΤΥ βάσιν, οὕτως ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν· ἴσον γὰρ ἑκάτερον τῶν ΟΜΝ, ΣΤΥ τριγώνων ἑκατέρῳ τῶν ΛΞΓ, ΡΦΖ. καὶ ὡς ἄρα ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὰ τέσσαρα πρίσματα πρὸς τὰ τέσσαρα πρίσματα. ὁμοίως δὲ κἂν τὰς ὑπολειπομένας πυραμίδας διέλωμεν εἴς τε δύο πυραμίδας καὶ εἰς δύο πρίσματα, ἔσται ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὰ ἐν τῇ ΑΒ ΓΗ πυραμίδι πρίσματα πάντα πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι πρίσματα πάντα ἰσοπληθῆ· ὅπερ ἔδει δεῖξαι.

λῆμμα

ὅτι δέ ἐστιν ὡς τὸ ΛΞΓ τρίγωνον πρὸς τὸ ΡΦΖ τρίγωνον, οὕτως τὸ πρίσμα, οὗ βάσις τὸ ΛΞΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΟΜΝ, πρὸς τὸ πρίσμα, οὗ βάσις μὲν τὸ ΡΦΖ τρίγωνον, ἀπεναντίον δὲ τὸ ΣΤΥ, οὕτω δεικτέον.

ἐπὶ γὰρ τῆς αὐτῆς καταγραφῆς νενοήσθωσαν ἀπὸ τῶν Η, Θ κάθετοι ἐπὶ τὰ ΑΒΓ, ΔΕΖ ἐπίπεδα, ἴσαι δηλαδὴ τυγχάνουσαι διὰ τὸ ἰσοϋψεῖς ὑποκεῖσθαι τὰς πυραμίδας. καὶ ἐπεὶ δύο εὐθεῖαι ἥ τε ΗΓ καὶ ἡ ἀπὸ τοῦ Η κάθετος ὑπὸ παραλλήλων ἐπιπέδων τῶν ΑΒΓ, ΟΜΝ τέμνονται, εἰς τοὺς αὐτοὺς λόγους τμηθήσονται. καὶ τέτμηται ἡ ΗΓ δίχα ὑπὸ τοῦ ΟΜΝ ἐπιπέδου κατὰ τὸ Ν· καὶ ἡ ἀπὸ τοῦ Η ἄρα κάθετος ἐπὶ τὸ ΑΒΓ ἐπίπεδον δίχα τμηθήσεται ὑπὸ τοῦ ΟΜΝ ἐπιπέδου. διὰ τὰ αὐτὰ δὴ καὶ ἡ ἀπὸ τοῦ Θ κάθετος ἐπὶ τὸ ΔΕΖ ἐπίπεδον δίχα τμηθήσεται ὑπὸ τοῦ ΣΤΥ ἐπιπέδου. καί εἰσιν ἴσαι αἱ ἀπὸ τῶν Η, Θ κάθετοι ἐπὶ τὰ ΑΒΓ, ΔΕΖ ἐπίπεδα· ἴσαι ἄρα καὶ αἱ ἀπὸ τῶν ΟΜΝ, ΣΤΥ τριγώνων ἐπὶ τὰ ΑΒΓ, ΔΕΖ κάθετοι. ἰσοϋψῆ ἄρα ἐστὶ τὰ πρίσματα, ὧν βάσεις μέν εἰσι τὰ ΛΞΓ, ΡΦΖ τρίγωνα, ἀπεναντίον δὲ τὰ ΟΜΝ, ΣΤΥ. ὥστε καὶ τὰ στερεὰ παραλληλεπίπεδα τὰ ἀπὸ τῶν εἰρημένων πρισμάτων ἀναγραφόμενα ἰσοϋψῆ καὶ πρὸς ἄλληλα εἰσὶν ὡς αἱ βάσεις· καὶ τὰ ἡμίση ἄρα ἐστὶν ὡς ἡ ΛΞΓ βάσις πρὸς τὴν ΡΦΖ βάσιν, οὕτως τὰ εἰρημένα πρίσματα πρὸς ἄλληλα· ὅπερ ἔδει δεῖξαι.

αἱ ὑπὸ τὸ αὐτὸ ὕψος οὖσαι πυραμίδες καὶ τριγώνους ἔχουσαι βάσεις πρὸς ἀλλήλας εἰσὶν ὡς αἱ βάσεις.

ἔστωσαν ὑπὸ τὸ αὐτὸ ὕψος πυραμίδες, ὧν βάσεις μὲν τὰ ΑΒΓ, ΔΕΖ τρίγωνα, κορυφαὶ δὲ τὰ Η, Θ σημεῖα· λέγω, ὅτι ἐστὶν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς τὴν ΔΕΖΘ πυραμίδα.

εἰ γὰρ μή ἐστιν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς τὴν ΔΕΖΘ πυραμίδα, ἔσται ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς ἤτοι πρὸς ἔλασσόν τι τῆς ΔΕΖΘ πυραμίδος στερεὸν ἢ πρὸς μεῖζον. ἔστω πρότερον πρὸς ἔλασσον τὸ Χ, καὶ διῃρήσθω ἡ ΔΕΖΘ πυραμὶς εἴς τε δύο πυραμίδας ἴσας ἀλλήλαις καὶ ὁμοίας τῇ ὅλῃ καὶ εἰς δύο πρίσματα ἴσα· τὰ δὴ δύο πρίσματα μείζονά ἐστιν ἢ τὸ ἥμισυ τῆς ὅλης πυραμίδος. καὶ πάλιν αἱ ἐκ τῆς διαιρέσεως γινόμεναι πυραμίδες ὁμοίως διῃρήσθωσαν, καὶ τοῦτο ἀεὶ γινέσθω, ἕως οὗ λειφθῶσί τινες πυραμίδες ἀπὸ τῆς ΔΕΖΘ πυραμίδος, αἵ εἰσιν ἐλάττονες τῆς ὑπεροχῆς, ᾗ ὑπερέχει ἡ ΔΕ ΖΘ πυραμὶς τοῦ Χ στερεοῦ. λελείφθωσαν καὶ ἔστωσαν λόγου ἕνεκεν αἱ ΔΠΡΣ, ΣΤΥΘ· λοιπὰ ἄρα τὰ ἐν τῇ ΔΕ ΖΘ πυραμίδι πρίσματα μείζονά ἐστι τοῦ Χ στερεοῦ. διῃρήσθω καὶ ἡ ΑΒΓΗ πυραμὶς ὁμοίως καὶ ἰσοπληθῶς τῇ ΔΕΖΘ πυραμίδι· ἔστιν ἄρα ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὰ ἐν τῇ ΑΒΓΗ πυραμίδι πρίσματα πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι πρίσματα. ἀλλὰ καὶ ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς τὸ Χ στερεόν· καὶ ὡς ἄρα ἡ ΑΒΓΗ πυραμὶς πρὸς τὸ Χ στερεόν, οὕτως τὰ ἐν τῇ ΑΒΓΗ πυραμίδι πρίσματα πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι πρίσματα· ἐναλλὰξ ἄρα ὡς ἡ ΑΒΓΗ πυραμὶς πρὸς τὰ ἐν αὐτῇ πρίσματα, οὕτως τὸ Χ στερεὸν πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι πρίσματα. μείζων δὲ ἡ ΑΒΓΗ πυραμὶς τῶν ἐν αὐτῇ πρισμάτων· μεῖζον ἄρα καὶ τὸ Χ στερεὸν τῶν ἐν τῇ ΔΕΖΘ πυραμίδι πρισμάτων. ἀλλὰ καὶ ἔλαττον· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἐστὶν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς ἔλασσόν τι τῆς ΔΕΖΘ πυραμίδος στερεόν. ὁμοίως δὴ δειχθήσεται, ὅτι οὐδὲ ὡς ἡ ΔΕΖ βάσις πρὸς τὴν ΑΒΓ βάσιν, οὕτως ἡ ΔΕΖΘ πυραμὶς πρὸς ἔλαττόν τι τῆς ΑΒΓΗ πυραμίδος στερεόν.

λέγω δή, ὅτι οὐκ ἔστιν οὐδὲ ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς μεῖζόν τι τῆς ΔΕΖΘ πυραμίδος στερεόν.

εἰ γὰρ δυνατόν, ἔστω πρὸς μεῖζον τὸ Χ· ἀνάπαλιν ἄρα ἐστὶν ὡς ἡ ΔΕΖ βάσις πρὸς τὴν ΑΒΓ βάσιν, οὕτως τὸ Χ στερεὸν πρὸς τὴν ΑΒΓΗ πυραμίδα. ὡς δὲ τὸ Χ στερεὸν πρὸς τὴν ΑΒΓΗ πυραμίδα, οὕτως ἡ ΔΕΖΘ πυραμὶς πρὸς ἔλασσόν τι τῆς ΑΒΓΗ πυραμίδος, ὡς ἔμπροσθεν ἐδείχθη· καὶ ὡς ἄρα ἡ ΔΕΖ βάσις πρὸς τὴν ΑΒΓ βάσιν, οὕτως ἡ ΔΕΖΘ πυραμὶς πρὸς ἔλασσόν τι τῆς ΑΒΓΗ πυραμίδος· ὅπερ ἄτοπον ἐδείχθη. οὐκ ἄρα ἐστὶν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς μεῖζόν τι τῆς ΔΕΖΘ πυραμίδος στερεόν. ἐδείχθη δέ, ὅτι οὐδὲ πρὸς ἔλασσον. ἔστιν ἄρα ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς τὴν ΔΕΖΘ πυραμίδα· ὅπερ ἔδει δεῖξαι.

αἱ ὑπὸ τὸ αὐτὸ ὕψος οὖσαι πυραμίδες καὶ πολυγώνους ἔχουσαι βάσεις πρὸς ἀλλήλας εἰσὶν ὡς αἱ βάσεις.

ἔστωσαν ὑπὸ τὸ αὐτὸ ὕψος πυραμίδες, ὧν αἱ βάσεις μὲν τὰ ΑΒΓΔΕ, ΖΗΘΚΛ πολύγωνα, κορυφαὶ δὲ τὰ Μ, ν σημεῖα· λέγω, ὅτι ἐστὶν ὡς ἡ ΑΒΓΔΕ βάσις πρὸς τὴν ΖΗΘΚΛ βάσιν, οὕτως ἡ ΑΒΓΔΕΜ πυραμὶς πρὸς τὴν ΖΗΘΚΛΝ πυραμίδα.

ἐπεζεύχθωσαν γὰρ αἱ ΑΓ, ΑΔ, ΖΘ, ΖΚ. ἐπεὶ οὖν δύο πυραμίδες εἰσὶν αἱ ΑΒΓΜ, ΑΓΔΜ τριγώνους ἔχουσαι βάσεις καὶ ὕψος ἴσον, πρὸς ἀλλήλας εἰσὶν ὡς αἱ βάσεις· ἔστιν ἄρα ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΑΓΔ βάσιν, οὕτως ἡ ΑΒΓΜ πυραμὶς πρὸς τὴν ΑΓΔΜ πυραμίδα. καὶ συνθέντι ὡς ἡ ΑΒΓΔ βάσις πρὸς τὴν ΑΓΔ βάσιν, οὕτως ἡ ΑΒΓΔΜ πυραμὶς πρὸς τὴν ΑΓΔΜ πυραμίδα. ἀλλὰ καὶ ὡς ἡ ΑΓΔ βάσις πρὸς τὴν ΑΔΕ βάσιν, οὕτως ἡ ΑΓΔΜ πυραμὶς πρὸς τὴν ΑΔΕΜ πυραμίδα. διʼ ἴσου ἄρα ὡς ἡ ΑΒΓΔ βάσις πρὸς τὴν ΑΔΕ βάσιν, οὕτως ἡ ΑΒΓΔΜ πυραμὶς πρὸς τὴν ΑΔΕΜ πυραμίδα. καὶ συνθέντι πάλιν, ὡς ἡ ΑΒΓΔΕ βάσις πρὸς τὴν ΑΔΕ βάσιν, οὕτως ἡ ΑΒΓΔΕΜ πυραμὶς πρὸς τὴν ΑΔΕΜ πυραμίδα. ὁμοίως δὴ δειχθήσεται, ὅτι καὶ ὡς ἡ ΖΗΘΚΛ βάσις πρὸς τὴν ΖΗΘ βάσιν, οὕτως καὶ ἡ ΖΗΘΚΛΝ πυραμὶς πρὸς τὴν ΖΗΘΝ πυραμίδα. καὶ ἐπεὶ δύο πυραμίδες εἰσὶν αἱ ΑΔ ΕΜ, ΖΗΘΝ τριγώνους ἔχουσαι βάσεις καὶ ὕψος ἴσον, ἔστιν ἄρα ὡς ἡ ΑΔΕ βάσις πρὸς τὴν ΖΗΘ βάσιν, οὕτως ἡ ΑΔΕΜ πυραμὶς πρὸς τὴν ΖΗΘΝ πυραμίδα. ἀλλʼ ὡς ἡ ΑΔΕ βάσις πρὸς τὴν ΑΒΓΔΕ βάσιν, οὕτως ἦν ἡ ΑΔ ΕΜ πυραμὶς πρὸς τὴν ΑΒΓΔΕΜ πυραμίδα. καὶ διʼ ἴσου ἄρα ὡς ἡ ΑΒΓΔΕ βάσις πρὸς τὴν ΖΗΘ βάσιν, οὕτως ἡ ΑΒΓΔΕΜ πυραμὶς πρὸς τὴν ΖΗΘΝ πυραμίδα. ἀλλὰ μὴν καὶ ὡς ἡ ΖΗΘ βάσις πρὸς τὴν ΖΗΘΚΛ βάσιν, οὕτως ἦν καὶ ἡ ΖΗΘΝ πυραμὶς πρὸς τὴν ΖΗΘΚΛΝ πυραμίδα. καὶ διʼ ἴσου ἄρα ὡς ἡ ΑΒΓΔΕ βάσις πρὸς τὴν ΖΗΘΚΛ βάσιν, οὕτως ἡ ΑΒΓΔΕΜ πυραμὶς πρὸς τὴν ΖΗΘΚΛΝ πυραμίδα· ὅπερ ἔδει δεῖξαι.

πᾶν πρίσμα τρίγωνον ἔχον βάσιν διαιρεῖται εἰς τρεῖς πυραμίδας ἴσας ἀλλήλαις τριγώνους βάσεις ἐχούσας.

ἔστω πρίσμα, οὗ βάσις μὲν τὸ ΑΒΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΔΕΖ· λέγω, ὅτι τὸ ΑΒΓΔΕΖ πρίσμα διαιρεῖται εἰς τρεῖς πυραμίδας ἴσας ἀλλήλαις τριγώνους ἐχούσας βάσεις.

ἐπεζεύχθωσαν γὰρ αἱ ΒΔ, ΕΓ, ΓΔ. ἐπεὶ παραλληλόγραμμόν ἐστι τὸ ΑΒΕΔ, διάμετρος δὲ αὐτοῦ ἐστιν ἡ ΒΔ, ἴσον ἄρα ἐστὶ τὸ ΑΒΔ τρίγωνον τῷ ΕΒΔ τριγώνῳ· καὶ ἡ πυραμὶς ἄρα, ἧς βάσις μὲν τὸ ΑΒΔ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον, ἴση ἐστὶ πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΔΕΒ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον. ἀλλὰ ἡ πυραμίς, ἧς βάσις μέν ἐστι τὸ ΔΕΒ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον, ἡ αὐτή ἐστι πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΕΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον· ὑπὸ γὰρ τῶν αὐτῶν ἐπιπέδων περιέχεται. καὶ πυραμὶς ἄρα, ἧς βάσις μέν ἐστι τὸ ΑΒΔ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον, ἴση ἐστὶ πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΕΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον. πάλιν, ἐπεὶ παραλληλόγραμμόν ἐστι τὸ ΖΓΒΕ, διάμετρος δέ ἐστιν αὐτοῦ ἡ ΓΕ, ἴσον ἐστὶ τὸ ΓΕΖ τρίγωνον τῷ ΓΒΕ τριγώνῳ. καὶ πυραμὶς ἄρα, ἧς βάσις μέν ἐστι τὸ ΒΓΕ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, ἴση ἐστὶ πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΕΓΖ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον. ἡ δὲ πυραμίς, ἧς βάσις μέν ἐστι τὸ ΒΓΕ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, ἴση ἐδείχθη πυραμίδι, ἧς βάσις μέν ἐστι τὸ ΑΒΔ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον· καὶ πυραμὶς ἄρα, ἧς βάσις μέν ἐστι τὸ ΓΕΖ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, ἴση ἐστὶ πυραμίδι, ἧς βάσις μὲν ἐστι τὸ ΑΒΔ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον· διῄρηται ἄρα τὸ ΑΒΓΔΕΖ πρίσμα εἰς τρεῖς πυραμίδας ἴσας ἀλλήλαις τριγώνους ἐχούσας βάσεις.

καὶ ἐπεὶ πυραμίς, ἧς βάσις μέν ἐστι τὸ ΑΒΔ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον, ἡ αὐτή ἐστι πυραμίδι, ἧς βάσις τὸ ΓΑΒ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον· ὑπὸ γὰρ τῶν αὐτῶν ἐπιπέδων περιέχονται· ἡ δὲ πυραμίς, ἧς βάσις τὸ ΑΒΔ τρίγωνον, κορυφὴ δὲ τὸ Γ σημεῖον, τρίτον ἐδείχθη τοῦ πρίσματος, οὗ βάσις τὸ ΑΒΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΔΕΖ, καὶ ἡ πυραμὶς ἄρα, ἧς βάσις τὸ ΑΒΓ τρίγωνον, κορυφὴ δὲ τὸ Δ σημεῖον, τρίτον ἐστὶ τοῦ πρίσματος τοῦ ἔχοντος βάσιν τὴν αὐτὴν τὸ ΑΒΓ τρίγωνον, ἀπεναντίον δὲ τὸ ΔΕΖ.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι πᾶσα πυραμὶς τρίτον μέρος ἐστὶ τοῦ πρίσματος τοῦ τὴν αὐτὴν βάσιν ἔχοντος αὐτῇ καὶ ὕψος ἴσον ἐπειδήπερ κἂν ἕτερόν τι σχῆμα εὐθύγραμμον ἔχῃ ἡ βάσις τοῦ πρίσματος, τοιοῦτο καὶ τὸ ἀπεναντίον, καὶ διαιρεῖται εἰς πρίσματα τρίγωνα ἔχοντα τὰς βάσεις καὶ τὰ ἀπεναντίον, καὶ ὡς ἡ ὅλη βάσις πρὸς ἕκαστον· ὅπερ ἔδει δεῖξαι.

αἱ ὅμοιαι πυραμίδες καὶ τριγώνους ἔχουσαι βάσεις ἐν τριπλασίονι λόγῳ εἰσὶ τῶν ὁμολόγων πλευρῶν.

ἔστωσαν ὅμοιαι καὶ ὁμοίως κείμεναι πυραμίδες, ὧν βάσεις μέν εἰσι τὰ ΑΒΓ, ΔΕΖ τρίγωνα, κορυφαὶ δὲ τὰ Η, θ σημεῖα· λέγω, ὅτι ἡ ΑΒΓΗ πυραμὶς πρὸς τὴν ΔΕΖΘ πυραμίδα τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ.

συμπεπληρώσθω γὰρ τὰ ΒΗΜΛ, ΕΘΠΟ στερεὰ παραλληλεπίπεδα. καὶ ἐπεὶ ὁμοία ἐστὶν ἡ ΑΒΓΗ πυραμὶς τῇ ΔΕΖΘ πυραμίδι, ἴση ἄρα ἐστὶν ἡ μὲν ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ γωνίᾳ, ἡ δὲ ὑπὸ ΗΒΓ τῇ ὑπὸ ΘΕΖ, ἡ δὲ ὑπὸ ΑΒΗ τῇ ὑπὸ ΔΕΘ, καί ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΔΕ, οὕτως ἡ ΒΓ πρὸς τὴν ΕΖ, καὶ ἡ ΒΗ πρὸς τὴν ΕΘ. καὶ ἐπεί ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΔΕ, οὕτως ἡ ΒΓ πρὸς τὴν ΕΖ, καὶ περὶ ἴσας γωνίας αἱ πλευραὶ ἀνάλογόν εἰσιν, ὅμοιον ἄρα ἐστὶ τὸ ΒΜ παραλληλόγραμμον τῷ ΕΠ παραλληλογράμμῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ μὲν ΒΝ τῷ ΕΡ ὅμοιόν ἐστι, τὸ δὲ ΒΚ τῷ ΕΞ· τὰ τρία ἄρα τὰ ΜΒ, ΒΚ, ΒΝ τρισὶ τοῖς ΕΠ, ΕΞ, ΕΡ ὅμοιά ἐστιν. ἀλλὰ τὰ μὲν τρία τὰ ΜΒ, ΒΚ, ΒΝ τρισὶ τοῖς ἀπεναντίον ἴσα τε καὶ ὅμοιά ἐστιν, τὰ δὲ τρία τὰ ΕΠ, ΕΞ, ΕΡ τρισὶ τοῖς ἀπεναντίον ἴσα τε καὶ ὅμοιά ἐστιν. τὰ ΒΗΜΛ, ΕΘΠΟ ἄρα στερεὰ ὑπὸ ὁμοίων ἐπιπέδων ἴσων τὸ πλῆθος περιέχεται. ὅμοιον ἄρα ἐστὶ τὸ ΒΗΜΛ στερεὸν τῷ ΕΘΠΟ στερεῷ. τὰ δὲ ὅμοια στερεὰ παραλληλεπίπεδα ἐν τριπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν. τὸ ΒΗΜΛ ἄρα στερεὸν πρὸς τὸ ΕΘΠΟ στερεὸν τριπλασίονα λόγον ἔχει ἤπερ ἡ ὁμόλογος πλευρὰ ἡ ΒΓ πρὸς τὴν ὁμόλογον πλευρὰν τὴν ΕΖ. ὡς δὲ τὸ ΒΗΜΛ στερεὸν πρὸς τὸ ΕΘΠΟ στερεόν, οὕτως ἡ ΑΒΓΗ πυραμὶς πρὸς τὴν ΔΕΖΘ πυραμίδα, ἐπειδήπερ ἡ πυραμὶς ἕκτον μέρος ἐστὶ τοῦ στερεοῦ διὰ τὸ καὶ τὸ πρίσμα ἥμισυ ὂν τοῦ στερεοῦ παραλληλεπιπέδου τριπλάσιον εἶναι τῆς πυραμίδος. καὶ ἡ ΑΒΓΗ ἄρα πυραμὶς πρὸς τὴν ΔΕΖΘ πυραμίδα τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ· ὅπερ ἔδει δεῖξαι.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι καὶ αἱ πολυγώνους ἔχουσαι βάσεις ὅμοιαι πυραμίδες πρὸς ἀλλήλας ἐν τριπλασίονι λόγῳ εἰσὶ τῶν ὁμολόγων πλευρῶν. διαιρεθεισῶν γὰρ αὐτῶν εἰς τὰς ἐν αὐταῖς πυραμίδας τριγώνους βάσεις ἐχούσας τῷ καὶ τὰ ὅμοια πολύγωνα τῶν βάσεων εἰς ὅμοια τρίγωνα διαιρεῖσθαι καὶ ἴσα τῷ πλήθει καὶ ὁμόλογα τοῖς ὅλοις ἔσται ὡς ἡ ἐν τῇ ἑτέρᾳ μία πυραμὶς τρίγωνον ἔχουσα βάσιν πρὸς τὴν ἐν τῇ ἑτέρᾳ μίαν πυραμίδα τρίγωνον ἔχουσαν βάσιν, οὕτως καὶ ἅπασαι αἱ ἐν τῇ ἑτέρᾳ πυραμίδι πυραμίδες τριγώνους ἔχουσαι βάσεις πρὸς τὰς ἐν τῇ ἑτέρᾳ πυραμίδι πυραμίδας τριγώνους βάσεις ἐχούσας, τουτέστιν αὐτὴ ἡ πολύγωνον βάσιν ἔχουσα πυραμὶς πρὸς τὴν πολύγωνον βάσιν ἔχουσαν πυραμίδα. ἡ δὲ τρίγωνον βάσιν ἔχουσα πυραμὶς πρὸς τὴν τρίγωνον βάσιν ἔχουσαν ἐν τριπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν· καὶ ἡ πολύγωνον ἄρα βάσιν ἔχουσα πρὸς τὴν ὁμοίαν βάσιν ἔχουσαν τριπλασίονα λόγον ἔχει ἤπερ ἡ πλευρὰ πρὸς τὴν πλευράν.

τῶν ἴσων πυραμίδων καὶ τριγώνους βάσεις ἐχουσῶν ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν· καὶ ὧν πυραμίδων τριγώνους βάσεις ἐχουσῶν ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν, ἴσαι εἰσὶν ἐκεῖναι.

ἔστωσαν γὰρ ἴσαι πυραμίδες τριγώνους βάσεις ἔχουσαι τὰς ΑΒΓ, ΔΕΖ, κορυφὰς δὲ τὰ Η, Θ σημεῖα· λέγω, ὅτι τῶν ΑΒΓΗ, ΔΕΖΘ πυραμίδων ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν, καί ἐστιν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὸ τῆς ΔΕΖΘ πυραμίδος ὕψος πρὸς τὸ τῆς ΑΒΓΗ πυραμίδος ὕψος.

συμπεπληρώσθω γὰρ τὰ ΒΗΜΛ, ΕΘΠΟ στερεὰ παραλληλεπίπεδα. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒΓΗ πυραμὶς τῇ ΔΕΖΘ πυραμίδι, καί ἐστι τῆς μὲν ΑΒΓΗ πυραμίδος ἑξαπλάσιον τὸ ΒΗ ΜΛ στερεόν, τῆς δὲ ΔΕΖΘ πυραμίδος ἑξαπλάσιον τὸ ΕΘΠΟ στερεόν, ἴσον ἄρα ἐστὶ τὸ ΒΗΜΛ στερεὸν τῷ ΕΘΠΟ στερεῷ. τῶν δὲ ἴσων στερεῶν παραλληλεπιπέδων ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν· ἔστιν ἄρα ὡς ἡ ΒΜ βάσις πρὸς τὴν ΕΠ βάσιν, οὕτως τὸ τοῦ ΕΘΠΟ στερεοῦ ὕψος πρὸς τὸ τοῦ ΒΗΜΛ στερεοῦ ὕψος. ἀλλʼ ὡς ἡ ΒΜ βάσις πρὸς τὴν ΕΠ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον. καὶ ὡς ἄρα τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον, οὕτως τὸ τοῦ ΕΘΠΟ στερεοῦ ὕψος πρὸς τὸ τοῦ ΒΗΜΛ στερεοῦ ὕψος. ἀλλὰ τὸ μὲν τοῦ ΕΘΠΟ στερεοῦ ὕψος τὸ αὐτό ἐστι τῷ τῆς ΔΕΖΘ πυραμίδος ὕψει, τὸ δὲ τοῦ ΒΗΜΛ στερεοῦ ὕψος τὸ αὐτό ἐστι τῷ τῆς ΑΒΓΗ πυραμίδος ὕψει· ἔστιν ἄρα ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὸ τῆς ΔΕΖΘ πυραμίδος ὕψος πρὸς τὸ τῆς ΑΒΓΗ πυραμίδος ὕψος. τῶν ΑΒΓΗ, ΔΕΖΘ ἄρα πυραμίδων ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν.

ἀλλὰ δὴ τῶν ΑΒΓΗ, ΔΕΖΘ πυραμίδων ἀντιπεπονθέτωσαν αἱ βάσεις τοῖς ὕψεσιν, καὶ ἔστω ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὸ τῆς ΔΕΖΘ πυραμίδος ὕψος πρὸς τὸ τῆς ΑΒΓΗ πυραμίδος ὕψος· λέγω, ὅτι ἴση ἐστὶν ἡ ΑΒΓΗ πυραμὶς τῇ ΔΕΖΘ πυραμίδι.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεί ἐστιν ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὸ τῆς ΔΕΖΘ πυραμίδος ὕψος πρὸς τὸ τῆς ΑΒΓΗ πυραμίδος ὕψος, ἀλλʼ ὡς ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως τὸ ΒΜ παραλληλόγραμμον πρὸς τὸ ΕΠ παραλληλόγραμμον, καὶ ὡς ἄρα τὸ ΒΜ παραλληλόγραμμον πρὸς τὸ ΕΠ παραλληλόγραμμον, οὕτως τὸ τῆς ΔΕΖΘ πυραμίδος ὕψος πρὸς τὸ τῆς ΑΒΓΗ πυραμίδος ὕψος. ἀλλὰ τὸ μὲν τῆς ΔΕΖΘ πυραμίδος ὕψος τὸ αὐτό ἐστι τῷ τοῦ ΕΘΠΟ παραλληλεπιπέδου ὕψει, τὸ δὲ τῆς ΑΒΓΗ πυραμίδος ὕψος τὸ αὐτό ἐστι τῷ τοῦ ΒΗΜΛ παραλληλεπιπέδου ὕψει· ἔστιν ἄρα ὡς ἡ ΒΜ βάσις πρὸς τὴν ΕΠ βάσιν, οὕτως τὸ τοῦ ΕΘΠΟ παραλληλεπιπέδου ὕψος πρὸς τὸ τοῦ ΒΗΜΛ παραλληλεπιπέδου ὕψος. ὧν δὲ στερεῶν παραλληλεπιπέδων ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν, ἴσα ἐστὶν ἐκεῖνα· ἴσον ἄρα ἐστὶ τὸ ΒΗΜΛ στερεὸν παραλληλεπίπεδον τῷ ΕΘ ΠΟ στερεῷ παραλληλεπιπέδῳ. καί ἐστι τοῦ μὲν ΒΗΜΛ ἕκτον μέρος ἡ ΑΒΓΗ πυραμίς, τοῦ δὲ ΕΘΠΟ παραλληλεπιπέδου ἕκτον μέρος ἡ ΔΕΖΘ πυραμίς· ἴση ἄρα ἡ ΑΒΓΗ πυραμὶς τῇ ΔΕΖΘ πυραμίδι.

τῶν ἄρα ἴσων πυραμίδων καὶ τριγώνους βάσεις ἐχουσῶν ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν· καὶ ὧν πυραμίδων τριγώνους βάσεις ἐχουσῶν ἀντιπεπόνθασιν αἱ βάσεις τοῖς ὕψεσιν, ἴσαι εἰσὶν ἐκεῖναι· ὅπερ ἔδει δεῖξαι.

πᾶς κῶνος κυλίνδρου τρίτον μέρος ἐστὶ τοῦ τὴν αὐτὴν βάσιν ἔχοντος αὐτῷ καὶ ὕψος ἴσον.

ἐχέτω γὰρ κῶνος κυλίνδρῳ βάσιν τε τὴν αὐτὴν τὸν ΑΒΓΔ κύκλον καὶ ὕψος ἴσον· λέγω, ὅτι ὁ κῶνος τοῦ κυλίνδρου τρίτον ἐστὶ μέρος, τουτέστιν ὅτι ὁ κύλινδρος τοῦ κώνου τριπλασίων ἐστίν.

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

λέγω δή, ὅτι οὐδὲ ἐλάττων ἐστὶν ἢ τριπλάσιος ὁ κύλινδρος τοῦ κώνου.

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

πᾶς ἄρα κῶνος κυλίνδρου τρίτον μέρος ἐστὶ τοῦ τὴν αὐτὴν βάσιν ἔχοντος αὐτῷ καὶ ὕψος ἴσον· ὅπερ ἔδει δεῖξαι.

οἱ ὑπὸ τὸ αὐτὸ ὕψος ὄντες κῶνοι καὶ κύλινδροι πρὸς ἀλλήλους εἰσὶν ὡς αἱ βάσεις.

ἔστωσαν ὑπὸ τὸ αὐτὸ ὕψος κῶνοι καὶ κύλινδροι, ὧν βάσεις μὲν εἰσιν οἱ ΑΒΓΔ, ΕΖΗΘ κύκλοι, ἄξονες δὲ οἱ ΚΛ, ΜΝ, διάμετροι δὲ τῶν βάσεων αἱ ΑΓ, ΕΗ· λέγω, ὅτι ἐστὶν ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος πρὸς τὸν ΕΝ κῶνον.

εἰ γὰρ μή, ἔσται ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος ἤτοι πρὸς ἔλασσόν τι τοῦ ΕΝ κώνου στερεὸν ἢ πρὸς μεῖζον. ἔστω πρότερον πρὸς ἔλασσον τὸ Ξ, καὶ ᾧ ἔλασσόν ἐστι τὸ Ξ στερεὸν τοῦ ΕΝ κώνου, ἐκείνῳ ἴσον ἔστω τὸ Ψ στερεόν· ὁ ΕΝ κῶνος ἄρα ἴσος ἐστὶ τοῖς Ξ, Ψ στερεοῖς. ἐγγεγράφθω εἰς τὸν ΕΖΗΘ κύκλον τετράγωνον τὸ ΕΖΗΘ· τὸ ἄρα τετράγωνον μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ κύκλου. ἀνεστάτω ἀπὸ τοῦ ΕΖ ΗΘ τετραγώνου πυραμὶς ἰσοϋψὴς τῷ κώνῳ· ἡ ἄρα ἀνασταθεῖσα πυραμὶς μείζων ἐστὶν ἢ τὸ ἥμισυ τοῦ κώνου, ἐπειδήπερ ἐὰν περιγράψωμεν περὶ τὸν κύκλον τετράγωνον, καὶ ἀπʼ αὐτοῦ ἀναστήσωμεν πυραμίδα ἰσοϋψῆ τῷ κώνῳ, ἡ ἐγγραφεῖσα πυραμὶς ἥμισύ ἐστι τῆς περιγραφείσης· πρὸς ἀλλήλας γάρ εἰσιν ὡς αἱ βάσεις· ἐλάττων δὲ ὁ κῶνος τῆς περιγραφείσης πυραμίδος. τετμήσθωσαν αἱ ΕΖ, ΖΗ, ΗΘ, ΘΕ περιφέρειαι δίχα κατὰ τὰ Ο, Π, Ρ, Σ σημεῖα, καὶ ἐπεζεύχθωσαν αἱ ΘΟ, ΟΕ, ΕΠ, ΠΖ, ΖΡ, ΡΗ, ΗΣ, ΣΘ. ἕκαστον ἄρα τῶν ΘΟΕ, ΕΠΖ, ΖΡΗ, ΗΣΘ τριγώνων μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ καθʼ ἑαυτὸ τμήματος τοῦ κύκλου. ἀνεστάτω ἐφʼ ἑκάστου τῶν ΘΟΕ, ΕΠΖ, ΖΡΗ, ΗΣΘ τριγώνων πυραμὶς ἰσοϋψὴς τῷ κώνῳ· καὶ ἑκάστη ἄρα τῶν ἀνασταθεισῶν πυραμίδων μείζων ἐστὶν ἢ τὸ ἥμισυ τοῦ καθʼ ἑαυτὴν τμήματος τοῦ κώνου. τέμνοντες δὴ τὰς ὑπολειπομένας περιφερείας δίχα καὶ ἐπιζευγνύντες εὐθείας καὶ ἀνιστάντες ἐπὶ ἑκάστου τῶν τριγώνων πυραμίδας ἰσοϋψεῖς τῷ κώνῳ καὶ ἀεὶ τοῦτο ποιοῦντες καταλείψομέν τινα ἀποτμήματα τοῦ κώνου, ἃ ἔσται ἐλάσσονα τοῦ Ψ στερεοῦ. λελείφθω, καὶ ἔστω τὰ ἐπὶ τῶν ΘΟΕ, ΕΠΖ, ΖΡΗ, ΗΣΘ· λοιπὴ ἄρα ἡ πυραμίς, ἧς βάσις τὸ ΘΟΕΠΖΡΗΣ πολύγωνον, ὕψος δὲ τὸ αὐτὸ τῷ κώνῳ, μείζων ἐστὶ τοῦ Ξ στερεοῦ. ἐγγεγράφθω καὶ εἰς τὸν ΑΒΓΔ κύκλον τῷ ΘΟΕΠΖΡΗΣ πολυγώνῳ ὅμοιόν τε καὶ ὁμοίως κείμενον πολύγωνον τὸ ΔΤΑΥΒ ΦΓΧ, καὶ ἀνεστάτω ἐπʼ αὐτοῦ πυραμὶς ἰσοϋψὴς τῷ ΑΛ κώνῳ. ἐπεὶ οὖν ἐστιν ὡς τὸ ἀπὸ τῆς ΑΓ πρὸς τὸ ἀπὸ τῆς ΕΗ, οὕτως τὸ ΔΤΑΥΒΦΓΧ πολύγωνον πρὸς τὸ ΘΟΕ ΠΖΡΗΣ πολύγωνον, ὡς δὲ τὸ ἀπὸ τῆς ΑΓ πρὸς τὸ ἀπὸ τῆς ΕΗ, οὕτως ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, καὶ ὡς ἄρα ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως τὸ ΔΤΑΥΒΦΓΧ πολύγωνον πρὸς τὸ ΘΟΕΠΖΡΗΣ πολύγωνον. ὡς δὲ ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος πρὸς τὸ Ξ στερεόν, ὡς δὲ τὸ ΔΤΑΥΒΦΓΧ πολύγωνον πρὸς τὸ ΘΟΕΠΖ ΡΗΣ πολύγωνον, οὕτως ἡ πυραμίς, ἧς βάσις μὲν τὸ ΔΤΑΥΒΦΓΧ πολύγωνον, κορυφὴ δὲ τὸ Λ σημεῖον, πρὸς τὴν πυραμίδα, ἧς βάσις μὲν τὸ ΘΟΕΠΖΡΗΣ πολύγωνον, κορυφὴ δὲ τὸ Ν σημεῖον. καὶ ὡς ἄρα ὁ ΑΛ κῶνος πρὸς τὸ Ξ στερεόν, οὕτως ἡ πυραμίς, ἧς βάσις μὲν τὸ ΔΤΑΥΒΦΓΧ πολύγωνον, κορυφὴ δὲ τὸ Λ σημεῖον, πρὸς τὴν πυραμίδα, ἧς βάσις μὲν τὸ ΘΟΕΠΖΡΗΣ πολύγωνον, κορυφὴ δὲ τὸ Ν σημεῖον· ἐναλλὰξ ἄρα ἐστὶν ὡς ὁ ΑΛ κῶνος πρὸς τὴν ἐν αὐτῷ πυραμίδα, οὕτως τὸ Ξ στερεὸν πρὸς τὴν ἐν τῷ ΕΝ κώνῳ πυραμίδα. μείζων δὲ ὁ ΑΛ κῶνος τῆς ἐν αὐτῷ πυραμίδος· μεῖζον ἄρα καὶ τὸ Ξ στερεὸν τῆς ἐν τῷ ΕΝ κώνῳ πυραμίδος. ἀλλὰ καὶ ἔλασσον· ὅπερ ἄτοπον. οὐκ ἄρα ἐστὶν ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος πρὸς ἔλασσόν τι τοῦ ΕΝ κώνου στερεόν. ὁμοίως δὴ δείξομεν, ὅτι οὐδέ ἐστιν ὡς ὁ ΕΖΗΘ κύκλος πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΝ κῶνος πρὸς ἔλασσόν τι τοῦ ΑΛ κώνου στερεόν.

λέγω δή, ὅτι οὐδέ ἐστιν ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος πρὸς μεῖζόν τι τοῦ ΕΝ κώνου στερεόν.

εἰ γὰρ δυνατόν, ἔστω πρὸς μεῖζον τὸ Ξ· ἀνάπαλιν ἄρα ἐστὶν ὡς ὁ ΕΖΗΘ κύκλος πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως τὸ Ξ στερεὸν πρὸς τὸν ΑΛ κῶνον. ἀλλʼ ὡς τὸ Ξ στερεὸν πρὸς τὸν ΑΛ κῶνον, οὕτως ὁ ΕΝ κῶνος πρὸς ἔλασσόν τι τοῦ ΑΛ κώνου στερεόν· καὶ ὡς ἄρα ὁ ΕΖΗΘ κύκλος πρὸς τὸν ΑΒΓΔ κύκλον, οὕτως ὁ ΕΝ κῶνος πρὸς ἔλασσόν τι τοῦ ΑΛ κώνου στερεόν· ὅπερ ἀδύνατον ἐδείχθη. οὐκ ἄρα ἐστὶν ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος πρὸς μεῖζόν τι τοῦ ΕΝ κώνου στερεόν. ἐδείχθη δέ, ὅτι οὐδὲ πρὸς ἔλασσον· ἔστιν ἄρα ὡς ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως ὁ ΑΛ κῶνος πρὸς τὸν ΕΝ κῶνον.

ἀλλʼ ὡς ὁ κῶνος πρὸς τὸν κῶνον, ὁ κύλινδρος πρὸς τὸν κύλινδρον· τριπλασίων γὰρ ἑκάτερος ἑκατέρου. καὶ ὡς ἄρα ὁ ΑΒΓΔ κύκλος πρὸς τὸν ΕΖΗΘ κύκλον, οὕτως οἱ ἐπʼ αὐτῶν ἰσοϋψεῖς τοῖς κώνοις κύλινδροι.

οἱ ἄρα ὑπὸ τὸ αὐτὸ ὕψος ὄντες κῶνοι καὶ κύλινδροι πρὸς ἀλλήλους εἰσὶν ὡς αἱ βάσεις· ὅπερ ἔδει δεῖξαι.

οἱ ὅμοιοι κῶνοι καὶ κύλινδροι πρὸς ἀλλήλους ἐν τριπλασίονι λόγῳ εἰσὶ τῶν ἐν ταῖς βάσεσι διαμέτρων.

ἔστωσαν ὅμοιοι κῶνοι καὶ κύλινδροι, ὧν βάσεις μὲν οἱ ΑΒΓΔ, ΕΖΗΘ κύκλοι, διάμετροι δὲ τῶν βάσεων αἱ ΒΔ, ΖΘ, ἄξονες δὲ τῶν κώνων καὶ κυλίνδρων οἱ ΚΛ, ΜΝ· λέγω, ὅτι ὁ κῶνος, οὗ βάσις μὲν ἐστιν ὁ ΑΒΓΔ κύκλος, κορυφὴ δὲ τὸ Λ σημεῖον, πρὸς τὸν κῶνον, οὗ βάσις μὲν ἐστιν ὁ ΕΖΗΘ κύκλος, κορυφὴ δὲ τὸ Ν σημεῖον, τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ.

εἰ γὰρ μὴ ἔχει ὁ ΑΒΓΔΛ κῶνος πρὸς τὸν ΕΖΗΘΝ κῶνον τριπλασίονα λόγον ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ, ἕξει ὁ ΑΒΓΔΛ κῶνος ἢ πρὸς ἔλασσόν τι τοῦ ΕΖΗΘΝ κώνου στερεὸν τριπλασίονα λόγον ἢ πρὸς μεῖζον. ἐχέτω πρότερον πρὸς ἔλασσον τὸ Ξ, καὶ ἐγγεγράφθω εἰς τὸν ΕΖΗΘ κύκλον τετράγωνον τὸ ΕΖΗΘ· τὸ ἄρα ΕΖΗΘ τετράγωνον μεῖζόν ἐστιν ἢ τὸ ἥμισυ τοῦ ΕΖΗΘ κύκλου. καὶ ἀνεστάτω ἐπὶ τοῦ ΕΖΗΘ τετραγώνου πυραμὶς τὴν αὐτὴν κορυφὴν ἔχουσα τῷ κώνῳ· ἡ ἄρα ἀνασταθεῖσα πυραμὶς μείζων ἐστὶν ἢ τὸ ἥμισυ μέρος τοῦ κώνου. τετμήσθωσαν δὴ αἱ ΕΖ, ΖΗ, ΗΘ, ΘΕ περιφέρειαι δίχα κατὰ τὰ Ο, Π, Ρ, Σ σημεῖα, καὶ ἐπεζεύχθωσαν αἱ ΕΟ, ΟΖ, ΖΠ, ΠΗ, ΗΡ, ΡΘ, ΘΣ, ΣΕ. καὶ ἕκαστον ἄρα τῶν ΕΟΖ, ΖΠΗ, ΗΡΘ, ΘΣΕ τριγώνων μεῖζόν ἐστιν ἢ τὸ ἥμισυ μέρος τοῦ καθʼ ἑαυτὸ τμήματος τοῦ ΕΖΗΘ κύκλου. καὶ ἀνεστάτω ἐφʼ ἑκάστου τῶν ΕΟΖ, ΖΠΗ, ΗΡΘ, ΘΣΕ τριγώνων πυραμὶς τὴν αὐτὴν κορυφὴν ἔχουσα τῷ κώνῳ· καὶ ἑκάστη ἄρα τῶν ἀνασταθεισῶν πυραμίδων μείζων ἐστὶν ἢ τὸ ἥμισυ μέρος τοῦ καθʼ ἑαυτὴν τμήματος τοῦ κώνου. τέμνοντες δὴ τὰς ὑπολειπομένας περιφερείας δίχα καὶ ἐπιζευγνύντες εὐθείας καὶ ἀνιστάντες ἐφʼ ἑκάστου τῶν τριγώνων πυραμίδας τὴν αὐτὴν κορυφὴν ἐχούσας τῷ κώνῳ καὶ τοῦτο ἀεὶ ποιοῦντες καταλείψομέν τινα ἀποτμήματα τοῦ κώνου, ἃ ἔσται ἐλάσσονα τῆς ὑπεροχῆς, ᾗ ὑπερέχει ὁ ΕΖΗΘΝ κῶνος τοῦ Ξ στερεοῦ. λελείφθω, καὶ ἔστω τὰ ἐπὶ τῶν ΕΟ, ΟΖ, ΖΠ, ΠΗ, ΗΡ, ΡΘ, ΘΣ, ΣΕ· λοιπὴ ἄρα ἡ πυραμίς, ἧς βάσις μέν ἐστι τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν σημεῖον, μείζων ἐστὶ τοῦ Ξ στερεοῦ. ἐγγεγράφθω καὶ εἰς τὸν ΑΒΓΔ κύκλον τῷ ΕΟΖΠΗΡΘΣ πολυγώνῳ ὅμοιόν τε καὶ ὁμοίως κείμενον πολύγωνον τὸ ΑΤΒΥΓΦΔΧ, καὶ ἀνεστάτω ἐπὶ τοῦ ΑΤΒΥΓΦΔΧ πολυγώνου πυραμὶς τὴν αὐτὴν κορυφὴν ἔχουσα τῷ κώνῳ, καὶ τῶν μὲν περιεχόντων τὴν πυραμίδα, ἧς βάσις μέν ἐστι τὸ ΑΤΒΥ ΓΦΔΧ πολύγωνον, κορυφὴ δὲ τὸ Λ σημεῖον, ἓν τρίγωνον ἔστω τὸ ΛΒΤ, τῶν δὲ περιεχόντων τὴν πυραμίδα, ἧς βάσις μέν ἐστι τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν σημεῖον, ἓν τρίγωνον ἔστω τὸ ΝΖΟ, καὶ ἐπεζεύχθωσαν αἱ ΚΤ, ΜΟ. καὶ ἐπεὶ ὅμοιός ἐστιν ὁ ΑΒΓΔΛ κῶνος τῷ ΕΖΗΘΝ κώνῳ, ἔστιν ἄρα ὡς ἡ ΒΔ πρὸς τὴν ΖΘ, οὕτως ὁ ΚΛ ἄξων πρὸς τὸν ΜΝ ἄξονα. ὡς δὲ ἡ ΒΔ πρὸς τὴν ΖΘ, οὕτως ἡ ΒΚ πρὸς τὴν ΖΜ· καὶ ὡς ἄρα ἡ ΒΚ πρὸς τὴν ΖΜ, οὕτως ἡ ΚΛ πρὸς τὴν ΜΝ. καὶ ἐναλλὰξ ὡς ἡ ΒΚ πρὸς τὴν ΚΛ, οὕτως ἡ ΖΜ πρὸς τὴν ΜΝ. καὶ περὶ ἴσας γωνίας τὰς ὑπὸ ΒΚΛ, ΖΜΝ αἱ πλευραὶ ἀνάλογόν εἰσιν· ὅμοιον ἄρα ἐστὶ τὸ ΒΚΛ τρίγωνον τῷ ΖΜΝ τριγώνῳ. πάλιν, ἐπεί ἐστιν ὡς ἡ ΒΚ πρὸς τὴν ΚΤ, οὕτως ἡ ΖΜ πρὸς τὴν ΜΟ, καὶ περὶ ἴσας γωνίας τὰς ὑπὸ ΒΚΤ, ΖΜΟ, ἐπειδήπερ, ὃ μέρος ἐστὶν ἡ ὑπὸ ΒΚΤ γωνία τῶν πρὸς τῷ Κ κέντρῳ τεσσάρων ὀρθῶν, τὸ αὐτὸ μέρος ἐστὶ καὶ ἡ ὑπὸ ΖΜΟ γωνία τῶν πρὸς τῷ Μ κέντρῳ τεσσάρων ὀρθῶν· ἐπεὶ οὖν περὶ ἴσας γωνίας αἱ πλευραὶ ἀνάλογόν εἰσιν, ὅμοιον ἄρα ἐστὶ τὸ ΒΚΤ τρίγωνον τῷ ΖΜΟ τριγώνῳ. πάλιν, ἐπεὶ ἐδείχθη ὡς ἡ ΒΚ πρὸς τὴν ΚΛ, οὕτως ἡ ΖΜ πρὸς τὴν ΜΝ, ἴση δὲ ἡ μὲν ΒΚ τῇ ΚΤ, ἡ δὲ ΖΜ τῇ ΟΜ, ἔστιν ἄρα ὡς ἡ ΤΚ πρὸς τὴν ΚΛ, οὕτως ἡ ΟΜ πρὸς τὴν ΜΝ. καὶ περὶ ἴσας γωνίας τὰς ὑπὸ ΤΚΛ, ΟΜΝ· ὀρθαὶ γάρ· αἱ πλευραὶ ἀνάλογόν εἰσιν· ὅμοιον ἄρα ἐστὶ τὸ ΛΚΤ τρίγωνον τῷ ΝΜΟ τριγώνῳ. καὶ ἐπεὶ διὰ τὴν ὁμοιότητα τῶν ΛΚΒ, ΝΜΖ τριγώνων ἐστὶν ὡς ἡ ΛΒ πρὸς τὴν ΒΚ, οὕτως ἡ ΝΖ πρὸς τὴν ΖΜ, διὰ δὲ τὴν ὁμοιότητα τῶν ΒΚΤ, ΖΜΟ τριγώνων ἐστὶν ὡς ἡ ΚΒ πρὸς τὴν ΒΤ, οὕτως ἡ ΜΖ πρὸς τὴν ΖΟ, διʼ ἴσου ἄρα ὡς ἡ ΛΒ πρὸς τὴν ΒΤ, οὕτως ἡ ΝΖ πρὸς τὴν ΖΟ. πάλιν, ἐπεὶ διὰ τὴν ὁμοιότητα τῶν ΛΤΚ, ΝΟΜ τριγώνων ἐστὶν ὡς ἡ ΛΤ πρὸς τὴν ΤΚ, οὕτως ἡ ΝΟ πρὸς τὴν ΟΜ, διὰ δὲ τὴν ὁμοιότητα τῶν ΤΚΒ, ΟΜΖ τριγώνων ἐστὶν ὡς ἡ ΚΤ πρὸς τὴν ΤΒ, οὕτως ἡ ΜΟ πρὸς τὴν ΟΖ, διʼ ἴσου ἄρα ὡς ἡ ΛΤ πρὸς τὴν ΤΒ, οὕτως ἡ ΝΟ πρὸς τὴν ΟΖ. ἐδείχθη δὲ καὶ ὡς ἡ ΤΒ πρὸς τὴν ΒΛ, οὕτως ἡ ΟΖ πρὸς τὴν ΖΝ. διʼ ἴσου ἄρα ὡς ἡ ΤΛ πρὸς τὴν ΛΒ, οὕτως ἡ ΟΝ πρὸς τὴν ΝΖ. τῶν ΛΤΒ, ΝΟΖ ἄρα τριγώνων ἀνάλογόν εἰσιν αἱ πλευραί· ἰσογώνια ἄρα ἐστὶ τὰ ΛΤΒ, ΝΟΖ τρίγωνα· ὥστε καὶ ὅμοια. καὶ…

λέγω…