§10.prop3.91ἐὰν χωρίον περιέχηται ὑπὸ ῥητῆς καὶ ἀποτομῆς πρώτης, ἡ τὸ χωρίον δυναμένη ἀποτομή ἐστιν.
如果一个区域由一条有理线和第一离线所包围，那么产生该区域的线是一条离线。
περιεχέσθω γὰρ χωρίον τὸ ΑΒ ὑπὸ ῥητῆς τῆς ΑΓ καὶ ἀποτομῆς πρώτης τῆς ΑΔ· λέγω, ὅτι ἡ τὸ ΑΒ χωρίον δυναμένη ἀποτομή ἐστιν.
设区域AB由有理线AC与第一离线AD包围；我说，产生区域AB的线是一条离线。
ἐπεὶ γὰρ ἀποτομή ἐστι πρώτη ἡ ΑΔ, ἔστω αὐτῇ προσαρμόζουσα ἡ ΔΗ· αἱ ΑΗ, ΗΔ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι.
因为，由于AD是第一离线，设DH为它的伴线；因此AH、HD是仅在平方上可共测的有理线。
καὶ ὅλη ἡ ΑΗ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ τῇ ΑΓ, καὶ ἡ ΑΗ τῆς ΗΔ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ μήκει· ἐὰν ἄρα τῷ τετάρτῳ μέρει τοῦ ἀπὸ τῆς ΔΗ ἴσον παρὰ τὴν ΑΗ παραβληθῇ ἐλλεῖπον εἴδει τετραγώνῳ, εἰς σύμμετρα αὐτὴν διαιρεῖ.
且整体AH在长度上与设定的有理线AC可共测，且AH比HD在平方上大一个在长度上与自身可共测的线上的正方形；因此，如果将一个等于DH上正方形四分之一的矩形贴合到AH上，并缺一个正方形，它就将它（AH）分成在长度上可共测的部分。
τετμήσθω ἡ ΔΗ δίχα κατὰ τὸ Ε, καὶ τῷ ἀπὸ τῆς ΕΗ ἴσον παρὰ τὴν ΑΗ παραβεβλήσθω ἐλλεῖπον εἴδει τετραγώνῳ, καὶ ἔστω τὸ ὑπὸ τῶν ΑΖ, ΖΗ· σύμμετρος ἄρα ἐστὶν ἡ ΑΖ τῇ ΖΗ. καὶ διὰ τῶν Ε, Ζ, Η σημείων τῇ ΑΓ παράλληλοι ἤχθωσαν αἱ ΕΘ, ΖΙ, ΗΚ.
καὶ ἐπεὶ σύμμετρός ἐστιν ἡ ΑΖ τῇ ΖΗ μήκει, καὶ ἡ ΑΗ ἄρα ἑκατέρᾳ τῶν ΑΖ, ΖΗ σύμμετρός ἐστι μήκει.
设DH在E点被二等分，且将一个等于EH上正方形的矩形贴合到AH上，且缺一个正方形，并设它是由AZ、ZH所包围的矩形；因此AZ在长度上与ZH可共测。 且通过点E、Z、H，画出平行于AC的线EG、ZI、HK。 且由于AZ在长度上与ZH可共测，因此AH在长度上与AZ、ZH的每一个也可共测。
ἀλλὰ ἡ ΑΗ σύμμετρός ἐστι τῇ ΑΓ· καὶ ἑκατέρα ἄρα τῶν ΑΖ, ΖΗ σύμμετρός ἐστι τῇ ΑΓ μήκει.
但AH与AC可共测；因此AZ、ZH的每一个在长度上与AC也可共测。
καί ἐστι ῥητὴ ἡ ΑΓ· ῥητὴ ἄρα καὶ ἑκατέρα τῶν ΑΖ, ΖΗ· ὥστε καὶ ἑκάτερον τῶν ΑΙ, ΖΚ ῥητόν ἐστιν.
而AC是有理的；因此AZ、ZH的每一个也是有理的；所以区域AI、ZK的每一个也是有理的。
καὶ ἐπεὶ σύμμετρός ἐστιν ἡ ΔΕ τῇ ΕΗ μήκει, καὶ ἡ ΔΗ ἄρα ἑκατέρᾳ τῶν ΔΕ, ΕΗ σύμμετρός ἐστι μήκει.
且由于DE在长度上与EH可共测，因此DH在长度上与 DE、EH的每一个也可共测。
ῥητὴ δὲ ἡ ΔΗ καὶ ἀσύμμετρος τῇ ΑΓ μήκει· ῥητὴ ἄρα καὶ ἑκατέρα τῶν ΔΕ, ΕΗ καὶ ἀσύμμετρος τῇ ΑΓ μήκει· ἑκάτερον ἄρα τῶν ΔΘ, ΕΚ μέσον ἐστίν.
而DH是有理的，且在长度上与AC不可共测；因此DE、EH的每一个也是有理线，且在长度上与AC不可共测；因此区域DG、EK的每一个是中项。
κείσθω δὴ τῷ μὲν ΑΙ ἴσον τετράγωνον τὸ ΛΜ, τῷ δὲ ΖΚ ἴσον τετράγωνον ἀφῃρήσθω κοινὴν γωνίαν ἔχον αὐτῷ τὴν ὑπὸ ΛΟΜ τὸ ΝΞ· περὶ τὴν αὐτὴν ἄρα διάμετρόν ἐστι τὰ ΛΜ, ΝΞ τετράγωνα.
现设等于AI的正方形LM，且减去等于ZK的正方形NX，使其与它具有公共角∠LOM；因此正方形LM、NX在同一对角线上。
ἔστω αὐτῶν διάμετρος ἡ ΟΡ, καὶ καταγεγράφθω τὸ σχῆμα.
设它们共同的对角线为OP，并画出整个图形。
ἐπεὶ οὖν ἴσον ἐστὶ τὸ ὑπὸ τῶν ΑΖ, ΖΗ περιεχόμενον ὀρθογώνιον τῷ ἀπὸ τῆς ΕΗ τετραγώνῳ, ἔστιν ἄρα ὡς ἡ ΑΖ πρὸς τὴν ΕΗ, οὕτως ἡ ΕΗ πρὸς τὴν ΖΗ. ἀλλʼ ὡς μὲν ἡ ΑΖ πρὸς τὴν ΕΗ, οὕτως τὸ ΑΙ πρὸς τὸ ΕΚ, ὡς δὲ ἡ ΕΗ πρὸς τὴν ΖΗ, οὕτως ἐστὶ τὸ ΕΚ πρὸς τὸ ΚΖ·
由于由AZ、ZH所包围的矩形等于 EH上的正方形，因此，AZ与EH之比，等于EH与ZH之比。 但由于AZ与EH之比，等于AI与EK之比，而EH与ZH之比，等于EK与KZ之比；因此EK是AI、KZ的比例中项。
τῶν ἄρα ΑΙ, ΚΖ μέσον ἀνάλογόν ἐστι τὸ ΕΚ. ἔστι δὲ καὶ τῶν ΛΜ, ΝΞ μέσον ἀνάλογον τὸ ΜΝ, ὡς ἐν τοῖς ἔμπροσθεν ἐδείχθη, καί ἐστι τὸ ΑΙ τῷ ΛΜ τετραγώνῳ ἴσον, τὸ δὲ ΚΖ τῷ ΝΞ· καὶ τὸ ΜΝ ἄρα τῷ ΕΚ ἴσον ἐστίν.
但在 LM、NX之间，MN也是比例中项，正如前面所证，且AI等于正方形LM，而KZ等于NX；因此MN也等于EK。
ἀλλὰ τὸ μὲν ΕΚ τῷ ΔΘ ἐστιν ἴσον, τὸ δὲ ΜΝ τῷ ΛΞ· τὸ ἄρα ΔΚ ἴσον ἐστὶ τῷ ΥΦΧ γνώμονι καὶ τῷ ΝΞ. ἔστι δὲ καὶ τὸ ΑΚ ἴσον τοῖς ΛΜ, ΝΞ τετραγώνοις· λοιπὸν ἄρα τὸ ΑΒ ἴσον ἐστὶ τῷ ΣΤ. τὸ δὲ ΣΤ τὸ ἀπὸ τῆς ΛΝ ἐστι τετράγωνον· τὸ ἄρα ἀπὸ τῆς ΛΝ τετράγωνον ἴσον ἐστὶ τῷ ΑΒ·
但EK等于DG，而MN等于LX；因此DK等于磬折形UFX与NX之和。 且 AK也等于正方形LM、NX之和；因此余下的AB等于ST。 而ST是LN上的正方形；因此LN上的正方形等于AB；因此LN产生AB。
ἡ ΛΝ ἄρα δύναται τὸ ΑΒ.
λέγω δή, ὅτι ἡ ΛΝ ἀποτομή ἐστιν.
我且说，LN是一条离线。
ἐπεὶ γὰρ ῥητόν ἐστιν ἑκάτερον τῶν ΑΙ, ΖΚ, καί ἐστιν ἴσον τοῖς ΛΜ, ΝΞ, καὶ ἑκάτερον ἄρα τῶν ΛΜ, ΝΞ ῥητόν ἐστιν, τουτέστι τὸ ἀπὸ ἑκατέρας τῶν ΛΟ, ΟΝ· καὶ ἑκατέρα ἄρα τῶν ΛΟ, ΟΝ ῥητή ἐστιν.
因为，由于区域AI、ZK的每一个是有理的，且它们分别等于LM、NX，因此正方形LM、NX的每一个也是有理的，即LO、ON的每一个上的正方形（是有理的）；因此LO、ON的每一个是有理线。
πάλιν, ἐπεὶ μέσον ἐστὶ τὸ ΔΘ καί ἐστιν ἴσον τῷ ΛΞ, μέσον ἄρα ἐστὶ καὶ τὸ ΛΞ. ἐπεὶ οὖν τὸ μὲν ΛΞ μέσον ἐστίν, τὸ δὲ ΝΞ ῥητόν, ἀσύμμετρον ἄρα ἐστὶ τὸ ΛΞ τῷ ΝΞ· ὡς δὲ τὸ ΛΞ πρὸς τὸ ΝΞ, οὕτως ἐστὶν ἡ ΛΟ πρὸς τὴν ΟΝ· ἀσύμμετρος ἄρα ἐστὶν ἡ ΛΟ τῇ ΟΝ μήκει.
再次，由于DG是中项，且等于LX，因此LX也是中项。 由于LX是中项，而NX是有理的，因此LX与NX不可共测；且由于LX与NX之比，等于LO与ON之比；因此LO在长度上与ON不可共测。
καί εἰσιν ἀμφότεραι ῥηταί· αἱ ΛΟ, ΟΝ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ ἄρα ἐστὶν ἡ ΛΝ. καὶ δύναται τὸ ΑΒ χωρίον· ἡ ἄρα τὸ ΑΒ χωρίον δυναμένη ἀποτομή ἐστιν.
且二者皆为有理线；因此LO、ON是仅在平方上可共测的有理线；因此LN是一条离线。 且它产生区域AB；因此产生区域AB的线是一条离线。
ἐὰν ἄρα χωρίον περιέχηται ὑπὸ ῥητῆς, καὶ τὰ ἑξῆς.
因此，如果一个区域由一条有理线包围，以下同理。