Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν οἱ δοθέντες τρεῖς ἀριθμοὶ οἱ Α, Β, Γ, καὶ δέον ἔστω ἐπισκέψασθαι, πότε δυνατόν ἐστιν αὐτοῖς
5τέταρτον ἀνάλογον προσευρεῖν.

ἤτοι οὖν οὔκ εἰσιν ἑξῆς ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους εἰσίν, ἢ ἑξῆς εἰσιν ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν οὔκ εἰσι πρῶτοι πρὸς ἀλλήλους, ἢ οὔτε ἑξῆς εἰσιν ἀνάλογον, οὔτε οἱ ἄκροι αὐτῶν πρῶτοι πρὸς
10ἀλλήλους εἰσίν, ἢ καὶ ἑξῆς εἰσιν ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους εἰσίν.

εἰ μὲν οὖν οἱ Α, Β, Γ ἑξῆς εἰσιν ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν οἱ Α, Γ πρῶτοι πρὸς ἀλλήλους εἰσίν, δέδεικται, ὅτι ἀδύνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν
15ἀριθμόν. μὴ ἔστωσαν δὴ οἱ Α, Β, Γ ἑξῆς ἀνάλογον τῶν ἄκρων πάλιν ὄντων πρώτων πρὸς ἀλλήλους. λέγω, ὅτι καὶ οὕτως ἀδύνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν. εἰ γὰρ δυνατόν, προσευρήσθω ὁ Δ, ὥστε εἶναι ὡς τὸν Α πρὸς τὸν Β, τὸν Γ πρὸς τὸν Δ, καὶ γεγονέτω
20ὡς ὁ Β πρὸς τὸν Γ, ὁ Δ πρὸς τὸν Ε. καὶ ἐπεί ἐστιν ὡς μὲν ὁ Α πρὸς τὸν Β, ὁ Γ πρὸς τὸν Δ, ὡς δὲ ὁ Β πρὸς τὸν Γ, ὁ Δ πρὸς τὸν Ε, δι᾽ ἴσου ἄρα ὡς ὁ Α πρὸς τὸν Γ, ὁ Γ πρὸς τὸν Ε. οἱ δὲ Α, Γ πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι
25μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον. μετρεῖ ἄρα ὁ Α τὸν Γ ὡς ἡγούμενος ἡγούμενον. μετρεῖ δὲ καὶ ἑαυτόν: ὁ Α
30ἄρα τοὺς Α, Γ μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοῖς Α, Β, Γ δυνατόν ἐστι τέταρτον ἀνάλογον προσευρεῖν.

ἀλλὰ δὴ πάλιν ἔστωσαν οἱ Α, Β, Γ ἑξῆς ἀνάλογον, οἱ δὲ Α, Γ μὴ ἔστωσαν πρῶτοι πρὸς ἀλλήλους. λέγω, ὅτι
35δυνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν. ὁ γὰρ Β τὸν Γ πολλαπλασιάσας τὸν Δ ποιείτω: ὁ Α ἄρα τὸν Δ ἤτοι μετρεῖ ἢ οὐ μετρεῖ. μετρείτω αὐτὸν πρότερον κατὰ τὸν Ε: ὁ Α ἄρα τὸν Ε πολλαπλασιάσας τὸν Δ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Β τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν:
40ὁ ἄρα ἐκ τῶν Α, Ε ἴσος ἐστὶ τῷ ἐκ τῶν Β, Γ. ἀνάλογον ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Β, ὁ Γ πρὸς τὸν Ε: τοῖς Α, Β, Γ ἄρα τέταρτος ἀνάλογον προσηύρηται ὁ Ε.

ἀλλὰ δὴ μὴ μετρείτω ὁ Α τὸν Δ: λέγω, ὅτι ἀδύνατόν ἐστι τοῖς Α, Β, Γ τέταρτον ἀνάλογον προσευρεῖν ἀριθμόν.
45εἰ γὰρ δυνατόν, προσευρήσθω ὁ Ε: ὁ ἄρα ἐκ τῶν Α, Ε ἴσος ἐστὶ τῷ ἐκ τῶν Β, Γ. ἀλλὰ ὁ ἐκ τῶν Β, Γ ἐστιν ὁ Δ: καὶ ὁ ἐκ τῶν Α, Ε ἄρα ἴσος ἐστὶ τῷ Δ. ὁ Α ἄρα τὸν Ε πολλαπλασιάσας τὸν Δ πεποίηκεν: ὁ Α ἄρα τὸν Δ μετρεῖ κατὰ τὸν Ε: ὥστε μετρεῖ ὁ Α τὸν Δ. ἀλλὰ καὶ οὐ μετρεῖ: ὅπερ
50ἄτοπον. οὐκ ἄρα δυνατόν ἐστι τοῖς Α, Β, Γ τέταρτον ἀνάλογον προσευρεῖν ἀριθμόν, ὅταν ὁ Α τὸν Δ μὴ μετρῇ. ἀλλὰ δὴ οἱ Α, Β, Γ μήτε ἑξῆς ἔστωσαν ἀνάλογον μήτε οἱ ἄκροι πρῶτοι πρὸς ἀλλήλους. καὶ ὁ Β τὸν Γ πολλαπλασιάσας τὸν Δ ποιείτω. ὁμοίως δὴ δειχθήσεται, ὅτι εἰ μὲν
55μετρεῖ ὁ Α τὸν Δ, δυνατόν ἐστιν αὐτοῖς ἀνάλογον προσευρεῖν, εἰ δὲ οὐ μετρεῖ, ἀδύνατον: ὅπερ ἔδει δεῖξαι.