Kitap 10
46
Since then that by which twice the rectangle AC, CB differs from twice the rectangle AD, DB is also that by which the squares on AD, DB differ from the squares on AC, CB, while twice the rectangle AC, CB exceeds twice the rectangle AD, DB by a rational area, therefore the squares on AD, DB also exceed the squares on AC, CB by a rational area, though they are medial: which is impossible. [X. 26 ]
46
Therefore the side of a rational plus a medial area is not divided at different points; therefore it is divided at one point only. Q. E. D.
PROPOSITION 47.
47
The side of the sum of two medial areas is divided at one point only.
47
Let AB be divided at C, so that AC, CB are incommensurable in square and make the sum of the squares on AC, CB medial, and the rectangle AC, CB medial and also incommensurable with the sum of the squares on them; I say that AB is not divided at another point so as to fulfil the given conditions.
47
For, if possible, let it be divided at D, so that again AC is of course not the same as BD, but AC is supposed greater; let a rational straight line EF be set out, and let there be applied to EF the rectangle EG equal to the squares on AC, CB, and the rectangle HK equal to twice the rectangle AC, CB; therefore the whole EK is equal to the square on AB. [II. 4 ]
47
Again, let EL, equal to the squares on AD, DB, be applied to EF; therefore the remainder, twice the rectangle AD, DB, is equal to the remainder MK.
47
And since, by hypothesis, the sum of the squares on AC, CB is medial, therefore EG is also medial.
47
And it is applied to the rational straight line EF; therefore HE is rational and incommensurable in length with EF. [X. 22 ]
47
For the same reason HN is also rational and incommensurable in length with EF.
47
And, since the sum of the squares on AC, CB is incommensurable with twice the rectangle AC, CB, therefore EG is also incommensurable with GN, so that EH is also incommensurable with HN. [VI. 1 , X. 11 ]
