ELEMENTS

by Euclid

Translated by Thomas L. Heath

Book Nine

PROPOSITION 1.

If two similar plane numbers by multiplying one another make some number, the product will be square.

Let A, B be two similar plane numbers, and let A by multiplying B make C; I say that C is square.

For let A by multiplying itself make D.
[Figure]

Therefore D is square.

Since then A by multiplying itself has made D, and by multiplying B has made C, therefore, as A is to B, so is D to C. [VII. 17]

And, since A, B are similar plane numbers, therefore one mean proportional number falls between A, B. [VIII. 18]

But, if numbers fall between two numbers in continued proportion, as many as fall between them, so many also fall between those which have the same ratio; [VIII. 8] so that one mean proportional number falls between D, C also.

And D is square; therefore C is also square. [VIII. 22] Q. E. D.
[p. 385]

PROPOSITION 2.

If two numbers by multiplying one another make a square number, they are similar plane numbers.

Let A, B be two numbers, and let A by multiplying B make the square number C; I say that A, B are similar plane numbers.
[Figure]

For let A by multiplying itself make D; therefore D is square.

Now, since A by multiplying itself has made D, and by multiplying B has made C, therefore, as A is to B, so is D to C. [VII. 17]

And, since D is square, and C is so also, therefore D, C are similar plane numbers.

Therefore one mean proportional number falls between D, C. [VIII. 18]

And, as D is to C, so is A to B; therefore one mean proportional number falls between A, B also. [VIII. 8]

But, if one mean proportional number fall between two numbers, they are similar plane numbers; [VIII. 20] therefore A, B are similar plane numbers. Q. E. D.

PROPOSITION 3.

If a cube number by multiplying itself make some number, the product will be cube.

For let the cube number A by multiplying itself make B; I say that B is cube. [p. 386]

For let C, the side of A, be taken, and let C by multiplying itself make D.

It is then manifest that C by multiplying D has made A.
[Figure]

Now, since C by multiplying itself has made D, therefore C measures D according to the units in itself.

But further the unit also measures C according to the units in it; therefore, as the unit is to C, so is C to D. [VII. Def. 20]

Again, since C by multiplying D has made A, therefore D measures A according to the units in C.

But the unit also measures C according to the units in it; therefore, as the unit is to C, so is D to A.

But, as the unit is to C, so is C to D; therefore also, as the unit is to C, so is C to D, and D to A.

Therefore between the unit and the number A two mean proportional numbers C, D have fallen in continued proportion.

Again, since A by multiplying itself has made B, therefore A measures B according to the units in itself.

But the unit also measures A according to the units in it; therefore, as the unit is to A, so is A to B. [VII. Def. 20]

But between the unit and A two mean proportional numbers have fallen; therefore two mean proportional numbers will also fall between A, B. [VIII. 8]

But, if two mean proportional numbers fall between two numbers, and the first be cube, the second will also be cube. [VIII. 23]

And A is cube; therefore B is also cube. Q. E. D.
[p. 387]

PROPOSITION 4.

If a cube number by multiplying a cube number make some number, the product will be cube.

For let the cube number A by multiplying the cube number B make C; I say that C is cube.
[Figure]

For let A by multiplying itself make D; therefore D is cube. [IX. 3]

And, since A by multiplying itself has made D, and by multiplying B has made C therefore, as A is to B, so is D to C. [VII. 17]

And, since A, B are cube numbers, A, B are similar solid numbers.

Therefore two mean proportional numbers fall between A, B; [VIII. 19] so that two mean proportional numbers will fall between D, C also. [VIII. 8]

And D is cube; therefore C is also cube [VIII. 23] Q. E. D.

PROPOSITION 5.

If a cube number by multiplying any number make a cube number, the multiplied number will also be cube.

For let the cube number A by multiplying any number B make the cube number C; I say that B is cube.
[Figure]

For let A by multiplying itself make D; therefore D is cube. [IX. 3] [p. 388]

Now, since A by multiplying itself has made D, and by multiplying B has made C, therefore, as A is to B, so is D to C. [VII. 17]

And since D, C are cube, they are similar solid numbers.

Therefore two mean proportional numbers fall between D, C. [VIII. 19]

And, as D is to C, so is A to B; therefore two mean proportional numbers fall between A, B also. [VIII. 8]

And A is cube; therefore B is also cube. [VIII. 23]

PROPOSITION 6.

If a number by multiplying itself make a cube number, it will itself also be cube.

For let the number A by multiplying itself make the cube number B; I say that A is also cube.
[Figure]

For let A by multiplying B make C.

Since, then, A by multiplying itself has made B, and by multiplying B has made C, therefore C is cube.

And, since A by multiplying itself has made B, therefore A measures B according to the units in itself.

But the unit also measures A according to the units in it.

Therefore, as the unit is to A, so is A to B. [VII. Def. 20]

And, since A by multiplying B has made C, therefore B measures C according to the units in A.

But the unit also measures A according to the units in it. [p. 389]

