Humanitext Reader

エウクレイデス · 原論 §7.prop.4-7.prop.5

数の部分と複数部分の関係およびその加法性

113 / 316 箇所 · ギリシア語

要旨

命題4で、より小さい任意の数はより大きい数の「部分(1/n)」か「複数部分(m/n)」のいずれかであることを示し、命題5で、二つの数のペアがそれぞれ対応する数の同じ部分(1/n)であるとき、それらの和も和に対して同じ部分となることを証明する。

§7.prop.4ἅπας ἀριθμὸς παντὸς ἀριθμοῦ ὁ ἐλάσσων τοῦ μείζονος ἤτοι μέρος ἐστὶν ἢ μέρη.
任意の数は任意の数に対して、より小さいものはより大きいものの、部分(単数)であるか、あるいは複数部分である。
ἔστωσαν δύο ἀριθμοὶ οἱ Α, ΒΓ, καὶ ἔστω ἐλάσσων ὁ ΒΓ·
二つの数 A, BΓ があり、BΓ はより小さいものとせよ。
λέγω, ὅτι ὁ ΒΓ τοῦ Α ἤτοι μέρος ἐστὶν ἢ μέρη.
私は、BΓ は A の部分であるか、あるいは複数部分であると主張する。
οἱ Α, ΒΓ γὰρ ἤτοι πρῶτοι πρὸς ἀλλήλους εἰσὶν ἢ οὔ.
なぜなら、A, BΓ は互いに素であるか、そうでないかのいずれかである。
ἔστωσαν πρότερον οἱ Α, ΒΓ πρῶτοι πρὸς ἀλλήλους.
まず、A, BΓ は互いに素であるとせよ。
διαιρεθέντος δὴ τοῦ ΒΓ εἰς τὰς ἐν αὐτῷ μονάδας ἔσται ἑκάστη μονὰς τῶν ἐν τῷ ΒΓ μέρος τι τοῦ Α·
BΓ がそれ自身の中にある単位に分割されると、BΓ の中にある個々の単位は A のある部分となる。
ὥστε μέρη ἐστὶν ὁ ΒΓ τοῦ Α. μὴ ἔστωσαν δὴ οἱ Α, ΒΓ πρῶτοι πρὸς ἀλλήλους·
したがって BΓ は A の複数部分である。 次に、A, BΓ は互いに素ではないとせよ。
ὁ δὴ ΒΓ τὸν Α ἤτοι μετρεῖ ἢ οὐ μετρεῖ.
すると、BΓ は A を測るか、あるいは測らないかのいずれかである。
εἰ μὲν οὖν ὁ ΒΓ τὸν Α μετρεῖ, μέρος ἐστὶν ὁ ΒΓ τοῦ Α. εἰ δὲ οὔ, εἰλήφθω τῶν Α, ΒΓ μέγιστον κοινὸν μέτρον ὁ Δ, καὶ διῃρήσθω ὁ ΒΓ εἰς τοὺς τῷ Δ ἴσους τοὺς ΒΕ, ΕΖ, ΖΓ. καὶ ἐπεὶ ὁ Δ τὸν Α μετρεῖ, μέρος ἐστὶν ὁ Δ τοῦ Α·
もし BΓ が A を測るならば、BΓ は A の部分である。 もし測らないならば、A, BΓ の最大公約数 Δ を取るものとし、BΓ を Δ に等しい BE, EZ, ZΓ に分割せよ。 そして、Δ は A を測るのであるから、Δ は A の部分である。
ἴσος δὲ ὁ Δ ἑκάστῳ τῶν ΒΕ, ΕΖ, ΖΓ·
そして、Δ は BE, EZ, ZΓ のそれぞれに等しい。
καὶ ἕκαστος ἄρα τῶν ΒΕ, ΕΖ, ΖΓ τοῦ Α μέρος ἐστίν·
したがって、BE, EZ, ZΓ のそれぞれもまた A の部分である。
ὥστε μέρη ἐστὶν ὁ ΒΓ τοῦ Α. ἅπας ἄρα ἀριθμὸς παντὸς ἀριθμοῦ ὁ ἐλάσσων τοῦ μείζονος ἤτοι μέρος ἐστὶν ἢ μέρη·
したがって、BΓ は A の複数部分である。 したがって、任意の数は任意の数に対して、より小さいものはより大きいものの、部分であるか、あるいは複数部分である。
ὅπερ ἔδει δεῖξαι.
これが証明されるべきことであった。
§7.prop.5ἐὰν ἀριθμός ἀριθμοῦ μέρος ᾖ, καὶ ἕτερος ἑτέρου τὸ αὐτὸ μέρος ᾖ, καὶ συναμφότερος συναμφοτέρου τὸ αὐτὸ μέρος ἔσται, ὅπερ ὁ εἷς τοῦ ἑνός.
もしある数がある数の部分であり、別の数もまた別の数のそれと同じ部分であるならば、それらを合わせたものもまた、それらを合わせたものの同じ部分となるであろう。 それは、一方が一方に対してそうであるのと同じ部分である。
ἀριθμὸς γὰρ ὁ Α τοῦ ΒΓ μέρος ἔστω, καὶ ἕτερος ὁ Δ ἑτέρου τοῦ ΕΖ τὸ αὐτὸ μέρος, ὅπερ ὁ Α τοῦ ΒΓ·
なぜなら、数 A は BΓ の部分であるとし、別の数 Δ も別の数 EZ の、A が BΓ に対するのと同じ部分であるとせよ。
λέγω, ὅτι καὶ συναμφότερος ὁ Α, Δ συναμφοτέρου τοῦ ΒΓ, ΕΖ τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὁ Α τοῦ ΒΓ. ἐπεὶ γάρ, ὃ μέρος ἐστὶν ὁ Α τοῦ ΒΓ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ Δ τοῦ ΕΖ, ὅσοι ἄρα εἰσὶν ἐν τῷ ΒΓ ἀριθμοὶ ἴσοι τῷ Α, τοσοῦτοί εἰσι καὶ ἐν τῷ ΕΖ ἀριθμοὶ ἴσοι τῷ Δ. διῃρήσθω ὁ μὲν ΒΓ εἰς τοὺς τῷ Α ἴσους τοὺς ΒΗ, ΗΓ, ὁ δὲ ΕΖ εἰς τοὺς τῷ Δ ἴσους τοὺς ΕΘ, ΘΖ·
私は、合わせた A, Δ も、合わせた BΓ, EZ の同じ部分であると主張する。 それは、A が BΓ に対するのと同じである。 なぜなら、A が BΓ に対する部分と同じ部分を、Δ も EZ に対して持っているので、BΓ の中にある A に等しい数の個数と、EZ の中にある Δ に等しい数の個数は等しい。 BΓ を A に等しい BH, HΓ に分割し、EZ を Δ に等しい EΘ, ΘZ に分割せよ。
ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΒΗ, ΗΓ τῷ πλήθει τῶν ΕΘ, ΘΖ. καὶ ἐπεὶ ἴσος ἐστὶν ὁ μὲν ΒΗ τῷ Α, ὁ δὲ ΕΘ τῷ Δ, καὶ οἱ ΒΗ, ΕΘ ἄρα τοῖς Α, Δ ἴσοι.
すると、 BH, HΓ の個数は EΘ, ΘZ の個数に等しくなる。 そして、BH は A に等しく、EΘ は Δ に等しいのであるから、したがって BH, EΘ も A, Δ に等しい。
διὰ τὰ αὐτὰ δὴ καὶ οἱ ΗΓ, ΘΖ τοῖς Α, Δ. ὅσοι ἄρα ἐν τῷ ΒΓ ἀριθμοὶ ἴσοι τῷ Α, τοσοῦτοί εἰσι καὶ ἐν τοῖς ΒΓ, ΕΖ ἴσοι τοῖς α, Δ. ὁσαπλασίων ἄρα ἐστὶν ὁ ΒΓ τοῦ Α, τοσαυταπλασίων ἐστὶ καὶ συναμφότερος ὁ ΒΓ, ΕΖ συναμφοτέρου τοῦ Α, Δ. ὃ ἄρα μέρος ἐστὶν ὁ Α τοῦ ΒΓ, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος ὁ Α, Δ συναμφοτέρου τοῦ ΒΓ, ΕΖ·
同じ理由により、HΓ, ΘZ も A, Δ に等しい。 したがって、BΓ の中にある A に等しい数の個数と、BΓ, EZ において α, Δ に等しいものの個数は等しい。 したがって、BΓ が A の何倍であるかと同じ倍数に、合わせた BΓ, EZ も合わせた A, Δ の倍数となっている。 したがって、A が BΓ の部分であるのと同じ部分に、合わせた A, Δ も合わせた BΓ, EZ の部分である。
ὅπερ ἔδει δεῖξαι.
これが証明されるべきことであった。

