#### PROPOSITION 3.

Given three numbers not prime to one another, to find their greatest common measure.

Let A, B, C be the three given numbers not prime to one another; thus it is required to find the greatest common measure of A, B, C.

For let the greatest common measure, D, of the two numbers A, B be taken; [VII. 2] then D either measures, or does not measure, C.

First, let it measure it.

But it measures A, B also; therefore D measures A, B, C; therefore D is a common measure of A, B, C.

I say that it is also the greatest.

For, if D is not the greatest common measure of A, B, C, some number which is greater than D will measure the numbers A, B, C.

Let such a number measure them, and let it be E.

Since then E measures A, B, C, it will also measure A, B; therefore it will also measure the greatest common measure of A, B. [VII. 2, Por.]

But the greatest common measure of A, B is D; therefore E measures D, the greater the less: which is impossible.

Therefore no number which is greater than D will measure the numbers A, B, C;

therefore D is the greatest common measure of A, B, C.

Next, let D not measure C; I say first that C, D are not prime to one another.

For, since A, B, C are not prime to one another, some number will measure them.

Now that which measures A, B, C will also measure A, B, and will measure D, the greatest common measure of A, B. [VII. 2, Por.]

But it measures C also; therefore some number will measure the numbers D, C; therefore D, C are not prime to one another.

Let then their greatest common measure E be taken. [VII. 2]

Then, since E measures D, and D measures A, B, therefore E also measures A, B.

But it measures C also; therefore E measures A, B, C; therefore E is a common measure of A, B, C.

I say next that it is also the greatest.

For, if E is not the greatest common measure of A, B, C, some number which is greater than E will measure the numbers A, B, C.

Let such a number measure them, and let it be F.

Now, since F measures A, B, C, it also measures A, B; therefore it will also measure the greatest common measure of A, B. [VII. 2, Por.]

But the greatest common measure of A, B is D; therefore F measures D.

And it measures C also; therefore F measures D, C; therefore it will also measure the greatest common measure of D, C. [VII. 2, Por.]

But the greatest common measure of D, C is E; therefore F measures E, the greater the less: which is impossible.

Therefore no number which is greater than E will measure the numbers A, B, C; therefore E is the greatest common measure of A, B, C. Q. E. D.

An XML version of this text is available for download, with the additional restriction that you offer Perseus any modifications you make. Perseus provides credit for all accepted changes, storing new additions in a versioning system.

load focus Greek (J. L. Heiberg, 1883)
hide Display Preferences
 Greek Display: Unicode (precombined) Unicode (combining diacriticals) Beta Code SPIonic SGreek GreekKeys Latin transliteration Arabic Display: Unicode Buckwalter transliteration View by Default: Original Language Translation Browse Bar: Show by default Hide by default