eutocius.commentarii-in-libros-de-sphaera-et-cylindro 48
Εἴρηται ἐν τοῖς προλαβοῦσιν ὡς , ἐὰν δύο μεγεθῶν ληφθῇ τι μέσον , ὁ τῶν ἄκρων λόχος σύγκειται ἐκ τοῦ ὃν ἔχει τὸ πρῶτον πρὸς τὸ μέσον , καὶ τὸ μέσον πρὸς τὸ τρίτον . Ὁμοίως δὴ κἂν πλείονα μέσα ληφθῇ , ὁ τῶν ἄκρων λόχος σύγκειται ἐκ τῶν λόχων , ὧν ἔχουσι πάντα κατὰ τὸ ἑξῆς πρὸς ἄλληλα τὰ μεγέθη . Καὶ ἐνταῦθα οὖν φησιν ὅτι · ὁ τοῦ ΒΑ△ τμήματος πρὸς τὸ ΒΓ△ τμῆμα λόγος σύγκειται ἔκ τε τοῦ ὃν ἔχει τὸ ΒΑ△ τμῆμα πρὸς τὸν κῶνον , οὗ βάσις μέν ἐστιν ὁ περὶ διάμετρον τὴν Β△ κύκλος , κορυφὴ δὲ τὸ Α σημεῖον , καὶ ὁ αὐτὸς κῶνος πρὸς κῶνον τὸν βάσιν μὲν ἔχοντα τὴν αὐτήν , κορυφὴν δὲ τὸ Γ σημεῖον , καὶ ὁ εἰρημένος κῶνος πρὸς τὸ ΒΓ△ τμῆμα , δηλαδὴ τοῦ △ΑΒ τμήματος καὶ τοῦ ΒΓ△ μέσων λαμβανομένων τῶν εἰρημένων κώνων . Ἀλλ᾿ ὁ μὲν τοῦ ΒΑ△ τμήματος πρὸς τὸν ΒΑ△ κῶνον ὁ τῆς ΗΘ ἐστὶ πρὸς ΘΓ Διὰ τὸ πόρισμα τοῦ δευτέρου θεωρήματος τοῦ δευτέρου βιβλίου ἐλέγετο γὰρ τὸ τμῆμα πρὸς τὸν ἐν ἑαυτῷ κῶνον τοῦτον ἔχειν τὸν λόγον , ὃν ἔχει συναμφότερος ἥ τε ἐκ τοῦ κέντρου τοῦ τῆς σφαίρας καὶ τὸ ὕψος τοῦ λοιποῦ τμήματος πρὸς τὸ ὕψος τοῦ λοιποῦ τμήματος . Ὁ δὲ τοῦ ΒΑ△ κώνου πρὸς τὸν ΒΓ△ κῶνον ὁ τῆς ΑΘ ἐστὶ πρὸς ΘΓ Ἐπὶ γὰρ τῆς αὐτῆς βάσεως ὄντες πρὸς ἀλλήλους εἰσὶν ὡς τὰ ὕψη . Ὁ δὲ τοῦ ΒΓ△ κώνου πρὸς τὸ ΒΓ△ τμῆμα ὁ τῆς ΑΘ ἐστὶ πρὸς ΘΖ Διὰ τὸ ἀνάπαλιν τοῦ εἰρημένου πορίσματος . Ὥστε ὁ τοῦ ΒΑ△ τμήματος πρὸς τὸ ΒΓ△ τμῆμα λόγος σύγκειται ἔκ τε τοῦ τῆς ΗΘ πρὸς ΘΓ καὶ τοῦ τῆς ΑΘ πρὸς ΘΓ καὶ τοῦ τῆς ΑΘ πρὸς ΘΖ . Ὁ δὲ συγκείμενος λόγος ἔκ τε τοῦ τῆς ΗΘ πρὸς ΘΓ μετὰ τοῦ τῆς ΑΘ πρὸς ΘΓ ὁ τοῦ ὑπὸ ΗΘΑ ἐστὶ πρὸς τὸ ἀπὸ θΓ · τὰ γὰρ ἰσογώνια παραλληλόγραμμα λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν . Ὁ δὲ τοῦ ὑπὸ ΗΘΑ πρὸς τὸ ἀπὸ ΓΘ μετὰ τοῦ τῆς ΑΘ πρὸς ΘΖ ὁ τοῦ ὑπὸ ΗΘΑ ἐστὶν ἐπὶ τὴν ΘΑ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ , ὡς δέδεικται ἐν τῷ προληφθέντι λήμματι . Ὁ δὲ τοῦ ὑπὸ ΗΘΑ ἐπὶ τὴν ΘΑ ὁ αὐτός ἐστι τῷ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ · καὶ τοῦτο γὰρ συναποδέδεικται ἐν τῷ προληφθέντι · ὁ ἄρα τοῦ τμήματος πρὸς τὸ τμῆμα λόγος ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ . Ἐπεὶ οὖν δεῖ δεῖξαι ὅτι τὸ τμῆμα πρὸς τὸ τμῆμα ἐλάσσονα λόχον ἔχει ἢ διπλασίονα τοῦ τῆς ἐπιφανείας πρὸς τὴν ἐπιφάνειαν λόγου , δεῖ ἄρα δεῖξαι ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα ἢ διπλασίονα λόγον ἔχει τοῦ ὃν ἔχει ἡ ἐπιφάνεια τοῦ ΒΑ△ τμήματος πρὸς τὴν ἐπιφάνειαν τοῦ ΒΓ△ , τουτέστι τοῦ ὃν ἔχει τὸ ἀπὸ ΑΒ πρὸς τὸ ἀπὸ ΓΒ . Ἀλλ᾿ ὡς τὸ ἀπὸ ΑΒ πρὸς τὸ ἀπὸ ΒΓ , οὕτως ἡ ΑΘ πρὸς ΘΓ · δέδεικται · γὰρ τοῦτο ἐν τοῖς προλαβοῦσιν θεωρήμασιν δεῖ ἄρα δεῖξαι ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα ἢ διπλασίονα λόγον ἔχει τοῦ τῆς ΑΘ πρὸς ΘΓ . Ἀλλὰ τοῦ τῆς ΑΘ πρὸς ΘΓ λόγου διπλάσιός ἐστιν ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΓ · ὅτι ἄρα τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάοσονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΓ . Ἀλλ᾿ ὡς τὸ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΓ , τῆς ΘΗ κοινοῦ ὕψους λαμβανομένης , οὕτως τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ · χρὴ ἄρα δειχθῆναι ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα λόγον ἔχει ἤπερ τὸ αὐτὸ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ . Πρὸς ὃ δὲ τὸ αὐτὸ ἐλάσσονα λόγον ἔχει , ἐκεῖνο μεῖζόν ἐστι · δεῖ ἄρα δεῖξαι ὅτι τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΖΘ μεῖζόν ἐστι τοῦ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ , τουτέστιν ὅτι μείζων ἐστὶν ἡ ΖΘ τῆς ΘΗ . Ἔστι δὲ τοῦτο φανερόν · ἀνίσοις γὰρ ταῖς ΑΘ , ΘΓ ἴσαι πρόσκεινται αἱ ΖΑ , ΓΗ . Ταῦτα εἰπὼν αὐτὸς μὲν οὐκ ἐπήγαγεν τὴν σύνθεσιν , ἡμεῖς δὲ αὐτὴν προσθήσομεν . Ἐπεὶ ἡ ΖΘ τῆς ΘΗ μείζων ἐστίν , τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μεῖζόν ἐστι τοῦ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ · ὥστε τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα λόγον ἔχει ἤπερ τὸ αὐτὸ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ . Ἀλλ᾿ ὡς τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΗ , τὸ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΓΘ · τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα λόγον ἔχει τοῦ ὃν ἔχει τὸ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΓ . Ἀλλ᾿ ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΓ λόγος διπλάσιός ἐστι τοῦ τῆς ΑΘ πρὸς ΘΓ · τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἐλάσσονα ἢ διπλασίονα λόγον ἔχει τοῦ τῆς ΑΘ πρὸς ΘΓ . Ἀλλ᾿ ὁ μὲν τῶν τμημάτων λόχος ὁ αὐτὸς ἐδείχθη τῷ ὃν ἔχει τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ , ὁ δὲ τῶν ἐπιφανειῶν τῷ ὃν ἔχει ἡ ΑΘ πρὸς ΘΓ · τὸ ἄρα τμῆμα πρὸς τὸ τμῆμα ἐλάσσονα ἢ διπλασίονα λόχον ἔχει τοῦ τῆς ἐπιφανείας πρὸς τὴν ἐπιφάνειαν λόχου . Ἑξῆς δὲ ἀναλύων τὸ ἕτερον μέρος τοῦ θεωρήματος ἐπάγει · φημὶ δὴ ὅτι τὸ μεῖζον τμῆμα πρὸς τὸ ἔλασσον μείζονα λόγον ἔχει ἢ ἡμιόλιον τοῦ τῆς ἐπιφανείας πρὸς τῆν ἐπιφάνειαν λόγου . Ἀλλ᾿ ὀ μὲν τῶν τμημάτων ἐδείχθη ὁ αὐτὸς τῷ ὃν ἔχει τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ , τοῦ δὲ τῆς ἐπιφανείας πρὸς τὴν ἐπιφάνειαν λόγου ἡμιόλιός ἐστιν ὁ τοῦ ἀπὸ ΑΒ κύβου πρὸς τὸν ἀπὸ τῆς ΒΓ κύβον Τοῦ γὰρ τῆς ΑΒ πρὸς ΒΓ διπλάσιος μέν ἐστιν ὁ τοῦ ἀπὸ ΑΒ τετραγώνου πρὸς τὸ ἀπὸ ΒΓ τετράγωνον , τριπλάσιος δὲ ὁ τοῦ ἀπὸ τῆς ΑΒ κύβου πρὸς τὸν ἀπὸ τῆς ΒΓ κύβον . Ἀλλ᾿ ὡς ὁ ἀπὸ τῆς ΑΒ κύβος πρὸς τὸν ἀπὸ τῆς ΒΓ κύβον , οὕτως ὁ ἀπὸ ΑΘ κύβος πρὸς τὸν ἀπὸ τῆς ΘΒ κύβον ὡς γὰρ ἡ ΑΒ πρὸς τὴν ΒΓ , οὕτως ἡ ΑΘ πρὸς ΘΒ διὰ τὴν ὁμοιότητα τῶν ΑΒΓ , ΑΒΘ τριγώνων , ἐὰν δε ὦσιν τέσσαρες εὐθεῖαι ἀνάλογον , καὶ τὰ ἀπʼ αὐτῶν στερεὰ τὰ ὅμοια καὶ ὁμοίως ἀναγεγραμμένα ἀνάλογόν εἰσιν ὥστε ὁ ἀπὸ τῆς ΑΘ κύβος πρὸς τὸν ἀπὸ τῆς ΘΒ κύβον ἡμιόλιον λόγον ἔχει τοῦ ὃν ἔχει τὸ ἀπὸ ΑΒ τετράγωνον πρὸς τὸ ἀπὸ ΒΓ τετράγωνον , τουτέστιν ἡ ἐπιφάνεια πρὸς τὴν ἐπιφάνειαν . Ἀλλ᾿ ὡς τὸ τμῆμα πρὸς τὸ τμῆμα , οὕτως τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ . Φημὶ οὖν ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει ἤπερ ὁ ἀπὸ τῆς ΑΘ κύβος πρὸς τὸν ἀπὸ τῆς ΘΒ κύβον , τουτέστιν ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ καὶ ὁ τῆς ΑΘ πρὸς ΘΒ · ὁ γὰρ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ διπλασίων τοῦ τῆς ΑΘ πρὸς ΘΒ προσλαβὼν τὸν τῆς ΑΘ πρὸς ΘΒ ὁ αὐτὸς γίνεται τῷ τοῦ ἀπὸ τῆς ΑΘ κύβου πρὸς τὸν ἀπὸ ΘΒ κύβον · ἑκάτερος γὰρ τοῦ αὐτοῦ ἐστι τριπλάσιος . Ὁ δὲ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ προσλαβὼν τὸν τῆς ΑΘ πρὸς ΘΒ ὁ τοῦ ἀπὸ ΑΘ ἐστὶ πρὸς τὸ ὑπὸ ΓΘΒ | Ἐπεὶ γὰρ ὁ τῆς ΑΘ πρὸς ΘΒ λόγος ὁ αὐτός ἐστι τῷ τῆς ΘΒ πρὸς ΘΓ , τῆς ΒΘ μέσης ἀνάλογον ὑπαρχούσης , ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ μετὰ τοῦ τῆς ΑΘ πρὸς ΘΒ ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ μετὰ τοῦ τῆς ΒΘ πρὸς ΘΓ . Ἀλλ᾿ ὁ τῆς ΒΘ πρὸς ΘΓ ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ ΒΘ πρὸς τὸ ὑπὸ ΒΘΓ τῆς ΒΘ κοινοῦ ὕψους λαμβανομένης ὥστε ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ λόγος μετὰ τοῦ τῆς ΑΘ πρὸς ΘΒ ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ μετὰ τοῦ τοῦ ἀπὸ ΒΘ πρὸς τὸ ὑπὸ ΒΘΓ . Ἀλλ᾿ ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ ΒΘΓ λόχος ὁ συχκείμενός ἐστιν ἐκ τοῦ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΒΘ καὶ τοῦ ἀπὸ ΒΘ πρὸς τὸ ὑπὸ ΒΘΓ τοῦ ἀπὸ ΒΘ μέσου λαμβανομένου ὥστε ὁ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΒΘ λόγος μετὰ τοῦ τῆς ΑΘ πρὸς ΘΒ ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ ΒΘΓ . Ὁ δὲ τοῦ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ ΒΘΓ λόγος ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ὑπὸ ΒΘΓ ἐπὶ τὴν ΘΗ τῆς ΘΗ κοινοῦ ὕψους λαμβανομένης . Φημὶ δὴ ὅτι τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόχον ἔχει ἤπερ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ὑπὸ ΓΘΒ ἐπὶ τὴν ΘΗ . Πρὸς ὃ δὲ τὸ αὐτὸ μείζονα λόγον ἔχει , ἐκεῖνο ἔλασσόν ἐστι · δεικτέον ὅτι τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἔλασσόν ἐστι τοῦ ὑπὸ ΒΘΓ ἐπὶ τὴν ΘΗ , ταὐτόν ἐστι τῷ δεῖξαι ὅτι τὸ ἀπὸ ΓΘ πρὸς τὸ ὑπὸ ΓΘΒ ἐλάσσονα λόγον ἔχει ἤπερ ἡ ΘΗ πρὸς ΘΖ | Ἐὰν γὰρ ὦσιν τέσσαρες ὅροι , ὡς ἐνταῦθα τὸ ἀπὸ ΓΘ καὶ τὸ ὑπὸ ΓΘΒ καὶ ἡ ΘΗ καὶ ΘΖ , καὶ τὸ ὑπὸ τῶν ἄκρων ἔλασσον ᾖ τοῦ ὑπὸ τῶν μέσων , ὁ πρῶτος πρὸς τὸν δεύτερον ἐλάσσονα λόχον ἔχει ἤπερ ὁ τρίτος πρὸς τὸν τέταρτον , ὡς δέδεικται ἀνωτέρω . Εὐλόχως ἄρα ἐχρῆν δεῖξαι τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἔλασσον τοῦ ὑπὸ ΓΘΒ ἐπὶ τὴν ΘΗ , ὃ ταὐτόν ἐστι τῷ δεῖξαι ὅτι τὸ ἀπὸ ΓΘ πρὸς τὸ ὑπὸ ΓΘΒ ἐλάσσονα λόγον ἔχει ἤπερ ἡ ΘΗ πρὸς ΘΖ . Ἀλλ᾿ ὡς τὸ ἀπὸ ΓΘ πρὸς τὸ ὑπὸ ΓΘΒ , ἡ ΓΘ πρὸς ΘΒ δεῖ ἄρα δεῖξαι ὅτι ἡ ΓΘ πρὸς ΘΒ ἐλάσσονα λόγον ἔχει ἤπερ ἡ ΘΗ πρὸς ΘΖ , τουτέστιν ὅτι ἡ ΑΘ πρὸς ΘΖ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ . Ἤχθω ἀπὸ τοῦ Ε τῇ ΕΓ πρὸς ὀρθὰς ἡ ΕΚ καὶ ἀπὸ τοῦ Β κάθετος ἐπ᾿ αὐτὴν ἡ ΒΛ ἐπίλοιπον ἡμῖν δεῖξαι δεῖ ὅτι ἡ ΗΘ πρὸς ΘΖ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ . Ἴση δέ ἐστιν ἡ ΘΖ συναμφοτέρῳ τῇ ΘΑ , ΚΕ · ἡ γὰρ ΑΖ τῇ ἐκ τοῦ κέντρου ἴση ἐστίν δεῖ ἄρα δεῖξαι ὅτι ἡ ΗΘ πρὸς συναμφότερον τὴν ΘΑ , ΚΕ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ καὶ ἀφαιρεθείσης ἄρα ἀπὸ τῆς ΗΘ τῆς ΓΘ , ἀπὸ δὲ τῆς ΚΕ τῆς ΕΛ ἴσης τῇ ΒΘ , δεήσει δειχθῆναι ὅτι λοιπὴ ἡ ΓΗ πρὸς λοιπὴν συναμφότερον τὴν ΑΘ , ΚΛ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ | Ἐπεὶ γὰρ δεῖ δειχθῆναι ὅτι ἡ ΗΘ πρὸς συναμφότερον τὴν ΘΑ , ΚΕ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ , καὶ ἐναλλὰξ ὅτι ἡ ΗΘ πρὸς ΘΓ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΘΑ , ΚΕ πρὸς ΘΒ , τουτέστι πρὸς ΛΕ , καὶ διελόντι ἡ ΗΓ πρὸς ΓΘ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΘΑ , ΚΛ πρὸς ΛΕ , τουτέστι πρὸς ΒΘ , ἐναλλὰξ ὅτι ἡ ΗΓ πρὸς συναμφότερον τὴν ΘΑ , ΚΛ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ . Ἀλλ᾿ ὡς ἡ ΓΘ πρὸς ΘΒ , οὕτως ἡ ΒΘ πρὸς ΘΑ , τουτέστιν ἡ ΛΕ πρὸς ΑΘ ὅτι ἄρα ἡ ΗΓ πρὸς συναμφότερον τὴν ΘΑ , ΚΛ μείζονα λόχον ἔχει ἤπερ ἡ ΛΕ πρὸς ΑΘ , καὶ ἐναλλὰξ ὅτι ἡ ΓΗ , τουτέστιν ἡ ΚΕ , πρὸς ΕΛ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΚΛ , ΘΑ πρὸς ΘΑ διελόντι ὅτι ἡ ΚΛ πρὸς ΛΕ μείζονα λόγον ἔχει ἤπερ αὐτὴ ἡ ΚΛ πρὸς ΘΑ , τουτέστιν ὅτι ἐλάσσων ἡ ΛΕ τῆς ΘΑ ἐστίν . Ἑξῆς δὲ ἡμεῖς τὴν σύνθεσιν προσθήσομεν . Ἐπεὶ ἡ ΛΕ τῆς ΑΘ ἐλάσσων , ἡ ἄρα ΚΛ πρὸς ΛΕ μείζονα λόγον ἔχει ἤπερ ἡ ΚΛ πρὸς ΑΘ συνθέντι ἡ ΚΕ πρὸς ΕΛ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΚΛ , ΑΘ πρὸς ΑΘ . Ἡ δὲ ΛΕ τῷ ΒΘ ἐστὶν ἴση · ἡ ἄρα πρὸς ΒΘ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΚΛ , ΑΘ πρὸς ΑΘ . Ἐναλλὰξ ἡ ἄρα ΗΓ πρὸς συναμφότερον τὴν ΚΛ , ΑΘ μείζονα λόγον ἔχει ἤπερ ἡ ΒΘ πρὸς ΘΑ , τουτέστιν ἡ ΓΘ πρὸς ΘΒ · ἐναλλὰξ ἡ ΗΓ πρὸς ΓΘ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΚΛ , ΑΘ πρὸς ΘΒ · συνθέντι ἡ ΗΘ πρὸς ΘΓ μείζονα λόγον ἔχει ἤπερ συναμφότερος ἡ ΚΛ , ΑΘ μετὰ τῆς ΘΒ , τουτέστι συναμφότερος ἡ ΑΘ , ΚΕ , πρὸς ΒΘ . Ἴση δὲ ἡ ΚΕ τῇ ΑΖ · ἡ ἄρα ΗΘ πρὸς ΘΓ μείζονα λόγον ἔχει ἤπερ ἡ ΖΘ πρὸς ΘΒ · ἐναλλὰξ ἡ ΗΘ πρὸς ΘΖ μείζονα λόγον ἔχει ἤπερ ἡ ΓΘ πρὸς ΘΒ . Ὡς δὲ ἡ ΓΘ πρὸς ΘΒ , οὕτως τὸ ἀπὸ ΓΘ πρὸς τὸ ὑπὸ ΓΘΒ · ἡ ἄρα ΗΘ πρὸς ΘΖ μείζονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΓΘ πρὸς τὸ ὑπὸ ΓΘΒ . Καὶ διὰ τὰ πρότερον εἰρημένα τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ ἔλασσόν ἐστι τοῦ ὑπὸ ΓΘΒ ἐπὶ τὴν ΘΗ · τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ὑπὸ ΓΘΒ ἐπὶ τὴν ΘΗ . Ὡς δὲ τὸ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ὑπὸ ΓΘΒ ἐπὶ τὴν ΘΗ , οὕτως τὸ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ ΓΘΒ · τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ ΓΘΒ . Ὁ δὲ τοῦ ἀπὸ ΑΘ πρὸς τὸ ὑπὸ ΒΘΓ τοῦ ἀπὸ ΒΘ μέσου λαμβανομένου σύγκειται ἔκ τε τοῦ ὃν ἔχει τὸ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ καὶ τοῦ τοῦ ἀπὸ ΒΘ πρὸς τὸ ὑπὸ ΒΘΓ , ὁ δὲ τοῦ ἀπὸ ΒΘ πρὸς τὸ ὑπὸ ΒΘΓ λόγος ὁ αὐτός ἐστι τῷ τῆς ΒΘ πρὸς ΘΓ , τουτέστι τῷ τῆς ΑΘ πρὸς ΒΘ τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει ἤπερ τὸ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ μετὰ τοῦ τῆς ΑΘ πρὸς ΘΒ . Ὁ δὲ συγκείμενος λόγος ἔκ τε τοῦ τοῦ ἀπὸ ΑΘ πρὸς τὸ ἀπὸ ΘΒ καὶ τοῦ τῆς ΑΘ πρὸς ΘΒ ὁ αὐτός ἐστι τῷ τοῦ ἀπὸ τῆς ΑΘ κύβου πρὸς τὸν ἀπὸ ΘΒ κύβον , τουτέστι τοῦ ἀπὸ ΑΒ κύβου πρὸς τὸν ἀπὸ ΒΓ κύβον τὸ ἄρα ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ μείζονα λόγον ἔχει τοῦ ὃν ἔχει ὁ ἀπὸ ΑΒ κύβος πρὸς τὸν ἀπὸ ΒΓ κύβον . Ἀλλ᾿ ὁ μὲν τοῦ ἀπὸ ΑΘ ἐπὶ τὴν ΘΗ πρὸς τὸ ἀπὸ ΓΘ ἐπὶ τὴν ΘΖ λόγος ὁ αὐτὸς ἐδείχθη τῷ τῶν τμημάτων λόγῳ , ὁ δὲ τοῦ ἀπὸ τῆς ΑΒ κύβου πρὸς τὸν ἀπὸ τῆς κύβον λόγος ἡμιόλιος ἐδείχθη τοῦ τῶν ἐπιφανειῶν λόγου · τὸ ἄρα τμῆμα πρὸς τὸ τμῆμα μείζονα λόγον ἔχει ἢ ἡμιόλιον τοῦ ὃν ἔχει ἡ ἐπιφάνεια πρὸς τὴν ἐπιφάνειαν .
Lemmas: ἔρομαι ἐν ὁ προλαμβάνω ὡς , ἐάν δύο μέγεθος λαμβάνω τίς μέσος , ὁ ὁ ἄκρος λόχος σύγκειμαι ἐκ ὁ ὅς ἔχω ὁ πρῶτος πρός ὁ μέσος , καί ὁ μέσος πρός ὁ τρίτος . ὅμοιος δή κἀν πλείων μέσος λαμβάνω , ὁ ὁ ἄκρος λόχος σύγκειμαι ἐκ ὁ λόχος , ὅς ἔχω πᾶς κατά ὁ ἑξῆς πρός ἀλλήλων ὁ μέγεθος . καί ἐνταῦθα οὖν φημί ὅτι · ὁ ὁ ΒΑ△ τμῆμα πρός ὁ ΒΓ△ τμῆμα λόγος σύγκειμαι ἐκ τε ὁ ὅς ἔχω ὁ ΒΑ△ τμῆμα πρός ὁ κῶνος , ὅς βάσις μέν εἰμί ὁ περί διάμετρος ὁ Β△ κύκλος , κορυφή δέ ὁ Α σημεῖον , καί ὁ αὐτός κῶνος πρός κῶνος ὁ βάσις μέν ἔχω ὁ αὐτός , κορυφή δέ ὁ Γ σημεῖον , καί ὁ εἴρω κῶνος πρός ὁ ΒΓ△ τμῆμα , δηλαδή ὁ △ΑΒ τμῆμα καί ὁ ΒΓ△ μέσος λαμβάνω ὁ εἴρω κῶνος . ἀλλά ὁ μέν ὁ ΒΑ△ τμῆμα πρός ὁ ΒΑ△ κῶνος ὁ ὁ ΗΘ εἰμί πρός ΘΓ Ζεύς ὁ πόρισμα ὁ δύο θεώρημα ὁ δύο βιβλίον λέγω γάρ ὁ τμῆμα πρός ὁ ἐν ἑαυτοῦ κῶνος οὗτος ἔχω ὁ λόγος , ὅς ἔχω συναμφότερος ὅς τε ἐκ ὁ κέντρον ὁ ὁ σφαῖρα καί ὁ ὕψος ὁ λοιπός τμῆμα πρός ὁ ὕψος ὁ λοιπός τμῆμα . ὁ δέ ὁ ΒΑ△ κῶνος πρός ὁ ΒΓ△ κῶνος ὁ ὁ ΑΘ εἰμί πρός ΘΓ ἐπί γάρ ὁ αὐτός βάσις εἰμί πρός ἀλλήλων εἰμί ὡς ὁ ὕψος . ὁ δέ ὁ ΒΓ△ κῶνος πρός ὁ ΒΓ△ τμῆμα ὁ ὁ ΑΘ εἰμί πρός ΘΖ Ζεύς ὁ ἀνάπαλιν ὁ εἴρω πόρισμα . ὥστε ὁ ὁ ΒΑ△ τμῆμα πρός ὁ ΒΓ△ τμῆμα λόγος σύγκειμαι ἐκ τε ὁ ὁ ΗΘ πρός ΘΓ καί ὁ ὁ ΑΘ πρός ΘΓ καί ὁ ὁ ΑΘ πρός ΘΖ . ὁ δέ σύγκειμαι λόγος ἐκ τε ὁ ὁ ΗΘ πρός ΘΓ μετά ὁ ὁ ΑΘ πρός ΘΓ ὁ ὁ ὑπό ΗΘΑ εἰμί πρός ὁ ἀπό θΓ · ὁ γάρ ἰσογώνιος παραλληλόγραμμος λόγος ἔχω ὁ σύγκειμαι ἐκ ὁ πλευρά . ὁ δέ ὁ ὑπό ΗΘΑ πρός ὁ ἀπό ΓΘ μετά ὁ ὁ ΑΘ πρός ΘΖ ὁ ὁ ὑπό ΗΘΑ εἰμί ἐπί ὁ ΘΑ πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ , ὡς δείκνυμι ἐν ὁ προλαμβάνω λῆμμα . ὁ δέ ὁ ὑπό ΗΘΑ ἐπί ὁ ΘΑ ὁ αὐτός εἰμί ὁ ἀπό ΑΘ ἐπί ὁ τίθημι · καί οὗτος γάρ συναποδείκνυμι ἐν ὁ προλαμβάνω · ὁ ἄρα ὁ τμῆμα πρός ὁ τμῆμα λόγος ὁ αὐτός εἰμί ὁ ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ . ἐπεί οὖν δεῖ δείκνυμι ὅτι ὁ τμῆμα πρός ὁ τμῆμα μικρός λόχος ἔχω ἢ διπλασίων ὁ ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια λόγος , δεῖ ἄρα δείκνυμι ὅτι ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός ἢ διπλασίων λόγος ἔχω ὁ ὅς ἔχω ὁ ἐπιφάνεια ὁ ΒΑ△ τμῆμα πρός ὁ ἐπιφάνεια ὁ ΒΓ△ , τουτέστι ὁ ὅς ἔχω ὁ ἀπό ΑΒ πρός ὁ ἀπό ΓΒ . ἀλλά ὡς ὁ ἀπό ΑΒ πρός ὁ ἀπό ΒΓ , οὕτως ὁ ΑΘ πρός ΘΓ · δείκνυμι · γάρ οὗτος ἐν ὁ προλαμβάνω θεώρημα δεῖ ἄρα δείκνυμι ὅτι ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός ἢ διπλασίων λόγος ἔχω ὁ ὁ ΑΘ πρός ΘΓ . ἀλλά ὁ ὁ ΑΘ πρός ΘΓ λόγος διπλάσιος εἰμί ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΓ · ὅτι ἄρα ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ ἐλαύνω λόγος ἔχω ἤ2 ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΓ . ἀλλά ὡς ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΓ , ὁ τίθημι κοινός ὕψος λαμβάνω , οὕτως ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ τίθημι · χρή ἄρα δείκνυμι ὅτι ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός λόγος ἔχω ἤ2 ὁ αὐτός ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ τίθημι . πρός ὅς δέ ὁ αὐτός μικρός λόγος ἔχω , ἐκεῖνος μέγας εἰμί · δεῖ ἄρα δείκνυμι ὅτι ὁ ἀπό ΓΘ ἐπί ὁ ΖΘ μέγας εἰμί ὁ ἀπό ΓΘ ἐπί ὁ τίθημι , τουτέστιν ὅτι μείζων εἰμί ὁ ΖΘ ὁ τίθημι . εἰμί δέ οὗτος φανερός · ἄνισος γάρ ὁ ΑΘ , ΘΓ Ἴσαι πρόσκειμαι ὁ Γῆ , ΓΗ . οὗτος εἶπον αὐτός μέν οὐ ἐπάγω ὁ σύνθεσις , ἐγώ δέ αὐτός προστίθημι . ἐπεί ὁ ΖΘ ὁ τίθημι μείζων εἰμί , ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μέγας εἰμί ὁ ἀπό ΓΘ ἐπί ὁ τίθημι · ὥστε ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός λόγος ἔχω ἤ2 ὁ αὐτός ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ τίθημι . ἀλλά ὡς ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ τίθημι , ὁ ἀπό ΑΘ πρός ὁ ἀπό ΓΘ · ὁ ἄρα ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός λόγος ἔχω ὁ ὅς ἔχω ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΓ . ἀλλά ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΓ λόγος διπλάσιος εἰμί ὁ ὁ ΑΘ πρός ΘΓ · ὁ ἄρα ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός ἢ διπλασίων λόγος ἔχω ὁ ὁ ΑΘ πρός ΘΓ . ἀλλά ὁ μέν ὁ τμῆμα λόχος ὁ αὐτός δείκνυμι ὁ ὅς ἔχω ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ , ὁ δέ ὁ ἐπιφάνεια ὁ ὅς ἔχω ὁ ΑΘ πρός ΘΓ · ὁ ἄρα τμῆμα πρός ὁ τμῆμα μικρός ἢ διπλασίων λόχος ἔχω ὁ ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια λόχος . ἑξῆς δέ ἀναλύω ὁ ἕτερος μέρος ὁ θεώρημα ἐπάγω · φημί δή ὅτι ὁ μείζων τμῆμα πρός ὁ μικρός μείζων λόγος ἔχω ἢ ἡμιόλιος ὁ ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια λόγος . ἀλλά ὁ μέν ὁ τμῆμα δείκνυμι ὁ αὐτός ὁ ὅς ἔχω ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ , ὁ δέ ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια λόγος ἡμιόλιος εἰμί ὁ ὁ ἀπό ΑΒ κύβος πρός ὁ ἀπό ὁ ΒΓ κύβος ὁ γάρ ὁ ΑΒ πρός ΒΓ διπλάσιος μέν εἰμί ὁ ὁ ἀπό ΑΒ τετράγωνος πρός ὁ ἀπό ΒΓ τετράγωνος , τριπλάσιος δέ ὁ ὁ ἀπό ὁ ΑΒ κύβος πρός ὁ ἀπό ὁ ΒΓ κύβος . ἀλλά ὡς ὁ ἀπό ὁ ΑΒ κύβος πρός ὁ ἀπό ὁ ΒΓ κύβος , οὕτως ὁ ἀπό ΑΘ κύβος πρός ὁ ἀπό ὁ ΘΒ κύβος ὡς γάρ ὁ ΑΒ πρός ὁ ΒΓ , οὕτως ὁ ΑΘ πρός ΘΒ διά ὁ ὁμοιότης ὁ ΑΒΓ , ΑΒΘ τρίγωνος , ἐάν δέ εἰμί τέσσαρες εὐθύς ἀνάλογος , καί ὁ ἀπό αὐτός στερεός ὁ ὅμοιος καί ὁμοίως ἀναγράφω ἀνάλογος εἰμί ὥστε ὁ ἀπό ὁ ΑΘ κύβος πρός ὁ ἀπό ὁ ΘΒ κύβος ἡμιόλιος λόγος ἔχω ὁ ὅς ἔχω ὁ ἀπό ΑΒ τετράγωνος πρός ὁ ἀπό ΒΓ τετράγωνος , τουτέστιν ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια . ἀλλά ὡς ὁ τμῆμα πρός ὁ τμῆμα , οὕτως ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ . φημί οὖν ὅτι ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ἀπό ὁ ΑΘ κύβος πρός ὁ ἀπό ὁ ΘΒ κύβος , τουτέστιν ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ καί ὁ ὁ ΑΘ πρός ΘΒ · ὁ γάρ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ διπλάσιος ὁ ὁ ΑΘ πρός ΘΒ προσλαμβάνω ὁ ὁ ΑΘ πρός ΘΒ ὁ αὐτός γίγνομαι ὁ ὁ ἀπό ὁ ΑΘ κύβος πρός ὁ ἀπό ΘΒ κύβος · ἑκάτερος γάρ ὁ αὐτός εἰμί τριπλάσιος . ὁ δέ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ προσλαμβάνω ὁ ὁ ΑΘ πρός ΘΒ ὁ ὁ ἀπό ΑΘ εἰμί πρός ὁ ὑπό ΓΘΒ | ἐπεί γάρ ὁ ὁ ΑΘ πρός ΘΒ λόγος ὁ αὐτός εἰμί ὁ ὁ ΘΒ πρός ΘΓ , ὁ ΒΘ μέσος ἀνάλογος ὑπάρχω , ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ μετά ὁ ὁ ΑΘ πρός ΘΒ ὁ αὐτός εἰμί ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ μετά ὁ ὁ ΒΘ πρός ΘΓ . ἀλλά ὁ ὁ ΒΘ πρός ΘΓ ὁ αὐτός εἰμί ὁ ὁ ἀπό ΒΘ πρός ὁ ὑπό ΒΘΓ ὁ ΒΘ κοινός ὕψος λαμβάνω ὥστε ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ λόγος μετά ὁ ὁ ΑΘ πρός ΘΒ ὁ αὐτός εἰμί ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ μετά ὁ ὁ ἀπό ΒΘ πρός ὁ ὑπό ΒΘΓ . ἀλλά ὁ ὁ ἀπό ΑΘ πρός ὁ ὑπό ΒΘΓ λόχος ὁ συγχέω εἰμί ἐκ ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΒΘ καί ὁ ἀπό ΒΘ πρός ὁ ὑπό ΒΘΓ ὁ ἀπό ΒΘ μέσος λαμβάνω ὥστε ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΒΘ λόγος μετά ὁ ὁ ΑΘ πρός ΘΒ ὁ αὐτός εἰμί ὁ ὁ ἀπό ΑΘ πρός ὁ ὑπό ΒΘΓ . ὁ δέ ὁ ἀπό ΑΘ πρός ὁ ὑπό ΒΘΓ λόγος ὁ αὐτός εἰμί ὁ ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ὑπό ΒΘΓ ἐπί ὁ τίθημι ὁ τίθημι κοινός ὕψος λαμβάνω . φημί δή ὅτι ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μείζων λόχος ἔχω ἤ2 ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ὑπό ΓΘΒ ἐπί ὁ τίθημι . πρός ὅς δέ ὁ αὐτός μείζων λόγος ἔχω , ἐκεῖνος ἐλαχύς εἰμί · δεικτέος ὅτι ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ ἐλαχύς εἰμί ὁ ὑπό ΒΘΓ ἐπί ὁ τίθημι , αὐτός εἰμί ὁ δείκνυμι ὅτι ὁ ἀπό ΓΘ πρός ὁ ὑπό ΓΘΒ μικρός λόγος ἔχω ἤ2 ὁ τίθημι πρός ΘΖ | ἐάν γάρ εἰμί τέσσαρες ὅρος , ὡς ἐνταῦθα ὁ ἀπό ΓΘ καί ὁ ὑπό ΓΘΒ καί ὁ τίθημι καί ΘΖ , καί ὁ ὑπό ὁ ἄκρος μικρός εἰμί ὁ ὑπό ὁ μέσος , ὁ πρῶτος πρός ὁ δύο μικρός λόχος ἔχω ἤ2 ὁ τρίτος πρός ὁ τέταρτος , ὡς δείκνυμι ἀνωτέρω . Εὔλοχος ἄρα χρή δείκνυμι ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μικρός ὁ ὑπό ΓΘΒ ἐπί ὁ τίθημι , ὅς αὐτός εἰμί ὁ δείκνυμι ὅτι ὁ ἀπό ΓΘ πρός ὁ ὑπό ΓΘΒ μικρός λόγος ἔχω ἤ2 ὁ τίθημι πρός ΘΖ . ἀλλά ὡς ὁ ἀπό ΓΘ πρός ὁ ὑπό ΓΘΒ , ὁ ΓΘ πρός ΘΒ δεῖ ἄρα δείκνυμι ὅτι ὁ ΓΘ πρός ΘΒ μικρός λόγος ἔχω ἤ2 ὁ τίθημι πρός ΘΖ , τουτέστιν ὅτι ὁ ΑΘ πρός ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ . ἄγω ἀπό ὁ Ε ὁ ΕΓ πρός ὀρθός ὁ ΕΚ καί ἀπό ὁ Β κάθετος ἐπί αὐτός ὁ ΒΛ ἐπίλοιπος ἐγώ δείκνυμι δεῖ ὅτι ὁ ΗΘ πρός ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ . Ἴσος δέ εἰμί ὁ ΘΖ συναμφότεροι ὁ ΘΑ , ΚΕ · ὁ γάρ αζʹ ὁ ἐκ ὁ κέντρον ἴσος εἰμί δεῖ ἄρα δείκνυμι ὅτι ὁ ΗΘ πρός συναμφότεροι ὁ ΘΑ , ΚΕ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ καί ἀφαιρέω ἄρα ἀπό ὁ ΗΘ ὁ ΓΘ , ἀπό δέ ὁ ΚΕ ὁ ΕΛ ἴσος ὁ ΒΘ , δήω δείκνυμι ὅτι λοιπός ὁ ΓΗ πρός λοιπός συναμφότεροι ὁ ΑΘ , ΚΛ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ | ἐπεί γάρ δεῖ δείκνυμι ὅτι ὁ ΗΘ πρός συναμφότεροι ὁ ΘΑ , ΚΕ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ , καί ἐναλλάξ ὅτι ὁ ΗΘ πρός ΘΓ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΘΑ , ΚΕ πρός ΘΒ , τουτέστι πρός ΛΕ , καί διαιρέω ὁ ΗΓ πρός ΓΘ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΘΑ , ΚΛ πρός ΛΕ , τουτέστι πρός ΒΘ , ἐναλλάξ ὅτι ὁ ΗΓ πρός συναμφότεροι ὁ ΘΑ , ΚΛ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ . ἀλλά ὡς ὁ ΓΘ πρός ΘΒ , οὕτως ὁ ΒΘ πρός ΘΑ , τουτέστιν ὁ ΛΕ πρός ΑΘ ὅτι ἄρα ὁ ΗΓ πρός συναμφότεροι ὁ ΘΑ , ΚΛ μείζων λόχος ἔχω ἤ2 ὁ ΛΕ πρός ΑΘ , καί ἐναλλάξ ὅτι ὁ ΓΗ , τουτέστιν ὁ ΚΕ , πρός ΕΛ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΚΛ , ΘΑ πρός ΘΑ διαιρέω ὅτι ὁ ΚΛ πρός ΛΕ μείζων λόγος ἔχω ἤ2 αὐτός ὁ ΚΛ πρός ΘΑ , τουτέστιν ὅτι μικρός ὁ ΛΕ ὁ ΘΑ εἰμί . ἑξῆς δέ ἐγώ ὁ σύνθεσις προστίθημι . ἐπεί ὁ ΛΕ ὁ ΑΘ μικρός , ὁ ἄρα ΚΛ πρός ΛΕ μείζων λόγος ἔχω ἤ2 ὁ ΚΛ πρός ΑΘ συντίθημι ὁ ΚΕ πρός ΕΛ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΚΛ , ΑΘ πρός ΑΘ . ὁ δέ ΛΕ ὁ ΒΘ εἰμί ἴσος · ὁ ἄρα πρός ΒΘ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΚΛ , ΑΘ πρός ΑΘ . ἐναλλάξ ὁ ἄρα ΗΓ πρός συναμφότεροι ὁ ΚΛ , ΑΘ μείζων λόγος ἔχω ἤ2 ὁ ΒΘ πρός ΘΑ , τουτέστιν ὁ ΓΘ πρός ΘΒ · ἐναλλάξ ὁ ΗΓ πρός ΓΘ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΚΛ , ΑΘ πρός ΘΒ · συντίθημι ὁ ΗΘ πρός ΘΓ μείζων λόγος ἔχω ἤ2 συναμφότερος ὁ ΚΛ , ΑΘ μετά ὁ ΘΒ , τουτέστι συναμφότερος ὁ ΑΘ , ΚΕ , πρός ΒΘ . Ἴσος δέ ὁ ΚΕ ὁ αζʹ · ὁ ἄρα ΗΘ πρός ΘΓ μείζων λόγος ἔχω ἤ2 ὁ ΖΘ πρός ΘΒ · ἐναλλάξ ὁ ΗΘ πρός ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ΓΘ πρός ΘΒ . ὡς δέ ὁ ΓΘ πρός ΘΒ , οὕτως ὁ ἀπό ΓΘ πρός ὁ ὑπό ΓΘΒ · ὁ ἄρα ΗΘ πρός ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ἀπό ΓΘ πρός ὁ ὑπό ΓΘΒ . καί διά ὁ πρότερος εἴρω ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ ἐλαχύς εἰμί ὁ ὑπό ΓΘΒ ἐπί ὁ τίθημι · ὁ ἄρα ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ὑπό ΓΘΒ ἐπί ὁ τίθημι . ὡς δέ ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ὑπό ΓΘΒ ἐπί ὁ τίθημι , οὕτως ὁ ἀπό ΑΘ πρός ὁ ὑπό ΓΘΒ · ὁ ἄρα ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ἀπό ΑΘ πρός ὁ ὑπό ΓΘΒ . ὁ δέ ὁ ἀπό ΑΘ πρός ὁ ὑπό ΒΘΓ ὁ ἀπό ΒΘ μέσος λαμβάνω σύγκειμαι ἐκ τε ὁ ὅς ἔχω ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ καί ὁ ὁ ἀπό ΒΘ πρός ὁ ὑπό ΒΘΓ , ὁ δέ ὁ ἀπό ΒΘ πρός ὁ ὑπό ΒΘΓ λόγος ὁ αὐτός εἰμί ὁ ὁ ΒΘ πρός ΘΓ , τουτέστι ὁ ὁ ΑΘ πρός ΒΘ ὁ ἄρα ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μείζων λόγος ἔχω ἤ2 ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ μετά ὁ ὁ ΑΘ πρός ΘΒ . ὁ δέ σύγκειμαι λόγος ἐκ τε ὁ ὁ ἀπό ΑΘ πρός ὁ ἀπό ΘΒ καί ὁ ὁ ΑΘ πρός ΘΒ ὁ αὐτός εἰμί ὁ ὁ ἀπό ὁ ΑΘ κύβος πρός ὁ ἀπό ΘΒ κύβος , τουτέστι ὁ ἀπό ΑΒ κύβος πρός ὁ ἀπό ΒΓ κύβος ὁ ἄρα ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ μείζων λόγος ἔχω ὁ ὅς ἔχω ὁ ἀπό ΑΒ κύβος πρός ὁ ἀπό ΒΓ κύβος . ἀλλά ὁ μέν ὁ ἀπό ΑΘ ἐπί ὁ τίθημι πρός ὁ ἀπό ΓΘ ἐπί ὁ ΘΖ λόγος ὁ αὐτός δείκνυμι ὁ ὁ τμῆμα λόγος , ὁ δέ ὁ ἀπό ὁ ΑΒ κύβος πρός ὁ ἀπό ὁ κύβος λόγος ἡμιόλιος δείκνυμι ὁ ὁ ἐπιφάνεια λόγος · ὁ ἄρα τμῆμα πρός ὁ τμῆμα μείζων λόγος ἔχω ἢ ἡμιόλιος ὁ ὅς ἔχω ὁ ἐπιφάνεια πρός ὁ ἐπιφάνεια .