Book 10
84
Let AB be the straight line which produces with a medial area a medial whole, and BC an annex to it; therefore AC, CB are straight lines incommensurable in square which fulfil the aforesaid conditions. [X. 78]
84
I say that no other straight line can be annexed to AB which fulfils the aforesaid conditions.
84
For, if possible, let BD be so annexed, so that AD, DB are also straight lines incommensurable in square which make the squares on AD, DB added together medial, twice the rectangle AD, DB medial, and also the squares on AD, DB incommensurable with twice the rectangle AD, DB. [X. 78]
84
Let a rational straight line EF be set out, let EG equal to the squares on AC, CB be applied to EF, producing EM as breadth, and let HG equal to twice the rectangle AC, CB be applied to EF, producing HM as breadth; therefore the remainder, the square on AB [II. 7], is equal to EL; therefore AB is the side of EL.
84
Again, let EI equal to the squares on AD, DB be applied to EF, producing EN as breadth.
84
But the square on AB is also equal to EL; therefore the remainder, twice the rectangle AD, DB [II. 7], is equal to HI.
84
Now, since the sum of the squares on AC, CB is medial and is equal to EG, therefore EG is also medial.
84
And it is applied to the rational straight line EF, producing EM as breadth; therefore EM is rational and incommensurable in length with EF. [X. 22]
84
Again, since twice the rectangle AC, CB is medial and is equal to HG, therefore HG is also medial.
84
And it is applied to the rational straight line EF, producing HM as breadth; therefore HM is rational and incommensurable in length with EF. [X. 22]
84
And, since the squares on AC, CB are incommensurable with twice the rectangle AC, CB, EG is also incommensurable with HG; therefore EM is also incommensurable in length with MH. [VI. 1, X. 11]
84
And both are rational; therefore EM, MH are rational straight lines commensurable in square only; therefore EH is an apotome, and HM an annex to it. [X. 73]
