## 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 also fall in continued proportion between the numbers which have the same ratios with the original numbers. Let the numbers C and D fall between the two numbers A and B in continued proportion with them, and make E in the same ratio to F as A is to B. I say that, as many numbers as have fallen between A and B in continued proportion, so many also fall between E and F in continued proportion. As many as A, B, C, and D are in multitude, take so many numbers G, H, K, and L, the least of those which have the same ratio with A, C, D, and B. Then the extremes of them G and L are relatively prime. VII.33 VIII.3 Now, since A, C, D, and B are in the same ratio with G, H, K, and L, and the multitude of the numbers A, C, D, and B equals the multitude of the numbers G, H, K, and L, therefore, ex aequali A is to B as G is to L. VII.14 But A is to B as E is to F, therefore G is to L as E is to F. (V.11) But G and L are relatively prime, numbers which are relatively prime are also 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. VII.21 VII.20 Therefore G measures E the same number of times as L measures F. Next, let H and K measure M and N, respectively, as many times as G measures E. Then G, H, K, and L measure E, M, N, and F the same number of times. Therefore G, H, K, and L are in the same ratio with E, M, N, and F. VII.Def.20 But G, H, K, and L are in the same ratio with A, C, D, and B, therefore A, C, D, and B are also in the same ratio with E, M, N, and F. But A, C, D, and B are in continued proportion, therefore E, M, N, and F are also in continued proportion. Therefore, as many numbers as have fallen between A and B in continued proportion with them, so many numbers have also fallen between E and F in continued proportion. Therefore, if between two numbers there fall numbers in continued proportion with them, then, however many numbers fall between them in continued proportion, so many also fall in continued proportion between the numbers which have the same ratios with the original numbers. Q.E.D.
This proposition implies, among other things, that there is no number which forms a mean proportional between a number n and the number 2n, for if there were, there would be a number m so that 2, m, and 4 would form a continued proportion, but the only number between 2 and 4 is 3, and 2, 3, and 4 do not form a continued proportion. (If 1 is considered to be a number, the argument simplifies.) In modern terminology, this conclusion says the square root of 2 is not a rational number. See proposition X.9 for implications of this conclusion for imcommensurability of line segments.

#### Outline of the proof

Suppose that a:b = e:f and the sequence a, c, d, ..., b are in continued proportion. Use VII.33 to reduce that sequence to lowest terms g, h, k, ..., l. According to VIII.3, the ends of that sequence g and l are relatively prime. Since a:b = e:f, we also have g:l = e:f. But g is relatively prime to l, so the ratio g:l is in lowest terms (VII.21), and therefore g divides e the same number of times, say n, that l divides f (VII.20). Then the sequence ng, nh, nk, ..., nl is in continued proportion and starts with e and ends with f as required.

#### Use of this proposition

Although this proposition is not used in Book VIII, it is used in the first six propositions of Book IX.

Next proposition: VIII.9

Previous: VIII.7

 Select from Book VIII Book VIII intro VIII.1 VIII.2 VIII.3 VIII.4 VIII.5 VIII.6 VIII.7 VIII.8 VIII.9 VIII.10 VIII.11 VIII.12 VIII.13 VIII.14 VIII.15 VIII.16 VIII.17 VIII.18 VIII.19 VIII.20 VIII.21 VIII.22 VIII.23 VIII.24 VIII.25 VIII.26 VIII.27 Select book Book I Book II Book III Book IV Book V Book VI Book VII Book VIII Book IX Book X Book XI Book XII Book XIII Select topic Introduction Table of Contents Geometry applet About the text Euclid Web references A quick trip