##
Proposition 9

The squares on straight lines commensurable in length have to one another the ratio which a square number has to a square number; and squares which have to one another the ratio which a square number has to a square number also have their sides commensurable in length. But the squares on straight lines incommensurable in length do not have to one another the ratio which a square number has to a square number; and squares which do not have to one another the ratio which a square number has to a square number also do not have their sides commensurable in length either.
Let A and B be commensurable in length. I say that the square on A has to the square on B the ratio which a square number has to a square number.
| Since A is commensurable in length with B, therefore A has to B the ratio which a number has to a number. Let it have to it the ratio which C has to D. | X.5
Since then A is to B as C is to D, while the ratio of the square on A to the square on B is duplicate of the ratio of A to B, for similar figures are in the duplicate ratio of their corresponding sides, and the ratio of the square on C to the square on D is duplicate of the ratio of C to D, for between two square numbers there is one mean proportional number, and the square number has to the square number the ratio duplicate of that which the side has to the side, therefore the square on A is to the square on B as the square on C is to the square on D. | VI.20,Cor. VIII.11
Next, as the square on A is to the square on B, so let the square on C be to the square on D. I say that A is commensurable in length with B. Since the square on A is to the square on B as the square on C is to the square on D, while the ratio of the square on A to the square on B is duplicate of the ratio of A to B, and the ratio of the square on C to the square on D is duplicate of the ratio of C to D, therefore A is to B as C is to D.
Therefore A has to B the ratio which the number C has to the number D. Therefore A is commensurable in length with B. | X.6
Next, let A be incommensurable in length with B. I say that the square on A does not have to the square on B the ratio which a square number has to a square number.
If the square on A does have to the square on B the ratio which a square number has to a square number, then A is commensurable with B. | Above
But it is not, therefore the square on A does not have to the square on B the ratio which a square number has to a square number. Finally, let the square on A not have to the square on B the ratio which a square number has to a square number. I say that A is incommensurable in length with B. |
For, if A is commensurable with B, then the square on A has to the square on B the ratio which a square number has to a square number. | Above
But it does not, therefore A is not commensurable in length with B.
Therefore, the squares on straight lines commensurable in length have to one another the ratio which a square number has to a square number; and squares which have to one another the ratio which a square number has to a square number also have their sides commensurable in length. But the squares on straight lines incommensurable in length do not have to one another the ratio which a square number has to a square number; and squares which do not have to one another the ratio which a square number has to a square number also do not have their sides commensurable in length either.
Q.E.D.
### Corollary. And it is manifest from what has been proved that straight lines commensurable in length are always commensurable in square also, but those commensurable in square are not always also commensurable in length.
### Lemma. It has been proved in the arithmetical books that similar plane numbers have to one another the ratio which a square number has to a square number, and that, if two numbers have to one another the ratio which a square number has to a square number, then they are similar plane numbers. | VIII.26 and converse
### Corollary 2. And it is manifest from these propositions that numbers which are not similar plane numbers, that is, those which do not have their sides proportional, do not have to one another the ratio which a square number has to a square number. For, if they have, then they are similar plane numbers, which is contrary to the hypothesis. Therefore numbers which are not similar plane numbers do not have to one another the ratio which a square number has to a square number.

###

This proposition has a statement, its converse, and its and its converse's contrapositives. It says lines are commensurable if and only if the squares on them are in the ratio of a square number to a square number.

For example, the diagonal of a square and the side of the square are not commensurable since the squares on them are in the ratio 2:1, and 2:1 is not the ratio of a square number to a square number, see the guide to proposition VIII.8.

The proposition is used repeatedly in Book X starting with the next. It is also used in Book XIII in propositions XIII.6 and XIII.11.

Book X Introduction - Proposition X.8 - Proposition X.10.

© 1996, 1998
D.E.Joyce
Clark University