Kitap 10
50
Let two numbers AC, CB be set out such that the sum of them AB has to BC the ratio which a square number has to a square number, but has not to AC the ratio which a square number has to a square number.
50
Let any other number D, not square, be set out also, and let it not have to either of the numbers BA. AC the ratio which a square number has to a square number.
50
Let any rational straight line E be set out, and let it be contrived that, as D is to AB, so is the square on E to the square on FG; [X. 6, Por.] therefore the square on E is commensurable with the square on FG. [X. 6]
50
And E is rational; therefore FG is also rational.
50
And, since D has not to AB the ratio which a square number has to a square number, neither has the square on E to the square on FG the ratio which a square number has to a square number; therefore E is incommensurable in length with FG. [X. 9]
50
Next let it be contrived that, as the number BA is to AC, so is the square on FG to the square on GH; [X. 6, Por.] therefore the square on FG is commensurable with the square on GH. [X. 6]
50
But FG is rational; therefore GH is also rational.
50
And, since BA has not to AC the ratio which a square number has to a square number, neither has the square on FG to the square on HG the ratio which a square number has to a square number; therefore FG is incommensurable in length with GH. [X. 9]
50
Therefore FG, GH are rational straight lines commensurable in square only; therefore FH is binomial. [X. 36]
50
I say next that it is also a third binomial straight line.
50
For since, as D is to AB, so is the square on E to the square on FG, and, as BA is to AC, so is the square on FG to the square on GH, therefore, ex aequali, as D is to AC, so is the square on E to the square on GH. [V. 22]
50
But D has not to AC the ratio which a square number has to a square number; therefore neither has the square on E to the square on GH the ratio which a square number has to a square number; therefore E is incommensurable in length with GH. [X. 9]
