Euclid Elementa 5.prop.25

ἐὰν τέσσαρα μεγέθη ἀνάλογον ᾖ, τὸ μέγιστον αὐτῶν καὶ τὸ ἐλάχιστον δύο τῶν λοιπῶν μείζονά ἐστιν.

ἔστω τέσσαρα μεγέθη ἀνάλογον τὰ ΑΒ, ΓΔ, Ε, Ζ, ὡς τὸ ΑΒ πρὸς τὸ ΓΔ, οὕτως τὸ Ε πρὸς τὸ Ζ, ἔστω δὲ
μέγιστον μὲν αὐτῶν τὸ ΑΒ, ἐλάχιστον δὲ τὸ Ζ· λέγω, ὅτι τὰ ΑΒ, Ζ τῶν ΓΔ, Ε μείζονά ἐστιν.

κείσθω γὰρ τῷ μὲν Ε ἴσον τὸ ΑΗ, τῷ δὲ Ζ ἴσον τὸ ΓΘ.

ἐπεὶ οὖν ἐστιν ὡς τὸ ΑΒ πρὸς τὸ ΓΔ, οὕτως τὸ Ε πρὸς τὸ Ζ, ἴσον δὲ τὸ μὲν Ε τῷ ΑΗ, τὸ δὲ Ζ τῷ ΓΘ, ἔστιν ἄρα ὡς τὸ ΑΒ πρὸς τὸ ΓΔ, οὕτως τὸ ΑΗ πρὸς τὸ ΓΘ. καὶ ἐπεί ἐστιν ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ,
οὕτως ἀφαιρεθὲν τὸ ΑΗ πρὸς ἀφαιρεθὲν τὸ ΓΘ, καὶ λοιπὸν ἄρα τὸ ΗΒ πρὸς λοιπὸν τὸ ΘΔ ἔσται ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ. μεῖζον δὲ τὸ ΑΒ τοῦ ΓΔ· μεῖζον ἄρα καὶ τὸ ΗΒ τοῦ ΘΔ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ μὲν ΑΗ τῷ Ε, τὸ δὲ ΓΘ τῷ Ζ, τὰ ἄρα ΑΗ, Ζ ἴσα ἐστὶ τοῖς ΓΘ,
ε. καὶ ἐπεὶ ἐὰν ἀνίσοις ἴσα προστεθῇ, τὰ ὅλα ἄνισά ἐστιν, ἐὰν ἄρα τῶν ΗΒ, ΘΔ ἀνίσων ὄντων καὶ μείζονος τοῦ ΗΒ τῷ μὲν ΗΒ προστεθῇ τὰ ΑΗ, Ζ, τῷ δὲ ΘΔ προστεθῇ τὰ ΓΘ, Ε, συνάγεται τὰ ΑΒ, Ζ μείζονα τῶν ΓΔ, Ε.

ἐὰν ἄρα τέσσαρα μεγέθη ἀνάλογον ᾖ, τὸ μέγιστον αὐτῶν καὶ τὸ ἐλάχιστον δύο τῶν λοιπῶν μείζονά ἐστιν· ὅπερ ἔδει δεῖξαι.