Therefore, as the unit is to A, so is B to C. [VII. Def. 20]

But, as the unit is to A, so is A to B; therefore also, as A is to B, so is B to C.

And, since B, C are cube, they are similar solid numbers.

Therefore there are two mean proportional numbers between B, C. [VIII. 19]

And, as B is to C, so is A to B.

Therefore there are two mean proportional numbers between A, B also. [VIII. 8]

And B is cube; therefore A is also cube. [cf. VIII. 23] Q. E. D.

PROPOSITION 7.

If a composite number by multiplying any number make some number, the product will be solid.

For let the composite number A by multiplying any number B make C; I say that C is solid.
[Figure]

For, since A is composite, it will be measured by some number. [VII. Def. 13]

Let it be measured by D; and, as many times as D measures A, so many units let there be in E. [p. 390]

Since then D measures A according to the units in E, therefore E by multiplying D has made A. [VII. Def. 15]

And, since A by multiplying B has made C, and A is the product of D, E, therefore the product of D, E by multiplying B has made C.

Therefore C is solid, and D, E, B are its sides. Q. E. D.

PROPOSITION 8.

If as many numbers as we please beginning from an unit be in continued proportion, the third from the unit will be square, as will also those which successively leave out one; the fourth will be cube, as will also all those which leave out two; and the seventh will be at once cube and square, as will also those which leave out five.

Let there be as many numbers as we please, A, B, C, D, E, F, beginning from an unit and in continued proportion; I say that B, the third from the unit, is square, as are also all those which leave out one; C, the fourth, is cube, as are also all those which leave out two; and F, the seventh, is at once cube and square, as are also all those which leave out five.
[Figure]

For since, as the unit is to A, so is A to B, therefore the unit measures the number A the same number of times that A measures B. [VII. Def. 20]

But the unit measures the number A according to the units in it; therefore A also measures B according to the units in A.

Therefore A by multiplying itself has made B; therefore B is square.

And, since B, C, D are in continued proportion, and B is square, therefore D is also square. [VIII. 22] [p. 391]

For the same reason F is also square.

Similarly we can prove that all those which leave out one are square.

I say next that C, the fourth from the unit, is cube, as are also all those which leave out two.

For since, as the unit is to A, so is B to C, therefore the unit measures the number A the same number of times that B measures C.

But the unit measures the number A according to the units in A; therefore B also measures C according to the units in A.

Therefore A by multiplying B has made C.

Since then A by multiplying itself has made B, and by multiplying B has made C, therefore C is cube.

And, since C, D, E, F are in continued proportion, and C is cube, therefore F is also cube. [VIII. 23]

But it was also proved square; therefore the seventh from the unit is both cube and square.

Similarly we can prove that all the numbers which leave out five are also both cube and square. Q. E. D.

PROPOSITION 9.

If as many numbers as we please beginning from an unit be in continued proportion, and the number after the unit be square, all the rest will also be square. And, if the number after the unit be cube, all the rest will also be cube.

Let there be as many numbers as we please, A, B, C, D, E, F, beginning from an unit and in continued proportion, and let A, the number after the unit, be square; I say that all the rest will also be square.
[Figure]

Now it has been proved that B, the third from the unit, is square, as are also all those which leave out one; [IX. 8] I say that all the rest are also square.

For, since A, B, C are in continued proportion, and A is square, therefore C is also square. [VIII. 22]

Again, since B, C, D are in continued proportion, and B is square, D is also square. [VIII. 22]

Similarly we can prove that all the rest are also square.

Next, let A be cube; I say that all the rest are also cube.

Now it has been proved that C, the fourth from the unit, is cube, as also are all those which leave out two; [IX. 8] I say that all the rest are also cube.

For, since, as the unit is to A, so is A to B, therefore the unit measures A the same number of times as A measures B.

But the unit measures A according to the units in it; therefore A also measures B according to the units in itself; therefore A by multiplying itself has made B. [p. 393]

And A is cube.

But, if a cube number by multiplying itself make some number, the product is cube. [IX. 3]

Therefore B is also cube.

And, since the four numbers A, B, C, D are in continued proportion, and A is cube, D also is cube. [VIII. 23]

For the same reason E is also cube, and similarly all the rest are cube. Q. E. D.

PROPOSITION 10.

If as many numbers as we please beginning from an unit be in continued proportion, and the number after the unit be not square, neither will any other be square except the third from the unit and all those which leave out one. And, if the number after the unit be not cube, neither will any other be cube except the fourth from the unit and all those which leave out two.

Let there be as many numbers as we please, A, B, C, D, E, F, beginning from an unit and in continued proportion, and let A, the number after the unit, not be square; [p. 394] I say that neither will any other be square except the third from the unit .
[Figure]

For, if possible, let C be square.

But B is also square; [IX. 8] [therefore B, C have to one another the ratio which a square number has to a square number].

And, as B is to C, so is A to B; therefore A, B have to one another the ratio which a square number has to a square number; [so that A, B are similar plane numbers]. [VIII. 26, converse]

