Euclid's Elements
Book VII
Proposition 2

To find the greatest common measure of two given numbers not relatively prime.
Let AB and CD be the two given numbers not relatively prime.

It is required to find the greatest common measure of AB and CD.

If now CD measures AB, since it also measures itself, then CD is a common measure of CD and AB. And it is manifest that it is also the greatest, for no greater number than CD measures CD.

But, if CD does not measure AB, then, when the less of the numbers AB and CD being continually subtracted from the greater, some number is left which measures the one before it.

java applet or image
For a unit is not left, otherwise AB and CD would be relatively prime , which is contrary to the hypothesis. VII.Def.12
VII.1
Therefore some number is left which measures 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 also measures DF. But it measures itself, therefore it also measures the whole CD.

But CD measures BE, therefore CF also measures BE. And it also measures EA, therefore it measures the whole BA.

But it also measures CD, therefore CF measures AB and CD. Therefore CF is a common measure of AB and CD.

I say next that it is also the greatest.

If CF is not the greatest common measure of AB and CD, then some number G, which is greater than CF, measures the numbers AB and CD.

Now, since G measures CD, and CD measures BE, therefore G also measures BE. But it also measures the whole BA, therefore it measures the remainder AE.

But AE measures DF, therefore G also measures DF. And it measures the whole DC, therefore it also measures the remainder CF, that is, the greater measures the less, which is impossible.

Therefore no number which is greater than CF measures the numbers AB and CD. Therefore CF is the greatest common measure of AB and CD.

Corollary

From this it is manifest that, if a number measures two numbers, then it also measures their greatest common measure.

Guide

Euclid again uses antenaresis (the Euclidean algorithm) in this proposition, this time to find the greatest common divisor of two numbers that aren't relatively prime. Had Euclid considered the unit (1) to be a number, he could have merged these two propositions into one.

The stages of the algorithm are the same as in VII.1 except that the final remainder an+1, which divides the previous number an, is not 1.

a1 = m1 a2 + a3
a2 = m2 a3 + a4
...
an-1 = mn-1 an + an+1.

(In Euclid's proof a1 is AB, a2 is CD, a3 is AE, and a4 = an+1 is CF.)

In the first part of the proof, Euclid shows that since an+1 divides an, it also divides an-1, ... , a2, and a1. Therefore an+1 is a common divisor of a2 and a1. In the last part of the proof, Euclid shows that if any number d divides both a2 and a1, then it also divides a3, ... , an, and an+1. Therefore an+1 is the greatest common divisor. The last part of the proof also shows that every common divisor divides the greatest common divisor as noted in the corollary.

Foundations of number theory

Euclid makes many implicit assumptions about numbers. For instance, he assumes that if m < n, then m can be repeatedly subtracted from n until there is eventually a remainder less than or equal to m. He seems to have recognized that magnitudes need not have this property since the property is used as a qualifier in the definition of ratios (V.Def.4), but he didn't recognize its importance for numbers.

There is a similar assumption that the process of antenaresis eventually reaches an end when applied to numbers. Euclid certainly knew it needn't halt for magnitudes since its halting is used as a criterion for incommensurability (X.2).

There ought to be an explicit axiom to cover these situations. One such axiom is a descending chain condition which states that there is no infinite decreasing sequence of numbers

a1 > a2 > ... > an > ...

Use of this proposition

This proposition and its corollary are used in the next two propositions.

Note how similar this proposition is to X.3, even having the same diagram and the same corollary. The terminology is slightly different and X.3 deals with magnitudes rather than numbers.


Book VII Introduction - Proposition VII.1 - Proposition VII.3.

© 1996
D.E.Joyce
Clark University