To find two straight lines incommensurable, the one in length only, and the other in square also, with an assigned straight line. | ||
Let A be the assigned straight line.
It is required to find two straight lines incommensurable, the one in length only, and the other in square also, with A. | ||
Set out two numbers B and C which do not have to one another the ratio which a square number has to a square number, that is, which are not similar plane numbers, and let it be contrived that B is to C as the square on A is to the square on D, for we have learned how to do this. | X.6,Cor. | |
Therefore the square on A is commensurable with the square on D. | X.6 | |
And, since B does not have to C the ratio which a square number has to a square number, therefore neither has the square on A to the square on D the ratio which a square number has to a square number, therefore A is incommensurable in length with D. | X.9 | |
Take a mean proportional E between A and D. Then A is to D as the square on A is to the square on E. | V.Def.9 | |
But A is incommensurable in length with D, therefore the square on A is also incommensurable with the square on E. Therefore A is incommensurable in square with E. | X.11 | |
Therefore two straight lines D and E have been found incommensurable, D in length only, and E in square and of course in length also, with the assigned straight line A. | ||
Q.E.D. |
Next, if E is the mean proportional between A and D, then E is incommensurable in square with A. (The ratio E:A is the fourth root of 2.)
It is certain that this proposition is not genuine. For one thing, its proof uses the next proposition. Also, the phrase "for we have learned how to do this" is the sort of thing a student would write. Finally, in the manuscript P (the primary one used by Peyrard and Heiberg) this proposition is not numbered and the next one is numbered 10.
Although not genuine, this proposition ought to be, since it is used in proposition X.27 and others.