Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν οἱ δοθέντες λόγοι ἐν ἐλαχίστοις ἀριθμοῖς ὅ τε
5τοῦ Α πρὸς τὸν Β καὶ ὁ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι ὁ τοῦ Ε πρὸς τὸν Ζ: δεῖ δὴ ἀριθμοὺς εὑρεῖν ἑξῆς ἀνάλογον ἐλαχίστους ἔν τε τῷ τοῦ Α πρὸς τὸν Β λόγῳ καὶ ἐν τῷ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι ἐν τῷ τοῦ Ε πρὸς τὸν Ζ.

εἰλήφθω γὰρ ὁ ὑπὸ τῶν Β, Γ ἐλάχιστος μετρούμενος
10ἀριθμὸς ὁ Η. καὶ ὁσάκις μὲν ὁ Β τὸν Η μετρεῖ, τοσαυτάκις καὶ ὁ Α τὸν Θ μετρείτω, ὁσάκις δὲ ὁ Γ τὸν Η μετρεῖ, τοσαυτάκις καὶ ὁ Δ τὸν Κ μετρείτω. ὁ δὲ Ε τὸν Κ ἤτοι μετρεῖ ἢ οὐ μετρεῖ. μετρείτω πρότερον. καὶ ὁσάκις ὁ Ε τὸν Κ μετρεῖ, τοσαυτάκις καὶ ὁ Ζ τὸν Λ μετρείτω. καὶ
15ἐπεὶ ἰσάκις ὁ Α τὸν Θ μετρεῖ καὶ ὁ Β τὸν Η, ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Θ πρὸς τὸν Η. διὰ τὰ αὐτὰ δὴ καὶ ὡς ὁ Γ πρὸς τὸν Δ, οὕτως ὁ Η πρὸς τὸν Κ, καὶ ἔτι ὡς ὁ Ε πρὸς τὸν Ζ, οὕτως ὁ Κ πρὸς τὸν Λ: οἱ Θ, Η, Κ, Λ ἄρα ἑξῆς ἀνάλογόν εἰσιν ἔν τε τῷ τοῦ Α πρὸς τὸν Β καὶ
20ἐν τῷ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι ἐν τῷ τοῦ Ε πρὸς τὸν Ζ λόγῳ. λέγω δή, ὅτι καὶ ἐλάχιστοι. εἰ γὰρ μή εἰσιν οἱ Θ, Η, Κ, Λ ἑξῆς ἀνάλογον ἐλάχιστοι ἔν τε τοῖς τοῦ Α πρὸς τὸν Β καὶ τοῦ Γ πρὸς τὸν Δ καὶ ἐν τῷ τοῦ Ε πρὸς τὸν Ζ λόγοις, ἔστωσαν οἱ Ν, Ξ, Μ, Ο. καὶ ἐπεί ἐστιν ὡς ὁ Α
25πρὸς τὸν Β, οὕτως ὁ Ν πρὸς τὸν Ξ, οἱ δὲ Α, Β ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον, ὁ Β ἄρα τὸν Ξ μετρεῖ. διὰ τὰ αὐτὰ δὴ καὶ ὁ
30Γ τὸν Ξ μετρεῖ: οἱ Β, Γ ἄρα τὸν Ξ μετροῦσιν: καὶ ὁ ἐλάχιστος ἄρα ὑπὸ τῶν Β, Γ μετρούμενος τὸν Ξ μετρήσει. ἐλάχιστος δὲ ὑπὸ τῶν Β, Γ μετρεῖται ὁ Η: ὁ Η ἄρα τὸν Ξ μετρεῖ ὁ μείζων τὸν ἐλάσσονα: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἔσονταί τινες τῶν Θ, Η, Κ, Λ ἐλάσσονες ἀριθμοὶ ἑξῆς
35ἔν τε τῷ τοῦ Α πρὸς τὸν Β καὶ τῷ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι τῷ τοῦ Ε πρὸς τὸν Ζ λόγῳ.

