§10.prop2.55ἐὰν χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων δευτέρας, ἡ τὸ χωρίον δυναμένη ἄλογός ἐστιν ἡ καλουμένη ἐκ δύο μέσων πρώτη.
若一面积由一有理线与第二二项线所围成，则该面积的方根是一条无理线，即第一双中项线。
περιεχέσθω γὰρ χωρίον τὸ ΑΒΓΔ ὑπὸ ῥητῆς τῆς ΑΒ καὶ τῆς ἐκ δύο ὀνομάτων δευτέρας τῆς ΑΔ· λέγω, ὅτι ἡ τὸ ΑΓ χωρίον δυναμένη ἐκ δύο μέσων πρώτη ἐστίν.
设面积ABCD由有理线 AB及第二二项线AD所围成；我说，面积AC的方根是一条第一双中项线。
ἐπεὶ γὰρ ἐκ δύο ὀνομάτων δευτέρα ἐστὶν ἡ ΑΔ, διῃρήσθω εἰς τὰ ὀνόματα κατὰ τὸ Ε, ὥστε τὸ μεῖζον ὄνομα εἶναι τὸ ΑΕ·
因为AD是第二二项线，设它在点E处被分成两个项，使得较长的项为AE。
αἱ ΑΕ, ΕΔ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ ΑΕ τῆς ΕΔ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ τὸ ἔλαττον ὄνομα ἡ ΕΔ σύμμετρόν ἐστι τῇ ΑΒ μήκει.
因此，AE、ED是仅在平方上共测的有理线，且AE平方大于ED，其相差是与它自身在长度上共测的线之上的正方形，且较小的项ED在长度上与AB共测。
τετμήσθω ἡ ΕΔ δίχα κατὰ τὸ Ζ, καὶ τῷ ἀπὸ τῆς ΕΖ ἴσον παρὰ τὴν ΑΕ παραβεβλήσθω ἐλλεῖπον εἴδει τετραγώνῳ τὸ ὑπὸ τῶν ΑΗΕ· σύμμετρος ἄρα ἡ ΑΗ τῇ ΗΕ μήκει.
设ED在Z处被二等分，且将等于EZ之上的正方形，沿AE贴合，并缺一正方形，设该矩形为由AH、HE所围成的矩形；所以AH在长度上与HE共测。
καὶ διὰ τῶν Η, Ε, Ζ παράλληλοι ἤχθωσαν ταῖς ΑΒ, ΓΔ αἱ ΗΘ, ΕΚ, ΖΛ, καὶ τῷ μὲν ΑΘ παραλληλογράμμῳ ἴσον τετράγωνον συνεστάτω τὸ ΣΝ, τῷ δὲ ΗΚ ἴσον τετράγωνον τὸ ΝΠ, καὶ κείσθω ὥστε ἐπʼ εὐθείας εἶναι τὴν ΜΝ τῇ ΝΞ· ἐπʼ εὐθείας ἄρα καὶ ἡ ΡΝ τῇ ΝΟ. καὶ συμπεπληρώσθω τὸ ΣΠ τετράγωνον·
并通过H、E、Z引出平行于AB、CD的直线HT、EK、ZL，并设作一个等于平行四边形AT的正方形SN，以及等于HK的正方形 NP，并把它们放置成：MN与NX在一条直线上；因此RN与NO也在一条直线上。
φανερὸν δὴ ἐκ τοῦ προδεδειγμένου, ὅτι τὸ ΜΡ μέσον ἀνάλογόν ἐστι τῶν ΣΝ, ΝΠ, καὶ ἴσον τῷ ΕΛ, καὶ ὅτι τὸ ΑΓ χωρίον δύναται ἡ ΜΞ. δεικτέον δή, ὅτι ἡ ΜΞ ἐκ δύο μέσων ἐστὶ πρώτη.
并完成正方形SP；从前面已证的显然可知，MP在SN、NP之间成比例中项，且等于EL，且面积AC的方根是MX。 现在必须证明，MX是第一双中项线。
ἐπεὶ ἀσύμμετρός ἐστιν ἡ ΑΕ τῇ ΕΔ μήκει, σύμμετρος δὲ ἡ ΕΔ τῇ ΑΒ, ἀσύμμετρος ἄρα ἡ ΑΕ τῇ ΑΒ. καὶ ἐπεὶ σύμμετρός ἐστιν ἡ ΑΗ τῇ ΕΗ, σύμμετρός ἐστι καὶ ἡ ΑΕ ἑκατέρᾳ τῶν ΑΗ, ΗΕ. ἀλλὰ ἡ ΑΕ ἀσύμμετρος τῇ ΑΒ μήκει· καὶ αἱ ΑΗ, ΗΕ ἄρα ἀσύμμετροί εἰσι τῇ ΑΒ. αἱ ΒΑ, ΑΗ, ΗΕ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ὥστε μέσον ἐστὶν ἑκάτερον τῶν ΑΘ, ΗΚ. ὥστε καὶ ἑκάτερον τῶν ΣΝ, ΝΠ μέσον ἐστίν.
因为AE在长度上与ED不共测，而ED与AB共测，所以AE与AB不共测。 又因为AH与EH共测，所以AE也与AH、HE之每一个共测。 但AE在长度上与AB不共测；因此AH、HE也与AB不共测。 因此BA、AH、HE是仅在平方上共测的有理线；所以AT、HK之每一个都是中面积。 所以SN、NP之每一个也是中面积。
καὶ αἱ ΜΝ, ΝΞ ἄρα μέσαι εἰσίν.
因此MN、NX也是中线。
καὶ ἐπεὶ σύμμετρος ἡ ΑΗ τῇ ΗΕ μήκει, σύμμετρόν ἐστι καὶ τὸ ΑΘ τῷ ΗΚ, τουτέστι τὸ ΣΝ τῷ ΝΠ, τουτέστι τὸ ἀπὸ τῆς ΜΝ τῷ ἀπὸ τῆς ΝΞ.
又因为AH在长度上与HE共测，所以AT也与HK共测，即SN与NP共测，即MN之上的正方形与NX之上的正方形共测。
καὶ ἐπεὶ ἀσύμμετρός ἐστιν ἡ ΑΕ τῇ ΕΔ μήκει, ἀλλʼ ἡ μὲν ΑΕ σύμμετρός ἐστι τῇ ΑΗ, ἡ δὲ ΕΔ τῇ ΕΖ σύμμετρος, ἀσύμμετρος ἄρα ἡ ΑΗ τῇ ΕΖ· ὥστε καὶ τὸ ΑΘ τῷ ΕΛ ἀσύμμετρόν ἐστιν, τουτέστι τὸ ΣΝ τῷ ΜΡ, τουτέστιν ἡ ΟΝ τῇ ΝΡ, τουτέστιν ἡ ΜΝ τῇ ΝΞ ἀσύμμετρός ἐστι μήκει.
又因为AE在长度上与ED不共测，但AE与AH共测，而ED与EZ 共测，所以AH也与EZ不共测；使得AT也与EL不共测，即SN与MP不共测，即ON与NP不共测，即MN与NX在长度上不共测。
ἐδείχθησαν δὲ αἱ ΜΝ, ΝΞ καὶ μέσαι οὖσαι καὶ δυνάμει σύμμετροι· αἱ ΜΝ, ΝΞ ἄρα μέσαι εἰσὶ δυνάμει μόνον σύμμετροι.
而MN、NX已被证明既是中线又在平方上共测；因此MN、NX 是仅在平方上共测的中线。
λέγω δή, ὅτι καὶ ῥητὸν περιέχουσιν.
我说，它们也围成一个有理面积。
ἐπεὶ γὰρ ἡ ΔΕ ὑπόκειται ἑκατέρᾳ τῶν ΑΒ, ΕΖ σύμμετρος, σύμμετρος ἄρα καὶ ἡ ΕΖ τῇ ΕΚ. καὶ ῥητὴ ἑκατέρα αὐτῶν· ῥητὸν ἄρα τὸ ΕΛ, τουτέστι τὸ ΜΡ·
因为DE设定为与AB、EZ之每一个共测，所以EZ也与EK共测。 且它们之每一者都是有理的；所以EL，即MP，是有理的。
τὸ δὲ ΜΡ ἐστι τὸ ὑπὸ τῶν ΜΝΞ. ἐὰν δὲ δύο μέσαι δυνάμει μόνον σύμμετροι συντεθῶσι ῥητὸν περιέχουσαι, ἡ ὅλη ἄλογός ἐστιν, καλεῖται δὲ ἐκ δύο μέσων πρώτη.
而MP是由MN、NX所围成的矩形。 若两条仅在平方上共测且围成有理面积的中线相加，则整体是一条无理线，被称为第一双中项线。
ἡ ἄρα ΜΞ ἐκ δύο μέσων ἐστὶ πρώτη· ὅπερ ἔδει δεῖξαι.
因此MX是第一双中项线；即所要求证的。