---
book: 10
number: 13
id: "X.13"
kind: "theorem"
uses: ["[[book-10/proposition-12]]", "[[book-4/proposition-1]]", "[[book-3/proposition-31]]", "[[book-1/proposition-47]]"]
source: "https://scaife.perseus.org/reader/urn:cts:greekLit:tlg1799.tlg001.perseus-eng2:10.prop_1.13"
license: "CC-BY-SA-4.0"
---

# X.13

*If two magnitudes be commensurable, and the one of them be incommensurable with any magnitude, the remaining one will also be incommensurable with the same*.

## Proof

Let *A*, *B* be two commensurable magnitudes, and let one of them, *A*, be incommensurable with any other magnitude *C*; I say that the remaining one, *B*, will also be incommensurable with *C*.

For, if *B* is commensurable with *C*, while *A* is also commensurable with *B*, *A* is also commensurable with *C*. [[book-10/proposition-12|X. 12]]

But it is also incommensurable with it: which is impossible.

Therefore *B* is not commensurable with *C*; therefore it is incommensurable with it.

Therefore etc.

Lemma. *Given two unequal straight lines, to find by what square the square on the greater is greater than the square on the less*.

Let *AB*, *C* be the given two unequal straight lines, and let *AB* be the greater of them; thus it is required to find by what square the square on *AB* is greater than the square on *C*.

Let the semicircle *ADB* be described on *AB*, and let *AD* be fitted into it equal to *C*; [[book-4/proposition-1|IV. 1]] let *DB* be joined.

It is then manifest that the angle *ADB* is right, [[book-3/proposition-31|III. 31]] and that the square on *AB* is greater than the square on *AD*, that is, *C*, by the square on *DB*. [[book-1/proposition-47|I. 47]]

Similarly also, if two straight lines be given, the straight line the square on which is equal to the sum of the squares on them is found in this manner.

Let *AD*, *DB* be the given two straight lines, and let it be required to find the straight line the square on which is equal to the sum of the squares on them.

Let them be placed so as to contain a right angle, that formed by *AD*, *DB*; and let *AB* be joined.

It is again manifest that the straight line the square on which is equal to the sum of the squares on *AD*, *DB* is *AB*. [[book-1/proposition-47|I. 47]] Q. E. D.