Kitap 10
89
But ED has not to DF the ratio which a square number has to a square number; therefore neither has the square on BG to the square on H the ratio which a square number has to a square number; therefore BG is incommensurable in length with H. [X. 9]
89
And the square on BG is greater than the square on GC by the square on H; therefore the square on GB is greater than the square on GC by the square on a straight line incommensurable in length with GB.
89
And the annex CG is commensurable in length with the rational straight line A set out; therefore BC is a fifth apotome. [X. Deff. III. 5]
89
Therefore the fifth apotome BC has been found. Q. E. D.
PROPOSITION 90.
90
To find the sixth apotome.
90
Let a rational straight line A be set out, and three numbers E, BC, CD not having to one another the ratio which a square number has to a square number; and further let CB also not have to BD the ratio which a square number has to a square number.
90
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.]
90
Now since, as E is to BC, so is the square on A to the square on FG, therefore the square on A is commensurable with the square on FG. [X. 6]
90
But the square on A is rational; therefore the square on FG is also rational; therefore FG is also rational.
90
And, since E has not to BC the ratio which a square number has to a square number, therefore neither has the square on A to the square on FG the ratio which a square number has to a square number; therefore A is incommensurable in length with FG. [X. 9]
90
Again, since, as BC is to CD, so is the square on FG to the square on GH, therefore the square on FG is commensurable with the square on GH. [X. 6]
90
But the square on FG is rational; therefore the square on GH is also rational; therefore GH is also rational.
