Euclid's Elements
Book V
Proposition 12

If any number of magnitudes are proportional, then one of the antecedents is to one of the consequents as the sum of the antecedents is to the sum of the consequents.
Let any number of magnitudes A, B, C, D, E, and F be proportional, so that A is to B as C is to D, and as E is to F.

I say that A is to B as the sum of A, C, and E is to the sum of B, D, and F.

java applet or image
Take equimultiples G, H, and K of A, C, and E, and take other, arbitrary, equimultiples L, M, and N of B, D, and F.
Then since A is to B as C is to D, and as E is to F, and of A, C, and E equimultiples G, H, and K have been taken, and of B, D, and F other, arbitrary, equimultiples L, M, and N, therefore, if G is in excess of L, then H is also in excess of M, and K of N; if equal, equal; and if less, less. So that, in addition, if G is in excess of L, then the sum of G, H, and K is in excess of the sum of L, M, and N; if equal, equal; and if less, less. V.Def.5
Now G and the sum of G, H, and K are equimultiples of A and the sum of A, C, and E, since, if any number of magnitudes are each the same multiple the same number of other magnitudes, then the sum is that multiple of the sum. V.1
For the same reason L and the sum of L, M, and N are also equimultiples of B and the sum of B, D, and F, therefore A is to B as the sum of A, C, and E is to the sum of B, D, and F. V.Def.5
Therefore, if any number of magnitudes are proportional, then one of the antecedents is to one of the consequents as the sum of the antecedents is to the sum of the consequents.
Q.E.D.

Guide

The general form for this proposition is that if x1:y1 = x2:y2 = ... = xn:yn, then each of these ratios also equals the ratio (x1 + x2 + ... + xn) : (y1 + y2 + ... + yn).

This proposition is used in V.15 and a few other propositions in books VI, X, and XII.


Book V Introduction - Proposition V.11 - Proposition V.13.

© 1996
D.E.Joyce
Clark University