Let there are as many numbers as we please, A, B, C, and D, in continued proportion, and let A measure D.
I say that A also measures B.
If A does not measure B, neither does any other of the numbers measure any other. But A measures D. Therefore A also measures B.
Therefore, if there are as many numbers as we please in continued proportion, and the first measures the last, then it also measures the second.
This proposition is the contrapositive of the previous theorem.
This proposition is used in propositions VIII.14 and VIII.15.
| Book VIII | VIII.14, VIII.15 |
|---|