Kitap 8
5
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, as C is to E, so is G to H, and, as D is to F, so is H to K. [VIII. 4]
5
And let D by multiplying E make L.
5
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]
5
But, as C is to E, so is G to H; therefore also, as G is to H, so is A to L.
5
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]
5
But, as D is to F, so is H to K; therefore also, as H is to K, so is L to B.
5
But it was also proved that, as G is to H, so is A to L; therefore, ex aequali, as G is to K, so is A to B. [VII. 14]
5
But G has to K the ratio compounded of the ratios of the sides; therefore A also has to B the ratio compounded of the ratios of the sides. Q. E. D. 1, 5, 29, 31. compounded of the ratios of their sides. As in VI. 23, the Greek has the less exact phrase, compounded of their sides.
PROPOSITION 6.
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.
6
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.
6
Now it is manifest that A, B, C, D, E do not measure one another in order; for A does not even measure B.
6
I say, then, that neither will any other measure any other.
6
For, if possible, let A measure C.
6
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]
6
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]
