Book 10
41
And they are rational; therefore DG, GK are rational straight lines commensurable in square only; therefore DK is irrational and what is called binomial. [X. 36 ]
41
But DE is rational; therefore DH is irrational, and the side of the square which is equal to it is irrational. [X. Def. 4 ]
41
But AC is the side of the square equal to HD; therefore AC is irrational.
41
And let it be called the side of the sum of two medial areas. Q. E. D.
41
Lemma. And that the aforesaid irrational straight lines are divided only in one way into the straight lines of which they are the sum and which produce the types in question, we will now prove after premising the following lemma.
41
Let the straight line AB be set out, let the whole be cut into unequal parts at each of the points C, D, and let AC be supposed greater than DB; I say that the squares on AC, CB are greater than the squares on AD, DB.
41
For let AB be bisected at E.
41
Then, since AC is greater than DB, let DC be subtracted from each; therefore the remainder AD is greater than the remainder CB.
41
But AE is equal to EB; therefore DE is less than EC; therefore the points C, D are not equidistant from the point of bisection.
41
And, since the rectangle AC, CB together with the square on EC is equal to the square on EB, [II. 5 ] and, further, the rectangle AD, DB together with the square on DE is equal to the square on EB, [id.] therefore the rectangle AC, CB together with the square on EC is equal to the rectangle AD, DB together with the square on DE.
41
And of these the square on DE is less than the square on EC; therefore the remainder, the rectangle AC, CB, is also less than the rectangle AD, DB, so that twice the rectangle AC, CB is also less than twice the rectangle AD, DB.
