Kitap 10
PROPOSITION 102.
102
The square on the straight line which produces with a medial area a medial whole, if applied to a rational straight line, produces as breadth a sixth apotome.
102
Let AB be the straight line which produces with a medial area a medial whole, and CD a rational straight line, and to CD let CE be applied equal to the square on AB and producing CF as breadth; I say that CF is a sixth apotome.
102
For let BG be the annex to AB; therefore AG, GB are straight lines incommensurable in square which make the sum of the squares on them medial, twice the rectangle AG, GB medial, and the squares on AG, GB incommensurable with twice the rectangle AG, GB. [X. 78]
102
Now to CD let there be applied CH equal to the square on AG and producing CK as breadth, and KL equal to the square on BG; therefore the whole CL is equal to the squares on AG, GB; therefore CL is also medial.
102
And it is applied to the rational straight line CD, producing CM as breadth; therefore CM is rational and incommensurable in length with CD. [X. 22]
102
Since now CL is equal to the squares on AG, GB, and, in these, CE is equal to the square on AB, therefore the remainder FL is equal to twice the rectangle AG, GB. [II. 7]
102
And twice the rectangle AG, GB is medial; therefore FL is also medial.
102
And it is applied to the rational straight line FE, producing FM as breadth; therefore FM is rational and incommensurable in length with CD. [X. 22]
102
And, since the squares on AG, GB are incommensurable with twice the rectangle AG, GB, and CL is equal to the squares on AG, GB, and FL equal to twice the rectangle AG, GB, therefore CL is incommensurable with FL.
102
But, as CL is to FL, so is CM to MF; [VI. 1] therefore CM is incommensurable in length with MF. [X. 11]
102
And both are rational.
102
Therefore CM, MF are rational straight lines commensurable in square only; therefore CF is an apotome. [X. 73]
102
I say next that it is also a sixth apotome.