Euclid:Proposition/X/19/Lemma

Proposition

In the words of Euclid:

Since it has been proved that straight lines are commensurable in length are always commensurable in square also, while those commensurable in square are not always commensurable in length also, but can of course be either commensurable or incommensurable in length, it is manifest that, if any straight line be commensurable in length with a given rational straight line, it is called rational and commensurable with the other not only in length but in square also, since straight lines commensurable in length are always commensurable in square also.

But, if any straight line be commensurable in square with a given rational straight line, then, if it is also commensurable in length with it, it is called in this case also rational and commensurable with it in both in length and in square; but, if again any straight line, being commensurable in square with a given rational straight line, be incommensurable in length with it, it is called in this case also rational but commensurable in square only.

(The Elements: Book $\text{X}$: Proposition $19$ : Lemma)

Sources

• 1926: Sir Thomas L. Heath: Euclid: The Thirteen Books of The Elements: Volume 3 (2nd ed.) ... (previous) ... (next): Book $\text{X}$. Propositions