Humanitext Reader

欧几里得 · 几何原本 §10.prop3.105-10.prop3.106

与较小线等可共测直线的性质

第 233 段,共 316 段 · 希腊语

内容简介

定理105证明了与较小线可共测的线也是较小线。定理106证明了与有理面积共同产生中项整体的线可共测的线也是同类型的线。

§10.prop3.105ἡ τῇ ἐλάσσονι σύμμετρος ἐλάσσων ἐστίν.
与较小线可共测的线也是较小线。
ἔστω γὰρ ἐλάσσων ἡ ΑΒ καὶ τῇ ΑΒ σύμμετρος ἡ ΓΔ· λέγω, ὅτι καὶ ἡ ΓΔ ἐλάσσων ἐστίν.
因为,设AB为较小线,且GD与AB可共测;我说,GD也是较小线。 设AB为较小线,且GD与AB可共测;我说,GD也是较小线。
γεγονέτω γὰρ τὰ αὐτά· καὶ ἐπεὶ αἱ ΑΕ, ΕΒ δυνάμει εἰσὶν ἀσύμμετροι, καὶ αἱ ΓΖ, ΖΔ ἄρα δυνάμει εἰσὶν ἀσύμμετροι.
因为,设同样的作图已被完成;而由于AE、EB 在平方上不可共测,因此GZ、ZD在平方上也不可共测。 因为,设同样的作图已被完成;而由于AE、EB 在平方上不可共测,因此GZ、ZD在平方上也不可共测。
ἐπεὶ οὖν ἐστιν ὡς ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως ἡ ΓΖ πρὸς τὴν ΖΔ, ἔστιν ἄρα καὶ ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ἀπὸ τῆς ΕΒ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ἀπὸ τῆς ΖΔ. συνθέντι ἄρα ἐστὶν ὡς τὰ ἀπὸ τῶν ΑΕ, ΕΒ πρὸς τὸ ἀπὸ τῆς ΕΒ, οὕτως τὰ ἀπὸ τῶν ΓΖ, ΖΔ πρὸς τὸ ἀπὸ τῆς ΖΔ· σύμμετρον δέ ἐστι τὸ ἀπὸ τῆς ΒΕ τῷ ἀπὸ τῆς ΔΖ·
由于正如AE对EB,GZ对ZD也如此,因此正如AE上的正方形对EB上的正方形,GZ上的正方形对 ZD上的正方形也如此。因此合比之,正如AE、EB上的正方形之和对EB上的正方形,GZ、ZD上的正方形之和对ZD上的正方形也如此。 由于正如AE对EB,GZ对ZD也如此,因此正如AE上的正方形对EB上的正方形,GZ上的正方形对 ZD上的正方形也如此。因此合比之,正如AE、EB上的正方形之和对EB上的正方形,GZ、ZD上的正方形之和对ZD上的正方形也如此。但BE上的正方形与DZ上的正方形可共测;因此AE、EB上的正方形之和也与 GZ、ZD上的正方形之和可共测。 但BE上的正方形与DZ上的正方形可共测;因此AE、EB上的正方形之和也与 GZ、ZD上的正方形之和可共测。
σύμμετρον ἄρα καὶ τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων τῷ συγκειμένῳ ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων. ῥητὸν δέ ἐστι τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων· ῥητὸν ἄρα ἐστὶ καὶ τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων. πάλιν, ἐπεί ἐστιν ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ὑπὸ τῶν ΑΕ, ΕΒ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ, σύμμετρον δὲ τὸ ἀπὸ τῆς ΑΕ τετράγωνον τῷ ἀπὸ τῆς ΓΖ τετραγώνῳ, σύμμετρον ἄρα ἐστὶ καὶ τὸ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ. μέσον δὲ τὸ ὑπὸ τῶν ΑΕ, ΕΒ·
而AE、EB上的正方形之和是有理的;因此GZ、ZD上的正方形之和也是有理的。再者,由于正如AE上的正方形对由AE、EB所包围的矩形,GZ上的正方形对由 GZ、ZD所包围的矩形也如此,且AE上的正方形与GZ上的正方形可共测,因此由AE、EB所包围的矩形也与由GZ、ZD所包围的矩形可共测。而由AE、EB所包围的矩形是中项的; 再者,由于正如AE上的正方形对由AE、EB所包围的矩形,GZ上的正方形对由 GZ、ZD所包围的矩形也如此,且AE上的正方形与GZ上的正方形可共测,因此由AE、EB所包围的矩形也与由GZ、ZD所包围的矩形可共测。而由AE、EB所包围的矩形是中项的;
μέσον ἄρα καὶ τὸ ὑπὸ τῶν ΓΖ, ΖΔ· αἱ ΓΖ, ΖΔ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων ῥητόν, τὸ δʼ ὑπʼ αὐτῶν μέσον.
而由AE、EB所包围的矩形是中项的;因此由GZ、ZD所包围的矩形也是中项的;因此GZ、ZD在平方上不可共测,使得它们上的正方形之和为有理的,而由它们所包围的矩形为中项的。
ἐλάσσων ἄρα ἐστὶν ἡ ΓΔ· ὅπερ ἔδει δεῖξαι.
因此GD是较小线;这就是所要证明的。
§10.prop3.106ἡ τῇ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσῃ σύμμετρος μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.
与有理面积共同产生中项整体的线可共测的线,也是有理面积共同产生中项整体的线。
ἔστω μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσα ἡ ΑΒ καὶ τῇ ΑΒ σύμμετρος ἡ ΓΔ· λέγω, ὅτι καὶ ἡ ΓΔ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.
设AB为与有理面积共同产生中项整体的线,且GD与AB可共测;我说,GD也是与有理面积共同产生中项整体的线。
ἔστω γὰρ τῇ ΑΒ προσαρμόζουσα ἡ ΒΕ· αἱ ΑΕ, ΕΒ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων μέσον, τὸ δʼ ὑπʼ αὐτῶν ῥητόν.
因为,设BE为AB的伴线;因此AE、EB在平方上不可共测,使得AE、EB上的正方形之和为中项的,而由它们所包围的矩形为有理的。
καὶ τὰ αὐτὰ κατεσκευάσθω.
并设同样的作图已被完成。
ὁμοίως δὴ δείξομεν τοῖς πρότερον, ὅτι αἱ ΓΖ, ΖΔ ἐν τῷ αὐτῷ λόγῳ εἰσὶ ταῖς ΑΕ, ΕΒ, καὶ σύμμετρόν ἐστι τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων τῷ συγκειμένῳ ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων, τὸ δὲ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ· ὥστε καὶ αἱ ΓΖ, ΖΔ δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων μέσον, τὸ δʼ ὑπʼ αὐτῶν ῥητόν.
同样地,我们正如之前那样证明:GZ、ZD与AE、EB具有相同的比,且AE、EB上的正方形之和与GZ、ZD上的正方形之和可共测,由AE、EB所包围的矩形与由GZ、ZD所包围的矩形可共测;因此GZ、ZD在平方上也不可共测,使得GZ、ZD上的正方形之和为中项的,而由它们所包围的矩形为有理的。
ἡ ΓΔ ἄρα μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν· ὅπερ ἔδει δεῖξαι.
因此GD是与有理面积共同产生中项整体的线;这就是所要证明的。

词汇与语法注释

  1. §10.prop3.105ἐλάσσων — “较小线”(ἐλάσσων),第十卷定理76等中定义的一种无理线。
  2. §10.prop3.105συνθέντι — 指合比操作(componendo),从已知的比 AE^2 : EB^2 = GZ^2 : ZD^2 导出两项之和的比 (AE^2 + EB^2) : EB^2 = (GZ^2 + ZD^2) : ZD^2。
  3. §10.prop3.106ἡ τῇ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσῃ — “与有理面积共同产生中项整体的线”,在第十卷定理78中定义的一种无理线。
  4. §10.prop3.106κατεσκευάσθω — 动词 κατασκευάζω 的命令式完成时被动语态,意为“设已作图/准备”。欧几里得几何证明中的常规用语,表示沿用前述定理(此处指定理103或104)中的几何作图步骤。

引用这一段

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

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

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