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