Book 10
42
Therefore that by which the squares on AC, CB differ from the squares on AD, DB is also that by which twice the rectangle AD, DB differs from twice the rectangle AC, CB, because both the squares on AC, CB together with twice the rectangle AC, CB, and the squares on AD, DB together with twice the rectangle AD, DB, are equal to the square on AB. [II. 4 ]
42
But the squares on AC, CB differ from the squares on AD, DB by a rational area, for both are rational; therefore twice the rectangle AD, DB also differs from twice the rectangle AC, CB by a rational area, though they are medial [X. 21 ]: which is absurd, for a medial area does not exceed a medial by a rational area. [x. 26 ]
42
Therefore a binomial straight line is not divided at different points; therefore it is divided at one point only. Q. E. D.
PROPOSITION 43.
43
A first bimedial straight line is divided at one point only.
43
Let AB be a first bimedial straight line divided at C, so that AC, CB are medial straight lines commensurable in square only and containing a rational rectangle; I say that AB is not so divided at another point.
43
For, if possible, let it be divided at D also, so that AD, DB are also medial straight lines commensurable in square only and containing a rational rectangle.