## Proposition 16

 If two numbers are relatively prime, then the second is not to any other number as the first is to the second. Let the two numbers A and B be relatively prime. I say that B is not to any other number as A is to B. If possible as A is to B, let B be to C. Now A and B 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 antecedent the antecedent and the consequent the consequent, therefore A measures B as antecedent antecedent. VII.21 VII.20 But it also measures itself, therefore A measures A and B which are relatively prime, which is absurd. Therefore B is not to C as A is to B. Therefore, if two numbers are relatively prime, then the second is not to any other number as the first is to the second. Q.E.D.

#### Outline of the proof

Let a and b be relatively prime. Then the ratio a:b is in lowest terms. Suppose that ratio is the same as the ratio b:c. Then the antecedent of the ratio a:b, namely a, divides the antecedent of the ratio b:c, namely b. But a cannot divide b since they're relatively prime.

#### Use of this proposition

This proposition is used in IX.18.

Next proposition: IX.17

Previous: IX.15

 Select from Book IX Book IX intro IX.1 IX.2 IX.3 IX.4 IX.5 IX.6 IX.7 IX.8 IX.9 IX.10 IX.11 IX.12 IX.13 IX.14 IX.15 IX.16 IX.17 IX.18 IX.19 IX.20 IX.21 IX.22 IX.23 IX.24 IX.25 IX.26 IX.27 IX.27 IX.28 IX.29 IX.30 IX.31 IX.32 IX.33 IX.34 IX.35 IX.36 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