Kitap 10
66
And, if AE is commensurable with the rational straight line set out, CF will also be commensurable with it, [X. 12] and for this reason each of the straight lines AB, CD is a first binomial, that is, the same in order. [X. Deff. II. 1]
66
But, if EB is commensurable with the rational straight line set out, FD is also commensurable with it, [X. 12] and for this reason again CD will be the same in order with AB, for each of them will be a second binomial. [X. Deff. II. 2]
66
But, if neither of the straight lines AE, EB is commensurable with the rational straight line set out, neither of the straight lines CF, FD will be commensurable with it, [X. 13] and each of the straight lines AB, CD is a third binomial. [X. Deff. II. 3]
66
But, if the square on AE is greater than the square on EB by the square on a straight line incommensurable with AE, the square on CF is also greater than the square on FD by the square on a straight line incommensurable with CF. [X. 14]
66
And, if AE is commensurable with the rational straight line set out, CF is also commensurable with it, and each of the straight lines AB, CD is a fourth binomial. [X. Deff. II. 4]
66
But, if EB is so commensurable, so is FD also, and each of the straight lines AB, CD will be a fifth binomial. [X. Deff. II. 5]
66
But, if neither of the straight lines AE, EB is so commensurable, neither of the straight lines CF, FD is commensurable with the rational straight line set out, and each of the straight lines AB, CD will be a sixth binomial. [X. Deff. II. 6]
66
Hence a straight line commensurable in length with a binomial straight line is binomial and the same in order. Q. E. D.
PROPOSITION 67.
67
A straight line commensurable in length with a bimedial straight line is itself also bimedial and the same in order.
67
Let AB be bimedial, and let CD be commensurable in length with AB; I say that CD is bimedial and the same in order with AB.
