Humanitext Reader

エウクレイデス · 原論 §2.prop.1-2.prop.3

線分の分割と長方形に関する分配法則

26 / 316 箇所 · ギリシア語

要旨

幾何学的代数を扱う第2巻の最初の3つの命題。命題1は1つの線分が分割された時の分配法則を、命題2は直線が2分割された時の全体と各部の積の和が全体の自乗に等しいことを、命題3は全体と1つの部分の積が各部の積と当該部分の自乗の和に等しいことを証明する。

§2.prop.1ἐὰν ὦσι δύο εὐθεῖαι, τμηθῇ δὲ ἡ ἑτέρα αὐτῶν εἰς ὁσαδηποτοῦν τμήματα, τὸ περιεχόμενον ὀρθογώνιον ὑπὸ τῶν δύο εὐθειῶν ἴσον ἐστὶ τοῖς ὑπό τε τῆς ἀτμήτου καὶ ἑκάστου τῶν τμημάτων περιεχομένοις ὀρθογωνίοις.
もし二本の直線があり、それらのうちの一方が任意の数の線分に分割されるならば、その二本の直線によって囲まれる直角四辺形は、分割されていない直線と各線分とによって囲まれる直角四辺形(たちの和)に等しい。
ἔστωσαν δύο εὐθεῖαι αἱ Α, ΒΓ, καὶ τετμήσθω ἡ ΒΓ, ὡς ἔτυχεν, κατὰ τὰ Δ, Ε σημεῖα·
二本の直線をA, BCとし、BCがD, Eの各点で任意に分割されているとする。
λέγω, ὅτι τὸ ὑπὸ τῶν Α, ΒΓ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν Α, ΒΔ περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ὑπὸ τῶν Α, ΔΕ καὶ ἔτι τῷ ὑπὸ τῶν Α, ΕΓ. ἤχθω γὰρ ἀπὸ τοῦ Β τῇ ΒΓ πρὸς ὀρθὰς ἡ ΒΖ, καὶ κείσθω τῇ Α ἴση ἡ ΒΗ, καὶ διὰ μὲν τοῦ Η τῇ ΒΓ παράλληλος ἤχθω ἡ ΗΘ, διὰ δὲ τῶν Δ, Ε, Γ τῇ ΒΗ παράλληλοι ἤχθωσαν αἱ ΔΚ, ΕΛ, ΓΘ. ἴσον δή ἐστι τὸ ΒΘ τοῖς ΒΚ, ΔΛ, ΕΘ. καί ἐστι τὸ μὲν ΒΘ τὸ ὑπὸ τῶν Α, ΒΓ· περιέχεται μὲν γὰρ ὑπὸ τῶν ΗΒ, ΒΓ, ἴση δὲ ἡ ΒΗ τῇ Α·
私は言う、A, BCによって囲まれる直角四辺形は、A, BDによって囲まれる直角四辺形と、A, DEによるものと、さらにA, ECによるものとの和に等しいと。 なぜなら、点BからBCに直角にBZが引かれ、Aに等しいBHが置かれ、さらにHを通ってBCに平行にHQが引かれ、D, E, Cを通ってBHに平行にDK, EL, CQが引かれたとする。 したがって、BQはBK, DL, EQに等しい。 そして、BQはA, BCによるものであり、なぜならそれはHB, BCによって囲まれており、BHはAに等しいからである。
τὸ δὲ ΒΚ τὸ ὑπὸ τῶν Α, ΒΔ·
またBKはA, BDによるものであり、なぜならそれは HB, BDによって囲まれており、BHはAに等しいからである。
περιέχεται μὲν γὰρ ὑπὸ τῶν ΗΒ, ΒΔ, ἴση δὲ ἡ ΒΗ τῇ Α. τὸ δὲ ΔΛ τὸ ὑπὸ τῶν Α, ΔΕ·
またDLはA, DEによるものであり、なぜならDK、すなわちBHは、Aに等しいからである。
ἴση γὰρ ἡ ΔΚ, τουτέστιν ἡ ΒΗ, τῇ Α. καὶ ἔτι ὁμοίως τὸ ΕΘ τὸ ὑπὸ τῶν Α, ΕΓ·
そしてさらに同様に、EQはA, ECによるものである。
τὸ ἄρα ὑπὸ τῶν Α, ΒΓ ἴσον ἐστὶ τῷ τε ὑπὸ Α, ΒΔ καὶ τῷ ὑπὸ Α, ΔΕ καὶ ἔτι τῷ ὑπὸ Α, ΕΓ. ἐὰν ἄρα ὦσι δύο εὐθεῖαι, τμηθῇ δὲ ἡ ἑτέρα αὐτῶν εἰς ὁσαδηποτοῦν τμήματα, τὸ περιεχόμενον ὀρθογώνιον ὑπὸ τῶν δύο εὐθειῶν ἴσον ἐστὶ τοῖς ὑπό τε τῆς ἀτμήτου καὶ ἑκάστου τῶν τμημάτων περιεχομένοις ὀρθογωνίοις·
したがって、A, BCによるものは、A, BDによるものと、A, DEによるものと、さらにA, ECによるものとの和に等しい。 したがって、もし二本の直線があり、それらのうちの一方が任意の数の線分に分割されるならば、その二本の直線によって囲まれる直角四辺形は、分割されていない直線と各線分とによって囲まれる直角四辺形(たちの和)に等しい。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。
§2.prop.2ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑκατέρου τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς ὅλης τετραγώνῳ.
もし直線が任意に分割されるならば、全体と二つの線分のそれぞれとによって囲まれる直角四辺形(の和)は、全体から作られる正方形に等しい。
εὐθεῖα γὰρ ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ σημεῖον·
なぜなら、直線ABがC 点で任意に分割されているとする。
λέγω, ὅτι τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ὑπὸ ΒΑ, ΑΓ περιεχομένου ὀρθογωνίου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ τετραγώνῳ.
私は言う、AB, BCによって囲まれる直角四辺形と、BA, ACによって囲まれる直角四辺形との和は、ABから作られる正方形に等しいと。
Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΑΒ τετράγωνον τὸ ΑΔΕΒ, καὶ ἤχθω διὰ τοῦ Γ ὁποτέρᾳ τῶν ΑΔ, ΒΕ παράλληλος ἡ ΓΖ. ἴσον δή ἐστι τὸ ΑΕ τοῖς ΑΖ, ΓΕ. καί ἐστι τὸ μὲν ΑΕ τὸ ἀπὸ τῆς ΑΒ τετράγωνον, τὸ δὲ ΑΖ τὸ ὑπὸ τῶν ΒΑ, ΑΓ περιεχόμενον ὀρθογώνιον·
なぜなら、ABから正方形ADEBが記述され、Cを通ってAD, BEのいずれか一方に平行にCZが引かれたとする。 したがって、AEはAZ, CEの和に等しい。 そして、AEはABから作られる正方形であり、AZはBA, ACによって囲まれる直角四辺形である。
περιέχεται μὲν γὰρ ὑπὸ τῶν ΔΑ, ΑΓ, ἴση δὲ ἡ ΑΔ τῇ ΑΒ·
なぜなら、それはDA, ACによって囲まれており、ADは ABに等しいからである。
τὸ δὲ ΓΕ τὸ ὑπὸ τῶν ΑΒ, ΒΓ·
また、CEはAB, BCによるものである。
ἴση γὰρ ἡ ΒΕ τῇ ΑΒ. τὸ ἄρα ὑπὸ τῶν ΒΑ, ΑΓ μετὰ τοῦ ὑπὸ τῶν ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ τετραγώνῳ.
なぜなら、BEはABに等しいからである。 したがって、BA, ACによるものとAB, BCによるものとの和は、ABから作られる正方形に等しい。
ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑκατέρου τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς ὅλης τετραγώνῳ·
したがって、もし直線が任意に分割されるならば、全体と二つの線分のそれぞれとによって囲まれる直角四辺形(の和)は、全体から作られる正方形に等しい。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。
§2.prop.3ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν τμημάτων περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ προειρημένου τμήματος τετραγώνῳ.
もし直線が任意に分割されるならば、全体と線分の一つとによって囲まれる直角四辺形は、二つの線分によって囲まれる直角四辺形と、前述の線分から作られる正方形との和に等しい。
εὐθεῖα γὰρ ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ·
なぜなら、直線ABがC点で任意に分割されているとする。
λέγω, ὅτι τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ μετὰ τοῦ ἀπὸ τῆς ΒΓ τετραγώνου.
私は言う、AB, BCによって囲まれる直角四辺形は、AC, CBによって囲まれる直角四辺形と、BCから作られる正方形との和に等しいと。
Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΓΒ τετράγωνον τὸ ΓΔΕΒ, καὶ διήχθω ἡ ΕΔ ἐπὶ τὸ Ζ, καὶ διὰ τοῦ Α ὁποτέρᾳ τῶν ΓΔ, ΒΕ παράλληλος ἤχθω ἡ ΑΖ. ἴσον δή ἐστι τὸ ΑΕ τοῖς ΑΔ, ΓΕ·
なぜなら、CBから正方形CDEBが記述され、 EDがZまで延長され、Aを通ってCD, BEのいずれか一方に平行にAZが引かれたとする。 したがって、AEはAD, CEに等しい。
καί ἐστι τὸ μὲν ΑΕ τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον·
そして、AEはAB, BCによって囲まれる直角四辺形である。
περιέχεται μὲν γὰρ ὑπὸ τῶν ΑΒ, ΒΕ, ἴση δὲ ἡ ΒΕ τῇ ΒΓ·
なぜなら、それはAB, BEによって囲まれており、BEはBCに等しいからである。
τὸ δὲ ΑΔ τὸ ὑπὸ τῶν ΑΓ, ΓΒ·
また、ADはAC, CBによるものである。
ἴση γὰρ ἡ ΔΓ τῇ ΓΒ·
なぜなら、DCはCBに等しいからである。
τὸ δὲ ΔΒ τὸ ἀπὸ τῆς ΓΒ τετράγωνον·
また、DBはCBから作られる正方形である。
τὸ ἄρα ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ μετὰ τοῦ ἀπὸ τῆς ΒΓ τετραγώνου.
したがって、AB, BCによって囲まれる直角四辺形は、AC, CBによって囲まれる直角四辺形と、 BCから作られる正方形との和に等しい。
ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν τμημάτων περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ προειρημένου τμήματος τετραγώνῳ·
したがって、もし直線が任意に分割されるならば、全体と線分の一つとによって囲まれる直角四辺形は、二つの線分によって囲まれる直角四辺形と、前述の線分から作られる正方形との和に等しい。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。

