Humanitext Reader

エウクレイデス · 原論 §10.prop2.82-10.prop2.83

小線と全体を中項にする直線への適合線の一意性

213 / 316 箇所 · ギリシア語

要旨

第10巻命題82および83において、それぞれ「小線」および「有理の面積とともに全体として中項を作る直線」に適合する直線(アネックス)の一意性を、背理法を用いて、平方の和と長方形の2倍の差の性質から証明する。

§10.prop2.82τῇ ἐλάσσονι μία μόνον προσαρμόζει εὐθεῖα δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ ποιοῦσα μετὰ τῆς ὅλης τὸ μὲν ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων ῥητόν, τὸ δὲ δὶς ὑπʼ αὐτῶν μέσον.
小線に対しては、全体と平方において通約不可能であり、かつ全体とともに、それらの上の正方形の和を有理に、それらによる長方形の2倍を中項にするような、ただ1つの直線のみが適合する。
ἔστω ἡ ἐλάσσων ἡ ΑΒ, καὶ τῇ ΑΒ προσαρμόζουσα ἔστω ἡ ΒΓ·
小線をABとし、ABに適合する直線をBCとせよ。
αἱ ἄρα ΑΓ, ΓΒ δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων ῥητόν, τὸ δὲ δὶς ὑπʼ αὐτῶν μέσον·
それゆえ、AC, CBは平方において通約不可能であり、それらの上の正方形の和を有理に、それらによる長方形の2倍を中項にする。
λέγω, ὅτι τῇ ΑΒ ἑτέρα εὐθεῖα οὐ προσαρμόσει τὰ αὐτὰ ποιοῦσα.
私は言う、ABに対して、同じことをなす別の直線は適合しないであろう。
εἰ γὰρ δυνατόν, προσαρμοζέτω ἡ ΒΔ·
なぜなら、もし可能なら、BDが適合するとせよ。
καὶ αἱ ΑΔ, ΔΒ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὰ προειρημένα.
それゆえ、AD, DBもまた平方において通約不可能であり、前述のことをなす。
καὶ ἐπεί, ᾧ ὑπερέχει τὰ ἀπὸ τῶν ΑΔ, ΔΒ τῶν ἀπὸ τῶν ΑΓ, ΓΒ, τούτῳ ὑπερέχει καὶ τὸ δὶς ὑπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ, τὰ δὲ ἀπὸ τῶν ΑΔ, ΔΒ τετράγωνα τῶν ἀπὸ τῶν ΑΓ, ΓΒ τετραγώνων ὑπερέχει ῥητῷ· ῥητὰ γάρ ἐστιν ἀμφότερα·
そして、AD, DB上の正方形の和がAC, CB上の正方形の和を超えるところのその差でもって、AD, DBによる長方形の2倍もまたAC, CBによる長方形の2倍を超えるが、AD, DB上の正方形はAC, CB上の正方形を有理(の量)だけ超える(なぜなら、両者は有理だからである)。
καὶ τὸ δὶς ὑπὸ τῶν ΑΔ, ΔΒ ἄρα τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ ὑπερέχει ῥητῷ·
それゆえ、AD, DBによる長方形の2倍もまたAC, CBによる長方形の2倍を有理(の量)だけ超える。
ὅπερ ἐστὶν ἀδύνατον·
しかし、これは不可能である。
μέσα γάρ ἐστιν ἀμφότερα.
なぜなら、両者は中項だからである。
τῇ ἄρα ἐλάσσονι μία μόνον προσαρμόζει εὐθεῖα δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ καὶ ποιοῦσα τὰ μὲν ἀπʼ αὐτῶν τετράγωνα ἅμα ῥητόν, τὸ δὲ δὶς ὑπʼ αὐτῶν μέσον·
それゆえ、小線に対しては、全体と平方において通約不可能であり、かつそれらの上の正方形の和を同時に有理に、それらによる長方形の2倍を中項にするような、ただ1つの直線のみが適合する。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。
§10.prop2.83τῇ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσῃ μία μόνον προσαρμόζει εὐθεῖα δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ, μετὰ δὲ τῆς ὅλης ποιοῦσα τὸ μὲν συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων μέσον, τὸ δὲ δὶς ὑπʼ αὐτῶν ῥητόν.
有理とともに全体として中項を作る(直線)に対しては、全体と平方において通約不可能であり、かつ全体とともに、それらの上の正方形の和を中項に、それらによる長方形の2倍を有理にするような、ただ1つの直線のみが適合する。
ἔστω ἡ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσα ἡ ΑΒ, καὶ τῇ ΑΒ προσαρμοζέτω ἡ ΒΓ·
有理とともに全体として中項を作る直線をABとし、ABに適合する直線をBCとせよ。
αἱ ἄρα ΑΓ, ΓΒ δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὰ προκείμενα·
それゆえ、AC, CBは平方において通約不可能であり、前述のことをなす。
λέγω, ὅτι τῇ ΑΒ ἑτέρα οὐ προσαρμόσει τὰ αὐτὰ ποιοῦσα.
私は言う、ABに対して、同じことをなす別の直線は適合しないであろう。
εἰ γὰρ δυνατόν, προσαρμοζέτω ἡ ΒΔ·
なぜなら、もし可能なら、BDが適合するとせよ。
καὶ αἱ ΑΔ, ΔΒ ἄρα εὐθεῖαι δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὰ προκείμενα.
それゆえ、AD, DB もまた平方において通約不可能であり、前述のことをなす。
ἐπεὶ οὖν, ᾧ ὑπερέχει τὰ ἀπὸ τῶν ΑΔ, ΔΒ τῶν ἀπὸ τῶν ΑΓ, ΓΒ, τούτῳ ὑπερέχει καὶ τὸ δὶς ὑπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ ἀκολούθως τοῖς πρὸ αὐτοῦ, τὸ δὲ δὶς ὑπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ ὑπερέχει ῥητῷ·
それゆえ、前の(議論)に従って、AD, DB上の正方形の和がAC, CB上の正方形の和を超えるところのその差でもって、AD, DBによる長方形の2倍もまたAC, CBによる長方形の2倍を超えるが、AD, DBによる長方形の2倍はAC, CBによる長方形の2倍を有理(の量)だけ超える(なぜなら、両者は有理だからである)。
ῥητὰ γάρ ἐστιν ἀμφότερα· καὶ τὰ ἀπὸ τῶν ΑΔ, ΔΒ ἄρα τῶν ἀπὸ τῶν ΑΓ, ΓΒ ὑπερέχει ῥητῷ·
それゆえ、AD, DB上の正方形もまたAC, CB上の正方形を有理(の量)だけ超える。
ὅπερ ἐστὶν ἀδύνατον·
しかし、これは不可能である。
μέσα γάρ ἐστιν ἀμφότερα.
なぜなら、両者は中項だからである。
οὐκ ἄρα τῇ ΑΒ ἑτέρα προσαρμόσει εὐθεῖα δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ, μετὰ δὲ τῆς ὅλης ποιοῦσα τὰ προειρημένα·
それゆえ、ABに対して、全体と平方において通約不可能であり、かつ全体とともに前述のことをなす別の直線は適合しないであろう。
μία ἄρα μόνον προσαρμόσει·
それゆえ、ただ1つだけが適合する。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。

