§10.prop2.72δύο μέσων ἀσυμμέτρων ἀλλήλοις συντιθεμένων αἱ λοιπαὶ δύο ἄλογοι γίγνονται ἤτοι ἐκ δύο μέσων δευτέρα ἢ δύο μέσα δυναμένη.
If two medial areas incommensurable with one another be added together, the remaining two irrational straight lines arise, namely a second bimedial or that which produces two medial areas.
Συγκείσθω γὰρ δύο μέσα ἀσύμμετρα ἀλλήλοις τὰ ΑΒ, ΓΔ· λέγω, ὅτι ἡ τὸ ΑΔ χωρίον δυναμένη ἤτοι ἐκ δύο μέσων ἐστὶ δευτέρα ἢ δύο μέσα δυναμένη.
For let two medial areas AB, GD incommensurable with one another be added together; I say that the side of the area AD is either a second bimedial or that which produces two medial areas.
τὸ γὰρ ΑΒ τοῦ ΓΔ ἤτοι μεῖζόν ἐστιν ἢ ἔλασσον.
For AB is either greater or less than GD.
ἔστω, εἰ τύχοι, πρότερον μεῖζον τὸ ΑΒ τοῦ ΓΔ· καὶ ἐκκείσθω ῥητὴ ἡ ΕΖ, καὶ τῷ μὲν ΑΒ ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΕΗ πλάτος ποιοῦν τὴν ΕΘ, τῷ δὲ ΓΔ ἴσον τὸ ΘΙ πλάτος ποιοῦν τὴν ΘΚ. καὶ ἐπεὶ μέσον ἐστὶν ἑκάτερον τῶν ΑΒ, ΓΔ, μέσον ἄρα καὶ ἑκάτερον τῶν ΕΗ, ΘΙ. καὶ παρὰ ῥητὴν τὴν ΖΕ παράκειται πλάτος ποιοῦν τὰς ΕΘ, ΘΚ· ἑκατέρα ἄρα τῶν ΕΘ, ΘΚ ῥητή ἐστι καὶ ἀσύμμετρος τῇ ΕΖ μήκει.
If it so happen, let AB be greater than GD first; and let a rational straight line EZ be set out, and along EZ let there be applied EH equal to AB, making the width EQ, and QI equal to GD, making the width QK. And since each of AB, GD is medial, each of EH, QI is also medial. And it is applied along the rational straight line ZE, making the widths EQ, QK; therefore each of EQ, QK is rational and incommensurable in length with EZ.
καὶ ἐπεὶ ἀσύμμετρόν ἐστι τὸ ΑΒ τῷ ΓΔ, καί ἐστιν ἴσον τὸ μὲν ΑΒ τῷ ΕΗ, τὸ δὲ ΓΔ τῷ ΘΙ, ἀσύμμετρον ἄρα ἐστὶ καὶ τὸ ΕΗ τῷ ΘΙ. ὡς δὲ τὸ ΕΗ πρὸς τὸ ΘΙ, οὕτως ἐστὶν ἡ ΕΘ πρὸς ΘΚ· ἀσύμμετρος ἄρα ἐστὶν ἡ ΕΘ τῇ ΘΚ μήκει.
And since AB is incommensurable with GD, and AB is equal to EH, and GD to QI, therefore EH is also incommensurable with QI. But as EH is to QI, so is EQ to QK; therefore EQ is also incommensurable in length with QK.
αἱ ΕΘ, ΘΚ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι·
Therefore EQ, QK are rational straight lines commensurable in square only; therefore EK is a binomial straight line.
ἐκ δύο ἄρα ὀνομάτων ἐστὶν ἡ ΕΚ. ἤτοι δὲ ἡ ΕΘ τῆς ΘΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ ἢ τῷ ἀπὸ ἀσυμμέτρου.
And either EQ is able to do more than QK by the square on a straight line commensurable with itself or by the square on a straight line incommensurable with itself.
δυνάσθω πρότερον τῷ ἀπὸ συμμέτρου ἑαυτῇ μήκει· καὶ οὐδετέρα τῶν ΕΘ, ΘΚ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ τῇ ΕΖ μήκει· ἡ ΕΚ ἄρα ἐκ δύο ὀνομάτων ἐστὶ τρίτη.
First, let it be able to do more by the square on a straight line commensurable with itself in length; and neither of EQ, QK is commensurable in length with the set-out rational straight line EZ; therefore EK is a third binomial.
ῥητὴ δὲ ἡ ΕΖ· ἐὰν δὲ χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων τρίτης, ἡ τὸ χωρίον δυναμένη ἐκ δύο μέσων ἐστὶ δευτέρα· ἡ ἄρα τὸ ΕΙ, τουτέστι τὸ ΑΔ, δυναμένη ἐκ δύο μέσων ἐστὶ δευτέρα.
And EZ is rational; and if an area be contained by a rational straight line and a third binomial, the side of the area is a second bimedial; therefore the side of EI, that is of AD, is a second bimedial.
ἀλλὰ δὴ ἡ ΕΘ τῆς ΘΚ μεῖζον δυνάσθω τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ μήκει· καὶ ἀσύμμετρός ἐστιν ἑκατέρα τῶν ΕΘ, ΘΚ τῇ ΕΖ μήκει· ἡ ἄρα ΕΚ ἐκ δύο ὀνομάτων ἐστὶν ἕκτη.
But indeed let EQ be able to do more than QK by the square on a straight line incommensurable with itself in length; and each of EQ, QK is incommensurable in length with EZ; therefore EK is a sixth binomial.
ἐὰν δὲ χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων ἕκτης, ἡ τὸ χωρίον δυναμένη ἡ δύο μέσα δυναμένη ἐστίν· ὥστε καὶ ἡ τὸ ΑΔ χωρίον δυναμένη ἡ δύο μέσα δυναμένη ἐστίν. .
And if an area be contained by a rational straight line and a sixth binomial, the side of the area is that which produces two medial areas; so that the side of the area AD is also that which produces two medial areas..
δύο ἄρα μέσων ἀσυμμέτρων ἀλλήλοις συντιθεμένων αἱ λοιπαὶ δύο ἄλογοι γίγνονται ἤτοι ἐκ δύο μέσων δευτέρα ἢ δύο μέσα δυναμένη.
Therefore, if two medial areas incommensurable with one another be added together, the remaining two irrational straight lines arise, namely a second bimedial or that which produces two medial areas.
ἡ ἐκ δύο ὀνομάτων καὶ αἱ μετʼ αὐτὴν ἄλογοι οὔτε τῇ μέσῃ οὔτε ἀλλήλαις εἰσὶν αἱ αὐταί.
The binomial and the irrational straight lines after it are neither the same with the medial nor with one another.
τὸ μὲν γὰρ ἀπὸ μέσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ῥητὴν καὶ ἀσύμμετρον τῇ παρʼ ἣν παράκειται μήκει.
For the square on a medial straight line, when applied along a rational straight line, makes a width which is rational and incommensurable in length with that along which it is applied.
τὸ δὲ ἀπὸ τῆς ἐκ δύο ὀνομάτων παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων πρώτην.
But the square on a binomial straight line, when applied along a rational straight line, makes as width a first binomial.
τὸ δὲ ἀπὸ τῆς ἐκ δύο μέσων πρώτης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων δευτέραν.
And the square on a first bimedial, when applied along a rational straight line, makes as width a second binomial.
τὸ δὲ ἀπὸ τῆς ἐκ δύο μέσων δευτέρας παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων τρίτην.
And the square on a second bimedial, when applied along a rational straight line, makes as width a third binomial.
τὸ δὲ ἀπὸ τῆς μείζονος παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων τετάρτην.
And the square on a major, when applied along a rational straight line, makes as width a fourth binomial.
τὸ δὲ ἀπὸ τῆς ῥητὸν καὶ μέσον δυναμένης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων πέμπτην.
And the square on that which produces a rational and a medial area, when applied along a rational straight line, makes as width a fifth binomial.
τὸ δὲ ἀπὸ τῆς δύο μέσα δυναμένης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν ἐκ δύο ὀνομάτων ἕκτην.
And the square on that which produces two medial areas, when applied along a rational straight line, makes as width a sixth binomial.
τὰ δʼ εἰρημένα πλάτη διαφέρει τοῦ τε πρώτου καὶ ἀλλήλων, τοῦ μὲν πρώτου, ὅτι ῥητή ἐστιν, ἀλλήλων δέ, ὅτι τῇ τάξει οὐκ εἰσὶν αἱ αὐταί· ὥστε καὶ αὐταὶ αἱ ἄλογοι διαφέρουσιν ἀλλήλων.
And the said widths differ from the first and from one another: from the first, because it is rational, and from one another, because they are not the same in order; so that the irrational straight lines themselves also differ from one another.