Kitap 10
62
In manner similar to the foregoing we may conclude that DM is greater than MG, and that DK is commensurable with KM.
62
And the rectangle DK, KM is equal to the square on MN; therefore the square on DM is greater than the square on MG by the square on a straight line commensurable with DM.
62
And neither of the straight lines DM, MG is commensurable in length with DE.
62
Therefore DG is a third binomial straight line. [X. Deff. II. 3] Q. E. D.
PROPOSITION 63.
63
The square on the major straight line applied to a rational straight line produces as breadth the fourth binomial.
63
Let AB be a major straight line divided at C, so that AC is greater than CB; let DE be a rational straight line, and to DE let there be applied the parallelogram DF equal to the square on AB and producing DG as its breadth; I say that DG is a fourth binomial straight line.
63
Let the same construction be made as before shown.
63
Then, since AB is a major straight line divided at C, AC, CB are straight lines incommensurable in square which make the sum of the squares on them rational, but the rectangle contained by them medial. [X. 39]
63
Since then the sum of the squares on AC, CB is rational, therefore DL is rational; therefore DM is also rational and commensurable in length with DE. [X. 20]
63
Again, since twice the rectangle AC, CB, that is, MF, is medial, and it is applied to the rational straight line ML, therefore MG is also rational and incommensurable in length with DE; [X. 22] therefore DM is also incommensurable in length with MG. [X. 13]
63
Therefore DM, MG are rational straight lines commensurable in square only; therefore DG is binomial. [X. 36]
63
It is to be proved that it is also a fourth binomial straight line.
63
In manner similar to the foregoing we can prove that DM is greater than MG, and that the rectangle DK, KM is equal to the square on MN.
63
Since then the square on AC is incommensurable with the square on CB, therefore DH is also incommensurable with KL, so that DK is also incommensurable with KM. [VI. 1, X. 11]