And B is square; therefore A is also square: which is contrary to the hypothesis.

Therefore C is not square.

Similarly we can prove that neither is any other of the numbers square except the third from the unit and those which leave out one.

Next, let A not be cube.

I say that neither will any other be cube except the fourth from the unit and those which leave out two.

For, if possible, let D be cube.

Now C is also cube; for it is fourth from the unit. [IX. 8]

And, as C is to D, so is B to C; therefore B also has to C the ratio which a cube has to a cube.

And C is cube; therefore B is also cube. [VIII. 25]

And since, as the unit is to A, so is A to B, and the unit measures A according to the units in it, therefore A also measures B according to the units in itself; therefore A by multiplying itself has made the cube number B.

But, if a number by multiplying itself make a cube number, it is also itself cube. [IX. 6]

Therefore A is also cube: which is contrary to the hypothesis.

Therefore D is not cube. [p. 395]

Similarly we can prove that neither is any other of the numbers cube except the fourth from the unit and those which leave out two. Q. E. D.

PROPOSITION II.

If as many numbers as we please beginning from an unit be in continued proportion, the less measures the greater according to some one of the numbers which have place among the proportional numbers. [p. 396]

Let there be as many numbers as we please, B, C, D, E, beginning from the unit A and in continued proportion; I say that B, the least of the numbers B, C, D, E, measures E according to some one of the numbers C, D.
[Figure]

For since, as the unit A is to B, so is D to E, therefore the unit A measures the number B the same number of times as D measures E; therefore, alternately, the unit A measures D the same number of times as B measures E. [VII. 15]

But the unit A measures D according to the units in it; therefore B also measures E according to the units in D; so that B the less measures E the greater according to some number of those which have place among the proportional numbers.--
PORISM.

And it is manifest that, whatever place the measuring number has, reckoned from the unit, the same place also has the number according to which it measures, reckoned from the number measured, in the direction of the number before it.--
Q. E. D. [p. 397]

PROPOSITION 12.

If as many numbers as we please beginning from an unit be in continued proportion, by however many prime numbers the last is measured, the next to the unit will also be measured by the same.

Let there be as many numbers as we please, A, B, C, D, beginning from an unit, and in continued proportion; I say that, by however many prime numbers D is measured, A will also be measured by the same.
[Figure]

For let D be measured by any prime number E; I say that E measures A.

For suppose it does not; now E is prime, and any prime number is prime to any which it does not measure; [VII. 29] therefore E, A are prime to one another.

And, since E measures D, let it measure it according to F, therefore E by multiplying F has made D.

Again, since A measures D according to the units in C, [IX. 11 and Por.] therefore A by multiplying C has made D.

But, further, E has also by multiplying F made D; therefore the product of A, C is equal to the product of E, F.

Therefore, as A is to E, so is F to C. [VII. 19]

But A, E are prime, primes are also least, [VII. 21] and the least measure those which have the same ratio the same number of times, the antecedent the antecedent and the consequent the consequent; [VII. 20] therefore E measures C.

Let it measure it according to G; therefore E by multiplying G has made C.

But, further, by the theorem before this, A has also by multiplying B made C. [IX. 11 and Por.] [p. 398]

Therefore the product of A, B is equal to the product of E, G.

Therefore, as A is to E, so is G to B. [VII. 19]

But A, E are prime, primes are also least, [VII. 21] and the least numbers measure those which have the same ratio with them the same number of times, the antecedent the antecedent and the consequent the consequent: [VII. 20] therefore E measures B.

Let it measure it according to H; therefore E by multiplying H has made B.

But further A has also by multiplying itself made B; [IX. 8] therefore the product of E, H is equal to the square on A.

Therefore, as E is to A, so is A to H. [VII. 19]

But A, E are prime, primes are also least, [VII. 21] and the least measure those which have the same ratio the same number of times, the antecedent the antecedent and the consequent the consequent; [VII. 20] therefore E measures A, as antecedent antecedent.

But, again, it also does not measure it: which is impossible.

Therefore E, A are not prime to one another.

Therefore they are composite to one another.

But numbers composite to one another are measured by some number. [VII. Def. 14]

And, since E is by hypothesis prime, and the prime is not measured by any number other than itself, therefore E measures A, E, so that E measures A.

[But it also measures D; therefore E measures A, D.]

Similarly we can prove that, by however many prime numbers D is measured, A will also be measured by the same. Q. E. D.

PROPOSITION 13.

If as many numbers as we please beginning from an unit be in continued proportion, and the number after the unit be prime, the greatest will not be measured by any except those which have a place among the proportional numbers.

Let there be as many numbers as we please, A, B, C, D, beginning from an unit and in continued proportion, and let A, the number after the unit, be prime; I say that D, the greatest of them, will not be measured by any other number except A, B, C.
[Figure]

For, if possible, let it be measured by E, and let E not be the same with any of the numbers A, B, C.

It is then manifest that E is not prime.

