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