| If three numbers in continued proportion are the least of those which have the same ratio with them, then the sum of any two is relatively prime to the remaining number. | ||
| Let A, B, and C, three numbers in continued proportion, be the least of those which have the same ratio with them.
I say that the sum of any two of the numbers A, B, and C is relatively prime to the remaining number, that is, A plus B is relatively prime to C, B plus C is relatively prime to A, and A plus C is relatively prime to B. | ||
| Take two numbers DE and EF to be the least of those which have the same ratio with A, B, and C. | VIII.2 | |
| It is then manifest that DE multiplied by itself makes A, and multiplied by EF makes B, and that EF multiplied by itself makes C. | VIII.2 | |
| Now, since DE and EF are least, therefore they are relatively prime. But, if two numbers are relatively prime, then their sum is also relatively prime to each, therefore DF is relatively prime to each of the numbers DE and EF. | VII.22
VII.28 | |
| But, further, DE is also relatively prime to EF, therefore DF and DE are relatively prime to EF. But, if two numbers are relatively prime to any number, then their product is also relatively prime to the other, so that the product of FD and DE is relatively prime to EF, hence the product of FD and DE is also relatively prime to the square on EF. | VII.24
VII.25 | |
| But the product of FD and DE is the square on DE together with the product of DE and EF, therefore the sum of the square on DE and the product of DE and EF is relatively prime to the square on EF. | II.3 | |
| And the square on DE is A, the product of DE and EF is B, and the square on EF is C, therefore the sum of A and B is prime to C.
Similarly we can prove that the sum of B and C is relatively prime to A. I say next that the sum of A and C is also relatively prime to B. | ||
| Since DF is relatively prime to each of the numbers DE and EF, therefore the square on DF is also relatively prime to the product of DE and EF. | VII.24
VII.25 | |
| But the sum of the squares on DE and EF together with twice the product of DE and EF equals the square on DF, therefore the sum of the squares on DE and EF together with twice the product of DE and EF is relatively prime to the product of DE and EF. | II.4 | |
| Taken separately, the sum of the squares on DE and EF together with the product of DE and EF is relatively prime to the product of DE and EF.
Therefore, taken separately again, the sum of the squares on DE and EF is relatively prime to the product of DE and EF. And the square on DE is A, the product of DE and EF is B, and the square on EF is C. Therefore the sum of A and C is relatively prime to B. | ||
| Therefore, if three numbers in continued proportion are the least of those which have the same ratio with them, then the sum of any two is relatively prime to the remaining number. | ||
| Q.E.D. | ||
Book IX Introduction - Proposition IX.14 - Proposition IX.16.