Humanitext Reader

欧几里得 · 几何原本 §10.prop2.65-10.prop2.66

第六二名线所生之宽与二名线共测的线

第 203 段,共 316 段 · 希腊语

内容简介

证明在有理线上贴合由能产生两个中面面积的线所围成的正方形所得之宽为第六二名线,并进一步说明与任意二名线在长度上共测的线其自身也是相同次序的二名线。

§10.prop2.65τὸ ἀπὸ τῆς δύο μέσα δυναμένης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων ἕκτην.
在有理线上贴合由能产生两个中面面积的线所围成的正方形,所得之宽是一条第六二名线。
ἔστω δύο μέσα δυναμένη ἡ ΑΒ διῃρημένη κατὰ τὸ Γ, ῥητὴ δὲ ἔστω ἡ ΔΕ. καὶ παρὰ τὴν ΔΕ τῷ ἀπὸ τῆς ΑΒ ἴσον παραβεβλήσθω τὸ ΔΖ πλάτος ποιοῦν τὴν ΔΗ· λέγω, ὅτι ἡ ΔΗ ἐκ δύο ὀνομάτων ἐστὶν ἕκτη.
设AB为在C处被分成的能产生两个中面面积的线,并设有理线为DE。 且在DE上贴合一个等于 AB之上的正方形的平行四边形DZ,产生宽为DH;我说,DH是第六二名线。
Κατεσκευάσθω γὰρ τὰ αὐτὰ τοῖς πρότερον.
因为设作图与先前的命题相同。
καὶ ἐπεὶ ἡ ΑΒ δύο μέσα δυναμένη ἐστὶ διῃρημένη κατὰ τὸ Γ, αἱ ΑΓ, ΓΒ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τό τε συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων μέσον καὶ τὸ ὑπʼ αὐτῶν μέσον καὶ ἔτι ἀσύμμετρον τὸ ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων συγκείμενον τῷ ὑπʼ αὐτῶν· ὥστε κατὰ τὰ προδεδειγμένα μέσον ἐστὶν ἑκάτερον τῶν ΔΛ, ΜΖ. καὶ παρὰ ῥητὴν τὴν ΔΕ παράκειται· ῥητὴ ἄρα ἐστὶν ἑκατέρα τῶν ΔΜ, ΜΗ καὶ ἀσύμμετρος τῇ ΔΕ μήκει.
由于AB是在C处被分成的能产生两个中面面积的线,所以AC、CB在平方上不共测,它们使得它们之上的正方形之和为中面,而由它们所围成的矩形也为中面,并且它们之上的正方形之和与由它们所围成的矩形还不共测;因此,根据先前所证明的,DL、MZ的每一个都是中面。 并且它们贴合在有理线DE上;因此DM、MH的每一个都是有理的,且在长度上与DE不共测。
καὶ ἐπεὶ ἀσύμμετρόν ἐστι τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΓ, ΓΒ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ, ἀσύμμετρον ἄρα ἐστὶ τὸ ΔΛ τῷ ΜΖ. ἀσύμμετρος ἄρα καὶ ἡ ΔΜ τῇ ΜΗ· αἱ ΔΜ, ΜΗ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἐκ δύο ἄρα ὀνομάτων ἐστὶν ἡ ΔΗ. λέγω δή, ὅτι καὶ ἕκτη.
又因为AC、CB之上的正方形之和与由AC、CB所围成的矩形的两倍不共测,所以DL与MZ也不共测。 因此DM与MH也不共测;因此DM、MH是仅在平方上共测的有理线;因此DH是一条二名线。 我现在说,它也是第六二名线。
ὁμοίως δὴ πάλιν δείξομεν, ὅτι τὸ ὑπὸ τῶν ΔΚΜ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΜΝ, καὶ ὅτι ἡ ΔΚ τῇ ΚΜ μήκει ἐστὶν ἀσύμμετρος· καὶ διὰ τὰ αὐτὰ δὴ ἡ ΔΜ τῆς ΜΗ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ μήκει.
因为我们将同样地再次证明,由DKM所围成的矩形等于MN之上的正方形,且DK在长度上与KM不共测;并且由于同样的原因,DM的平方大于MH的平方,其差为与DM在长度上不共测的线之上的正方形。
καὶ οὐδετέρα τῶν ΔΜ, ΜΗ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ τῇ ΔΕ μήκει.
且DM、MH的每一个都与给定的有理线 DE在长度上不共测。
ἡ ΔΗ ἄρα ἐκ δύο ὀνομάτων ἐστὶν ἕκτη· ὅπερ ἔδει δεῖξαι.
因此DH是第六二名线;即所要求证的。
§10.prop2.66ἡ τῇ ἐκ δύο ὀνομάτων μήκει σύμμετρος καὶ αὐτὴ ἐκ δύο ὀνομάτων ἐστὶ καὶ τῇ τάξει ἡ αὐτή.
与二名线在长度上共测的线,其自身也是二名线,且在次序上相同。
ἔστω ἐκ δύο ὀνομάτων ἡ ΑΒ, καὶ τῇ ΑΒ μήκει σύμμετρος ἔστω ἡ ΓΔ· λέγω, ὅτι ἡ ΓΔ ἐκ δύο ὀνομάτων ἐστὶ καὶ τῇ τάξει ἡ αὐτὴ τῇ ΑΒ. ἐπεὶ γὰρ ἐκ δύο ὀνομάτων ἐστὶν ἡ ΑΒ, διῃρήσθω εἰς τὰ ὀνόματα κατὰ τὸ Ε, καὶ ἔστω μεῖζον ὄνομα τὸ ΑΕ· αἱ ΑΕ, ΕΒ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι.
设AB为二名线,且设CD在长度上与AB共测;我说,CD是二名线,且在次序上与AB相同。 因为AB是二名线,设它在E处被分成它的项,且设较长的一项为AE;因此AE、EB是仅在平方上共测的有理线。
γεγονέτω ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ ΑΕ πρὸς τὴν ΓΖ· καὶ λοιπὴ ἄρα ἡ ΕΒ πρὸς λοιπὴν τὴν ΖΔ ἐστιν, ὡς ἡ ΑΒ πρὸς τὴν ΓΔ. σύμμετρος δὲ ἡ ΑΒ τῇ ΓΔ μήκει. σύμμετρος ἄρα ἐστὶ καὶ ἡ μὲν ΑΕ τῇ ΓΖ, ἡ δὲ ΕΒ τῇ ΖΔ. καί εἰσι ῥηταὶ αἱ ΑΕ, ΕΒ· ῥηταὶ ἄρα εἰσὶ καὶ αἱ ΓΖ, ΖΔ. καὶ ἐστιν ὡς ἡ ΑΕ πρὸς ΓΖ, ἡ ΕΒ πρὸς ΖΔ. ἐναλλὰξ ἄρα ἐστὶν ὡς ἡ ΑΕ πρὸς ΕΒ, ἡ ΓΖ πρὸς ΖΔ. αἱ δὲ ΑΕ, ΕΒ δυνάμει μόνον σύμμετροι· καὶ αἱ ΓΖ, ΖΔ ἄρα δυνάμει μόνον εἰσὶ σύμμετροι.
使得如同AB对CD,AE也对 CZ;因此余下的EB对余下的ZD也如同AB对CD。 而AB在长度上与CD共测;因此AE也与CZ共测,且EB与ZD共测。 而AE、EB是有理的;因此CZ、ZD也是有理的。 且如同AE对CZ,EB也对ZD;因此更比,如同AE对EB,CZ也对ZD。 而AE、EB仅在平方上共测;因此CZ、ZD也仅在平方上共测。
καί εἰσι ῥηταί· ἐκ δύο ἄρα ὀνομάτων ἐστὶν ἡ ΓΔ. λέγω δή, ὅτι τῇ τάξει ἐστὶν ἡ αὐτὴ τῇ ΑΒ. ἡ γὰρ ΑΕ τῆς ΕΒ μεῖζον δύναται ἤτοι τῷ ἀπὸ συμμέτρου ἑαυτῇ ἢ τῷ ἀπὸ ἀσυμμέτρου. εἰ μὲν οὖν ἡ ΑΕ τῆς ΕΒ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ ἡ ΓΖ τῆς ΖΔ μεῖζον δυνήσεται τῷ ἀπὸ συμμέτρου ἑαυτῇ.
且它们是有理的;因此CD是二名线。 我现在说,它在次序上也与AB相同。 因为AE的平方大于EB的平方,其差为与AE在长度上共测的线的平方,或为不共测的线的平方。 如果AE的平方大于EB的平方,其差为与AE共测的线的平方,则CZ的平方大于ZD的平方,其差也为与CZ共测的线的平方。
καὶ εἰ μὲν σύμμετρός ἐστιν ἡ ΑΕ τῇ ἐκκειμένῃ ῥητῇ, καὶ ἡ ΓΖ σύμμετρος αὐτῇ ἔσται, καὶ διὰ τοῦτο ἑκατέρα τῶν ΑΒ, ΓΔ ἐκ δύο ὀνομάτων ἐστὶ πρώτη, τουτέστι τῇ τάξει ἡ αὐτή.
并且,如果AE与给定的有理线共测,则CZ也与它共测,且因此AB、CD的每一个都是第一二名线,即在次序上相同。
εἰ δὲ ἡ ΕΒ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ, καὶ ἡ ΖΔ σύμμετρός ἐστιν αὐτῇ, καὶ διὰ τοῦτο πάλιν τῇ τάξει ἡ αὐτὴ ἔσται τῇ ΑΒ· ἑκατέρα γὰρ αὐτῶν ἔσται ἐκ δύο ὀνομάτων δευτέρα.
如果EB与给定的有理线共测,则ZD也与它共测,且因此再次在次序上与AB相同;因为它们的每一个都是第二二名线。
εἰ δὲ οὐδετέρα τῶν ΑΕ, ΕΒ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ, οὐδετέρα τῶν ΓΖ, ΖΔ σύμμετρος αὐτῇ ἔσται, καί ἐστιν ἑκατέρα τρίτη.
如果AE、EB的哪一个都不与给定的有理线共测,则CZ、ZD的哪一个也都不与它共测,且每一个都是第三二名线。
εἰ δὲ ἡ ΑΕ τῆς ΕΒ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ, καὶ ἡ ΓΖ τῆς ΖΔ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ.
如果AE的平方大于EB的平方,其差为与AE不共测的线的平方,则CZ的平方大于ZD的平方,其差也为与CZ 不共测的线的平方。
καὶ εἰ μὲν ἡ ΑΕ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ, καὶ ἡ ΓΖ σύμμετρός ἐστιν αὐτῇ, καί ἐστιν ἑκατέρα τετάρτη.
并且,如果AE与给定的有理线共测,则CZ也与它共测,且每一个都是第四二名线。
εἰ δὲ ἡ ΕΒ, καὶ ἡ ΖΔ, καὶ ἔσται ἑκατέρα πέμπτη.
如果EB是,则ZD也是,且每一个都将是第五二名线。
εἰ δὲ οὐδετέρα τῶν ΑΕ, ΕΒ, καὶ τῶν ΓΖ, ΖΔ οὐδετέρα σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ, καὶ ἔσται ἑκατέρα ἕκτη.
如果AE、EB的哪一个都不是,则CZ、ZD的哪一个也都不与给定的有理线共测,且每一个都将是第六二名线。
ὥστε ἡ τῇ ἐκ δύο ὀνομάτων μήκει σύμμετρος ἐκ δύο ὀνομάτων ἐστὶ καὶ τῇ τάξει ἡ αὐτή· ὅπερ ἔδει δεῖξαι.
从而与二名线在长度上共测的线是二名线,且在次序上相同;即所要求证的。

词汇与语法注释

  1. §10.prop2.65δύο μέσα δυναμένη — 在数学语境中,δυναμένη 表示“能够通过其平方产生……”。此处以宾格 δύο μέσα(两个中面)为宾语,意味着该直线上的正方形其各部分的平方和以及它们所围成矩形的两倍都是中面面积。
  2. §10.prop2.65τὸ ὑπὸ τῶν ΔΚΜ — 带有介词 ὑπό 和属格复数冠词 τῶν 的缩写表达,意为“由 DK 和 KM 所围成的矩形”。由于字母 K 是共有的,因此将 DK 和 KM 两条线段合并简写为 DKM。
  3. §10.prop2.66γεγονέτω — 动词 γίγνομαι 的第三人称单数完成时命令式。这是几何作图中的程式化表达,指示“作图使……”或“使……被作成”,以满足给定的比例或条件(此处指在 CD 上确定点 Z 使得特定的比例成立)。

引用这一段

欧几里得, 几何原本 §10.prop2.65-10.prop2.66. Humanitext Reader, https://reader.humanitext.ai/zh/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:10.prop2.65-10.prop2.66

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

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