For, if E is prime and measures D, it will also measure A [IX. 12], which is prime, though it is not the same with it: which is impossible. [p. 400]

Therefore E is not prime.

Therefore it is composite.

But any composite number is measured by some prime number; [VII. 31] therefore E is measured by some prime number.

I say next that it will not be measured by any other prime except A.

For, if E is measured by another, and E measures D, that other will also measure D; so that it will also measure A [IX. 12], which is prime, though it is not the same with it: which is impossible.

Therefore A measures E.

And, since E measures D, let it measure it according to F.

I say that F is not the same with any of the numbers A, B, C.

For, if F is the same with one of the numbers A, B, C, and measures D according to E, therefore one of the numbers A, B, C also measures D according to E.

But one of the numbers A, B, C measures D according to some one of the numbers A, B, C; [IX. 11] therefore E is also the same with one of the numbers A, B, C: which is contrary to the hypothesis.

Therefore F is not the same as any one of the numbers A, B, C.

Similarly we can prove that F is measured by A, by proving again that F is not prime.

For, if it is, and measures D, it will also measure A [IX. 12], which is prime, though it is not the same with it: which is impossible; therefore F is not prime.

Therefore it is composite.

But any composite number is measured by some prime number; [VII. 31] therefore F is measured by some prime number. [p. 401]

I say next that it will not be measured by any other prime except A.

For, if any other prime number measures F, and F measures D, that other will also measure D; so that it will also measure A [IX. 12], which is prime, though it is not the same with it: which is impossible.

Therefore A measures F.

And, since E measures D according to F, therefore E by multiplying F has made D.

But, further, A has also by multiplying C made D; [IX. 11] therefore the product of A, C is equal to the product of E, F.

Therefore, proportionally, as A is to E, so is F to C. [VII. 19]

But A measures E; therefore F also measures C.

Let it measure it according to G.

Similarly, then, we can prove that G is not the same with any of the numbers A, B, and that it is measured by A.

And, since F measures C according to G therefore F by multiplying G has made C.

But, further, A has also by multiplying B made C; [IX. 11] therefore the product of A, B is equal to the product of F, G.

Therefore, proportionally, as A is to F, so is G to B. [VII. 19]

But A measures F; therefore G also measures B.

Let it measure it according to H.

Similarly then we can prove that H is not the same with A.

And, since G measures B according to H, therefore G by multiplying H has made B.

But further A has also by multiplying itself made B; [IX. 8] therefore the product of H, G is equal to the square on A.

Therefore, as H is to A, so is A to G. [VII. 19] [p. 402]

But A measures G;< therefore H also measures A, which is prime, though it is not the same with it: which is absurd.

Therefore D the greatest will not be measured by any other number except A, B, C. Q. E. D.

PROPOSITION 14.

If a number be the least that is measured by prime numbers, it will not be measured by any other prime number except those originally measuring it.

For let the number A be the least that is measured by the prime numbers B, C, D; [p. 403] I say that A will not be measured by any other prime number except B, C, D.

For, if possible, let it be measured by the prime number E, and let E not be the same with any one of the numbers B, C, D.
[Figure]

Now, since E measures A, let it measure it according to F;
therefore E by multiplying F has made A.

And A is measured by the prime numbers B, C, D.

But, if two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers; [VII. 30] therefore B, C, D will measure one of the numbers E, F.

Now they will not measure E; for E is prime and not the same with any one of the numbers B, C, D.

Therefore they will measure F, which is less than A: which is impossible, for A is by hypothesis the least number measured by B, C, D.

Therefore no prime number will measure A except B, C, D. Q. E. D.
[p. 404]

PROPOSITION 15.

If three numbers in continued proportion be the least of those which have the same ratio with them, any two whatever added together will be prime to the remaining number.

Let A, B, C, three numbers in continued proportion, be the least of those which have the same ratio with them; I say that any two of the numbers A, B, C whatever added together are prime to the remaining number, namely A, B to C; B, C to A; and further A, C to B.
[Figure]

For let two numbers DE, EF, the least of those which have the same ratio with A, B, C, be taken. [VIII. 2]

It is then manifest that DE by multiplying itself has made A, and by multiplying EF has made B, and, further, EF by multiplying itself has made C. [VIII. 2]

Now, since DE, EF are least, they are prime to one another. [VII. 22]

But, if two numbers be prime to one another, their sum is also prime to each; [VII. 28] therefore DF is also prime to each of the numbers DE, EF.

But further DE is also prime to EF; therefore DF, DE are prime to EF.

But, if two numbers be prime to any number, their product is also prime to the other; [VII. 24] so that the product of FD, DE is prime to EF; hence the product of FD, DE is also prime to the square on EF. [VII. 25]

But the product of FD, DE is the square on DE together with the product of DE, EF; [II. 3] therefore the square on DE together with the product of DE, EF is prime to the square on EF.

And the square on DE is A, the product of DE, EF is B, and the square on EF is C; therefore A, B added together are prime to C. [p. 405]

