Given two numbers not prime to one another, to find their greatest common measure.
给定两个不互质的数，求它们的最大公度。
本页以“求两不互质数的最大公度”整体图解辅助阅读；点、线、角、圆索引已按命题文字和证明步骤校订，可与证明和问答联动。
正文图形由校订坐标生成；点、线、角、圆可与证明和问答联动。
Let AB, CD be the two given numbers not prime to one another. Thus it is required to find the greatest common measure of AB, CD. If now CD measures AB—and it also measures itself—CD is a common measure of CD, AB. And it is manifest that it is also the greatest; for no greater number than CD will measure CD. But, if CD does not measure AB, then, the less of the numbers AB, CD being continually subtracted from the greater, some number will be left which will measure the one before it. For an unit will not be left; otherwise AB, CD will be prime to one another [VII. 1], which is contrary to the hypothesis.
若较小数能量尽较大数，则较小数即为最大公度。
Therefore some number will be left which will measure the one before it. Now let CD, measuring BE, leave EA less than itself, let EA, measuring DF, leave FC less than itself, and let CF measure AE. Since then, CF measures AE, and AE measures DF, therefore CF will also measure DF. But it also measures itself; therefore it will also measure the whole CD. But CD measures BE; therefore CF also measures BE. But it also measures EA; therefore it will also measure the whole BA.
若不能，则从较大数中反复减去较小数，直至余数能量尽前数。
But it also measures CD; therefore CF measures AB, CD. Therefore CF is a common measure of AB, CD. I say next that it is also the greatest. For, if CF is not the greatest common measure of AB, CD, some number which is greater than CF will measure the numbers AB, CD. Let such a number measure them, and let it be G. Now, since G measures CD, while CD measures BE, G also measures BE.
设余数序列中最后一个能量尽前数的数为CF，则CF能量尽两原数。
But it also measures the whole BA; therefore it will also measure the remainder AE. But AE measures DF; therefore G will also measure DF. But it also measures the whole DC; therefore it will also measure the remainder CF, that is, the greater will measure the less: which is impossible. Therefore no number which is greater than CF will measure the numbers AB, CD; therefore CF is the greatest common measure of AB, CD. PORISM. From this it is manifest that, if a number measure two numbers, it will also measure their greatest common measure.
若存在大于CF的数G能量尽两原数，则G必能量尽CF，导致大数能量尽小数，矛盾。故CF为最大公度。