Book 10
36
If two rational straight lines commensurable in square only be added together, the whole is irrational; and let it be called binomial.
36
For let two rational straight lines AB, BC commensurable in square only be added together; I say that the whole AC is irrational.
36
For, since AB is incommensurable in length with BC— for they are commensurable in square only— and, as AB is to BC, so is the rectangle AB, BC to the square on BC, therefore the rectangle AB, BC is incommensurable with the square on BC. [X. 11 ]
36
But twice the rectangle AB, BC is commensurable with the rectangle AB, BC [X. 6 ], and the squares on AB, BC are commensurable with the square on BC—for AB, BC are rational straight lines commensurable in square only— [X. 15 ] therefore twice the rectangle AB, BC is incommensurable with the squares on AB, BC. [X. 13 ]
36
And, componendo, twice the rectangle AB, BC together with the squares on AB, BC, that is, the square on AC [II. 4 ], is incommensurable with the sum of the squares on AB, BC. [X. 16 ]
36
But the sum of the squares on AB, BC is rational; therefore the square on AC is irrational, so that AC is also irrational. [X. Def. 4 ]
36
And let it be called binomial.
PROPOSITION 37.
37
If two medial straight lines commensurable in square only and containing a rational rectangle be added together, the whole is irrational; and let it be called a first bimedial straight line.
37
For let two medial straight lines AB, BC commensurable in square only and containing a rational rectangle be added together; I say that the whole AC is irrational.
37
For, since AB is incommensurable in length with BC, therefore the squares on AB, BC are also incommensurable with twice the rectangle AB, BC; [cf. X. 36, ll. 9-20] and, componendo, the squares on AB, BC together with twice the rectangle AB, BC, that is, the square on AC [II. 4], is incommensurable with the rectangle AB, BC. [X. 16 ]