Similarly we can prove that B, C added together are prime to A.

I say next that A, C added together are also prime to B.

For, since DF is prime to each of the numbers DE, EF, the square on DF is also prime to the product of DE, EF. [VII. 24, 25]

But the squares on DE, EF together with twice the product of DE, EF are equal to the square on DF; [II. 4] therefore the squares on DE, EF together with twice the product of DE, EF are prime to the product of DE, EF.

Separando, the squares on DE, EF together with once the product of DE, EF are prime to the product of DE, EF.

Therefore, separando again, the squares on DE, EF are prime to the product of DE, EF.

And the square on DE is A, the product of DE, EF is B, and the square on EF is C.

Therefore A, C added together are prime to B. Q. E. D.
[p. 406]

PROPOSITION 16.

If two numbers be prime to one another, the second will not be to any other number as the first is to the second.

For let the two numbers A, B be prime to one another; I say that B is not to any other number as A is to B.
[Figure]

For, if possible, as A is to B, so let B be to C.

Now A, B are prime, primes are also least, [VII. 21] and the least numbers measure those which have the same ratio the same number of times, the antecedent the antecedent and the consequent the consequent; [VII. 20] therefore A measures B as antecedent antecedent.

But it also measures itself; therefore A measures A, B which are prime to one another: which is absurd.

Therefore B will not be to C, as A is to B. Q. E. D.

PROPOSITION 17.

If there be as many numbers as we please in continued proportion, and the extremes of them be prime to one another, the last will not be to any other number as the first to the second.

For let there be as many numbers as we please, A, B, C, D, in continued proportion, and let the extremes of them, A, D, be prime to one another; I say that D is not to any other number as A is to B.
[Figure]

For, if possible, as A is to B, so let D be to E; therefore, alternately, as A is to D, so is B to E. [VII. 13] [p. 407]

But A, D are prime, primes are also least, [VII. 21] and the least numbers measure those which have the same ratio the same number of times, the antecedent the antecedent and the consequent the consequent. [VII. 20]

Therefore A measures B.

And, as A is to B, so is B to C.

Therefore B also measures C; so that A also measures C.

And since, as B is to C, so is C to D, and B measures C, therefore C also measures D.

But A measured C; so that A also measures D.

But it also measures itself; therefore A measures A, D which are prime to one another : which is impossible.

Therefore D will not be to any other number as A is to B. Q. E. D.

PROPOSITION 18.

Given two numbers, to investigate whether it is possible to find a third proportional to them.

Let A, B be the given two numbers, and let it be required to investigate whether it is possible to find a third proportional to them.

Now A, B are either prime to one another or not.

And, if they are prime to one another, it has been proved that it is impossible to find a third proportional to them. [IX. 16] [p. 408]

Next, let A, B not be prime to one another, and let B by multiplying itself make C.

Then A either measures C or does not measure it.
[Figure]

First, let it measure it according to D; therefore A by multiplying D has made C.

But, further, B has also by multiplying itself made C; therefore the product of A, D is equal to the square on B.

Therefore, as A is to B, so is B to D; [VII. 19] therefore a third proportional number D has been found to A, B.

Next, let A not measure C; I say that it is impossible to find a third proportional number to A, B.

For, if possible, let D, such third proportional, have been found.

Therefore the product of A, D is equal to the square on B.

But the square on B is C; therefore the product of A, D is equal to C.

Hence A by multiplying D has made C; therefore A measures C according to D.

But, by hypothesis, it also does not measure it: which is absurd.

Therefore it is not possible to find a third proportional number to A, B when A does not measure C. Q. E. D.
[p. 409]

PROPOSITION 19.

Given three numbers, to investigate when it is possible to find a fourth proportional to them.

Let A, B, C be the given three numbers, and let it be required to investigate when it is possible to find a fourth proportional to them.
[Figure]

Now either they are not in continued proportion, and the extremes of them are prime to one another; or they are in continued proportion, and the extremes of them are not prime to one another; or they are not in continued proportion, nor are the extremes of them prime to one another; or they are in continued proportion, and the extremes of them are prime to one another.

If then A, B, C are in continued proportion, and the extremes of them A, C are prime to one another, it has been proved that it is impossible to find a fourth proportional number to them. [IX. 17]

<*>Next, let A, B, C not be in continued proportion, the extremes being again prime to one another; I say that in this case also it is impossible to find a fourth proportional to them.

For, if possible, let D have been found, so that,
as A is to B, so is C to D,
and let it be contrived that, as B is to C, so is D to E.

Now, since, as A is to B, so is C to D, and, as B is to C, so is D to E, therefore, ex aequali, as A is to C, so is C to E. [VII. 14]

But A, C are prime, primes are also least, [VII. 21] and the least numbers measure those which have the same ratio, the antecedent the antecedent and the consequent the consequent. [VII. 20]

Therefore A measures C as antecedent antecedent. [p. 410]

But it also measures itself; therefore A measures A, C which are prime to one another: which is impossible.

