BOOK VIII.
PROPOSITIONS
PROPOSITION 1.
If there be as many numbers as we please in continued proportion, and the extremes of them be prime to one another, the numbers are the least of those which have the same ratio with them. 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 A, B, C, D are the least of those which have the same ratio with them. For, if not, let E, F, G, H be less than A, B, C, D, and in the same ratio with them. Now, since A, B, C, D are in the same ratio with E, F, G, H, and the multitude of the numbers A, B, C, D is equal to the multitude of the numbers E, F, G, H, therefore, ex aequali,PROPOSITION 2.
To find numbers in continued proportion, as many as may be prescribed, and the least that are in a given ratio. Let the ratio of A to B be the given ratio in least numbers; thus it is required to find numbers in continued proportion, as many as may be prescribed, and the least that are in the ratio of A to B. Let four be prescribed; let A by multiplying itself make C, and by multiplying B let it make D; let B by multiplying itself make E; further, let A by multiplying C, D, E make F, G, H, and let B by multiplying E make K. Now, since A by multiplying itself has made C, and by multiplying B has made D, therefore, as A is to B, so is C to D. [VII. 17] Again, since A by multiplying B has made D, and B by multiplying itself has made E, therefore the numbers A, B by multiplying B have made the numbers D, E respectively. Therefore, as A is to B, so is D to E. [VII. 18] But, as A is to B, so is C to D; therefore also, as C is to D, so is D to E. And, since A by multiplying C, D has made F, G, therefore, as C is to D, so is F to G. [VII. 17] But, as C is to D, so was A to B; therefore also, as A is to B, so is F to G. Again, since A by multiplying D, E has made G, H, therefore, as D is to E, so is G to H. [VII. 17] But, as D is to E, so is A to B. Therefore also, as A is to B, so is G to H. And, since A, B by multiplying E have made H, K, therefore, as A is to B, so is H to K. [VII. 18] But, as A is to B, so is F to G, and G to H. Therefore also, as F is to G, so is G to H, and H to K; therefore C, D, E, and F, G, H, K are proportional in the ratio of A to B. I say next that they are the least numbers that are so. For, since A, B are the least of those which have the same ratio with them, and the least of those which have the same ratio are prime to one another, [VII. 22] therefore A, B are prime to one another. And the numbers A, B by multiplying themselves respectively have made the numbers C, E, and by multiplying the numbers C, E respectively have made the numbers F, K; therefore C, E and F, K are prime to one another respectively. [VII. 27] But, if there be as many numbers as we please in continued proportion, and the extremes of them be prime to one another, they are the least of those which have the same ratio with them. [VIII. 1] Therefore C, D, E and F, G, H, K are the least of those which have the same ratio with A, B. Q. E. D.PORISM.
From this it is manifest that, if three numbers in continued proportion be the least of those which have the same ratio with them, the extremes of them are squares, and, if four numbers, cubes.PROPOSITION 3.
If as many numbers as we please in continued proportion be the least of those which have the same ratio with them, the extremes of them are prime to one another. Let as many numbers as we please, A, B, C, D, in continued proportion be the least of those which have the same ratio with them; I say that the extremes of them A, D are prime to one another. For let two numbers E, F, the least that are in the ratio of A, B, C, D, be taken, [VII. 33] then three others G, H, K with the same property; and others, more by one continually, [VIII. 2] until the multitude taken becomes equal to the multitude of the numbers A, B, C, D. Let them be taken, and let them be L, M, N, O. Now, since E, F are the least of those which have the same ratio with them, they are prime to one another. [VII. 22] And, since the numbers E, F by multiplying themselves respectively have made the numbers G, K, and by multiplying the numbers G, K respectively have made the numbers L, O, [VIII. 2, Por.] therefore both G, K and L, O are prime to one another. [VII. 27] And, since A, B, C, D are the least of those which have the same ratio with them, while L, M, N, O are the least that are in the same ratio with A, B, C, D, and the multitude of the numbers A, B, C, D is equal to the multitude of the numbers L, M, N, O, therefore the numbers A, B, C, D are equal to the numbers L, M, N, O respectively; therefore A is equal to L, and D to O. And L, O are prime to one another. Therefore A, D are also prime to one another. Q. E. D.PROPOSITION 4.
Given as many ratios as we please in least numbers, to find numbers in continued proportion which are the least in the given ratios. Let the given ratios in least numbers be that of A to B,that of C to D, and that of E to F; thus it is required to find numbers in continued proportion which are the least that are in the ratio of A to B, in the ratio of C to D, and in the ratio of E to F. Let G, the least number measured by B, C, be taken. [VII. 34]
And, as many times as B measures G, so many times also let A measure H, and, as many times as C measures G, so many times also let D measure K. Now E either measures or does not measure K.
First, let it measure it. And, as many times as E measures K, so many times let F measure L also. Now, since A measures H the same number of times that B measures G,
therefore, as A is to B, so is H to G. [VII. Def. 20, VII. 13] For the same reason also,
ratio of A to B, in the ratio of C to D, and in the ratio of E to F. I say next that they are also the least that have this property. For, if H, G, K, L are not the least numbers continuously
proportional in the ratios of A to B, of C to D, and of E to F, let them be N, O, M, P. Then since, as A is to B, so is N to O, while A, B are least, and the least numbers measure those which have the same
ratio the same number of times, the greater the greater and the less the less, that is, the antecedent the antecedent and the consequent the consequent; therefore B measures O. [VII. 20] For the same reason
C also measures O; therefore B, C measure O; therefore the least number measured by B, C will also measure O. [VII. 35] But G is the least number measured by B, C;
therefore G measures O, the greater the less: which is impossible. Therefore there will be no numbers less than H, G, K, L which are continuously in the ratio of A to B, of C to D, and of E to F.
Next, let E not measure K. Let M, the least number measured by E, K, be taken. And, as many times as K measures M, so many times let H, G measure N, O respectively, and, as many times as E measures M, so many times let F
measure P also. Since H measures N the same number of times that G measures O, therefore, as H is to G, so is N to O. [VII. 13 and Def. 20] But, as H is to G, so is A to B;
therefore also, as A is to B, so is N to O. For the same reason also,
therefore, as E is to F, so is M to P; [VII. 13 and Def. 20] therefore N, O, M, P are continuously proportional in the ratios of A to B, of C to D, and of E to F. I say next that they are also the least that are in the ratios A : B, C : D, E : F.
For, if not, there will be some numbers less than N, O, M, P continuously proportional in the ratios A : B, C : D, E : F. Let them be Q, R, S, T. Now since, as Q is to R, so is A to B,
while A, B are least, 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 B measures R.
For the same reason C also measures R; therefore B, C measure R. Therefore the least number measured by B, C will also measure R. [VII. 35] But G is the least number measured by B, C;
therefore G measures R. And, as G is to R, so is K to S: [VII. 13] therefore K also measures S. But E also measures S; therefore E, K measure S.
Therefore the least number measured by E, K will also measure S. [VII. 35] But M is the least number measured by E, K; therefore M measures S, the greater the less: which is impossible.
Therefore there will not be any numbers less than N, O, M, P continuously proportional in the ratios of A to B, of C to D, and of E to F; therefore N, O, M, P are the least numbers continuously proportional in the ratios A : B, C : D, E : F. Q. E. D. 1
PROPOSITION 5.
Plane numbers have to one another the ratio compounded of the ratios of their sides. Let A, B be plane numbers, and let the numbers C, D be the sides of A, and E, F of B;I say that A has to B the ratio compounded of the ratios of the sides. For, the ratios being given which C has to E and D to F, let the least numbers G, H, K that are continuously
in the ratios C : E, D : F be taken, so that,
Now, since D by multiplying C has made A, and by multiplying E has made L, therefore, as C is to E, so is A to L. [VII. 17] But, as C is to E, so is G to H; therefore also, as G is to H, so is A to L.
Again, since E by multiplying D has made L, and further by multiplying F has made B, therefore, as D is to F, so is L to B. [VII. 17] But, as D is to F, so is H to K; therefore also, as H is to K, so is L to B.
But it was also proved that,
sides; therefore A also has to B the ratio compounded of the ratios of the sides. Q. E. D. 2
PROPOSITION 6.
If there be as many numbers as we please in continued proportion, and the first do not measure the second, neither will any other measure any other. Let there be as many numbers as we please, A, B, C, D, E, in continued proportion, and let A not measure B; I say that neither will any other measure any other. Now it is manifest that A, B, C, D, E do not measure one another in order; for A does not even measure B. I say, then, that neither will any other measure any other. For, if possible, let A measure C. And, however many A, B, C are, let as many numbers F, G, H, the least of those which have the same ratio with A, B, C, be taken. [VII. 33] Now, since F, G, H are in the same ratio with A, B, C, and the multitude of the numbers A, B, C is equal to the multitude of the numbers F, G, H, therefore, ex aequali, as A is to C, so is F to H. [VII. 14] And since, as A is to B, so is F to G, while A does not measure B, therefore neither does F measure G; [VII. Def. 20] therefore F is not an unit, for the unit measures any number. Now F, H are prime to one another. [VIII. 3] And, as F is to H, so is A to C; therefore neither does A measure C. Similarly we can prove that neither will any other measure any other. Q. E. D.PROPOSITION 7.
If there be as many numbers as we please in continued proportion, and the first measure the last, it will measure the second also. Let there be as many numbers as we please, A, B, C, D, in continued proportion; and let A measure D; I say that A also measures B. For, if A does not measure B, neither will any other of the numbers measure any other. [VIII. 6] But A measures D. Therefore A also measures B. Q. E. D.PROPOSITION 8.
If between two numbers there fall numbers in continued proportion with them, then, however many numbers fall between them in continued proportion, so many will also fall in continued proportion between the numbers which have the same ratio with the original numbers. Let the numbers C, D fall between the two numbers A, B in continued proportion with them, and let E be made in the same ratio to F as A is to B; I say that, as many numbers as have fallen between A, B in continued proportion, so many will also fall between E, F in continued proportion. For, as many as A, B, C, D are in multitude, let so many numbers G, H, K, L, the least of those which have the same ratio with A, C, D, B, be taken; [VII. 33] therefore the extremes of them G, L are prime to one another. [VIII. 3] Now, since A, C, D, B are in the same ratio with G, H, K, L, and the multitude of the numbers A, C, D, B is equal to the multitude of the numbers G, H, K, L, therefore, ex aequali, as A is to B, so is G to L. [VII. 14] But, as A is to B, so is E to F; therefore also, as G is to L, so is E to F. But G, L 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 greater the greater and the less the less, that is, the antecedent the antecedent and the consequent the consequent. [VII. 20] Therefore G measures E the same number of times as L measures F. Next, as many times as G measures E, so many times let H, K also measure M, N respectively; therefore G, H, K, L measure E, M, N, F the same number of times. Therefore G, H, K, L are in the same ratio with E, M, N, F. [VII. Def. 20] But G, H, K, L are in the same ratio with A, C, D, B; therefore A, C, D, B are also in the same ratio with E, M, N, F. But A, C, D, B are in continued proportion; therefore E, M, N, F are also in continued proportion. Therefore, as many numbers as have fallen between A, B in continued proportion with them, so many numbers have also fallen between E, F in continued proportion. Q. E. D. 3PROPOSITION 9.
If two numbers be prime to one another, and numbers fall between them in continued proportion, then, however many numbers fall between them in continued proportion, so many will also fall between each of them and an unit in continued proportion. Let A, B be two numbers prime to one another, and let C, D fall between them in continued proportion, and let the unit E be set out; I say that, as many numbers as fall between A, B in continued proportion, so many will also fall between either of the numbers A, B and the unit in continued proportion. For let two numbers F, G, the least that are in the ratio of A, C, D, B, be taken, three numbers H, K, L with the same property, and others more by one continually, until their multitude is equal to the multitude of A, C, D, B. [VIII. 2] Let them be taken, and let them be M, N, O, P. It is now manifest that F by multiplying itself has made H and by multiplying H has made M, while G by multiplying itself has made L and by multiplying L has made P. [VIII. 2, Por.] And, since M, N, O, P are the least of those which have the same ratio with F, G, and A, C, D, B are also the least of those which have the same ratio with F, G, [VIII. 1] while the multitude of the numbers M, N, O, P is equal to the multitude of the numbers A, C, D, B, therefore M, N, O, P are equal to A, C, D, B respectively; therefore M is equal to A, and P to B. Now, since F by multiplying itself has made H, therefore F measures H according to the units in F. But the unit E also measures F according to the units in it; therefore the unit E measures the number F the same number of times as F measures H. Therefore, as the unit E is to the number F, so is F to H. [VII. Def. 20] Again, since F by multiplying H has made M, therefore H measures M according to the units in F. But the unit E also measures the number F according to the units in it; therefore the unit E measures the number F the same number of times as H measures M. Therefore, as the unit E is to the number F, so is H to M. But it was also proved that, as the unit E is to the number F, so is F to H; therefore also, as the unit E is to the number F, so is F to H, and H to M. But M is equal to A; therefore, as the unit E is to the number F, so is F to H, and H to A. For the same reason also, as the unit E is to the number G, so is G to L and L to B. Therefore, as many numbers as have fallen between A, B in continued proportion, so many numbers also have fallen between each of the numbers A, B and the unit E in continued proportion. Q. E. D.PROPOSITION 10.
If numbers fall between each of two numbers and an unit in continued proportion, however many numbers fall between each of them and an unit in continued proportion, so many also will fall between the numbers themselves in continued proportion. For let the numbers D, E and F, G respectively fall between the two numbers A, B and the unit C in continued proportion; I say that, as many numbers as have fallen between each of the numbers A, B and the unit C in continued proportion, so many numbers will also fall between A, B in continued proportion. For let D by multiplying F make H, and let the numbers D, F by multiplying H make K, L respectively. Now, since, as the unit C is to the number D, so is D to E, therefore the unit C measures the number D the same number of times as D measures E. [VII. Def. 20] But the unit C measures the number D according to the units in D; therefore the number D also measures E according to the units in D; therefore D by multiplying itself has made E. Again, since, as C is to the number D, so is E to A, therefore the unit C measures the number D the same number of times as E measures A. But the unit C measures the number D according to the units in D; therefore E also measures A according to the units in D; therefore D by multiplying E has made A. For the same reason also F by multiplying itself has made G, and by multiplying G has made B. And, since D by multiplying itself has made E and by multiplying F has made H, therefore, as D is to F, so is E to H. [VII. 17] For the same reason also,PROPOSITION 11.
Between two square numbers there is one mean proportional number, and the square has to the square the ratio duplicate of that which the side has to the side. Let A, B be square numbers, and let C be the side of A, and D of B; I say that between A, B there is one mean proportional number, and A has to B the ratio duplicate of that which C has to D. For let C by multiplying D make E. Now, since A is a square and C is its side, therefore C by multiplying itself has made A. For the same reason also D by multiplying itself has made B. Since then C by multiplying the numbers C, D has made A, E respectively, therefore, as C is to D, so is A to E. [VII. 17] For the same reason also,PROPOSITION 12.
Between two cube numbers there are two mean proportional numbers, and the cube has to the cube the ratio triplicate of that which the side has to the side. Let A, B be cube numbers, and let C be the side of A, and D of B; I say that between A, B there are two mean proportional numbers, and A has to B the ratio triplicate of that which C has to D. For let C by multiplying itself make E, and by multiplying D let it make F; let D by multiplying itself make G, and let the numbers C, D by multiplying F make H, K respectively. Now, since A is a cube, and C its side, and C by multiplying itself has made E, therefore C by multiplying itself has made E and by multiplying E has made A. For the same reason also D by multiplying itself has made G and by multiplying G has made B. And, since C by multiplying the numbers C, D has made E, F respectively, therefore, as C is to D, so is E to F. [VII. 17] For the same reason also,PROPOSITION 13.
If there be as many numbers as we please in continued proportion, and each by multiplying itself make some number, the products will be proportional; and, if the original numbers by multiplying the products make certain numbers, the latter will also be proportional. Let there be as many numbers as we please, A, B, C, in continued proportion, so that, as A is to B, so is B to C; let A, B, C by multiplying themselves make D, E, F, and by multiplying D, E, F let them make G, H, K; I say that D, E, F and G, H, K are in continued proportion. For let A by multiplying B make L, and let the numbers A, B by multiplying L make M. N respectively. And again let B by multiplying C make O, and let the numbers B, C by multiplying O make P, Q respectively. Then, in manner similar to the foregoing, we can prove that D, L, E and G, M, N, H are continuously proportional in the ratio of A to B, and further E, O, F and H, P, Q, K are continuously proportional in the ratio of B to C. Now, as A is to B, so is B to C; therefore D, L, E are also in the same ratio with E, O, F, and further G, M, N, H in the same ratio with H, P, Q, K. And the multitude of D, L, E is equal to the multitude of E, O, F, and that of G, M, N, H to that of H, P, Q, K; therefore, ex acquali,PROPOSITION 14.
If a square measure a square, the side will also measure the side; and, if the side measure the side, the square will also measure the square. Let A, B be square numbers, let C, D be their sides, and let A measure B; I say that C also measures D. For let C by multiplying D make E; therefore A, E, B are continuously proportional in the ratio of C to D. [VIII. 11] And, since A, E, B are continuously proportional, and A measures B, therefore A also measures E. [VIII. 7] And, as A is to E, so is C to D; therefore also C measures D. [VII. Def. 20] Again, let C measure D; I say that A also measures B. For, with the same construction, we can in a similar manner prove that A, E, B are continuously proportional in the ratio of C to D. And since, as C is to D, so is A to E, and C measures D, therefore A also measures E. [VII. Def. 20] And A, E, B are continuously proportional; therefore A also measures B. Therefore etc. Q. E. D.PROPOSITION 15.
If a cube number measure a cube number, the side will also measure the side; and, if the side measure the side, the cube will also measure the cube. For let the cube number A measure the cube B, and let C be the side of A and D of B; I say that C measures D. For let C by multiplying itself make E, and let D by multiplying itself make G; further, let C by multiplying D make F, and let C, D by multiplying F make H, K respectively. Now it is manifest that E, F, G and A, H, K, B are continuously proportional in the ratio of C to D. [VIII. 11, 12] And, since A, H, K, B are continuously proportional, and A measures B, therefore it also measures H. [VIII. 7] And, as A is to H, so is C to D; therefore C also measures D. [VII. Def. 20] Next, let C measure D; I say that A will also measure B. For, with the same construction, we can prove in a similar manner that A, H, K, B are continuously proportional in the ratio of C to D. And, since C measures D, and, as C is to D, so is A to H, therefore A also measures H, [VII. Def. 20] so that A measures B also. Q. E. D.PROPOSITION 16.
If a square number do not measure a square number, neither will the side measure the side; and, if the side do not measure the side, neither will the square measure the square. Let A, B be square numbers, and let C, D be their sides; and let A not measure B; I say that neither does C measure D. For, if C measures D, A will also measure B. [VIII. 14] But A does not measure B; therefore neither will C measure D. Again, let C not measure D; I say that neither will A measure B. For, if A measures B, C will also measure D. [VIII. 14] But C does not measure D; therefore neither will A measure B. Q. E. D.PROPOSITION 17.
If a cube number do not measure a cube number, neither will the side measure the side; and, if the side do not measure the side, neither will the cube measure the cube. For let the cube number A not measure the cube number B, and let C be the side of A, and D of B; I say that C will not measure D. For if C measures D, A will also measure B. [VIII. 15] But A does not measure B; therefore neither does C measure D. Again, let C not measure D; I say that neither will A measure B. For, if A measures B, C will also measure D. [VIII. 15] But C does not measure D; therefore neither will A measure B. Q. E. D.PROPOSITION 18.
Between two similar plane numbers there is one mean proportional number; and the plane number has to the plane number the ratio duplicate of that which the corresponding side has to the corresponding side. Let A, B be two similar plane numbers, and let the numbers C, D be the sides of A, and E, F of B. Now, since similar plane numbers are those which have their sides proportional, [VII. Def. 21] therefore, as C is to D, so is E to F. I say then that between A, B there is one mean proportional number, and A has to B the ratio duplicate of that which C has to E, or D to F, that is, of that which the corresponding side has to the corresponding side. Now since, as C is to D, so is E to F, therefore, alternately, as C is to E, so is D to F. [VII. 13] And, since A is plane, and C, D are its sides, therefore D by multiplying C has made A. For the same reason also E by multiplying F has made B. Now let D by multiplying E make G. Then, since D by multiplying C has made A, and by multiplying E has made G, therefore, as C is to E, so is A to G. [VII. 17] But, as C is to E, so is D to F; therefore also, as D is to F, so is A to G. Again, since E by multiplying D has made G, and by multiplying F has made B, therefore, as D is to F, so is G to B. [VII. 17] But it was also proved that,PROPOSITION 19.
Between two similar solid numbers there fall two mean proportional numbers; and the solid number has to the similar solid number the ratio triplicate of that which the corresponding side has to the corresponding side. Let A, B be two similar solid numbers, and let C, D, E be the sides of A, and F, G, H of B. Now, since similar solid numbers are those which have their sides proportional, [VII. Def. 21] therefore, as C is to D, so is F to G,PROPOSITION 20.
If one mean proportional number fall between two numbers, the numbers will be similar plane numbers. For let one mean proportional number C fall between the two numbers A, B;I say that A, B are similar plane numbers. Let D, E, the least numbers of those which have the same ratio with A, C, be taken; [VII. 33] therefore D measures A the same number of times that E measures C. [VII. 20]
Now, as many times as D measures A, so many units let there be in F; therefore F by multiplying D has made A, so that A is plane, and D, F are its sides. Again, since D, E are the least of the numbers which have
the same ratio with C, B, therefore D measures C the same number of times that E measures B. [VII. 20] As many times, then, as E measures B, so many units let there be in G;
therefore E measures B according to the units in G; therefore G by multiplying E has made B. Therefore B is plane, and E, G are its sides. Therefore A, B are plane numbers. I say next that they are also similar.
For, <*> since F by multiplying D has made A, and by multiplying E has made C, therefore, as D is to E, so is A to C, that is, C to B. [VII. 17] Again, <*> since E by multiplying F, G has made C, B respectively,
therefore, as F is to G, so is C to B. [VII. 17] But, as C is to B, so is D to E; therefore also, as D is to E, so is F to G. And alternately, as D is to F, so is E to G. [VII. 13] Therefore A, B are similar plane numbers; for their sides
are proportional. Q. E. D. 4