Kitap 10
61
Then, since AB is a first bimedial divided at C, therefore AC, CB are medial straight lines commensurable in square only, and containing a rational rectangle, [X. 37] so that the squares on AC, CB are also medial. [X. 21]
61
Therefore DL is medial. [X. 15 and 23, Por.]
61
And it has been applied to the rational straight line DE; therefore MD is rational and incommensurable in length with DE. [X. 22]
61
Again, since twice the rectangle AC, CB is rational, MF is also rational.
61
And it is applied to the rational straight line ML; therefore MG is also rational and commensurable in length with ML, that is, DE; [X. 20] therefore DM is incommensurable in length with MG. [X. 13]
61
And they are rational; therefore DM, MG are rational straight lines commensurable in square only; therefore DG is binomial. [X. 36]
61
It is next to be proved that it is also a second binomial straight line.
61
For, since the squares on AC, CB are greater than twice the rectangle AC, CB, therefore DL is also greater than MF, so that DM is also greater than MG. [VI. 1]
61
And, since the square on AC is commensurable with the square on CB, DH is also commensurable with KL, so that DK is also commensurable with KM. [VI. 1, X. 11]
61
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. [X. 17]
61
And MG is commensurable is length with DE.
61
Therefore DG is a second binomial straight line. [X. Deff. II. 2]
PROPOSITION 62.
