Kitap 10
112
The square on a rational straight line applied to the binomial straight line produces as breadth an apotome the terms of which are commensurable with the terms of the binomial and moreover in the same ratio; and further the apotome so arising will have the same order as the binomial straight line.
112
Let A be a rational straight line, let BC be a binomial, and let DC be its greater term; let the rectangle BC, EF be equal to the square on A; I say that EF is an apotome the terms of which are commensurable with CD, DB, and in the same ratio, and further EF will have the same order as BC.
112
For again let the rectangle BD, G be equal to the square on A.
112
Since then the rectangle BC, EF is equal to the rectangle BD, G, therefore, as CB is to BD, so is G to EF. [VI. 16]
112
But CB is greater than BD; therefore G is also greater than EF. [V. 16, V. 14]
112
Let EH be equal to G; therefore, as CB is to BD, so is HE to EF; therefore, separando, as CD is to BD, so is HF to FE. [V. 17]
112
Let it be contrived that, as HF is to FE, so is FK to KE; therefore also the whole HK is to the whole KF as FK is to KE; for, as one of the antecedents is to one of the consequents, so are all the antecedents to all the consequents. [V. 12]
112
But, as FK is to KE, so is CD to DB; [V. 11] therefore also, as HK is to KF, so is CD to DB. [id.]
112
But the square on CD is commensurable with the square on DB; [X. 36] therefore the square on HK is also commensurable with the square on KF. [VI. 22, X. 11]
