Humanitext Reader

欧几里得 · 几何原本 §8.prop.1

端项互素的连比例数的最小性

第 128 段,共 316 段 · 希腊语

内容简介

证明在任意多个连比例数中,若其端项互素,则它们在所有拥有相同比的数组中是最小的。

§8.prop.1ἐὰν ὦσιν ὁσοιδηποτοῦν ἀριθμοὶ ἑξῆς ἀνάλογον, οἱ δὲ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους ὦσιν, ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.
如果有任意多个连比例数,且它们的端项互素,那么在拥有与它们相同比的数中,它们是最小的。
ἔστωσαν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον οἱ Α, Β, Γ, δ, οἱ δὲ ἄκροι αὐτῶν οἱ Α, Δ πρῶτοι πρὸς ἀλλήλους ἔστωσαν· λέγω, ὅτι οἱ Α, Β, Γ, Δ ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.
设 A、B、Γ、 Δ 为任意多个连比例数,且它们的端项 A、Δ 互素;我声称,在拥有与 A、B、Γ、Δ 相同比的数中,它们是最小的。
εἰ γὰρ μή, ἔστωσαν ἐλάττονες τῶν Α, Β, Γ, Δ οἱ Ε, Ζ, Η, Θ ἐν τῷ αὐτῷ λόγῳ ὄντες αὐτοῖς.
因为如果不是,设比 A、B、Γ、Δ 小的数 E、Z、H、Θ 与它们有相同的比。
καὶ ἐπεὶ οἱ α, Β, Γ, Δ ἐν τῷ αὐτῷ λόγῳ εἰσὶ τοῖς Ε, Ζ, Η, Θ, καί ἐστιν ἴσον τὸ πλῆθος τῷ πλήθει, διʼ ἴσου ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Δ, ὁ Ε πρὸς τὸν Θ. οἱ δὲ Α, Δ πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον.
既然 A、B、Γ、Δ 与 E、Z、H、Θ 有相同的比,且两组的数量相等,所以,由等比,A 对 Δ 的比等于 E 对 Θ 的比。 但是 A、Δ 互素,而互素的数也是最小的,且最小的数度量那些拥有相同比的数相同的次数,较大的度量较大的,较小的度量较小的,也就是说,前项度量前项,后项度量后项。
μετρεῖ ἄρα ὁ Α τὸν Ε ὁ μείζων τὸν ἐλάσσονα· ὅπερ ἐστὶν ἀδύνατον.
因此,较大的 A 度量较小的 E;这是不可能的。
οὐκ ἄρα οἱ Ε, Ζ, Η, Θ ἐλάσσονες ὄντες τῶν Α, Β, Γ, Δ ἐν τῷ αὐτῷ λόγῳ εἰσὶν αὐτοῖς.
所以,E、Z、H、Θ 作为比 A、B、Γ、Δ 小的数,不能与它们拥有相同的比。
οἱ Α, Β, Γ, Δ ἄρα ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς· ὅπερ ἔδει δεῖξαι.
所以,A、B、Γ、Δ 是拥有与它们相同比的数中最小的;这就是所要证明的。

词汇与语法注释

  1. §8.prop.1διʼ ἴσου — 意为“由等比(ex aequali)”的副词性短语。在两组比(此处为 $A, B, Γ, Δ$ 与 $E, Z, H, Θ$)中,用于推导跨越中间项后两端项之比相等($A : Δ = E : Θ$)的关系。
  2. §8.prop.1ὁ μείζων τὸν ἐλάσσονα — 分别与主语 `οဠ Α`(较大者)和宾语 `τလν Ε`(较小者)保持格一致的同位语表达。在自然数的语境中,它强调了“较大的数度量较小的数”这一逻辑矛盾。

引用这一段

欧几里得, 几何原本 §8.prop.1. Humanitext Reader, https://reader.humanitext.ai/zh/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:8.prop.1

请注明译文为AI草稿以及访问日期。

译文、注释与简介为AI生成的草稿,并根据读者反馈持续修订。