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