§10.prop2.84τῇ μετὰ μέσου μέσον τὸ ὅλον ποιούσῃ μία μόνη προσαρμόζει εὐθεῖα δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ, μετὰ δὲ τῆς ὅλης ποιοῦσα τό τε συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων μέσον τό τε δὶς ὑπʼ αὐτῶν μέσον καὶ ἔτι ἀσύμμετρον τῷ συγκειμένῳ ἐκ τῶν ἀπʼ αὐτῶν.
对与中面面积一起使整体为中面的线而言,只有一条与其整体在平方上不可共测、且与整体一起使它们上的正方形之和为中面而由它们围成的矩形的两倍为中面,并且与它们上的正方形之和不可共测的直线可以附合。
ἔστω ἡ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσα ἡ ΑΒ, προσαρμόζουσα δὲ αὐτῇ ἡ ΒΓ· αἱ ἄρα ΑΓ, ΓΒ δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὰ προειρημένα.
设与中面面积一起使整体为中面的线为AB,且BC附合于它;因此AC、CB在平方上不可共测,且作上述事情。
λέγω, ὅτι τῇ ΑΒ ἑτέρα οὐ προσαρμόσει ποιοῦσα τὰ προειρημένα.
我说,对AB而言,不能附合另一条作上述事情的直线。
εἰ γὰρ δυνατόν, προσαρμοζέτω ἡ ΒΔ, ὥστε καὶ τὰς ΑΔ, ΔΒ δυνάμει ἀσυμμέτρους εἶναι ποιούσας τά τε ἀπὸ τῶν ΑΔ, ΔΒ τετράγωνα ἅμα μέσον καὶ τὸ δὶς ὑπὸ τῶν ΑΔ, ΔΒ μέσον καὶ ἔτι τὰ ἀπὸ τῶν ΑΔ, ΔΒ ἀσύμμετρα τῷ δὶς ὑπὸ τῶν ΑΔ, ΔΒ· καὶ ἐκκείσθω ῥητὴ ἡ ΕΖ, καὶ τοῖς μὲν ἀπὸ τῶν ΑΓ, ΓΒ ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΕΗ πλάτος ποιοῦν τὴν ΕΜ, τῷ δὲ δὶς ὑπὸ τῶν ΑΓ, ΓΒ ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΘΗ πλάτος ποιοῦν τὴν ΘΜ· λοιπὸν ἄρα τὸ ἀπὸ τῆς ΑΒ ἴσον ἐστὶ τῷ ΕΛ· ἡ ἄρα ΑΒ δύναται τὸ ΕΛ. πάλιν τοῖς ἀπὸ τῶν ΑΔ, ΔΒ ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΕΙ πλάτος ποιοῦν τὴν ΕΝ. ἔστι δὲ καὶ τὸ ἀπὸ τῆς ΑΒ ἴσον τῷ ΕΛ· λοιπὸν ἄρα τὸ δὶς ὑπὸ τῶν ΑΔ, ΔΒ ἴσον τῷ ΘΙ. καὶ ἐπεὶ μέσον ἐστὶ τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΓ, ΓΒ καί ἐστιν ἴσον τῷ ΕΗ, μέσον ἄρα ἐστὶ καὶ τὸ ΕΗ. καὶ παρὰ ῥητὴν τὴν ΕΖ παράκειται πλάτος ποιοῦν τὴν ΕΜ· ῥητὴ ἄρα ἐστὶν ἡ ΕΜ καὶ ἀσύμμετρος τῇ ΕΖ μήκει.
因为,若可能,设BD也附合于它,使得AD、DB在平方上也是不可共测的,且使AD、DB上的正方形之和同时为中面,由AD、DB围成的矩形的两倍为中面,并且使AD、DB上的正方形与由AD、DB围成的矩形的两倍不可共测;设有一条有理线EZ,并向EZ贴附一个等于AC、CB上的正方形之和的面积EH,使其宽度为EM,并向EZ贴附一个等于由AC、CB围成的矩形的两倍的面积TH,使其宽度为TM;因此其余的面积等于AB上的正方形,也就是EL;因此AB在EL上作正方形。 再次,向EZ贴附一个等于AD、DB上的正方形之和的面积EI,使其宽度为EN。 而AB上的正方形也等于EL;因此其余的由AD、DB围成的矩形的两倍等于TI。 且因为AC、CB上的正方形之和是中面,并且等于EH,因此EH也是中面。 它贴附在有理线EZ上,使其宽度为EM;因此EM是有理的,且在长度上与EZ不可共测。
πάλιν, ἐπεὶ μέσον ἐστὶ τὸ δὶς ὑπὸ τῶν ΑΓ, ΓΒ καί ἐστιν ἴσον τῷ ΘΗ, μέσον ἄρα καὶ τὸ ΘΗ. καὶ παρὰ ῥητὴν τὴν ΕΖ παράκειται πλάτος ποιοῦν τὴν ΘΜ· ῥητὴ ἄρα ἐστὶν ἡ ΘΜ καὶ ἀσύμμετρος τῇ ΕΖ μήκει.
再次,因为由AC、CB围成的矩形的两倍是中面,并且等于TH,因此TH也是中面。 它贴附在有理线EZ上,使其宽度为TM;因此TM是有理的,且在长度上与EZ不可共测。
καὶ ἐπεὶ ἀσύμμετρά ἐστι τὰ ἀπὸ τῶν ΑΓ, ΓΒ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ, ἀσύμμετρόν ἐστι καὶ τὸ ΕΗ τῷ ΘΗ· ἀσύμμετρος ἄρα ἐστὶ καὶ ἡ ΕΜ τῇ ΜΘ μήκει.
且因为AC、CB上的正方形之和与由AC、CB围成的矩形的两倍不可共测,因此EH也与TH不可共测;因此EM在长度上与MT不可共测。
καί εἰσιν ἀμφότεραι ῥηταί· αἱ ἄρα ΕΜ, ΜΘ ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ ἄρα ἐστὶν ἡ ΕΘ, προσαρμόζουσα δὲ αὐτῇ ἡ ΘΜ. ὁμοίως δὴ δείξομεν, ὅτι ἡ ΕΘ πάλιν ἀποτομή ἐστιν, προσαρμόζουσα δὲ αὐτῇ ἡ ΘΝ. τῇ ἄρα ἀποτομῇ ἄλλη καὶ ἄλλη προσαρμόζει ῥητὴ δυνάμει μόνον σύμμετρος οὖσα τῇ ὅλῃ· ὅπερ ἐδείχθη ἀδύνατον.
且两者都是有理的;因此EM、MT是仅在平方上可共测的有理线;因此ET是离线,而 TM是其附合线。 同样地,我们可以证明ET也是离线,而TN是其附合线。 因此对同一条离线,附合了不同的、仅在平方上与整体可共测的有理直线;这已被证明是不可能的。
οὐκ ἄρα τῇ ΑΒ ἑτέρα προσαρμόσει εὐθεῖα.
因此对AB而言,不能附合另一条直线。
τῇ ἄρα ΑΒ μία μόνον προσαρμόζει εὐθεῖα δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ, μετὰ δὲ τῆς ὅλης ποιοῦσα τά τε ἀπʼ αὐτῶν τετράγωνα ἅμα μέσον καὶ τὸ δὶς ὑπʼ αὐτῶν μέσον καὶ ἔτι τὰ ἀπʼ αὐτῶν τετράγωνα ἀσύμμετρα τῷ δὶς ὑπʼ αὐτῶν· ὅπερ ἔδει δεῖξαι.
因此对AB而言,只有一条与其整体在平方上不可共测、且与整体一起使它们上的正方形之和同时为中面而由它们围成的矩形的两倍为中面,并且使它们上的正方形之和与由它们围成的矩形的两倍不可共测的直线可以附合;这就是所要证明的。