Book 9
16
δύο γὰρ ἀριθμοὶ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους ἔστωσαν· λέγω, ὅτι οὐκ ἔστιν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Β πρὸς ἄλλον τινά.
16
εἰ γὰρ δυνατόν, ἔστω ὡς ὁ Α πρὸς τὸν Β, ὁ Β πρὸς τὸν Γ. οἱ δὲ Α, Β πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· μετρεῖ ἄρα ὁ Α τὸν Β ὡς ἡγούμενος ἡγούμενον. μετρεῖ δὲ καὶ ἑαυτόν· ὁ Α ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἄτοπον. οὐκ ἄρα ἔσται ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Β πρὸς τὸν Γ· ὅπερ ἔδει δεῖξαι.
17
ἐὰν ὦσιν ὁσοιδηποτοῦν ἀριθμοὶ ἑξῆς ἀνάλογον, οἱ δὲ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους ὦσιν, οὐκ ἔσται ὡς ὁ πρῶτος πρὸς τὸν δεύτερον, οὕτως ὁ ἔσχατος πρὸς ἄλλον τινά.
17
ἔστωσαν ὁσοιδηποτοῦν ἀριθμοὶ ἑξῆς ἀνάλογον οἱ Α, Β, Γ, Δ, οἱ δὲ ἄκροι αὐτῶν οἱ Α, Δ πρῶτοι πρὸς ἀλλήλους ἔστωσαν· λέγω, ὅτι οὐκ ἔστιν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς ἄλλον τινά.
17
εἰ γὰρ δυνατόν, ἔστω ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν Ε· ἐναλλὰξ ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Δ, ὁ Β πρὸς τὸν Ε. οἱ δὲ Α, Δ πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον. μετρεῖ ἄρα ὁ Α τὸν Β. καί ἐστιν ὡς ὁ Α πρὸς τὸν Β, ὁ Β πρὸς τὸν Γ. καὶ ὁ Β ἄρα τὸν Γ μετρεῖ· ὥστε καὶ ὁ Α τὸν Γ μετρεῖ. καὶ ἐπεί ἐστιν ὡς ὁ Β πρὸς τὸν Γ, ὁ Γ πρὸς τὸν Δ, μετρεῖ δὲ ὁ Β τὸν Γ, μετρεῖ ἄρα καὶ ὁ Γ τὸν Δ. ἀλλʼ ὁ Α τὸν Γ ἐμέτρει· ὥστε ὁ Α καὶ τὸν Δ μετρεῖ. μετρεῖ δὲ καὶ ἑαυτόν. ὁ Α ἄρα τοὺς α, Δ μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἔσται ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς ἄλλον τινά· ὅπερ ἔδει δεῖξαι.
18
δύο ἀριθμῶν δοθέντων ἐπισκέψασθαι, εἰ δυνατόν ἐστιν αὐτοῖς τρίτον ἀνάλογον προσευρεῖν.
18
ἔστωσαν οἱ δοθέντες δύο ἀριθμοὶ οἱ Α, Β, καὶ δέον ἔστω ἐπισκέψασθαι, εἰ δυνατόν ἐστιν αὐτοῖς τρίτον ἀνάλογον προσευρεῖν.
18
οἱ δὴ Α, Β ἤτοι πρῶτοι πρὸς ἀλλήλους εἰσὶν ἢ οὔ. καὶ εἰ πρῶτοι πρὸς ἀλλήλους εἰσίν, δέδεικται, ὅτι ἀδύνατόν ἐστιν αὐτοῖς τρίτον ἀνάλογον προσευρεῖν.