Therefore it is not possible to find a fourth proportional to A, B, C.<*>

Next, let A, B, C be again in continued proportion, but let A, C not be prime to one another.

I say that it is possible to find a fourth proportional to them.

For let B by multiplying C make D; therefore A either measures D or does not measure it.

First, let it measure it according to E; therefore A by multiplying E has made D.

But, further, B has also by multiplying C made D; therefore the product of A, E is equal to the product of B, C; therefore, proportionally, as A is to B, so is C to E; [VII. 19] therefore E has been found a fourth proportional to A, B, C.

Next, let A not measure D; I say that it is impossible to find a fourth proportional number to A, B, C.

For, if possible, let E have been found; therefore the product of A, E is equal to the product of B, C. [VII. 19]

But the product of B, C is D; therefore the product of A, E is also equal to D.

Therefore A by multiplying E has made D; therefore A measures D according to E, so that A measures D.

But it also does not measure it: which is absurd.

Therefore it is not possible to find a fourth proportional number to A, B, C when A does not measure D.

Next, let A, B, C not be in continued proportion, nor the extremes prime to one another.

And let B by multiplying C make D.

Similarly then it can be proved that, if A measures D, it is possible to find a fourth proportional to them, but, if it does not measure it, impossible. Q. E. D.

PROPOSITION 20.

Prime numbers are more than any assigned multitude of prime numbers.

Let A, B, C be the assigned prime numbers; I say that there are more prime numbers than A, B, C.
[Figure]

For let the least number measured by A, B, C be taken, and let it be DE; let the unit DF be added to DE.

Then EF is either prime or not.

First, let it be prime; then the prime numbers A, B, C, EF have been found which are more than A, B, C.

Next, let EF not be prime; therefore it is measured by some prime number. [VII. 31]

Let it be measured by the prime number G.

I say that G is not the same with any of the numbers A, B, C.

For, if possible, let it be so.

Now A, B, C measure DE; therefore G also will measure DE.

But it also measures EF.

Therefore G, being a number, will measure the remainder, the unit DF: which is absurd.

Therefore G is not the same with any one of the numbers A, B, C.

And by hypothesis it is prime.

Therefore the prime numbers A, B, C, G have been found which are more than the assigned multitude of A, B, C. Q. E. D. [p. 413]

PROPOSITION 21.

If as many even numbers as we please be added together, the whole is even.

For let as many even numbers as we please, AB, BC, CD, DE, be added together; I say that the whole AE is even.
[Figure]

For, since each of the numbers AB, BC, CD, DE is even, it has a half part; [VII. Def. 6] so that the whole AE also has a half part.

But an even number is that which is divisible into two equal parts; [id.] therefore AE is even. Q. E. D.

PROPOSITION 22.

If as many odd numbers as we please be added together, and their multitude be even, the whole will be even.

For let as many odd numbers as we please, AB, BC, CD, DE, even in multitude, be added together; I say that the whole AE is even. [p. 414]

For, since each of the numbers AB, BC, CD, DE is odd, if an unit be subtracted from each, each of the remainders will be even; [VII. Def. 7] so that the sum of them will be even. [IX. 21]
[Figure]

But the multitude of the units is also even.

Therefore the whole AE is also even. [IX. 21] Q. E. D.

PROPOSITION 23.

If as many odd numbers as we please be added together, and their multitude be odd, the whole will also be odd.

For let as many odd numbers as we please, AB, BC, CD, the multitude of which is odd, be added together; I say that the whole AD is also odd.
[Figure]

Let the unit DE be subtracted from CD; therefore the remainder CE is even. [VII. Def. 7]

But CA is also even; [IX. 22] therefore the whole AE is also even. [IX. 21]

And DE is an unit.

Therefore AD is odd. [VII. Def. 7] Q. E. D. 1

PROPOSITION 24.

If from an even number an even number be subtracted, the remainder will be even.

For from the even number AB let the even number BC be subtracted: I say that the remainder CA is even.
[Figure]

For, since AB is even, it has a half part. [VII. Def. 6] [p. 415]

For the same reason BC also has a half part; so that the remainder [CA also has a half part, and] AC is therefore even. Q. E. D.

PROPOSITION 25.

If from an even number an odd number be subtracted, the remainder will be odd.

For from the even number AB let the odd number BC be subtracted; I say that the remainder CA is odd.
[Figure]

For let the unit CD be subtracted from BC; therefore DB is even. [VII. Def. 7]

But AB is also even; therefore the remainder AD is also even. [IX. 24]

And CD is an unit; therefore CA is odd. [VII. Def. 7] Q. E. D.

PROPOSITION 26.

If from an odd number an odd number be subtracted, the remainder will be even.

For from the odd number AB let the odd number BC be subtracted; I say that the remainder CA is even.
[Figure]

For, since AB is odd, let the unit BD be subtracted; therefore the remainder AD is even. [VII. Def. 7]

