Euclid, Elementa, ed. Johan Ludvig Heiberg, 7.prop.29

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

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

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

Euclid Elementa 7.prop.29

ed. Johan Ludvig Heiberg

Search the Perseus Catalog for:

Current edition Perseus

Stable identifiers