Humanitext Reader

エウクレイデス · 原論 §8.prop.1

両端が互いに素な連比の数の最小性

128 / 316 箇所 · ギリシア語

要旨

連続して比例する数(連比)において、その両端の項が互いに素であるとき、それらは同じ比を持つ整数の組の中で最小のものであることを証明する。

§8.prop.1ἐὰν ὦσιν ὁσοιδηποτοῦν ἀριθμοὶ ἑξῆς ἀνάλογον, οἱ δὲ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους ὦσιν, ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.
いくつの数であれ連続して比例しており、かつそれらの端の項が互いに素であるならば、それらは自身と同じ比を持つもののうちで最小のものである。
ἔστωσαν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον οἱ Α, Β, Γ, δ, οἱ δὲ ἄκροι αὐτῶν οἱ Α, Δ πρῶτοι πρὸς ἀλλήλους ἔστωσαν·
任意の個数の、連続して比例する数 Α, Β, Γ, Δ があるとし、それらの端の項である Α, Δ は互いに素であるとせよ。
λέγω, ὅτι οἱ Α, Β, Γ, Δ ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.
私は、Α, Β, Γ, Δ は、自身と同じ比を持つもののうちで最小のものであると主張する。
εἰ γὰρ μή, ἔστωσαν ἐλάττονες τῶν Α, Β, Γ, Δ οἱ Ε, Ζ, Η, Θ ἐν τῷ αὐτῷ λόγῳ ὄντες αὐτοῖς.
なぜなら、もしそうでなければ、Α, Β, Γ, Δ より小さい数 Ε, Ζ, Η, Θ が、それらと同一の比において存在せよ。
καὶ ἐπεὶ οἱ α, Β, Γ, Δ ἐν τῷ αὐτῷ λόγῳ εἰσὶ τοῖς Ε, Ζ, Η, Θ, καί ἐστιν ἴσον τὸ πλῆθος τῷ πλήθει, διʼ ἴσου ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Δ, ὁ Ε πρὸς τὸν Θ. οἱ δὲ Α, Δ πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον.
そして Α, Β, Γ, Δ は Ε, Ζ, Η, Θ と同一の比にあり、かつそれらの個数は等しいので、したがって等比によって、Α が Δ に対するのと等しく、Ε も Θ に対する。 ところで Α, Δ は互いに素であり、互いに素である数はまた最小でもあり、そして最小の数はそれと同じ比を持つものを、大きい数は大きい数を、小さい数は小さい数を、すなわち先行する項は先行する項を、後続する項は後続する項を、等しい回数だけ測る。
μετρεῖ ἄρα ὁ Α τὸν Ε ὁ μείζων τὸν ἐλάσσονα· ὅπερ ἐστὶν ἀδύνατον.
したがって、より大きい数である Α が、より小さい数である Ε を測ることになるが、これは不可能である。
οὐκ ἄρα οἱ Ε, Ζ, Η, Θ ἐλάσσονες ὄντες τῶν Α, Β, Γ, Δ ἐν τῷ αὐτῷ λόγῳ εἰσὶν αὐτοῖς.
したがって、Ε, Ζ, Η, Θ は Α, Β, Γ, Δ より小さいものとして、それらと同一の比において存在しない。
οἱ Α, Β, Γ, Δ ἄρα ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς·
したがって、Α, Β, Γ, Δ は、自身と同じ比を持つもののうちで最小のものである。
ὅπερ ἔδει δεῖξαι.
これが証明されるべきことであった。

語釈・文法注

  1. §8.prop.1διʼ ἴσου — 「等比によって(ex aequali)」を意味する副詞的表現。複数の比の系列(ここでは $A, B, Γ, Δ$ と $E, Z, H, Θ$)において、中間の項を飛ばして、第1項と最終項の比が等しくなる関係($A : Δ = E : Θ$)を導く際に用いられる。
  2. §8.prop.1ὁ μείζων τὸν ἐλάσσονα — 主語である `οဠ Α`(より大きい数)と目的語 `τလν Ε`(より小さい数)にそれぞれ格を一致させて同格的に添えられた表現。自然数の文脈において「大きい数($A$)が小さい数($E$)を割り切る(測る)」という論理的矛盾を強調している。

この箇所を引用する

エウクレイデス, 原論 §8.prop.1. Humanitext Reader, https://reader.humanitext.ai/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:8.prop.1

AIによる草稿訳である旨と閲覧日を添えてください。

訳文・注・要旨はAIによる草稿で、読者の指摘により改訂されています。