Euclid Elements, 9.prop.20

Christopher Blackwell / Euclid
Euclid 9.20. The "infinitude of primes".
Ἑλληνική Transliterate
English
urn:cts:greekLit:tlg1799.tlg001.heiberg:9.prop.20
urn:cts:greekLit:tlg1799.tlg001.heath:9.prop.20
Οἱ πρῶτοι ἀριθμοὶ πλείους εἰσὶ παντὸς τοῦ προτεθέντος πλήθους πρώτων ἀριθμῶν .

Ἔστωσαν οἱ προτεθέντες πρῶτοι ἀριθμοὶ οἱ Α , Β , Γ : λέγω , ὅτι τῶν Α , Β , Γ πλείους εἰσὶ πρῶτοι ἀριθμοί .

Εἰλήφθω γὰρ ὑπὸ τῶν Α , Β , Γ ἐλάχιστος μετρούμενος καὶ ἔστω ΔΕ , καὶ προσκείσθω τῷ ΔΕ μονὰς ΔΖ .

δὴ ΕΖ ἤτοι πρῶτός ἐστιν οὔ .

ἔστω πρότερον πρῶτος : εὑρημένοι ἄρα εἰσὶ πρῶτοι ἀριθμοὶ οἱ Α , Β , Γ , ΕΖ πλείους τῶν Α , Β , Γ .

Ἀλλὰ δὴ μὴ ἔστω ΕΖ πρῶτος : ὑπὸ πρώτου ἄρα τινὸς ἀριθμοῦ μετρεῖται .

μετρείσθω ὑπὸ πρώτου τοῦ Η :

λέγω , ὅτι Η οὐδενὶ τῶν Α , Β , Γ ἐστιν αὐτός .

εἰ γὰρ δυνατόν , ἔστω .

οἱ δὲ Α , Β , Γ τὸν ΔΕ μετροῦσιν :

καὶ Η ἄρα τὸν ΔΕ μετρήσει .

μετρεῖ δὲ καὶ τὸν ΕΖ :

καὶ λοιπὴν τὴν ΔΖ μονάδα μετρήσει Η ἀριθμὸς ὤν : ὅπερ ἄτοπον .

οὐκ ἄρα Η ἑνὶ τῶν Α , Β , Γ ἐστιν αὐτός .

καὶ ὑπόκειται πρῶτος .

εὑρημένοι ἄρα εἰσὶ πρῶτοι ἀριθμοὶ πλείους τοῦ προτεθέντος πλήθους τῶν Α , Β , Γ οἱ Α , Β , Γ , Η :

ὅπερ ἔδει δεῖξαι .

( 226 ) 100% GRC
( 0 ) 0% GRC - ENG

( 0 ) 0% GRC - ENG
( 265 ) 100% ENG