語釈・文法注

  1. §2.prop.1τὸ περιεχόμενον ὀρθογώνιον ὑπὸ τῶν δύο εὐθειῶν — 定冠詞 `τὸ` は名詞 `ὀρθογώνιον`(直角四辺形、矩形)を修飾し、前置詞句 `ὑπὸ τῶν δύο εὐθειῶν`(二本の直線によって)が分詞 `περιεχόμενον`(囲まれる)を修飾している。これはギリシア数学において二辺が形成する矩形の面積を表現する標準的な構文である。
  2. §2.prop.2τὸ ὑπὸ τῆς ὅλης καὶ ἑκατέρου τῶν τμημάτων — 定冠詞 `τὸ` の後ろに `περιεχόμενον ὀρθογώνιον`(囲まれる直角四辺形)が省略されている。ギリシア語の数学テキストでは、文脈上明らかな幾何学的概念の省略が極めて頻繁に行われる。
  3. §2.prop.3τὸ δὲ ΔΒ — 写本上の混乱または著者の誤記が疑われる箇所。幾何学的な構成からすると、これは正方形 CDEB すなわち `τὸ δὲ ΓΕ`(または `τὸ δὲ ΓΔΕΒ`)を指すべきであるが、伝承されたテキストでは `τὸ δὲ ΔΒ` となっている。

この箇所を引用する

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

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

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