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

[Βιβλίον VII]

---

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

Πρότασις κε΄. [25]

Ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, ὁ ἐκ τοῦ ἑνὸς αὐτῶν γενόμενος πρὸς τὸν λοιπὸν πρῶτος ἔσται.

Ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, καὶ ὁ Α ἑαυτὸν πολλαπλασιάσας τὸν Γ ποιείτω· λέγω, ὅτι οἱ Β, Γ πρῶτοι πρὸς ἀλλήλους εἰσίν.

Κείσθω γὰρ τῷ Α ἴσος ὁ Δ. ἐπεὶ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους εἰσίν, ἴσος δὲ ὁ Α τῷ Δ, καὶ οἱ Δ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. ἑκάτερος ἄρα τῶν Δ, Α πρὸς τὸν Β πρῶτός ἐστιν· καὶ ὁ ἐκ τῶν Δ, Α ἄρα γενόμενος πρὸς τὸν Β πρῶτος ἔσται. ὁ δὲ ἐκ τῶν Δ, Α γενόμενος ἀριθμός ἐστιν ὁ Γ. οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.

---

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

---

---