For the same reason CD is also even; [VII. Def. 7] so that the remainder CA is also even. [IX. 24] Q. E. D.
[p. 416]

PROPOSITION 27.

If from an odd number an even number be subtracted, the remainder will be odd.

For from the odd number AB let the even number BC be subtracted; I say that the remainder CA is odd.
[Figure]

Let the unit AD be subtracted; therefore DB is even. [VII. Def. 7]

But BC is also even; therefore the remainder CD is even. [IX. 24]

Therefore CA is odd. [VII. Def. 7] Q. E. D.

PROPOSITION 28.

If an odd number by multiplying an even number make some number, the product will be even.

For let the odd number A by multiplying the even number B make C; I say that C is even.
[Figure]

For, since A by multiplying B has made C, therefore C is made up of as many numbers equal to B as there are units in A. [VII. Def. 15]

And B is even; therefore C is made up of even numbers.

But, if as many even numbers as we please be added together, the whole is even. [IX. 21]

Therefore C is even. Q. E. D.

PROPOSITION 29.

If an odd number by multiplying an odd number make some number, the product will be odd.

For let the odd number A by multiplying the odd number B make C; I say that C is odd.
[Figure]

For, since A by multiplying B has made C, [p. 417] therefore C is made up of as many numbers equal to B as there are units in A. [VII. Def. 15]

And each of the numbers A, B is odd; therefore C is made up of odd numbers the multitude of which is odd.

Thus C is odd. [IX. 23] Q. E. D.

PROPOSITION 30.

If an odd number measure an even number, it will also measure the half of it.

For let the odd number A measure the even number B; I say that it will also measure the half of it.
[Figure]

For, since A measures B, let it measure it according to C; I say that C is not odd.

For, if possible, let it be so.

Then, since A measures B according to C, therefore A by multiplying C has made B.

Therefore B is made up of odd numbers the multitude of which is odd.

Therefore B is odd: [IX. 23] which is absurd, for by hypothesis it is even.

Therefore C is not odd; therefore C is even.

Thus A measures B an even number of times.

For this reason then it also measures the half of it. Q. E. D.

PROPOSITION 31.

If an odd number be prime to any number, it will also be prime to the double of it.

For let the odd number A be prime to any number B, and let C be double of B; I say that A is prime to C.
[Figure]

For, if they are not prime to one another, some number will measure them. [p. 418]

Let a number measure them, and let it be D.

Now A is odd; therefore D is also odd.

And since D which is odd measures C, and C is even, therefore [D] will measure the half of C also. [IX. 30]

But B is half of C; therefore D measures B.

But it also measures A; therefore D measures A, B which are prime to one another: which is impossible.

Therefore A cannot but be prime to C.

Therefore A, C are prime to one another. Q. E. D.

PROPOSITION 32.

Each of the numbers which are continually doubled beginning from a dyad is even-times even only.

For let as many numbers as we please, B, C, D, have been continually doubled beginning from the dyad A; I say that B, C, D are eventimes even only.
[Figure]

Now that each of the numbers B, C, D is even-times even is manifest; for it is doubled from a dyad.

I say that it is also even-times even only.

For let an unit be set out.

Since then as many numbers as we please beginning from an unit are in continued proportion, and the number A after the unit is prime, therefore D, the greatest of the numbers A, B, C, D, will not be measured by any other number except A, B, C. [IX. 13]

And each of the numbers A, B, C is even; therefore D is even-times even only. [VII. Def. 8]

Similarly we can prove that each of the numbers B, C is even-times even only. Q. E. D. [p. 419]

PROPOSITION 33.

If a number have its half odd, it is even-times odd only.

For let the number A have its half odd; I say that A is even-times odd only.
[Figure]

Now that it is even-times odd is manifest; for the half of it, being odd, measures it an even number of times. [VII. Def. 9]

I say next that it is also even-times odd only.

For, if A is even-times even also, it will be measured by an even number according to an even number; [VII. Def. 8] so that the half of it will also be measured by an even number though it is odd: which is absurd.

Therefore A is even-times odd only. Q. E. D.

PROPOSITION 34.

If a number neither be one of those which are continually doubled from a dyad, nor have its half odd, it is both eventimes even and even-times odd.

For let the number A neither be one of those doubled from a dyad, nor have its half odd; I say that A is both even-times even and even-times odd.
[Figure]

Now that A is even-times even is manifest; for it has not its half odd. [VII. Def. 8]

I say next that it is also even-times odd.

For, if we bisect A, then bisect its half, and do this continually, we shall come upon some odd number which will measure A according to an even number.

For, if not, we shall come upon a dyad, and A will be among those which are doubled from a dyad: which is contrary to the hypothesis. [p. 420]

Thus A is even-times odd.

But it was also proved even-times even.

Therefore A is both even-times even and even-times odd. Q. E. D.

PROPOSITION 35.

If as many numbers as we please be in continued proportion, and there be subtracted from the second and the last numbers equal to the first, then, as the excess of the second is to the first, so will the excess of the last be to all those before it.

