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.
如果两个量是可公度的，且其中一个与任意量不可公度，则另一个也与该量不可公度。
本页以“第十卷第十三命题”整体图解辅助阅读；点、线、角、圆索引已按命题文字和证明步骤校订，可与证明和问答联动。
正文图形由校订坐标生成；点、线、角、圆可与证明和问答联动。
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. [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.
设A、B是两个可公度的量，且A与另一量C不可公度。
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.
假设B与C可公度，由于A与B可公度，则A与C也可公度（X.12）。
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; [IV. 1] let DB be joined. It is then manifest that the angle ADB is right, [III. 31] and that the square on AB is greater than the square on AD, that is, C, by the square on DB.
但这与A与C不可公度矛盾。
[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.
因此B与C不可公度。