μὴ μετρείτω δὴ ὁ Ε τὸν Κ. καὶ εἰλήφθω ὑπὸ τῶν Ε, Κ ἐλάχιστος μετρούμενος ἀριθμὸς ὁ Μ. καὶ ὁσάκις μὲν ὁ Κ τὸν Μ μετρεῖ, τοσαυτάκις καὶ ἑκάτερος τῶν Θ, Η ἑκάτερον
40τῶν Ν, Ξ μετρείτω, ὁσάκις δὲ ὁ Ε τὸν Μ μετρεῖ, τοσαυτάκις καὶ ὁ Ζ τὸν Ο μετρείτω. ἐπεὶ ἰσάκις ὁ Θ τὸν Ν μετρεῖ καὶ ὁ Η τὸν Ξ, ἔστιν ἄρα ὡς ὁ Θ πρὸς τὸν Η, οὕτως ὁ Ν πρὸς τὸν Ξ. ὡς δὲ ὁ Θ πρὸς τὸν Η, οὕτως ὁ Α πρὸς τὸν Β: καὶ ὡς ἄρα ὁ Α πρὸς τὸν Β, οὕτως ὁ Ν πρὸς τὸν
45ξ. διὰ τὰ αὐτὰ δὴ καὶ ὡς ὁ Γ πρὸς τὸν Δ, οὕτως ὁ Ξ πρὸς τὸν Μ. πάλιν, ἐπεὶ ἰσάκις ὁ Ε τὸν Μ μετρεῖ καὶ ὁ Ζ τὸν Ο, ἔστιν ἄρα ὡς ὁ Ε πρὸς τὸν Ζ, οὕτως ὁ Μ πρὸς τὸν Ο: οἱ Ν, Ξ, Μ, Ο ἄρα ἑξῆς ἀνάλογόν εἰσιν ἐν τοῖς τοῦ τε Α πρὸς τὸν Β καὶ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι τοῦ Ε
50πρὸς τὸν Ζ λόγοις. λέγω δή, ὅτι καὶ ἐλάχιστοι ἐν τοῖς ΑΒ, ΓΔ, ΕΖ λόγοις. εἰ γὰρ μή, ἔσονταί τινες τῶν Ν, Ξ, Μ, Ο ἐλάσσονες ἀριθμοὶ ἑξῆς ἀνάλογον ἐν τοῖς ΑΒ, ΓΔ, ΕΖ λόγοις. ἔστωσαν οἱ Π, Ρ, Σ, Τ. καὶ ἐπεί ἐστιν ὡς ὁ Π πρὸς τὸν Ρ, οὕτως ὁ Α πρὸς τὸν Β, οἱ δὲ Α, Β ἐλάχιστοι, οἱ δὲ
55ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας αὐτοῖς ἰσάκις ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον, ὁ Β ἄρα τὸν Ρ μετρεῖ. διὰ τὰ αὐτὰ δὴ καὶ ὁ Γ τὸν Ρ μετρεῖ: οἱ Β, Γ ἄρα τὸν Ρ μετροῦσιν. καὶ ὁ ἐλάχιστος ἄρα ὑπὸ τῶν Β, Γ μετρούμενος τὸν Ρ μετρήσει. ἐλάχιστος
60δὲ ὑπὸ τῶν Β, Γ μετρούμενός ἐστιν ὁ Η: ὁ Η ἄρα τὸν Ρ μετρεῖ. καί ἐστιν ὡς ὁ Η πρὸς τὸν Ρ, οὕτως ὁ Κ πρὸς τὸν Σ: καὶ ὁ Κ ἄρα τὸν Σ μετρεῖ. μετρεῖ δὲ καὶ ὁ Ε τὸν Σ: οἱ Ε, Κ ἄρα τὸν Σ μετροῦσιν. καὶ ὁ ἐλάχιστος ἄρα ὑπὸ τῶν Ε, Κ μετρούμενος τὸν Σ μετρήσει. ἐλάχιστος δὲ ὑπὸ
65τῶν Ε, Κ μετρούμενός ἐστιν ὁ Μ: ὁ Μ ἄρα τὸν Σ μετρεῖ ὁ μείζων τὸν ἐλάσσονα: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἔσονταί τινες τῶν Ν, Ξ, Μ, Ο ἐλάσσονες ἀριθμοὶ ἑξῆς ἀνάλογον ἔν τε τοῖς τοῦ Α πρὸς τὸν Β καὶ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι τοῦ Ε πρὸς τὸν Ζ λόγοις: οἱ Ν, Ξ, Μ, Ο
70ἄρα ἑξῆς ἀνάλογον ἐλάχιστοί εἰσιν ἐν τοῖς ΑΒ, ΓΔ, ΕΖ λόγοις: ὅπερ ἔδει δεῖξαι.