Kitap 10
59
Let the same construction be made as before shown.
59
It is then manifest that MO is the side of AC, and that MN is incommensurable in square with NO.
59
Now, since EA is incommensurable in length with AB, therefore EA, AB are rational straight lines commensurable in square only; therefore AK, that is, the sum of the squares on MN, NO, is medial. [X. 21]
59
Again, since ED is incommensurable in length with AB, therefore FE is also incommensurable with EK; [X. 13] therefore FE, EK are rational straight lines commensurable in square only; therefore EL, that is, MR, that is, the rectangle MN, NO, is medial. [X. 21]
59
And, since AE is incommensurable with EF, AK is also incommensurable with EL. [VI. 1, X. 11]
59
But AK is the sum of the squares on MN, NO, and EL is the rectangle MN, NO; therefore the sum of the squares on MN, NO is incommensurable with the rectangle MN, NO.
59
And each of them is medial, and MN, NO are incommensurable in square.
59
Therefore MO is the side of the sum of two medial areas [X. 41], and is the side of AC. Q. E. D.
59
[LEMMA. If a straight line be cut into unequal parts, the squares on the unequal parts are greater than twice the rectangle contained by the unequal parts.
59
Let AB be a straight line, and let it be cut into unequal parts at C, and let AC be the greater; I say that the squares on AC, CB are greater than twice the rectangle AC, CB.
59
For let AB be bisected at D.
