PROPOSITION 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.

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