Kitap 10
71
Therefore the side of the area EI is a side of a rational plus a medial area, so that the side of the area AD is also a side of a rational plus a medial area.
71
Therefore etc. Q. E. D.
PROPOSITION 72.
72
If two medial areas incommensurable with one another be added together, the remaining two irrational straight lines arise, namely either a second bimedial or a side of the sum of two medial areas.
72
For let two medial areas AB, CD incommensurable with one another be added together; I say that the side of the area AD is either a second bimedial or a side of the sum of two medial areas.
72
For AB is either greater or less than CD.
72
First, if it so chance, let AB be greater than CD.
72
Let the rational straight line EF be set out, and to EF let there be applied the rectangle EG equal to AB and producing EH as breadth, and the rectangle HI equal to CD and producing HK as breadth.
72
Now, since each of the areas AB, CD is medial, therefore each of the areas EG, HI is also medial.
72
And they are applied to the rational straight line FE, producing EH, HK as breadth; therefore each of the straight lines EH, HK is rational and incommensurable in length with EF. [X. 22]
72
And, since AB is incommensurable with CD, and AB is equal to EG, and CD to HI, therefore EG is also incommensurable with HI.
72
But, as EG is to HI, so is EH to HK; [VI. 1] therefore EH is incommensurable in length with HK. [X. 11]
72
Therefore EH, HK are rational straight lines commensurable in square only; therefore EK is binomial. [X. 36]
72
But the square on EH is greater than the square on HK either by the square on a straight line commensurable with EH or by the square on a straight line incommensurable with it.
72
First, let the square on it be greater by the square on a straight line commensurable in length with itself.
72
Now neither of the straight lines EH, HK is commensurable in length with the rational straight line EF set out; therefore EK is a third binomial. [X. Deff. II. 3]
