Humanitext Reader

欧几里得 · 残篇 §6.17-6.19

非平行线交点与比例合成中的共线性

第 14 段,共 29 段 · 希腊语

内容简介

本章节证明了三个几何命题:当直线不平行时的点共线引理(命题17)、基于三角形比例合成的共线引理(命题18),以及关于平行投影下比例等价性的引理(命题19)。

§6.17ιζ΄. Ἀλλὰ δὴ μὴ ἔστω παράλληλος ἡ ΑΒ τῇ Γ∠, ἀλλὰ συμπιπτέτω κατὰ τὸ Ν. ἐπεὶ οὖν ἀπὸ τοῦ αὐτοῦ σημείου τοῦ ∠ εἰς τρεῖς εὐθείας τὰς ΒΝ, ΒΓ, ΒΖ δύο εὐθεῖαι διηγμέναι εἰσὶν αἱ ∠Ε, ∠Ν, ἔστιν, ὡς τὸ ὑπὸ Ν∠, ΓΖ πρὸς τὸ ὑπὸ ΝΓ, ∠Ζ, οὕτως τὸ ὑπὸ ∠Ε, ΚΛ πρὸς τὸ ὑπὸ ΕΛ, Κ∠.
17. 然而,设 ΑΒ 不平行于 Γ∠,而相交于点 Ν。 于是,因为自同一点 ∠ 向三直线 ΒΝ、ΒΓ、ΒΖ 引出了两直线 ∠Ε、∠Ν,所以 Ν∠ 与 ΓΖ 所包长方形对 ΝΓ 与 ∠Ζ 所包长方形的比,等于 ∠Ε 与 ΚΛ 所包长方形对 ΕΛ 与 Κ∠ 所包长方形的比。
ὡς δὲ τὸ ὑπὸ Ε∠, ΚΛ πρὸς τὸ ὑπὸ ΕΛ, Κ∠, οὕτως ἐστὶν τὸ ὑπὸ ΕΘ, ΓΗ πρὸς τὸ ὑπὸ ΕΓ, ΘΗ· πάλιν γὰρ εἰς τρεῖς τὰς ΓΛ, ∠Θ, ΗΚ ἀπὸ τοῦ αὐτοῦ σημείου τοῦ Ε δύο ἠγμέναι εἰσὶν αἱ ΕΓ, Ε∠·
而 Ε∠ 与 ΚΛ 所包长方形对 ΕΛ 与 Κ∠ 所包长方形的比,等于 ΕΘ 与 ΓΗ 所包长方形对 ΕΓ 与 ΘΗ 所包长方形的比;因为再次向三直线 ΓΛ、∠Θ、ΗΚ 自同一点 Ε 引出了两直线 ΕΓ、Ε∠。
καὶ ὡς ἄρα τὸ ὑπὸ ΕΘ, ΓΗ πρὸς τὸ ὑπὸ ΕΓ, ΘΗ, οὕτως τὸ ὑπὸ Ν∠, ΓΖ πρὸς τὸ ὑπὸ ΝΓ, Ζ∠.
因此,ΕΘ 与 ΓΗ 所包长方形对 ΕΓ 与 ΘΗ 所包长方形的比,等于 Ν∠ 与 ΓΖ 所包长方形对 ΝΓ 与 Ζ∠ 所包长方形的比。
διὰ δὴ τὸ προγεγραμμένον εὐθεῖά ἐστιν ἡ διὰ τῶν Α, Θ, ∠· καὶ ἡ διὰ τῶν Α, Μ, Δ ἄρα εὐθεῖά ἐστιν.
于是,由于前文所述,过 Α、Θ、∠ 的线是直线;因此,过 Α、Μ、 Δ 的线也是直线。
§6.18ιη΄. Τρίγωνον τὸ ΑΒΓ, καὶ τῇ ΒΓ παράλληλος ἤχθω ἡ Α∠, καὶ διήχθωσαν αἱ ∠Ε, ΖΗ, ἔστω δέ, ὡς τὸ ἀπὸ ΕΒ πρὸς τὸ ὑπὸ ΕΓΒ, οὕτως ἡ ΒΗ πρὸς τὴν ΗΓ·
18. 设有一三角形 ΑΒΓ,并引平行于 ΒΓ 的直线 Α∠,且引 ∠Ε、ΖΗ,设 ΕΒ 的平方对 ΕΓ 与 ΓΒ 所包长方形的比,等于 ΒΗ 对 ΗΓ 的比;求证若连接 Β∠,则过 Θ、Κ、Γ 的线成为直线。
ὅτι, ἐὰν ἐπιζευχθῇ ἡ Β∠, γίνεται εὐθεῖα ἡ διὰ τῶν Θ, Κ, Γ. ἐπεί ἔστιν, ὡς τὸ ἀπὸ τῆς ΕΒ πρὸς τὸ ὑπὸ ΕΓΒ, οὕτως ἡ ΒH πρὸς ΗΓ, κοινὸς ἄρα προσκείσθω ὁ τῆς ΓΕ πρὸς ΕΒ λόγος ὁ αὐτὸς ὢν τῷ τοῦ ὑπὸ ΕΓΒ πρὸς τὸ ὑπὸ ΚΒΓ· δι᾿ ἴσου ἄρα ὁ τοῦ ἀπὸ ΕΒ πρὸς τὸ ὑπὸ ΕΒΓ λόγος, τουτέστιν ὁ τῆς ΕΒ πρὸς τὴν ΒΓ, ὁ αὐτός ἐστιν τῷ συνημμένῳ ἔκ τε τοῦ τῆς ΒΗ πρὸς ΗΓ καὶ τοῦ τοῦ ὑπὸ ΕΓΒ πρὸς τὸ ὑπὸ ΕΒΓ, ὅς ἔστιν ὁ αὐτὸς τῷ τῆς ΕΓ πρὸς ΕΒ·
因为,正如 ΕΒ 的平方对 ΕΓ 与 ΓΒ 所包长方形的比,等于 ΒΗ 对 ΗΓ 的比,所以加上共同的 ΓΕ 对 ΕΒ 的比,此比等于 ΕΓ 与 ΓΒ 所包长方形对 ΚΒ 与 ΒΓ 所包长方形的比;因此,由等比,ΕΒ 的平方对 ΕΒ 与 ΒΓ 所包长方形的比(即 ΕΒ 对 ΒΓ 的比),等于由 ΒΗ 对 ΗΓ 的比以及 ΕΓ 与 ΓΒ 所包长方形对 ΕΒ 与 ΒΓ 所包长方形的比所合成的比,而后者等于 ΕΓ 对 ΕΒ 的比。
ὥστε ὁ τοῦ ἀπὸ ΕΒ πρὸς τὸ ὑπὸ ΕΒΓ συνῆπται ἔκ τε τοῦ ὃν ἔχει ἡ ΒΗ πρὸς ΗΓ καὶ τοῦ ὃν ἔχει ἡ ΕΓ πρὸς ΕΒ, ὅς ἐστιν ὁ αὐτὸς τῷ τοῦ ὑπὸ ΕΓ, ΒΗ πρὸς τὸ ὑπὸ ΕΒ, ΓΗ. ὡς δὲ ἡ ΕΒ πρὸς τὴν ΒΓ, οὕτως ἐστὶν διὰ τὸ προγεγραμμένον λῆμμα τὸ ὑπὸ ∠Ε, ΖΘ πρὸς τὸ ὑπὸ ∠Ζ, ΘΕ· καὶ ὡς ἄρα τὸ ὑπὸ ΓΕ, ΒΗ πρὸς τὸ ὑπὸ ΓΗ, ΕΒ, οὕτως ἐστὶν τὸ ὑπὸ ∠Ε, ΖΘ πρὸς τὸ ὑπὸ ∠Ζ, ΘΕ. εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Θ, Κ, Γ· τοῦτο γὰρ ἐν τοῖς πτωτικοῖς τῶν ἀναστροφίων.
因此,ΕΒ 的平方对 ΕΒ 与 ΒΓ 所包长方形的比,是由 ΒΗ 对 ΗΓ 的比以及 ΕΓ 对 ΕΒ 的比所合成的,而这等于 ΕΓ 与 ΒΗ 所包长方形对 ΕΒ 与 ΓΗ 所包长方形的比。 而正如 ΕΒ 对 ΒΓ 的比,由于前文所述的引理,等于 ∠Ε 与 ΖΘ 所包长方形对 ∠Ζ 与 ΘΕ 所包长方形的比;因此,ΓΕ 与 ΒΗ 所包长方形对 ΓΗ 与 ΕΒ 所包长方形的比,也等于 ∠Ε 与 ΖΘ 所包长方形对 ∠Ζ 与 ΘΕ 所包长方形的比。 所以过 Θ、Κ、Γ 的线是直线;因为这属于反转的各种不确定情况之一。
§6.19ιθ΄. Εἰς τρεῖς εὐθείας τὰς ΑΒ, ΑΓ, Α∠ ἀπό τινος σημείου τοῦ Ε δύο διήχθωσαν αἱ ΕΖ, ΕΒ, ἔστω δέ, ὡς ἡ ΕΖ πρὸς τὴν ΖΗ, οὕτως ἡ ΘΕ πρὸς τὴν ΘΗ ὅτι γίνεται καί, ὡς ἡ ΒΕ πρὸς τὴν ΒΓ, οὕτως ἡ Ε∠ πρὸς τὴν ∠Γ. ἤχθω διὰ τοῦ Η τῇ ΒΕ παράλληλος ἡ ΛΚ. ἐπεὶ οὖν ἐστιν, ὡς ἡ ΕΖ πρὸς τὴν ΖΗ, οὕτως ἡ ΕΘ πρὸς τὴν ΘΗ, ἀλλ᾿ ὡς μὲν ἡ ΕΖ πρὸς τὴν ΖΗ, οὕτως ἡ ΕΒ πρὸς τὴν ΗΚ, ὡς δὲ ἡ ΕΘ πρὸς τὴν ΘΗ, οὕτως ἐστὶν ἡ ∠Ε πρὸς τὴν ΗΛ, καὶ ὡς ἄρα ἡ ΒΕ πρὸς τὴν ΗΚ, οὕτως ἐστὶν ἡ ∠Ε πρὸς τὴν ΗΛ. ἐναλλάξ ἐστιν, ὡς ἡ ΕΒ πρὸς τὴν Ε∠, οὕτως ἡ Κ πρὸς τὴν ΗΛ. ὡς δὲ ἡ ΚΗ πρὸς τὴν ΗΛ, οὕτως ἐστὶν ἡ ΒΓ πρὸς τὴν Γ∠ καὶ ὡς ἄρα ἡ ΒΕ πρὸς τὴν Ε∠, οὕτως ἡ ΒΓ πρὸς τὴν Γ∠.
19. 向三直线 ΑΒ、ΑΓ、Α∠ 自某点 Ε 引出两直线 ΕΖ、ΕΒ,设 ΕΖ 对 ΖΗ 的比等于 ΘΕ 对 ΘΗ 的比;求证亦有 ΒΕ 对 ΒΓ 的比等于 Ε∠ 对 ∠Γ 的比。 过 Η 作平行于 ΒΕ 的直线 ΛΚ。 于是,因为正如 ΕΖ 对 ΖΗ 的比等于 ΕΘ 对 ΘΗ 的比,但正如 ΕΖ 对 ΖΗ 的比等于 ΕΒ 对 ΗΚ 的比,而正如 ΕΘ 对 ΘΗ 的比等于 ∠Ε 对 ΗΛ 的比,所以 ΒΕ 对 ΗΚ 的比也等于 ∠Ε 对 ΗΛ 的比。 成交互比,正如 ΕΒ 对 Ε∠ 的比,等于 Κ 对 ΗΛ 的比。 而正如 ΚΗ 对 ΗΛ 的比等于 ΒΓ 对 Γ∠ 的比;所以 ΒΕ 对 Ε∠ 的比也等于 ΒΓ 对 Γ∠ 的比。
ἐναλλάξ ἐστιν, ὡς ἡ ΕΒ πρὸς τὴν ΒΓ, οὕτως ἡ Ε∠ πρὸς τὴν ∠Γ. τὰ δὲ πτωτικὰ ὁμοίως.
成交互比,正如 ΒΕ 对 ΒΓ 的比等于 Ε∠ 对 ∠Γ 的比。 其他情况亦同。

