Loading...
Στοιχεῖα Εὐκλείδου ζ΄
[Βιβλίον VII]
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις κγ΄. [23]
Ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, ὁ τὸν ἕνα αὐτῶν μετρῶν ἀριθμὸς πρὸς τὸν λοιπὸν πρῶτος ἔσται.
Ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, τὸν δὲ Α μετρείτω τις ἀριθμὸς ὁ Γ· λέγω, ὅτι καὶ οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους εἰσίν.
Εἰ γὰρ μή εἰσιν οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους, μετρήσει [τις] τοὺς Γ, Β ἀριθμός. μετρείτω, καὶ ἔστω ὁ Δ. ἐπεὶ ὁ Δ τὸν Γ μετρεῖ, ὁ δὲ Γ τὸν Α μετρεῖ, καὶ ὁ Δ ἄρα τὸν Α μετρεῖ. μετρεῖ δὲ καὶ τὸν Β· ὁ Δ ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Γ, Β ἀριθμοὺς ἀριθμός τις μετρήσει. οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Περιεχόμενα Στοιχείων Εὐκλείδου