Since the rectangle AC, CB is a mean proportional between the squares on AC, CB, [cf. Lemma after X. 53] therefore MO is also a mean proportional between DH, KL.
Therefore, as DH is to MO, so is MO to KL, that is, as DK is to MN, so is MN to MK; [VI. 1]
therefore the rectangle DK, KM is equal to the square on MN. [VI. 17]
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]
And, since the squares on AC, CB are greater than twice the rectangle AC, CB, [Lemma]
therefore DL is also greater than MF, so that DM is also greater than MG. [VI. 1]
And the rectangle DK, KM is equal to the square on MN, that is, to the fourth part of the square on MG, and DK is commensurable with KM.
But, if there be two unequal straight lines, and to the greater there be applied a parallelogram equal to the fourth part of the square on the less and deficient by a square figure,
and if it divide it into commensurable parts, the square on the greater is greater than the square on the less by the square on a straight line commensurable with the greater; [X. 17]
therefore the square on DM is greater than the square on MG by the square on a straight line commensurable with DM.
And DM, MG are rational, and DM, which is the greater term, is commensurable in length with the rational straight line DE set out.