Kitap 10
78
And FH is rational; but the rectangle contained by a rational straight line and an apotome is irrational, [deduction from X. 20] and its side is irrational.
78
And AC is the side of FE; therefore AC is irrational.
78
And let it be called that which produces with a medial area a medial whole. Q. E. D.
PROPOSITION 79
79
To an apotome only one rational straight line can be annexed which is commensurable with the whole in square only.
79
Let AB be an apotome, and BC an annex to it; therefore AC, CB are rational straight lines commensurable in square only. [X. 73]
79
I say that no other rational straight line can be annexed to AB which is commensurable with the whole in square only.
79
For, if possible, let BD be so annexed; therefore AD, DB are also rational straight lines commensurable in square only. [X. 73]
79
Now, since the excess of the squares on AD, DB over twice the rectangle AD, DB is also the excess of the squares on AC, CB over twice the rectangle AC, CB, for both exceed by the same, the square on AB, [II. 7] therefore, alternately, the excess of the squares on AD, DB over the squares on AC, CB is the excess of twice the rectangle AD, DB over twice the rectangle AC, CB.
79
But the squares on AD, DB exceed the squares on AC, CB by a rational area, for both are rational; therefore twice the rectangle AD, DB also exceeds twice the rectangle AC, CB by a rational area: which is impossible, for both are medial [X. 21], and a medial area does not exceed a medial by a rational area. [X. 26]
79
Therefore no other rational straight line can be annexed to AB which is commensurable with the whole in square only.
79
Therefore only one rational straight line can be annexed to an apotome which is commensurable with the whole in square only. Q. E. D.
PROPOSITION 80.
80
To a first apotome of a medial straight line only one medial straight line can be annexed which is commensurable with the whole in square only and which contains with the whole a rational rectangle.
