Kitap 10
86
Now let it be contrived that, as FD is to DE, so is the square on CG to the square on GB. [X. 6, Por.]
86
Therefore the square on CG is commensurable with the square on GB. [X. 6]
86
But the square on CG is rational; therefore the square on GB is also rational; therefore BG is rational.
86
And, since the square on GC has not to the square on GB the ratio which a square number has to a square number, CG is incommensurable in length with GB. [X. 9]
86
And both are rational; therefore CG, GB are rational straight lines commensurable in square only; therefore BC is an apotome. [X. 73]
86
I say next that it is also a second apotome.
86
For let the square on H be that by which the square on BG is greater than the square on GC.
86
Since then, as the square on BG is to the square on GC, so is the number ED to the number DF, therefore, convertendo, as the square on BG is to the square on H, so is DE to EF. [V. 19, Por.]
86
And each of the numbers DE, EF is square; therefore the square on BG has to the square on H the ratio which a square number has to a square number; therefore BG is commensurable in length with H. [X. 9]
86
And the square on BG is greater than the square on GC by the square on H; therefore the square on BG is greater than the square on GC by the square on a straight line commensurable in length with BG.
86
And CG, the annex, is commensurable with the rational straight line A set out.
86
Therefore BC is a second apotome. [X. Deff. III. 2]
86
Therefore the second apotome BC has been found. Q. E. D.
PROPOSITION 87.
87
To find the third apotome.
87
Let a rational straight line A be set out, let three numbers E, BC, CD be set out which have not to one another the ratio which a square number has to a square number, but let CB have to BD the ratio which a square number has to a square number.
87
Let it be contrived that, as E is to BC, so is the square on A to the square on FG, and, as BC is to CD, so is the square on FG to the square on GH. [X. 6, Por.]
