| If a first magnitude has to a second the same ratio as a third has to a fourth, and also a fifth has to the second the same ratio as a sixth to the fourth, then the sum of the first and fifth has to the second the same ratio as the sum of the third and sixth has to the fourth. | ||
| Let a first magnitude AB have to a second C the same ratio as a third DE has to a fourth F, and let also a fifth BG have to the second C the same ratio as a sixth EH has to the fourth F.
I say that the sum of the first and fifth, AG, has to the second C the same ratio as the sum of the third and sixth, DH, has to the fourth F. | ||
| Since BG is to C as EH is to F, inversely, C is to BG as F is to EH. | V.7.Cor | |
| Then, since AB is to C as DE is to F, and C is to BG as F is to EH, therefore, ex aequali, AB is to BG as DE is to EH. | V.22 | |
| And, since the magnitudes are proportional taken separately, they are also proportional taken jointly, therefore AG is to GB as DH is to HE. | V.18 | |
| But also BG is to C as EH is to F, therefore, ex aequali, AG is to C as DH is to F. | V.22 | |
| Therefore, if a first magnitude has to a second the same ratio as a third has to a fourth, and also a fifth has to the second the same ratio as a sixth to the fourth, then the sum of the first and fifth has to the second the same ratio as the sum of the third and sixth has to the fourth. | ||
| Q.E.D. | ||
Although the proposition is stated using the antecedent terms of the proportions, by inversion it applies to the consequent terms as well.
This proposition is used in proposition VI.31.