Book 10
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.
43
Since, then, that by which twice the rectangle AD, DB differs from twice the rectangle AC, CB is that by which the squares on AC, CB differ from the squares on AD, DB, while twice the rectangle AD, DB differs from twice the rectangle AC, CB by a rational area—for both are rational— therefore the squares on AC, CB also differ from the squares on AD, DB by a rational area, though they are medial: which is absurd. [x. 26 ]
43
Therefore a first bimedial straight line is not divided into its terms at different points; therefore it is so divided at one point only.
PROPOSITION 44.
44
A second bimedial straight line is divided at one point only.
44
Let AB be a second bimedial straight line divided at C, so that AC, CB are medial straight lines commensurable in square only and containing a medial rectangle; [X. 38 ] it is then manifest that C is not at the point of bisection, because the segments are not commensurable in length.
44
I say that AB is not so divided at another point.
44
For, if possible, let it be divided at D also, so that AC is not the same with DB, but AC is supposed greater; it is then clear that the squares on AD, DB are also, as we proved above [Lemma], less than the squares on AC, CB; and suppose that AD, DB are medial straight lines commensurable in square only and containing a medial rectangle.