词汇与语法注释

  1. 5καὶ ἡ διὰ τῶν Α, Μ, Δ ἄρα εὐθεῖά ἐστιν. — 由于传抄错误或几何图形关系,此处的 Δ 被认为是指前一节(§6.15)中出现的点 ∠(或 D)。
  2. 10τὸ ὑπὸ ΚΒΓ — 抄本中的 ΚΒΓ 可能是因大写字母 Ε 与 Κ 形状相似而误写的 ΕΒΓ,指 ΕΒ 与 ΒΓ 所包的长方形。
  3. 15ὅς ἔστιν — 关系代词 ὅς 的先行词是前文的“ΕΓ 与 ΓΒ 所包长方形对 ΕΒ 与 ΒΓ 所包长方形的比”,该比值等价于 ΕΓ 对 ΕΒ 的比。
  4. 5τοῖς πτωτικοῖς τῶν ἀναστροφίων — 在几何学中,πτωτικά(源自 πτῶσις,“情况/格”)指因点的位置关系而产生的“各种情况分类”,而 ἀναστρόφια(源自 ἀναστροφή,“反转”)指比率的反转。
  5. 5ἡ Κ — 带有冠词的单字 ἡ Κ 在文意上显然是 ΗΚ 或 ΚΗ 的漏写,这可由上下文中的交互比(自 ΒΕ / ΗΚ = ∠Ε / ΗΛ 导出)得知。

引用这一段

欧几里得, 残篇 §6.17-6.19. Humanitext Reader, https://reader.humanitext.ai/zh/text/urn:cts:greekLit:tlg1799.tlg016.humanitext-grc1:6.17-6.19

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

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