Στοιχεῖα Εὐκλείδου ε΄
[Βιβλίον V]
Αἰ Προτάσεις τῶν Στοιχείων ε΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις κ΄. [20]
Ἐὰν ᾖ τρία μεγέθη καὶ ἄλλα αὐτοῖς ἴσα τὸ πλῆθος, σύνδυο λαμβανόμενα καὶ ἐν τῷ αὐτῷ λόγῳ, δι' ἴσου δὲ τὸ πρῶτον τοῦ τρίτου μεῖζον ᾖ, καὶ τὸ τέταρτον τοῦ ἕκτου μεῖζον ἔσται, κἂν ἴσον, ἴσον, κἂν ἔλαττον, ἔλαττον.
Ἔστω τρία μεγέθη τὰ Α, Β, Γ, καὶ ἄλλα αὐτοῖς ἴσα τὸ πλῆθος τὰ Δ, Ε, Ζ, σύνδυο λαμβανόμενα ἐν τῷ αὐτῷ λόγῳ, ὡς μὲν τὸ Α πρὸς τὸ Β, οὕτως τὸ Δ πρὸς τὸ Ε, ὡς δὲ τὸ Β πρὸς τὸ Γ, οὕτως τὸ Ε πρὸς τὸ Ζ, δι' ἴσου δὲ μεῖζον ἔστω τὸ Α τοῦ Γ· λέγω, ὅτι καὶ τὸ Δ τοῦ Ζ μεῖζον ἔσται, κἂν ἴσον, ἴσον, κἂν ἔλαττον, ἔλαττον.
Ἐπεὶ γὰρ μεῖζόν ἐστι τὸ Α τοῦ Γ, ἄλλο δέ τι τὸ Β, τὸ δὲ μεῖζον πρὸς τὸ αὐτὸ μείζονα λόγον ἔχει ἤπερ τὸ ἔλαττον, τὸ Α ἄρα πρὸς τὸ Β μείζονα λόγον ἔχει ἤπερ τὸ Γ πρὸς τὸ Β. ἀλλ' ὡς μὲν τὸ Α πρὸς τὸ Β, [οὕτως] τὸ Δ πρὸς τὸ Ε, ὡς δὲ τὸ Γ πρὸς τὸ Β, ἀνάπαλιν οὕτως τὸ Ζ πρὸς τὸ Ε· καὶ τὸ Δ ἄρα πρὸς τὸ Ε μείζονα λόγον ἔχει ἤπερ τὸ Ζ πρὸς τὸ Ε. τῶν δὲ πρὸς τὸ αὐτὸ λόγον ἐχόντων τὸ μείζονα λόγον ἔχον μεῖζόν ἐστιν. μεῖζον ἄρα τὸ Δ τοῦ Ζ. ὁμοίως δὴ δείξομεν, ὅτι κἂν ἴσον ᾖ τὸ Α τῷ Γ, ἴσον ἔσται καὶ τὸ Δ τῷ Ζ, κἂν ἔλαττον, ἔλαττον.
Ἐὰν ἄρα ᾖ τρία μεγέθη καὶ ἄλλα αὐτοῖς ἴσα τὸ πλῆθος, σύνδυο λαμβανόμενα καὶ ἐν τῷ αὐτῷ λόγῳ, δι' ἴσου δὲ τὸ πρῶτον τοῦ τρίτου μεῖζον ᾖ, καὶ τὸ τέταρτον τοῦ ἕκτου μεῖζον ἔσται, κἂν ἴσον, ἴσον, κἂν ἔλαττον, ἔλαττον· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἰ Προτάσεις τῶν Στοιχείων ε΄.
Περιεχόμενα Στοιχείων Εὐκλείδου