Let there be as many numbers as we please in continued proportion, A, BC, D, EF, beginning from A as least, and let there be subtracted from BC and EF the numbers BG, FH, each equal to A; I say that, as GC is to A, so is EH to A, BC, D.
[Figure]

For let FK be made equal to BC, and FL equal to D.

Then, since FK is equal to BC, and of these the part FH is equal to the part BG, therefore the remainder HK is equal to the remainder GC.

And since, as EF is to D, so is D to BC, and BC to A, while D is equal to FL, BC to FK, and A to FH, therefore, as EF is to FL, so is LF to FK, and FK to FH.

Separando, as EL is to LF, so is LK to FK, and KH to FH. [VII. 11, 13]

Therefore also, as one of the antecedents is to one of the consequents, so are all the antecedents to all the consequents; [VII. 12] therefore, as KH is to FH, so are EL, LK. KH to LF, FK, HF.

But KH is equal to CG, FH to A, and LF, FK, HF to D, BC, A; therefore, as CG is to A, so is EH to D, BC, A.

Therefore, as the excess of the second is to the first, so is the excess of the last to all those before it. Q. E. D. [p. 421]

PROPOSITION 36.

If as many numbers as we please beginning from an unit be set out continuously in double proportion, until the sum of all becomes prime, and if the sum multiplied into the last make some number, the product will be perfect.

For let as many numbers as we please, A, B, C, D, beginning from an unit be set out in double proportion, until the sum of all becomes prime, let E be equal to the sum, and let E by multiplying D make FG; I say that FG is perfect.

For, however many A, B, C, D are in multitude, let so many E, HK, L, M be taken in double proportion beginning from E; therefore, ex aequali, as A is to D, so is E to M. [VII. 14] [p. 422]

Therefore the product of E, D is equal to the product of A, M. [VII. 19]

And the product of E, D is FG; therefore the product of A, M is also FG.

Therefore A by multiplying M has made FG; therefore M measures FG according to the units in A.

And A is a dyad; therefore FG is double of M.
[Figure]

But M, L, HK, E are continuously double of each other; therefore E, HK, L, M, FG are continuously proportional in double proportion.

Now let there be subtracted from the second HK and the last FG the numbers HN, FO, each equal to the first E; therefore, as the excess of the second is to the first, so is the excess of the last to all those before it. [IX. 35]

Therefore, as NK is to E, so is OG to M, L, KH, E.

And NK is equal to E; therefore OG is also equal to M, L, HK, E.

But FO is also equal to E, and E is equal to A, B, C, D and the unit.

Therefore the whole FG is equal to E, HK, L, M and A, B, C, D and the unit; and it is measured by them.

I say also that FG will not be measured by any other number except A, B, C, D, E, HK, L, M and the unit.

For, if possible, let some number P measure FG, and let P not be the same with any of the numbers A, B, C, D, E, HK, L, M.

And, as many times as P measures FG, so many units let there be in Q; therefore Q by multiplying P has made FG. [p. 423]

But, further, E has also by multiplying D made FG; therefore, as E is to Q, so is P to D. [VII. 19]

And, since A, B, C, D are continuously proportional beginning from an unit, therefore D will not be measured by any other number except A, B, C. [IX. 13]

And, by hypothesis, P is not the same with any of the numbers A, B, C; therefore P will not measure D.

But, as P is to D, so is E to Q; therefore neither does E measure Q. [VII. Def. 20]

And E is prime; and any prime number is prime to any number which it does not measure. [VII. 29]

Therefore E, Q are prime to one another.

But primes are also least, [VII. 21] and the least numbers measure those which have the same ratio the same number of times, the antecedent the antecedent and the consequent the consequent; [VII. 20] and, as E is to Q, so is P to D; therefore E measures P the same number of times that Q measures D.

But D is not measured by any other number except A, B, C; therefore Q is the same with one of the numbers A, B, C.

Let it be the same with B.

And, however many B, C, D are in multitude, let so many E, HK, L be taken beginning from E.

Now E, HK, L are in the same ratio with B, C, D; therefore, ex aequali, as B is to D, so is E to L. [VII. 14]

Therefore the product of B, L is equal to the product of D, E. [VII. 19]

But the product of D, E is equal to the product of Q, P; therefore the product of Q, P is also equal to the product of B, L.

Therefore, as Q is to B, so is L to P. [VII. 19]

And Q is the same with B; therefore L is also the same with P; [p. 424] which is impossible, for by hypothesis P is not the same with any of the numbers set out.

Therefore no number will measure FG except A, B, C, D, E, HK, L, M and the unit.

And FG was proved equal to A, B, C, D, E, HK, L, M and the unit; and a perfect number is that which is equal to its own parts; [VII. Def. 22] therefore FG is perfect. Q. E. D.


1 3. Literally “let there be as many numbers as we please, of which let the multitude be odd.” This form, natural in Greek, is awkward in English.

Continue on to Book Ten

Return to the Table of Contents
Return to List of Authors and Books