Euclid, Elements
J. L. Heiberg, Ed.

ἔστω τρία μεγέθη τὰ Α, Β, Γ καὶ ἄλλα αὐτοῖς ἴσα τὸ πλῆθος τὰ Δ, Ε, Ζ, σύνδυο λαμβανόμενα καὶ ἐν τῷ αὐτῷ λόγῳ, ἔστω δὲ τεταραγμένη αὐτῶν ἡ ἀναλογία, ὡς μὲν
10τὸ Α πρὸς τὸ Β, οὕτως τὸ Ε πρὸς τὸ Ζ, ὡς δὲ τὸ Β πρὸς τὸ Γ, οὕτως τὸ Δ πρὸς τὸ Ε, δι᾽ ἴσου δὲ τὸ Α τοῦ Γ μεῖζον ἔστω: λέγω, ὅτι καὶ τὸ Δ τοῦ Ζ μεῖζον ἔσται, κἂν ἴσον, ἴσον, κἂν ἔλαττον, ἔλαττον.
15

ἐπεὶ γὰρ μεῖζόν ἐστι τὸ Α τοῦ Γ, ἄλλο δέ τι τὸ Β, τὸ Α ἄρα πρὸς τὸ Β μείζονα λόγον ἔχει ἤπερ τὸ Γ πρὸς τὸ Β. ἀλλ᾽ ὡς μὲν τὸ Α πρὸς τὸ Β, οὕτως τὸ Ε πρὸς τὸ Ζ, ὡς δὲ τὸ Γ πρὸς τὸ Β, ἀνάπαλιν οὕτως τὸ Ε πρὸς τὸ Δ. καὶ τὸ Ε ἄρα πρὸς τὸ Ζ μείζονα λόγον ἔχει ἤπερ τὸ Ε πρὸς
20τὸ Δ. πρὸς ὃ δὲ τὸ αὐτὸ μείζονα λόγον ἔχει, ἐκεῖνο ἔλασσόν ἐστιν: ἔλασσον ἄρα ἐστὶ τὸ Ζ τοῦ Δ: μεῖζον ἄρα ἐστὶ τὸ Δ τοῦ Ζ. ὁμοίως δὴ δείξομεν, ὅτι κἂν ἴσον ᾖ τὸ Α τῷ Γ, ἴσον ἔσται καὶ τὸ Δ τῷ Ζ, κἂν ἔλαττον, ἔλαττον.

ἐὰν ἄρα ᾖ τρία μεγέθη καὶ ἄλλα αὐτοῖς ἴσα τὸ πλῆθος,
25σύνδυο λαμβανόμενα καὶ ἐν τῷ αὐτῷ λόγῳ, ᾖ δὲ τεταραγμένη αὐτῶν ἡ ἀναλογία, δι᾽ ἴσου δὲ τὸ πρῶτον τοῦ τρίτου μεῖζον ᾖ, καὶ τὸ τέταρτον τοῦ ἕκτου μεῖζον ἔσται, κἂν ἴσον, ἴσον, κἂν ἔλαττον, ἔλαττον: ὅπερ ἔδει δεῖξαι.