§10.prop3.95ἐὰν χωρίον περιέχηται ὑπὸ ῥητῆς καὶ ἀποτομῆς πέμπτης, ἡ τὸ χωρίον δυναμένη μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.
如果一个区域由一条有理线和第五离线所包围，那么产生该区域的线是和有理面积一起使整体为中项的线。
χωρίον γὰρ τὸ ΑΒ περιεχέσθω ὑπὸ ῥητῆς τῆς ΑΓ καὶ ἀποτομῆς πέμπτης τῆς ΑΔ· λέγω, ὅτι ἡ τὸ ΑΒ χωρίον δυναμένη μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.
设区域AB由有理线AC 与第五离线AD包围；我说，产生区域AB的线是和有理面积一起使整体为中项的线。
ἔστω γὰρ τῇ ΑΔ προσαρμόζουσα ἡ ΔΗ· αἱ ἄρα ΑΗ, ΗΔ ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ προςαρμόζουσα ἡ ΗΔ σύμμετρός ἐστι μήκει τῇ ἐκκειμένῃ ῥητῇ τῇ ΑΓ, ἡ δὲ ὅλη ἡ ΑΗ τῆς προσαρμοζούσης τῆς ΔΗ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ.
因为，设DH为AD的伴线；因此AH、HD是仅在平方上可共测的有理线，且伴线 DH在长度上与设定的有理线AC可共测，而整体AH比伴线DH在平方上大一个在长度上与自身不可共测的线上的正方形。
ἐὰν ἄρα τῷ τετάρτῳ μέρει τοῦ ἀπὸ τῆς ΔΗ ἴσον παρὰ τὴν ΑΗ παραβληθῇ ἐλλεῖπον εἴδει τετραγώνῳ, εἰς ἀσύμμετρα αὐτὴν διελεῖ.
因此，如果将一个等于DH上正方形四分之一的矩形贴合到AH上，并缺一个正方形，它就将它（AH）分成在长度上不可共测的部分。
τετμήσθω οὖν ἡ ΔΗ δίχα κατὰ τὸ Ε σημεῖον, καὶ τῷ ἀπὸ τῆς ΕΗ ἴσον παρὰ τὴν ΑΗ παραβεβλήσθω ἐλλεῖπον εἴδει τετραγώνῳ καὶ ἔστω τὸ ὑπὸ τῶν ΑΖ, ΖΗ· ἀσύμμετρος ἄρα ἐστὶν ἡ ΑΖ τῇ ΖΗ μήκει.
因此，设DH在点E被二等分；且将一个等于EH上正方形的矩形贴合到AH上，且缺一个正方形，并设它是由AZ、ZH所包围的矩形；因此AZ在长度上与ZH不可共测。
καὶ ἐπεὶ ἀσύμμετρός ἐστιν ἡ ΑΗ τῇ ΓΑ μήκει, καί εἰσιν ἀμφότεραι ῥηταί, μέσον ἄρα ἐστὶ τὸ ΑΚ. πάλιν, ἐπεὶ ῥητή ἐστιν ἡ ΔΗ καὶ σύμμετρος τῇ ΑΓ μήκει, ῥητόν ἐστι τὸ ΔΚ. συνεστάτω οὖν τῷ μὲν ΑΙ ἴσον τετράγωνον τὸ ΛΜ, τῷ δὲ ΖΚ ἴσον τετράγωνον ἀφῃρήσθω τὸ ΝΞ περὶ τὴν αὐτὴν γωνίαν τὴν ὑπὸ ΛΟΜ· περὶ τὴν αὐτὴν ἄρα διάμετρόν ἐστι τὰ ΛΜ, ΝΞ τετράγωνα.
且，由于AH在长度上与GA不可共测，且两者都是有理的，因此AK是中项。 再次，由于DH是有理的，且在长度上与AC可共测，因此DK是有理的。 因此，设作一个等于AI的正方形LM，且减去等于ZK的正方形NX，使其与正方形LM具有公共角，即由LOM所包围的角；因此正方形LM、NX在同一对角线上。
ἔστω αὐτῶν διάμετρος ἡ ΟΡ, καὶ καταγεγράφθω τὸ σχῆμα.
设它们共同的对角线为OP，并画出整个图形。
ὁμοίως δὴ δείξομεν, ὅτι ἡ ΛΝ δύναται τὸ ΑΒ χωρίον.
同理我们可以证明，LN产生区域AB。
λέγω, ὅτι ἡ ΛΝ ἡ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.
我说，LN是和有理面积一起使整体为中项的线。
ἐπεὶ γὰρ μέσον ἐδείχθη τὸ ΑΚ καί ἐστιν ἴσον τοῖς ἀπὸ τῶν ΛΟ, ΟΝ, τὸ ἄρα συγκείμενον ἐκ τῶν ἀπὸ τῶν ΛΟ, ΟΝ μέσον ἐστίν.
因为，由于AK被证明是中项，且等于LO、ON上的正方形之和，因此LO、ON上的正方形之和是中项。
πάλιν, ἐπεὶ ῥητόν ἐστι τὸ ΔΚ καί ἐστιν ἴσον τῷ δὶς ὑπὸ τῶν ΛΟ, ΟΝ, καὶ αὐτὸ ῥητόν ἐστιν.
再次，由于DK是有理的，且等于LO、ON所包围的矩形的两倍，因此LO、ON所包围的矩形的两倍也是有理的。
καὶ ἐπεὶ ἀσύμμετρόν ἐστι τὸ ΑΙ τῷ ΖΚ, ἀσύμμετρον ἄρα ἐστὶ καὶ τὸ ἀπὸ τῆς ΛΟ τῷ ἀπὸ τῆς ΟΝ· αἱ ΛΟ, ΟΝ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων μέσον, τὸ δὲ δὶς ὑπʼ αὐτῶν ῥητόν.
且由于AI与ZK不可共测，因此LO上的正方形也与ON上的正方形不可共测；因此LO、ON在平方上不可共测，使它们之上的正方形之和是中项，而它们所包围的矩形的两倍是有理的。
ἡ λοιπὴ ἄρα ἡ ΛΝ ἄλογός ἐστιν ἡ καλουμένη μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσα· καὶ δύναται τὸ ΑΒ χωρίον.
因此，余下的LN是无理线，被称为和有理面积一起使整体为中项的线；且它产生区域AB。
ἡ τὸ ΑΒ ἄρα χωρίον δυναμένη μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν· ὅπερ ἔδει δεῖξαι.
因此，产生区域AB的线是和有理面积一起使整体为中项的线；这就是所要证明的。