語釈・文法注

  1. §10.prop2.82ᾧ ὑπερέχει τὰ ἀπὸ τῶν ΑΔ, ΔΒ τῶν ἀπὸ τῶν ΑΓ, ΓΒ, τούτῳ ὑπερέχει καὶ τὸ δὶς ὑπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ — 与格の関係代名詞 ᾧ と指示代名詞 τούτῳ は「程度の差」を表す与格(dative of measure of difference)であり、「AがBを超えるその差でもって、CもまたDを超える」という比等値・差の同等性を示す構文。代数的には (AD^2 + DB^2) - (AC^2 + CB^2) = 2(AD * DB) - 2(AC * CB) であることを、幾何学的言明として表現している。
  2. §10.prop2.83τῇ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσῃ — 現在分詞 ποιούσῃ(女性与格)の実質的用法で、「〜を作る直線」を表す。μέσον は叙述形容詞(補語)であり、直接の目的語 τὸ ὅλον(全体=正方形の面積)に係る。μετὰ ῥητοῦ(有理の面積とともに)は ποιούσῃ の動詞的意味を修飾する。全体として「(ある面積と)ともに全体の正方形を中項(の面積)にするような(直線)」という意味をなし、第10巻における不尽根数(irrational straight line)の特定の一種を指す名詞句となっている。

この箇所を引用する

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

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

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