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

[Βιβλίον VII]

---

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

Πρότασις κθ΄. [29]

Ἅπας πρῶτος ἀριθμὸς πρὸς ἅπαντα ἀριθμόν, ὃν μὴ μετρεῖ, πρῶτός ἐστιν.

Ἔστω πρῶτος ἀριθμὸς ὁ Α καὶ τὸν Β μὴ μετρείτω· λέγω, ὅτι οἱ Β, Α πρῶτοι πρὸς ἀλλήλους εἰσίν. εἰ γὰρ μή εἰσιν οἱ Β, Α πρῶτοι πρὸς ἀλλήλους, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω ὁ Γ. ἐπεὶ ὁ Γ τὸν Β μετρεῖ, ὁ δὲ Α τὸν Β οὐ μετρεῖ, ὁ Γ ἄρα τῷ Α οὔκ ἐστιν ὁ αὐτός. καὶ ἐπεὶ ὁ Γ τοὺς Β, Α μετρεῖ, καὶ τὸν Α ἄρα μετρεῖ πρῶτον ὄντα μὴ ὢν αὐτῷ ὁ αὐτός· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Β, Α μετρήσει τις ἀριθμός. οἱ Α, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

---

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

---

---