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 will also have their sides commensurable in length.

For let A, 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.

For, since A is commensurable in length with B, therefore A has to B the ratio which a number has to a number. [X. 5]

Let it have to it the ratio which C has to D.

Since then, as A is to B, so is C 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; [VI. 20, Por.] 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; [VIII. 11] therefore also, as the square on A is to the square on B, so is the square on C to the square on D.

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.

For since, as the square on A is to the square on B, so is the square on C 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 also, as A is to B, so is C 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 has not to the square on B the ratio which a square number has to a square number.

For, if the square on A has to the square on B the ratio which a square number has to a square number, A will be commensurable with B.

But it is not; therefore the square on A has not to the square on B the ratio which a square number has to a square number.

Again, 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, the square on A will have to the square on B the ratio which a square number has to a square number.

But it has not; therefore A is not commensurable in length with B.

Therefore etc.