語釈・文法注

  1. 7.prop.4μέρος ἐστὶν ἢ μέρη — ギリシア数学において、「μέρος」(部分、単数)は割り切れる関係(単位分数 1/n に相当)を意味し、「μέρη」(部分、複数)は割り切れない関係(真分数 m/n、m > 1 に相当)を意味する。この命題は、任意の数が別の数に対してこれら二つの関係のいずれか一方のみを取ることを宣言している。
  2. 7.prop.5συναμφότερος συναμφοτέρου — 形容詞「συναμφότερος」(両者を合わせたもの)が名詞を伴わずに用いられ、直前に導入された二つの数(A と Δ、および BΓ と EZ)の和(A + Δ および BΓ + EZ)をそれぞれ指している。ギリシア幾何学・数論で和を表現する定型的な表現である。
  3. 7.prop.5ὁσαπλασίων ἄρα ἐστὶν ὁ ΒΓ τοῦ Α, τοσαυταπλασίων ἐστὶ καὶ συναμφότερος — 相関形容詞「ὁσαπλασίων ... τοσαυταπλασίων ...」(〜と同じだけの倍数である)の構文。BΓ が A の n 倍であるならば、和 BΓ + EZ も和 A + Δ の n 倍になるという、等倍関係を簡潔に示す構造である。
  4. 7.prop.5τοῖς α, Δ — 原文の「α」は写本の小文字表記を反映しており、数 A を表す。複数与格の定冠詞「τοῖς」は、文脈上 A と Δ のそれぞれに等しい要素のペアの集合(またはその合計)に呼応している。

この箇所を引用する

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

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

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