Humanitext Reader

エウクレイデス · 原論 §10.prop1.7-10.prop1.8

通約不可能性と大きさにおける数の比の不在

165 / 316 箇所 · ギリシア語

要旨

通約不可能な二つの大きさは数と数の比をもたないこと(命題7)、および数と数の比をもたない二つの大きさは通約不可能であること(命題8)を、前二者の命題の対偶を用いてそれぞれ背理法により証明する。

§10.prop1.7τὰ ἀσύμμετρα μεγέθη πρὸς ἄλληλα λόγον οὐκ ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
通約不可能な大きさは互いに、数に対する数と同じ比をもたない。
ἔστω ἀσύμμετρα μεγέθη τὰ Α, Β·
通約不可能な大きさを Α, Β とせよ。
λέγω, ὅτι τὸ Α πρὸς τὸ Β λόγον οὐκ ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
私は、Α は Β に対して、数に対する数と同じ比をもたないと言う。
εἰ γὰρ ἔχει τὸ Α πρὸς τὸ Β λόγον, ὃν ἀριθμὸς πρὸς ἀριθμόν, σύμμετρον ἔσται τὸ Α τῷ Β. οὐκ ἔστι δέ·
なぜなら、もし Α が Β に対して、数に対する数と同じ比をもつならば、Α は Β と通約可能であろう。 しかしそうではない。
οὐκ ἄρα τὸ Α πρὸς τὸ Β λόγον ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
したがって、Α は Β に対して、数に対する数と同じ比をもたない。
τὰ ἄρα ἀσύμμετρα μεγέθη πρὸς ἄλληλα λόγον οὐκ ἔχει, καὶ τὰ ἑξῆς.
したがって、通約不可能な大きさは互いに比をもたない、以下同様。
§10.prop1.8ἐὰν δύο μεγέθη πρὸς ἄλληλα λόγον μὴ ἔχῃ, ὃν ἀριθμὸς πρὸς ἀριθμόν, ἀσύμμετρα ἔσται τὰ μεγέθη.
もし二つの大きさが互いに、数に対する数と同じ比をもたないならば、それらの大きさは通約不可能であろう。
δύο γὰρ μεγέθη τὰ Α, Β πρὸς ἄλληλα λόγον μὴ ἐχέτω, ὃν ἀριθμὸς πρὸς ἀριθμόν·
なぜなら、二つの大きさ Α, Β が互いに、数に対する数と同じ比をもたないとせよ。
λέγω, ὅτι ἀσύμμετρά ἐστι τὰ Α, Β μεγέθη.
私は、大きさ Α, Β は通約不可能であると言う。
εἰ γὰρ ἔσται σύμμετρα, τὸ Α πρὸς τὸ Β λόγον ἕξει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
なぜなら、もしそれらが通約可能であるならば、Α は Β に対して、数に対する数と同じ比をもつであろう。
οὐκ ἔχει δέ.
しかしもたない。
ἀσύμμετρα ἄρα ἐστὶ τὰ Α, Β μεγέθη.
したがって、大きさ Α, Β は通約不可能である。
ἐὰν ἄρα δύο μεγέθη πρὸς ἄλληλα, καὶ τὰ ἑξῆς.
したがって、もし二つの大きさが互いに、以下同様。

語釈・文法注

  1. §10.prop1.7οὐκ ἔστι δέ — 「しかし、そうではない」という意味。直前の条件文の帰結「ΑはΒと通約可能であろう(σύμμετρον ἔσται)」に対する事実の否定。動詞 `ἔστι` の三人称単数現在形が、文脈上明らかな否定の事実(実際には通約不可能であること)を端的に示す不変化詞的に用いられている。
  2. §10.prop1.8εἰ γὰρ ἔσται σύμμετρα — 条件小辞 `εἰ` に未来直説法 `ἔσται`(中性複数主語 `τὰ Α, Β μεγέθη` に合わせて三人称単数)が続く構文。ギリシア数学テキストにおいて、背理法(帰流法)の仮定「もし仮に〜であるとするならば」を導入する際によく用いられる典型的な語法。

この箇所を引用する

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

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

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