Euclid, Elements
J. L. Heiberg, Ed.

ἔστω ἴσα μεγέθη τὰ Α, Β, ἄλλο δέ τι, ὃ ἔτυχεν, μέγεθος τὸ Γ: λέγω, ὅτι ἑκάτερον
5τῶν Α, Β πρὸς τὸ Γ τὸν αὐτὸν ἔχει λόγον, καὶ τὸ Γ πρὸς ἑκάτερον τῶν Α, Β.

εἰλήφθω γὰρ τῶν μὲν Α, Β ἰσάκις πολλαπλάσια τὰ Δ, Ε, τοῦ δὲ Γ ἄλλο, ὃ ἔτυχεν, πολλαπλάσιον τὸ Ζ.
10

ἐπεὶ οὖν ἰσάκις ἐστὶ πολλαπλάσιον τὸ Δ τοῦ Α καὶ τὸ Ε τοῦ Β, ἴσον δὲ τὸ Α τῷ Β, ἴσον ἄρα καὶ τὸ Δ τῷ Ε. ἄλλο δέ, ὃ ἔτυχεν, τὸ Ζ. εἰ ἄρα ὑπερέχει τὸ Δ τοῦ Ζ, ὑπερέχει καὶ τὸ Ε τοῦ Ζ, καὶ εἰ ἴσον, ἴσον, καὶ εἰ ἔλαττον, ἔλαττον. καί ἐστι τὰ μὲν Δ, Ε τῶν Α, Β ἰσάκις πολλαπλάσια, τὸ
15δὲ Ζ τοῦ Γ ἄλλο, ὃ ἔτυχεν, πολλαπλάσιον: ἔστιν ἄρα ὡς τὸ Α πρὸς τὸ Γ, οὕτως τὸ Β πρὸς τὸ Γ.

λέγω δή, ὅτι καὶ τὸ Γ πρὸς ἑκάτερον τῶν Α, Β τὸν αὐτὸν ἔχει λόγον.

τῶν γὰρ αὐτῶν κατασκευασθέντων ὁμοίως δείξομεν,
20ὅτι ἴσον ἐστὶ τὸ Δ τῷ Ε: ἄλλο δέ τι τὸ Ζ: εἰ ἄρα ὑπερέχει τὸ Ζ τοῦ Δ, ὑπερέχει καὶ τοῦ Ε, καὶ εἰ ἴσον, ἴσον, καὶ εἰ ἔλαττον, ἔλαττον. καί ἐστι τὸ μὲν Ζ τοῦ Γ πολλαπλάσιον, τὰ δὲ Δ, Ε τῶν Α, Β ἄλλα, ἃ ἔτυχεν, ἰσάκις πολλαπλάσια: ἔστιν ἄρα ὡς τὸ Γ πρὸς τὸ Α, οὕτως τὸ Γ πρὸς τὸ Β.
25

τὰ ἴσα ἄρα πρὸς τὸ αὐτὸ τὸν αὐτὸν ἔχει λόγον καὶ τὸ αὐτὸ πρὸς τὰ ἴσα.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν μεγέθη τινὰ ἀνάλογον ᾖ, καὶ ἀνάπαλιν ἀνάλογον ἔσται. ὅπερ ἔδει δεῖξαι.