Στοιχεῖα Εὐκλείδου ζ΄

[Βιβλίον VII]

---

Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις

Πρότασις λε΄. [35]

Ἐὰν δύο ἀριθμοὶ ἀριθμόν τινα μετρῶσιν, καὶ ὁ ἐλάχιστος ὑπ' αὐτῶν μετρούμενος τὸν αὐτὸν μετρήσει.

Δύο γὰρ ἀριθμοὶ οἱ Α, Β ἀριθμόν τινα τὸν ΓΔ μετρείτωσαν, ἐλάχιστον δὲ τὸν Ε· λέγω, ὅτι καὶ ὁ Ε τὸν ΓΔ μετρεῖ.

• 

Εἰ γὰρ οὐ μετρεῖ ὁ Ε τὸν ΓΔ, ὁ Ε τὸν ΔΖ μετρῶν λειπέτω ἑαυτοῦ ἐλάσσονα τὸν ΓΖ. καὶ ἐπεὶ οἱ Α, Β τὸν Ε μετροῦσιν, ὁ δὲ Ε τὸν ΔΖ μετρεῖ, καὶ οἱ Α, Β ἄρα τὸν ΔΖ μετρήσουσιν. μετροῦσι δὲ καὶ ὅλον τὸν ΓΔ· καὶ λοιπὸν ἄρα τὸν ΓΖ μετρήσουσιν ἐλάσσονα ὄντα τοῦ Ε· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα οὐ μετρεῖ ὁ Ε τὸν ΓΔ· μετρεῖ ἄρα· ὅπερ ἔδει δεῖξαι.

---

Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Περιεχόμενα Στοιχείων Εὐκλείδου

---