Euclid Elementa 5.prop.18

ἐὰν διῃρημένα μεγέθη ἀνάλογον ᾖ, καὶ συντεθέντα ἀνάλογον ἔσται.

ἔστω διῃρημένα μεγέθη ἀνάλογον τὰ ΑΕ, ΕΒ, ΓΖ, ΖΔ, ὡς τὸ ΑΕ πρὸς τὸ ΕΒ, οὕτως τὸ ΓΖ πρὸς τὸ ΖΔ·
λέγω, ὅτι καὶ συντεθέντα ἀνάλογον ἔσται, ὡς τὸ ΑΒ πρὸς τὸ ΒΕ, οὕτως τὸ ΓΔ πρὸς τὸ ΖΔ.

εἰ γὰρ μή ἐστιν ὡς τὸ ΑΒ πρὸς τὸ ΒΕ, οὕτως τὸ ΓΔ
πρὸς τὸ ΔΖ, ἔσται ὡς τὸ ΑΒ πρὸς τὸ ΒΕ, οὕτως τὸ ΓΔ ἤτοι πρὸς ἔλασσόν τι τοῦ ΔΖ ἢ πρὸς μεῖζον.

ἔστω πρότερον πρὸς ἔλασσον τὸ ΔΗ. καὶ ἐπεί ἐστιν ὡς τὸ ΑΒ πρὸς τὸ ΒΕ, οὕτως τὸ ΓΔ πρὸς τὸ ΔΗ, συγκείμενα μεγέθη ἀνάλογόν ἐστιν· ὥστε καὶ διαιρεθέντα
ἀνάλογον ἔσται. ἔστιν ἄρα ὡς τὸ ΑΕ πρὸς τὸ ΕΒ, οὕτως τὸ ΓΗ πρὸς τὸ ΗΔ. ὑπόκειται δὲ καὶ ὡς τὸ ΑΕ πρὸς τὸ ΕΒ, οὕτως τὸ ΓΖ πρὸς τὸ ΖΔ. καὶ ὡς ἄρα τὸ ΓΗ πρὸς τὸ ΗΔ, οὕτως τὸ ΓΖ πρὸς τὸ ΖΔ. μεῖζον δὲ τὸ πρῶτον τὸ ΓΗ τοῦ τρίτου τοῦ ΓΖ· μεῖζον ἄρα καὶ τὸ δεύτερον
τὸ ΗΔ τοῦ τετάρτου τοῦ ΖΔ. ἀλλὰ καὶ ἔλαττον· ὅπερ ἐστὶν ἀδύνατον· οὐκ ἄρα ἐστὶν ὡς τὸ ΑΒ πρὸς τὸ ΒΕ, οὕτως τὸ ΓΔ πρὸς ἔλασσον τοῦ ΖΔ. ὁμοίως δὴ δείξομεν, ὅτι οὐδὲ πρὸς μεῖζον· πρὸς αὐτὸ ἄρα.

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