archimedes.de-sphaera-et-cylindro 2.8
Ἐὰν σφαῖρα ἐπιπέδῳ τμηθῇ μὴ διὰ τοῦ κέντρου , τὸ μεῖζον τμῆμα πρὸς τὸ ἔλασσον ἐλάσσονα μὲν λόγον ἔχει ἢ διπλάσιον τοῦ ὃν ἔχει ἡ τοῦ μείζονος τμήματος ἐπιφάνεια πρὸς τὴν τοῦ ἐλάσσονος ἐπιφάνειαν , μείζονα δὲ ἢ ἡμιόλιον . Ἔστω σφαῖρα καὶ ἐν αὐτῇ μέγιστος κύκλος ὁ ΑΒΓ△ καὶ διάμετρος ἡ Β△ , καὶ τετμήσθω ἐπιπέδῳ διὰ τῆς ΑΓ ὀρθῷ πρὸς τὸν ΑΒΓ△ κύκλον , καὶ ἔστω μεῖζον τμῆμα τῆς σφαίρας τὸ ΑΒΓ · λέγω ὅτι τὸ ΑΒΓ τμῆμα πρὸς τὸ Α△Γ ἐλάσσονα μὲν ἢ διπλασίονα λόγον ἔχει ἤπερ ἡ ἐπιφάνεια τοῦ μείζονος τμήματος πρὸς τὴν ἐπιφάνειαν τοῦ ἐλάσσονος τμήματος , μείζονα δὲ ἢ ἡμιόλιον . Ἐπεζεύχθωσαν γὰρ αἱ ΒΑ△ , καὶ ἔστω κέντρον τὸ Ε , καὶ πεποιήσθω , ὡς μὲν συναμφότερος ἡ Ε△Ζ πρὸς △Ζ , ἡ ΘΖ πρὸς ΖΒ , ὡς δὲ συναμφότερος ἡ ΕΒΖ πρὸς ΒΖ , οὕτως ἡ ΗΖ πρὸς Ζ△ , καὶ νοείσθωσαν κῶνοι βάσιν ἔχοντες τὸν περὶ διάμετρον τὴν ΑΓ κύκλον , κορυφὰς δὲ τὰ Θ , Η σημεῖα · ἔσται δὴ ἴσος ὁ μὲν ΑΘΓ κῶνος τῷ ΑΒΓ τμήματι τῆς σφαίρας , ὁ δὲ ΑΓΗ τῷ Α△Γ , καί ἐστιν , ὡς τὸ ἀπὸ ΒΑ πρὸς τὸ ἀπὸ Α△ , οὕτως ἡ ἐπιφάνεια τοῦ ΑΒΓ τμήματος πρὸς τὴν ἐπιφάνειαν τοῦ Α△Γ τμήματος · τοῦτο γὰρ προγέγραπται . Λέγω ὅτι καὶ ὁ ΑΘΓ κῶνος πρὸς τὸν ΑΗΓ , τουτέστιν ἡ ΖΘ πρὸς ΖΗ , ἐλάσσονα λόγον ἔχει ἢ διπλάσιον τοῦ ὃν ἔχει τὸ ἀπὸ ΒΑ πρὸς τὸ ἀπὸ Α△ , τουτέστιν ἡ ΒΖ πρὸς Ζ△ . Καὶ ἐπεί ἐστιν , ὡς συναμφότερος ἡ Ε△Ζ πρὸς △Ζ , οὕτως ἡ ΘΖ πρὸς ΖΒ , ἔσται καί , ὡς ἡ ΒΖ πρὸς Ζ△ , ἡ ΘΒ πρὸς ΒΕ · ἴση γὰρ ἡ ΒΕ τῇ △Ε , Πάλιν , ἐπεί ἐστιν , ὡς συναμφότερος ἡ ΕΒΖ πρὸς ΒΖ , ἡ ΗΖ πρὸς Ζ△ , ἔστω τῇ ΒΕ ἴση ἡ ΒΚ · δῆλον γὰρ ὅτι μείζων ἐστὶν ἡ ΘΒ τῆς ΒΕ , ἐπεὶ καὶ ΒΖ τῆς Ζ△ · καὶ ἔσται , ὡς ἡ ΚΖ πρὸς ΖΒ , ἡ ΗΖ πρὸς Ζ△ . Ὡς δὲ ἡ ΖΒ πρὸς Ζ△ , ἐδείχθη ἡ ΘΒ πρὸς ΒΕ , ἴση δὲ ἡ ΒΕ τῇ ΚΒ · ὡς ἄρα ἡ ΘΒ πρὸς ΒΚ , οὕτως ἡ ΚΖ πρὸς ΖΗ . Καὶ ἐπεὶ ἡ ΘΖ πρὸς ΖΚ ἐλάσσονα λόγον ἔχει ἤπερ ἡ ΘΒ πρὸς ΒΚ , ὡς δὲ ἡ ΘΒ πρὸς ΒΚ , ἐδείχθη ἡ ΚΖ πρὸς ΖΗ , ἡ ΘΖ ἄρα πρὸς ΖΚ ἐλάσσονα λόγον ἔχει ἤπερ ἡ ΚΖ πρὸς ΖΗ · ἔλασσον ἄρα τὸ ὑπὸ τῶν ΘΖΗ τοῦ ἀπὸ ΖΚ . Τὸ ἄρα ὑπὸ τῶν ΘΖΗ πρὸς τὸ ἀπὸ ΖΗ ἐλάσσονα λόγον ἔχει τοῦ ὃν ἔχει τὸ ἀπὸ τῆς ΚΖ πρὸς τὸ ἀπὸ ΖΗ · ἡ ἄρα ΘΖ πρὸς ΖΗ ἐλάσσονα λόγον ἔχει ἢ διπλασίονα τοῦ ὃν ἔχει ἡ ΚΖ πρὸς ΖΗ · τοῦτο δὲ ἐζητοῦμεν . Καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΕ τῇ Ε△ , ἔλασσον ἄρα τὸ ὑπὸ τῶν ΒΖ△ τοῦ ὑπὸ τῶν ΒΕ△ · ἡ ΖΒ ἄρα πρὸς ΒΕ ἐλάσσονα λόγον ἔχει ἤπερ ἡ Ε△ πρὸς △Ζ , τουτέστιν ἡ ΘΒ πρὸς ΒΖ · ἔλασσον ἄρα τὸ ἀπὸ ΖΒ τοῦ ὑπὸ τῶν ΘΒΕ , τουτέστι τοῦ ὑπὸ τῶν ΘΒΚ . Ἔστω ἴσον τὸ ἀπὸ ΒΝ τῷ ὑπὸ ΘΒΚ · ἔστιν ἄρα , ὡς ἡ ΘΒ πρὸς ΒΚ , τὸ ἀπὸ ΘΝ πρὸς τὸ ἀπὸ ΝΚ . Τὸ δὲ ἀπὸ ΘΖ πρὸς τὸ ἀπὸ ΖΚ μείζονα λόγον ἔχει ἢ τὸ ἀπὸ ΘΝ πρὸς τὸ ἀπὸ ΝΚ · ἡ ἄρα ΘΖ πρὸς ΖΗ μείζονα λόγον ἔχει ἢ ἡμιόλιον τοῦ τῆς ΚΖ πρὸς ΖΗ . Καί ἐστιν , ὡς μὲν ἡ ΘΖ πρὸς ΖΗ , ὁ ΑΘΓ κῶνος πρὸς τὸν ΑΗΓ κῶνον , τουτέστι τὸ ΑΒΓ τμῆμα πρὸς τὸ Α△Γ τμῆμα , ὡς δὲ ἡ ΚΖ πρὸς ΖΗ , ἡ ΒΖ πρὸς Ζ△ , τουτέστιν τὸ ἀπὸ ΒΑ πρὸς τὸ ἀπὸ Α△ , τουτέστιν ἡ ἐπιφάνεια τοῦ ΑΒΓ τμήματος πρὸς τὴν ἐπιφάνειαν τοῦ Α△Γ τμήματος · ὥστε τὸ μεῖζον τμῆμα πρὸς τὸ ἔλασσον ἐλάσσονα μὲν ἢ διπλασίονα λόγον ἔχει τοῦ ὃν ἔχει ἡ ἐπιφάνεια τοῦ μείζονος τμήματος πρὸς τὴν ἐπιφάνειαν τοῦ ἐλάσσονος τμήματος , μείζονα δὲ ἢ ἡμιόλιον . ΑΛΛΩΣ . Ἔστω σφαῖρα , ἐν ᾗ μέγιστος κύκλος ὁ ΑΒΓ△ , διάμετρος δὲ ἡ ΑΓ , κέντρον δὲ τὸ Ε , καὶ τετμήσθω ἐπιπέδῳ ὀρθῷ διὰ τῆς Β△ πρὸς τὴν ΑΓ · λέγω ὅτι τὸ μεῖζον τμῆμα τὸ △ΑΒ πρὸς τὸ ἔλασσον τὸ ΒΓ△ ἐλάσσονα ἢ διπλάσιον λόγον ἔχει τοῦ ὃν ἔχει ἡ ἐπιφάνεια τοῦ ΑΒ△ τμήματος πρὸς τὴν ἐπιφάνειαν τοῦ ΒΓ△ τμήματος , μείζονα δὲ ἢ ἡμιόλιον . Ἐπεζεύχθωσαν γὰρ αἱ ΑΒ , ΒΓ · ὁ δὲ τῆς ἐπιφανείας πρὸς τὴν ἐπιφάνειαν λόγος ὁ τοῦ κύκλου ἐστίν , οὗ ἡ ἐκ τοῦ κέντρου ἡ ΑΒ , πρὸς τὸν κύκλον , οὗ ἡ ἐκ τοῦ κέντρου ἡ ΒΓ , τουτέστιν ὁ τῆς ΑΘ πρὸς τὴν ΘΓ . Κείσθω τῇ ἐκ τοῦ κέντρου τοῦ κύκλου ἴση ἑκατέρα τῶν ΑΖ , ΓΗ . Ὁ δὴ τοῦ ΒΑ△ τμήματος πρὸς τὸ ΒΓ△ λόγος συνῆπται ἐκ τοῦ ὃν ἔχει τὸ ΒΑ△ τμῆμα πρὸς τὸν κῶνον , οὗ βάσις μέν ἐστιν ὁ περὶ διάμετρον τὴν Β△ κύκλος , κορυφὴ δὲ τὸ Α σημεῖον , καὶ ὁ αὐτὸς κῶνος πρὸς τὸν κῶνον τὸν βάσιν μὲν ἔχοντα τὴν αὐτήν , κορυφὴν δὲ τὸ Γ σημεῖον , καὶ ὁ εἰρημένος κῶνος πρὸς τὸ ΒΓ△ τμῆμα . Ἀλλʼ ὁ μὲν τοῦ ΒΑ△ τμήματος λόγος πρὸς τὸν ΒΑ△ κῶνον ὁ τῆς ΗΘ ἐστὶ πρὸς ΘΓ , ὁ δὲ τοῦ κώνου πρὸς τὸν κῶνον ὁ τῆς ΑΘ πρὸς ΘΓ , ὁ δὲ τοῦ ΒΓ△ κώνου πρὸς τὸ τμῆμα τὸ ΒΓ△ ὁ τῆς ΑΘ ἐστὶ πρὸς ΘΖ · ὁ δὲ συνημμένος ἐκ τοῦ τῆς ΗΘ πρὸς ΘΓ καὶ τῆς ΑΘ πρὸς ΘΓ ὁ τοῦ ὑπὸ τῶν ΗΘΑ ἐστὶ πρὸς τὸ ἀπὸ ΘΓ , ὁ δὲ τοῦ ὑπὸ ΗΘ , ΘΑ πρὸς τὸ ἀπὸ ΘΓ μετὰ τοῦ τῆς ΑΘ πρὸς ΘΖ ὁ τοῦ ὑπὸ τῶν ΗΘ , ΘΑ ἐστὶν ἐπὶ τὴν ΘΑ πρὸς τὸ ἀπὸ ΘΓ ἐπὶ τὴν ΘΖ , ὁ δὲ τοῦ ὑπὸ τῶν ΗΘΑ ἐπὶ τὴν ΘΑ ὁ τοῦ ἀπὸ τῆς ΘΑ ἐστὶ ἐπὶ τὴν ΘΗ · ὅτι ἄρα τὸ ἀπὸ ΘΑ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα λόγον ἔχει τοῦ τῆς ΑΘ πρὸς ΘΓ διπλασίου δὲ τῆς ΑΘ πρὸς ΘΓ διπλασίων ἐστὶν ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ . Τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΗΘ πρὸς τὸ ἀπὸ ΘΓ ἐπὶ τὴν ΘΖ ἐλάσσονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΗΘ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ . Ὅτι ἄρα μεῖζόν ἐστι τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΖΘ τοῦ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ . Ὅτι ἄρα μείζων ἐστὶν ἡ ΘΖ τῆς ΘΗ . Φημὶ δὴ ὅτι καὶ τὸ μεῖζον τμῆμα πρὸς τὸ ἔλασσον μείζονα λόγον ἔχει ἢ ἡμιόλιον τοῦ τῆς ἐπιφανείας λόγου . Ἀλλʼ ὁ μὲν τῶν τμημάτων ἐδείχθη ὁ αὐτὸς τῷ ὃν ἔχει τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΘΓ ἐπὶ τὴν ΘΖ , τοῦ δὲ τῆς ἐπιφανείας λόγου ἡμιόλιός ἐστιν ὁ τοῦ ἀπὸ ΑΒ κύβου πρὸς τὸν ἀπὸ ΒΓ κύβον · φημὶ δὴ ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει ἤπερ ὁ ἀπὸ τῆς ΑΘ κύβος πρὸς τὸν ἀπὸ ΘΒ κύβον , τουτέστιν ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΒΘ καὶ ὁ τῆς ΑΘ πρὸς ΘΒ . Ὁ δὲ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ προσλαβὼν τὸν τῆς ΑΘ πρὸς ΘΒ ὁ τοῦ ἀπὸ ΑΘ ἐστὶν πρὸς τὸ ὑπὸ τῶν ΓΘΒ · ὁ δὲ τοῦ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ τῶν ΒΘΓ ὁ τοῦ ἀπὸ ΑΘ ἐστὶν ἐπὶ τὴν ΘΗ πρὸς τὸ ὑπὸ τῶν ΒΘΓ ἐπὶ τὴν ΘΗ · φημὶ δὴ ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ὑπὸ ΒΘΓ ἐπὶ τὴν ΘΗ . Δεικτέον οὖν ὅτι τὸ ἀπὸ ΘΓ ἐπὶ τὴν ΘΖ ἔλασσόν ἐστι τοῦ ὑπὸ τῶν ΒΘΓ ἐπὶ τὴν ΗΘ · ὃ ταὐτόν ἐστι τῷ δεῖξαι ὅτι τὸ ἀπὸ ΓΘ πρὸς τὸ ὐπὸ ΒΘΓ ἐλάσσονα λόγον ἔχει ἤπερ ἡ ΗΘ πρὸς ΘΖ . Ἤχθω ἀπὸ τοῦ Ε τῇ ΕΓ πρὸς ὀρθὰς ἡ ΕΚ καὶ ἀπὸ τοῦ Β κάθετος ἐπʼ αὐτὴν ἡ ΒΛ · ἐπίλοιπον ἡμῖν δεῖξαι δεῖ ὅτι ἡ ΗΘ πρὸς ΘΖ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ . Ἴση δέ ἐστιν ἡ ΘΖ συναμφοτέρῳ τῇ ΑΘ , ΚΕ · δεῖξαι ἄρα δεῖ ὅτι ἡ ΗΘ πρὸς συναμφότερον τὴν ΘΑ , ΚΕ · μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ · καὶ ἀφαιρεθείσης ἄρα ἀπὸ τῆς ΘΗ τῆς ΓΘ , ἀπὸ δὲ τῆς ΚΕ τῆς ΕΛ ἴσης τῇ ΒΘ , δεήσει δειχθῆναι ὅτι λοιπὴ ἡ ΓΗ πρὸς λοιπὴν συναμφότερον τὴν ΑΘ , ΚΛ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ , τουτέστιν ἡ ΘΒ πρὸς ΘΑ , τουτέστιν ἡ ΛΕ πρὸς ΘΑ , καὶ ἐναλλάξ , ὅτι ἡ ΚΕ πρὸς ΕΛ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΚΛ , ΘΑ πρὸς ΘΑ , καὶ διελόντι ἡ ΚΛ πρὸς ΛΕ μείζονα λόγον ἔχει ἤπερ ἡ ΚΛ πρὸς ΘΑ . Ὅτι ἐλάσσων ἐστὶν ἡ ΛΕ τῆς ΘΑ .
Lemmas: ἐάν σφαῖρα ἐπίπεδος τέμνω μή διά ὁ κέντρον , ὁ μέγας τμῆμα πρός ὁ ἐλαχύς ἐλαχύς μέν λόγος ἔχω ἤ διπλάσιος ὁ ὅς ἔχω ὁ ὁ μέγας τμῆμα ἐπιφάνεια πρός ὁ ὁ ἐλαχύς ἐπιφάνεια , μέγας δέ ἤ ἡμιόλιος . εἰμί σφαῖρα καί ἐν αὐτός μέγας κύκλος ὁ ΑΒΓ△ καί διάμετρος ὁ Β△ , καί τέμνω ἐπίπεδος διά ὁ ΑΓ ὀρθός πρός ὁ ΑΒΓ△ κύκλος , καί εἰμί μέγας τμῆμα ὁ σφαῖρα ὁ ΑΒΓ · λέγω ὅτι ὁ ΑΒΓ τμῆμα πρός ὁ ΓΑ ἐλαχύς μέν ἤ διπλάσιος λόγος ἔχω ἤ ὁ ἐπιφάνεια ὁ μέγας τμῆμα πρός ὁ ἐπιφάνεια ὁ ἐλαχύς τμῆμα , μέγας δέ ἤ ἡμιόλιος . ἐπιζεύγνυμι γάρ ὁ ΒΑ△ , καί εἰμί κέντρον ὁ Ε , καί ποιέω , ὡς μέν συναμφότεροι ὁ ΕΖ πρός △Ζ , ὁ ΘΖ πρός ΖΒ , ὡς δέ συναμφότεροι ὁ ΕΒΖ πρός ΒΖ , οὕτως ὁ ΗΖ πρός Ζ△ , καί νοέω κῶνος βάσις ἔχω ὁ περί διάμετρος ὁ ΑΓ κύκλος , κορυφή δέ ὁ Θ , Η σημεῖον · εἰμί δή ἴσος ὁ μέν ΑΘΓ κῶνος ὁ ΑΒΓ τμῆμα ὁ σφαῖρα , ὁ δέ ΑΓΗ ὁ ΓΑ , καί εἰμί , ὡς ὁ ἀπό ΒΑ πρός ὁ ἀπό Α△ , οὕτως ὁ ἐπιφάνεια ὁ ΑΒΓ τμῆμα πρός ὁ ἐπιφάνεια ὁ ΓΑ τμῆμα · οὗτος γάρ προγράφω . λέγω ὅτι καί ὁ ΑΘΓ κῶνος πρός ὁ ΑΗΓ , τουτέστι ὁ ΖΘ πρός ΖΗ , ἐλαχύς λόγος ἔχω ἤ διπλάσιος ὁ ὅς ἔχω ὁ ἀπό ΒΑ πρός ὁ ἀπό Α△ , τουτέστι ὁ ΒΖ πρός Ζ△ . καί ἐπεί εἰμί , ὡς συναμφότεροι ὁ ΕΖ πρός △Ζ , οὕτως ὁ ΘΖ πρός ΖΒ , εἰμί καί , ὡς ὁ ΒΖ πρός Ζ△ , ὁ ΘΒ πρός ΒΕ · ἴσος γάρ ὁ ΒΕ ὁ △Ε , Πάλιν , ἐπεί εἰμί , ὡς συναμφότεροι ὁ ΕΒΖ πρός ΒΖ , ὁ ΗΖ πρός Ζ△ , εἰμί ὁ ΒΕ ἴσος ὁ ΒΚ · δῆλος γάρ ὅτι μέγας εἰμί ὁ ΘΒ ὁ ΒΕ , ἐπεί καί ΒΖ ὁ Ζ△ · καί εἰμί , ὡς ὁ ΚΖ πρός ΖΒ , ὁ ΗΖ πρός Ζ△ . ὡς δέ ὁ ΖΒ πρός Ζ△ , δείκνυμι ὁ ΘΒ πρός ΒΕ , ἴσος δέ ὁ ΒΕ ὁ ΚΒ · ὡς ἄρα ὁ ΘΒ πρός ΒΚ , οὕτως ὁ ΚΖ πρός ΖΗ . καί ἐπεί ὁ ΘΖ πρός ΖΚ ἐλαχύς λόγος ἔχω ἤ ὁ ΘΒ πρός ΒΚ , ὡς δέ ὁ ΘΒ πρός ΒΚ , δείκνυμι ὁ ΚΖ πρός ΖΗ , ὁ ΘΖ ἄρα πρός ΖΚ ἐλαχύς λόγος ἔχω ἤ ὁ ΚΖ πρός ΖΗ · ἐλαχύς ἄρα ὁ ὑπό ὁ ΘΖΗ ὁ ἀπό ΖΚ . ὁ ἄρα ὑπό ὁ ΘΖΗ πρός ὁ ἀπό ΖΗ ἐλαχύς λόγος ἔχω ὁ ὅς ἔχω ὁ ἀπό ὁ ΚΖ πρός ὁ ἀπό ΖΗ · ὁ ἄρα ΘΖ πρός ΖΗ ἐλαχύς λόγος ἔχω ἤ διπλάσιος ὁ ὅς ἔχω ὁ ΚΖ πρός ΖΗ · οὗτος δέ ζητέω . καί ἐπεί ἴσος εἰμί ὁ ΒΕ ὁ Ε△ , ἐλαχύς ἄρα ὁ ὑπό ὁ ΒΖ△ ὁ ὑπό ὁ ΕΒ · ὁ ΖΒ ἄρα πρός ΒΕ ἐλαχύς λόγος ἔχω ἤ ὁ Ε△ πρός △Ζ , τουτέστι ὁ ΘΒ πρός ΒΖ · ἐλαχύς ἄρα ὁ ἀπό ΖΒ ὁ ὑπό ὁ ΘΒΕ , τουτέστι ὁ ὑπό ὁ ΘΒΚ . εἰμί ἴσος ὁ ἀπό ΒΝ ὁ ὑπό ΘΒΚ · εἰμί ἄρα , ὡς ὁ ΘΒ πρός ΒΚ , ὁ ἀπό ΘΝ πρός ὁ ἀπό ΝΚ . ὁ δέ ἀπό ΘΖ πρός ὁ ἀπό ΖΚ μέγας λόγος ἔχω ἤ ὁ ἀπό ΘΝ πρός ὁ ἀπό ΝΚ · ὁ ἄρα ΘΖ πρός ΖΗ μέγας λόγος ἔχω ἤ ἡμιόλιος ὁ ὁ ΚΖ πρός ΖΗ . καί εἰμί , ὡς μέν ὁ ΘΖ πρός ΖΗ , ὁ ΑΘΓ κῶνος πρός ὁ ΑΗΓ κῶνος , τουτέστι ὁ ΑΒΓ τμῆμα πρός ὁ ΓΑ τμῆμα , ὡς δέ ὁ ΚΖ πρός ΖΗ , ὁ ΒΖ πρός Ζ△ , τουτέστι ὁ ἀπό ΒΑ πρός ὁ ἀπό Α△ , τουτέστι ὁ ἐπιφάνεια ὁ ΑΒΓ τμῆμα πρός ὁ ἐπιφάνεια ὁ ΓΑ τμῆμα · ὥστε ὁ μέγας τμῆμα πρός ὁ ἐλαχύς ἐλαχύς μέν ἤ διπλάσιος λόγος ἔχω ὁ ὅς ἔχω ὁ ἐπιφάνεια ὁ μέγας τμῆμα πρός ὁ ἐπιφάνεια ὁ ἐλαχύς τμῆμα , μέγας δέ ἤ ἡμιόλιος . ἄλλως . εἰμί σφαῖρα , ἐν ὅς μέγας κύκλος ὁ ΑΒΓ△ , διάμετρος δέ ὁ ΑΓ , κέντρον δέ ὁ Ε , καί τέμνω ἐπίπεδος ὀρθός διά ὁ Β△ πρός ὁ ΑΓ · λέγω ὅτι ὁ μέγας τμῆμα ὁ △ΑΒ πρός ὁ ἐλαχύς ὁ ΒΓ△ ἐλαχύς ἤ διπλάσιος λόγος ἔχω ὁ ὅς ἔχω ὁ ἐπιφάνεια ὁ ΑΒ△ τμῆμα πρός ὁ ἐπιφάνεια ὁ ΒΓ△ τμῆμα , μέγας δέ ἤ ἡμιόλιος . ἐπιζεύγνυμι γάρ ὁ ΑΒ , ΒΓ · ὁ δέ ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια λόγος ὁ ὁ κύκλος εἰμί , ὅς ὁ ἐκ ὁ κέντρον ὁ ΑΒ , πρός ὁ κύκλος , ὅς ὁ ἐκ ὁ κέντρον ὁ ΒΓ , τουτέστι ὁ ὁ ΑΘ πρός ὁ ΘΓ . κεῖμαι ὁ ἐκ ὁ κέντρον ὁ κύκλος ἴσος ἑκάτερος ὁ ΑΖ , ΓΗ . ὁ δή ὁ ΒΑ△ τμῆμα πρός ὁ ΒΓ△ λόγος συνάπτω ἐκ ὁ ὅς ἔχω ὁ ΒΑ△ τμῆμα πρός ὁ κῶνος , ὅς βάσις μέν εἰμί ὁ περί διάμετρος ὁ Β△ κύκλος , κορυφή δέ ὁ Α σημεῖον , καί ὁ αὐτός κῶνος πρός ὁ κῶνος ὁ βάσις μέν ἔχω ὁ αὐτός , κορυφή δέ ὁ Γ σημεῖον , καί ὁ λέγω κῶνος πρός ὁ ΒΓ△ τμῆμα . ἀλλά ὁ μέν ὁ ΒΑ△ τμῆμα λόγος πρός ὁ ΒΑ△ κῶνος ὁ ὁ ΗΘ εἰμί πρός ΘΓ , ὁ δέ ὁ κῶνος πρός ὁ κῶνος ὁ ὁ ΑΘ πρός ΘΓ , ὁ δέ ὁ ΒΓ△ κῶνος πρός ὁ τμῆμα ὁ ΒΓ△ ὁ ὁ ΑΘ εἰμί πρός ΘΖ · ὁ δέ συνάπτω ἐκ ὁ ὁ ΗΘ πρός ΘΓ καί ὁ ΑΘ πρός ΘΓ ὁ ὁ ὑπό ὁ ΗΘΑ εἰμί πρός ὁ ἀπό ΘΓ , ὁ δέ ὁ ὑπό ΗΘ , ΘΑ πρός ὁ ἀπό ΘΓ μετά ὁ ὁ ΑΘ πρός ΘΖ ὁ ὁ ὑπό ὁ ΗΘ , ΘΑ εἰμί ἐπί ὁ ΘΑ πρός ὁ ἀπό ΘΓ ἐπί ὁ ΘΖ , ὁ δέ ὁ ὑπό ὁ ΗΘΑ ἐπί ὁ ΘΑ ὁ ὁ ἀπό ὁ ΘΑ εἰμί ἐπί ὁ ΘΗ · ὅτι ἄρα ὁ ἀπό ΘΑ ἐπί ὁ ΘΗ πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ ἐλαχύς λόγος ἔχω ὁ ὁ ΑΘ πρός ΘΓ διπλάσιος δέ ὁ ΑΘ πρός ΘΓ διπλασίων εἰμί ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό . ὁ ἄρα ἀπό ΑΘ ἐπί ὁ ΗΘ πρός ὁ ἀπό ΘΓ ἐπί ὁ ΘΖ ἐλαχύς λόγος ἔχω ἤ ὁ ἀπό ΑΘ ἐπί ὁ ΗΘ πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΗ . ὅτι ἄρα μέγας εἰμί ὁ ἀπό ΓΘ ἐπί ὁ ΖΘ ὁ ἀπό ΓΘ ἐπί ὁ ΘΗ . ὅτι ἄρα μέγας εἰμί ὁ ΘΖ ὁ ΘΗν . φημί δή ὅτι καί ὁ μέγας τμῆμα πρός ὁ ἐλαχύς μέγας λόγος ἔχω ἤ ἡμιόλιος ὁ ὁ ἐπιφάνεια λόγος . ἀλλά ὁ μέν ὁ τμῆμα δείκνυμι ὁ αὐτός ὁ ὅς ἔχω ὁ ἀπό ΑΘ ἐπί ὁ ΘΗ πρός ὁ ἀπό ΘΓ ἐπί ὁ ΘΖ , ὁ δέ ὁ ἐπιφάνεια λόγος ἡμιόλιος εἰμί ὁ ὁ ἀπό ΑΒ κύβος πρός ὁ ἀπό ΒΓ κύβος · φημί δή ὅτι ὁ ἀπό ΑΘ ἐπί ὁ ΘΗ πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μέγας λόγος ἔχω ἤ ὁ ἀπό ὁ ΑΘ κύβος πρός ὁ ἀπό ΘΒ κύβος , τουτέστι ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΒΘ καί ὁ ὁ ΑΘ πρός ΘΒ . ὁ δέ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ προσλαμβάνω ὁ ὁ ΑΘ πρός ΘΒ ὁ ὁ ἀπό ΑΘ εἰμί πρός ὁ ὑπό ὁ ΓΘΒ · ὁ δέ ὁ ἀπό ΑΘ πρός ὁ ὑπό ὁ ΒΘΓ ὁ ὁ ἀπό ΑΘ εἰμί ἐπί ὁ ΘΗ πρός ὁ ὑπό ὁ ΒΘΓ ἐπί ὁ ΘΗ · φημί δή ὅτι ὁ ἀπό ΑΘ ἐπί ὁ ΘΗ πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μέγας λόγος ἔχω ἤ ὁ ἀπό ΑΘ ἐπί ὁ ΘΗ πρός ὁ ὑπό ΒΘΓ ἐπί ὁ ΘΗ . δείκνυμι οὖν ὅτι ὁ ἀπό ΘΓ ἐπί ὁ ΘΖ ἐλαχύς εἰμί ὁ ὑπό ὁ ΒΘΓ ἐπί ὁ ΗΘ · ὅς αὐτός εἰμί ὁ δείκνυμι ὅτι ὁ ἀπό ΓΘ πρός ὁ ὑπό ΒΘΓ ἐλαχύς λόγος ἔχω ἤ ὁ ΗΘ πρός ΘΖ . ἄγω ἀπό ὁ Ε ὁ ΕΓ πρός ὀρθός ὁ ΕΚ καί ἀπό ὁ Β κάθετος ἐπί αὐτός ὁ ΒΛ · ἐπίλοιπος ἐγώ δείκνυμι δέω ὅτι ὁ ΗΘ πρός ΘΖ μέγας λόγος ἔχω ἤ ὁ ΓΘ πρός ΘΒ . ἴσος δέ εἰμί ὁ ΘΖ συναμφότεροι ὁ ΑΘ , ΚΕ · δείκνυμι ἄρα δέω ὅτι ὁ ΗΘ πρός συναμφότεροι ὁ ΘΑ , ΚΕ · μέγας λόγος ἔχω ἤ ὁ ΓΘ πρός ΘΒ · καί ἀφαιρέω ἄρα ἀπό ὁ ΘΗν ὁ ΓΘ , ἀπό δέ ὁ ΚΕ ὁ ΕΛ ἴσος ὁ ΒΘ , δέω δείκνυμι ὅτι λοιπός ὁ ΓΗ πρός λοιπός συναμφότεροι ὁ ΑΘ , ΚΛ μέγας λόγος ἔχω ἤ ὁ ΓΘ πρός ΘΒ , τουτέστι ὁ ΘΒ πρός ΘΑ , τουτέστι ὁ ΛΕ πρός ΘΑ , καί ἐναλλάξ , ὅτι ὁ ΚΕ πρός ΕΛ μέγας λόγος ἔχω ἤ συναμφότεροι ὁ ΚΛ , ΘΑ πρός ΘΑ , καί διαιρέω ὁ ΚΛ πρός ΛΕ μέγας λόγος ἔχω ἤ ὁ ΚΛ πρός ΘΑ . ὅτι ἐλαχύς εἰμί ὁ ΛΕ ὁ ΘΑ .