Kitap 10
107
Now, as was proved, AE, EB are commensurable with CF, FD, the sum of the squares on AE, EB with the sum of the squares on CF, FD, and the rectangle AE, EB with the rectangle CF, FD; therefore CF, FD are also straight lines incommensurable in square which make the sum of the squares on them medial, the rectangle contained by them medial, and further the sum of the squares on them incommensurable with the rectangle contained by them.
107
Therefore CD is a straight line which produces with a medial area a medial whole. [X. 78]
PROPOSITION 108.
108
If from a rational area a medial area be subtracted, the side of the remaining area becomes one of two irrational straight lines, either an apotome or a minor straight line.
108
For from the rational area BC let the medial area BD be subtracted; I say that the side of the remainder EC becomes one of two irrational straight lines, either an apotome or a minor straight line.
108
For let a rational straight line FG be set out, to FG let there be applied the rectangular parallelogram GH equal to BC, and let GK equal to DB be subtracted; therefore the remainder EC is equal to LH.
108
Since then BC is rational, and BD medial, while BC is equal to GH, and BD to GK, therefore GH is rational, and GK medial.
108
And they are applied to the rational straight line FG; therefore FH is rational and commensurable in length with FG, [X. 20] while FK is rational and incommensurable in length with FG; [X. 22] therefore FH is incommensurable in length with FK. [X. 13]
