Book 9, Type prop

ἐὰν ἀπὸ μονάδος ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἐκτεθῶσιν ἐν τῇ διπλασίονι ἀναλογίᾳ, ἕως οὗ ὁ σύμπας συντεθεὶς πρῶτος γένηται, καὶ ὁ σύμπας ἐπὶ τὸν ἔσχατον πολλαπλασιασθεὶς ποιῇ τινα, ὁ γενόμενος τέλειος ἔσται. ἀπὸ γὰρ μονάδος ἐκκείσθωσαν ὁσοιδηποτοῦν ἀριθμοὶ ἐν τῇ διπλασίονι ἀναλογίᾳ, ἕως οὗ ὁ σύμπας συντεθεὶς πρῶτος γένηται, οἱ Α, Β, Γ, Δ, καὶ τῷ σύμπαντι ἴσος ἔστω ὁ Ε, καὶ ὁ Ε τὸν Δ πολλαπλασιάσας τὸν ΖΗ ποιείτω. λέγω, ὅτι ὁ ΖΗ τέλειός ἐστιν. ὅσοι γάρ εἰσιν οἱ Α, Β, Γ, Δ τῷ πλήθει, τοσοῦτοι ἀπὸ τοῦ Ε εἰλήφθωσαν ἐν τῇ διπλασίονι ἀναλογίᾳ οἱ Ε, ΘΚ, Λ, Μ· διʼ ἴσου ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Δ, οὕτως ὁ Ε πρὸς τὸν Μ. ὁ ἄρα ἐκ τῶν Ε, Δ ἴσος ἐστὶ τῷ ἐκ τῶν Α, Μ. καί ἐστιν ὁ ἐκ τῶν Ε, Δ ὁ ΖΗ· καὶ ὁ ἐκ τῶν Α, Μ ἄρα ἐστὶν ὁ ΖΗ. ὁ Α ἄρα τὸν Μ πολλαπλασιάσας τὸν ΖΗ πεποίηκεν· ὁ Μ ἄρα τὸν ΖΗ μετρεῖ κατὰ τὰς ἐν τῷ Α μονάδας. καί ἐστι δυὰς ὁ Α· διπλάσιος ἄρα ἐστὶν ὁ ΖΗ τοῦ Μ. εἰσὶ δὲ καὶ οἱ Μ, Λ, ΘΚ, Ε ἑξῆς διπλάσιοι ἀλλήλων· οἱ Ε, ΘΚ, Λ, Μ, ΖΗ ἄρα ἑξῆς ἀνάλογόν εἰσιν ἐν τῇ διπλασίονι ἀναλογίᾳ. ἀφῃρήσθω δὴ ἀπὸ τοῦ δευτέρου τοῦ ΘΚ καὶ τοῦ ἐσχάτου τοῦ ΖΗ τῷ πρώτῳ τῷ Ε ἴσος ἑκάτερος τῶν ΘΝ, ΖΞ· ἔστιν ἄρα ὡς ἡ τοῦ δευτέρου ἀριθμοῦ ὑπεροχὴ πρὸς τὸν πρῶτον, οὕτως ἡ τοῦ ἐσχάτου ὑπεροχὴ πρὸς τοὺς πρὸ ἑαυτοῦ πάντας. ἔστιν ἄρα ὡς ὁ ΝΚ πρὸς τὸν Ε, οὕτως ὁ ΞΗ πρὸς τοὺς Μ, Λ, ΚΘ, Ε. καί ἐστιν ὁ ΝΚ ἴσος τῷ Ε· καὶ ὁ ΞΗ ἄρα ἴσος ἐστὶ τοῖς Μ, Λ, ΘΚ, Ε. ἔστι δὲ καὶ ὁ ΖΞ τῷ Ε ἴσος, ὁ δὲ Ε τοῖς Α, Β, Γ, Δ καὶ τῇ μονάδι. ὅλος ἄρα ὁ ΖΗ ἴσος ἐστὶ τοῖς τε Ε, ΘΚ, Λ, Μ καὶ τοῖς Α, Β, Γ, Δ καὶ τῇ μονάδι· καὶ μετρεῖται ὑπʼ αὐτῶν. λέγω, ὅτι καὶ ὁ ΖΗ ὑπʼ οὐδενὸς ἄλλου μετρηθήσεται παρὲξ τῶν Α, Β, Γ, Δ, Ε, ΘΚ, Λ, Μ καὶ τῆς μονάδος. εἰ γὰρ δυνατόν, μετρείτω τις τὸν ΖΗ ὁ Ο, καὶ ὁ Ο μηδενὶ τῶν Α, Β, Γ, Δ, Ε, ΘΚ, Λ, Μ ἔστω ὁ αὐτός. καὶ ὁσάκις ὁ Ο τὸν ΖΗ μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Π· ὁ Π ἄρα τὸν Ο πολλαπλασιάσας τὸν ΖΗ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Ε τὸν Δ πολλαπλασιάσας τὸν ΖΗ πεποίηκεν· ἔστιν ἄρα ὡς ὁ ε πρὸς τὸν Π, ὁ Ο πρὸς τὸν Δ. καὶ ἐπεὶ ἀπὸ μονάδος ἑξῆς ἀνάλογόν εἰσιν οἱ Α, Β, Γ, Δ, ὁ Δ ἄρα ὑπʼ οὐδενὸς ἄλλου ἀριθμοῦ μετρηθήσεται παρὲξ τῶν Α, Β, Γ. καὶ ὑπόκειται ὁ Ο οὐδενὶ τῶν Α, Β, Γ ὁ αὐτός· οὐκ ἄρα μετρήσει ὁ Ο τὸν Δ. ἀλλʼ ὡς ὁ Ο πρὸς τὸν Δ, ὁ Ε πρὸς τὸν Π· οὐδὲ ὁ Ε ἄρα τὸν Π μετρεῖ. καί ἐστιν ὁ Ε πρῶτος· πᾶς δὲ πρῶτος ἀριθμὸς πρὸς ἅπαντα, ὃν μὴ μετρεῖ, πρῶτος . οἱ Ε, Π ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· καί ἐστιν ὡς ὁ Ε πρὸς τὸν Π, ὁ Ο πρὸς τὸν Δ· ἰσάκις ἄρα ὁ Ε τὸν Ο μετρεῖ καὶ ὁ Π τὸν Δ· ἰσάκις ἄρα ὁ Ε τὸν Ο μετρεῖ καὶ ὁ Π τὸν Δ. ὁ δὲ Δ ὑπʼ οὐδενὸς ἄλλου μετρεῖται παρὲξ τῶν Α, Β, Γ· ὁ Π ἄρα ἑνὶ τῶν Α, Β, Γ ἐστιν ὁ αὐτός. ἔστω τῷ Β ὁ αὐτός. καὶ ὅσοι εἰσὶν οἱ Β, Γ, Δ τῷ πλήθει τοσοῦτοι εἰλήφθωσαν ἀπὸ τοῦ Ε οἱ Ε, ΘΚ, Λ. καί εἰσιν οἱ Ε, ΘΚ, Λ τοῖς Β, Γ, Δ ἐν τῷ αὐτῷ λόγῳ· διʼ ἴσου ἄρα ἐστὶν ὡς ὁ Β πρὸς τὸν Δ, ὁ Ε πρὸς τὸν Λ. ὁ ἄρα ἐκ τῶν Β, Λ ἴσος ἐστὶ τῷ ἐκ τῶν Δ, Ε· ἀλλʼ ὁ ἐκ τῶν Δ, Ε ἴσος ἐστὶ τῷ ἐκ τῶν π, Ο· καὶ ὁ ἐκ τῶν Π, Ο ἄρα ἴσος ἐστὶ τῷ ἐκ τῶν Β, Λ. ἔστιν ἄρα ὡς ὁ Π πρὸς τὸν Β, ὁ Λ πρὸς τὸν Ο. καί ἐστιν ὁ Π τῷ Β ὁ αὐτός· καὶ ὁ Λ ἄρα τῷ Ο ἐστιν ὁ αὐτός· ὅπερ ἀδύνατον· ὁ γὰρ Ο ὑπόκειται μηδενὶ τῶν ἐκκειμένων ὁ αὐτός. οὐκ ἄρα τὸν ΖΗ μετρήσει τις ἀριθμὸς παρὲξ τῶν α, Β, Γ, Δ, Ε, ΘΚ, Λ, Μ καὶ τῆς μονάδος. καὶ ἐδείχθη ὁ ΖΗ τοῖς Α, Β, Γ, Δ, Ε, ΘΚ, Λ, Μ καὶ τῇ μονάδι ἴσος. τέλειος δὲ ἀριθμός ἐστιν ὁ τοῖς ἑαυτοῦ μέρεσιν ἴσος ὤν· τέλειος ἄρα ἐστὶν ὁ ΖΗ· ὅπερ ἔδει δεῖξαι.