Humanitext Reader

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

整线与分段矩形四倍加平方和的证明

第 30 段,共 316 段 · 希腊语

内容简介

本命题证明了:如果一条直线被任意分割,则由整条线与其中一个分段所包围的矩形的四倍,连同在其余分段上所作的正方形之和,等于在由整条线与该分段合为一条直线所描绘的正方形。

§2.prop.8ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ τετράκις ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τοῦ λοιποῦ τμήματος τετραγώνου ἴσον ἐστὶ τῷ ἀπό τε τῆς ὅλης καὶ τοῦ εἰρημένου τμήματος ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ.
如果一条直线被任意分割,则由整条线连同其中一个分段所包围的矩形的四倍,连同在其余分段上所作的正方形之和,等于在由整条线与上述分段合为一条直线所描绘的正方形。
εὐθεῖα γάρ τις ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ σημεῖον· λέγω, ὅτι τὸ τετράκις ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΑΓ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ, ΒΓ ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ.
因为,设某条直线 AB 在 C 点被任意分割;我说,由 AB、BC 所包围的矩形的四倍连同在 AC 上所作的正方形之和,等于在 AB、BC 视为一条直线所描绘的正方形。
Ἐκβεβλήσθω γὰρ ἐπʼ εὐθείας ἡ ΒΔ, καὶ κείσθω τῇ ΓΒ ἴση ἡ ΒΔ, καὶ ἀναγεγράφθω ἀπὸ τῆς ΑΔ τετράγωνον τὸ ΑΕΖΔ, καὶ καταγεγράφθω διπλοῦν τὸ σχῆμα.
因为,设 BD 在同一直线上被延长,且使 BD 等于 CB,又在 AD 上作正方形 AEZD,并绘制双重图形。
ἐπεὶ οὖν ἴση ἐστὶν ἡ ΓΒ τῇ ΒΔ, ἀλλὰ ἡ μὲν ΓΒ τῇ ΗΚ ἐστιν ἴση, ἡ δὲ ΒΔ τῇ ΚΝ, καὶ ἡ ΗΚ ἄρα τῇ ΚΝ ἐστιν ἴση.
因为 CB 等于 BD,而 CB 等于 HK,BD 等于 KN,所以 HK 也等于 KN。
διὰ τὰ αὐτὰ δὴ καὶ ἡ ΠΡ τῇ ΡΟ ἐστιν ἴση.
由于同样的原因,PR 也等于 RO。
καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΓ τῇ ΒΔ, ἡ δὲ ΗΚ τῇ ΚΝ, ἴσον ἄρα ἐστὶ καὶ τὸ μὲν ΓΚ τῷ ΚΔ, τὸ δὲ ΗΡ τῷ ΡΝ. ἀλλὰ τὸ ΓΚ τῷ ΡΝ ἐστιν ἴσον·
又因为 BC 等于 BD,而 HK 等于 KN,所以 GK 也等于 KD,且 HR 等于 RN。
παραπληρώματα γὰρ τοῦ ΓΟ παραλληλογράμμου· καὶ τὸ ΚΔ ἄρα τῷ ΗΡ ἴσον ἐστίν·
但是 GK 等于 RN;因为它们是平行四边形 GO 的余形;因此 KD 也等于 HR;因此 DK、GK、HR、RN 这四个区域相互等于。
τὰ τέσσαρα ἄρα τὰ ΔΚ, ΓΚ, ΗΡ, ΡΝ ἴσα ἀλλήλοις ἐστίν.
因此这四个区域是 GK 的四倍。
τὰ τέσσαρα ἄρα τετραπλάσιά ἐστι τοῦ ΓΚ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ΓΒ τῇ ΒΔ, ἀλλὰ ἡ μὲν ΒΔ τῇ ΒΚ, τουτέστι τῇ ΓΗ ἴση, ἡ δὲ ΓΒ τῇ ΗΚ, τουτέστι τῇ ΗΠ, ἐστιν ἴση, καὶ ἡ ΓΗ ἄρα τῇ ΗΠ ἴση ἐστίν.
再次,因为 CB 等于 BD,而 BD 等于 BK(即等于 GH),且 CB 等于 HK(即等于 HP),所以 GH 也等于 HP。
καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ΓΗ τῇ ΗΠ, ἡ δὲ ΠΡ τῇ ΡΟ, ἴσον ἐστὶ καὶ τὸ μὲν ΑΗ τῷ ΜΠ, τὸ δὲ ΠΛ τῷ ΡΖ. ἀλλὰ τὸ ΜΠ τῷ ΠΛ ἐστιν ἴσον·
又因为 GH 等于 HP,而 PR 等于 RO,所以 AH 也等于 MP,且 PL 等于 RZ。
παραπληρώματα γὰρ τοῦ ΜΛ παραλληλογράμμου· καὶ τὸ ΑΗ ἄρα τῷ ΡΖ ἴσον ἐστίν· τὰ τέσσαρα ἄρα τὰ ΑΗ, ΜΠ, ΠΛ, ΡΖ ἴσα ἀλλήλοις ἐστίν· τὰ τέσσαρα ἄρα τοῦ ΑΗ ἐστι τετραπλάσια.
但是 MP 等于 PL;因为它们是平行四边形 ML 的余形;因此 AH 也等于 RZ;因此 AH、MP、PL、RZ 这四个区域相互等于;因此这四个区域是 AH 的四倍。
ἐδείχθη δὲ καὶ τὰ τέσσαρα τὰ ΓΚ, ΚΔ, ΗΡ, ΡΝ τοῦ ΓΚ τετραπλάσια· τὰ ἄρα ὀκτώ, ἃ περιέχει τὸν ΣΤΥ γνώμονα, τετραπλάσιά ἐστι τοῦ ΑΚ. καὶ ἐπεὶ τὸ ΑΚ τὸ ὑπὸ τῶν ΑΒ, ΒΔ ἐστιν·
而那四个区域 GK、KD、HR、RN 也已被证明是 GK 的四倍;因此包围磬折形 STY 的这八个区域是 AK 的四倍。
ἴση γὰρ ἡ ΒΚ τῇ ΒΔ· τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ τετραπλάσιόν ἐστι τοῦ ΑΚ. ἐδείχθη δὲ τοῦ ΑΚ τετραπλάσιος καὶ ὁ ΣΤΥ γνώμων·
又因为 AK 是由 AB、BD 所包围的矩形;因为 BK 等于 BD;因此由 AB、BD 所包围的矩形的四倍是 AK 的四倍。
τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ ἴσον ἐστὶ τῷ ΣΤΥ γνώμονι.
而磬折形 STY 也已被证明是 AK 的四倍;因此由 AB、BD 所包围的矩形的四倍等于磬折形 STY。
κοινὸν προσκείσθω τὸ ΞΘ, ὅ ἐστιν ἴσον τῷ ἀπὸ τῆς ΑΓ τετραγώνῳ· τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ ΑΓ τετραγώνου ἴσον ἐστὶ τῷ ΣΤΥ γνώμονι καὶ τῷ ΞΘ. ἀλλὰ ὁ ΣΤΥ γνώμων καὶ τὸ ΞΘ ὅλον ἐστὶ τὸ ΑΕΖΔ τετράγωνον, ὅ ἐστιν ἀπὸ τῆς ΑΔ·
设共有的 XQ(它是等于在 AC 上所作的正方形)被加上;因此由 AB、BD 所包围的矩形的四倍连同在 AC 上所作的正方形之和,等于磬折形 STY 与 XQ 之和。
τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ μετὰ τοῦ ἀπὸ ΑΓ ἴσον ἐστὶ τῷ ἀπὸ ΑΔ τετραγώνῳ·
但是磬折形 STY 与 XQ 是整体正方形 AEZD,也就是在 AD 上所作的正方形;因此由 AB、BD 所包围的矩形的四倍连同在 AC 上所作的正方形之和,等于在 AD 上所作的正方形;而 BD 等于 BC。
ἴση δὲ ἡ ΒΔ τῇ ΒΓ. τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ ΑΓ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΔ, τουτέστι τῷ ἀπὸ τῆς ΑΒ καὶ ΒΓ ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ.
因此由 AB、BC 所包围的矩形的四倍连同在 AC 上所作的正方形之和,等于在 AD 上的正方形,即在由 AB 与 BC 合为一条直线上所描绘的正方形。
ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ τετράκις ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τοῦ λοιποῦ τμήματος τετραγώνου ἴσον ἐστὶ τῷ ἀπό τε τῆς ὅλης καὶ τοῦ εἰρημένου τμήματος ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ· ὅπερ ἔδει δεῖξαι.
因此,如果一条直线被任意分割,则由整条线连同其中一个分段所包围的矩形的四倍,连同在其余分段上所作的正方形之和,等于在由整条线与上述分段合为一条直线所描绘的正方形;这就是所要证明的。

词汇与语法注释

  1. ¦5¦ὡς ἀπὸ μιᾶς — 意为“仿佛在一条(直线上)”。阴性属格 μιᾶς 省略了女性名词 εὐθείας(直线)。小词 ὡς 表示将两个分段的和视为一条单一的直线,并在其上作正方形。
  2. ¦35¦ἃ περιέχει τὸν ΣΤΥ γνώμονα — 关系代词 ἃ 的先行词是中性复数主格 τὰ ὀκτώ(八个区域)。动词 περιέχει 在此意为“构成”或“包围”磬折形。

引用这一段

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

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

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