Then, because A contains D three times,

For the same reason,
And also,

A=D+D+D.

B=E+E+E;

C=F+F+F.

Therefore, adding equals to equals (Ax. 2. 1.), A+B+C is equal to D+E+F, taken three times. In the same manner, if A, B, and C were each any other equimultiple of D, E, and F, it would be shown that A+ B+C was the same multiple of D+E+F.

COR. Hence, if m be any number, mD+mE+mF=m(D+E+F). For mD, mE, and mF are multiples of D, E, and F by m, therefore their sum is also a multiple of D+E+F by m.

PROP. II. THEOR.

If to a multiple of a magnitude by any number, a multiple of the same magnitude by any number be added, the sum will be the same multiple of that magnitude that the sum of the two numbers is of unity.

Let A mC, and BnC; A+B=(m+n)C.

For, since A=mC, A=C+C+C+&c. C being repeated m times. For the same reason, B=C+C+&c. C being repeated n times. Therefore, adding equals to equals, A+B is equal to C taken m+n times; that is, A+B=(m+n\C. Therefore A+B contains C as oft as there are units in m+n.

COR. 1. In the same way, if there be any number of multiples whatsoever, as A=mE, B=nE, C=pE, it is shown, that A+B+C=(m+n +p)E.

COR. 2. Hence also, since A+B+C=(m+n+p)E, and since A=mE, B=nE, and C=pE, mE+nE+pE=(m+n+p)E.

PROP. III. THEOR.

If the first of three magnitudes contain the second as often as there are units ́ in a certain number, and if the second contain the third also, as often as there are units in a certain number, the first will contain the third as often as there are units in the product of these two numbers.

Let A=mB, and B=nC; then A=mnC.

But nC+nC,

Since B=nC, mB=nC+nC+&c. repeated m times. &c. repeated m times is equal to C (2. Cor. 2. 5.), multiplied by n+n+&c. n being added to itself m times; but n added to itself m times, is n multiplied by m, or mn. Therefore nC+nC+&c. repeated m times=mnC; whence also mB=mnC, and by hypothesis A=mB, therefore A=mnC.

PROP. IV. THEOR.

If the first of four magnitudes has the same ratio to the second which the third has to the fourth, and if any equimultiples whatever be taken of the first and third, and any whatever of the second and fourth; the multiple of the first shall have the same ratio to the multiple of the second, that the multiple of the third has to the multiple of the fourth.

:

Let A B C : D, and let m and ʼn be any two numbers; mA : nB : mC : nD.

Take of mA and mC equimultiples by any number p, and of nB and nD equimultiples by any number q. Then the equimultiples of mA, and mC by p, are equimultiples also of A and C, for they contain A and C as oft as there are units in pm (3. 5.), and are equal to pmA and pmC. For the same reason the multiples of nB and nD by q, are qnB, qnD. Since, therefore, A B C D, and of A and C there are taken any equimultiples, viz. pmA and pmC, and of B and D, any equimultiples qnB, qnD, if pmA be greater than qnB, pmC must be greater than qnD (def. 5. 5.); if equal, equal; and if less, less. But pmA, pmC are also equimultiples of mA and mC, and qnB, qnD are equimultiples of nB and nD, therefore (def. 5. 5.), mA : nB :: mC : nD.

COR. In the same manner it may be demonstrated, that if A: B:: C: D, and of A and C equimultiples be taken by any number m, viz. mA and mC, mA: B:: mC: D. This may also be considered as included in the proposition, and as being the case when n= n=1.

PROP. V. THEOR.

If one magnitude be the same multiple of another, which a magnitude taken from the first is of a magnitude taken from the other; the remainder is the same multiple of the remainder, that the whole is of the whole.

Let mA and mB be any equimultiples of the two magnitudes A and B, of which A is greater than B; mA-mB is the same multiple of A-B that mA is of A, that is, mA-mB=m(A—B).

Let D be the excess of A above B, then A-B=D, and adding B to both, A=D+B. Therefore (1. 5.) mA=mD+mB; take mB from both, and mA—mB=mD; but D=A—B, therefore mA-mB=m(A—B).

PROP. VI. THEOR.

If from a multiple of a magnitude by any number a multiple of the same magnitude by a less number be taken away, the remainder will be the same multiple of that magnitude that the difference of the numbers is of unity.

Let mA and nA be multiples of the magnitude A, by the numbers m and n, and let m be greater than n; mA—nĂ contains A as oft as m-n contains unity, or m×nA=(m-n)A.

Let m-n=q; then m=n+q. Therefore (2. 5.) mA=nA+qA; take nA from both, and mA―nA=qA. Therefore mA-nA contains A as oft

as there are units in q, that is, in m—n, or mA—nA=(m—n)A.

COR. When the difference of the two numbers is equal to unity or m— a=1, then mA—nA=A.

PROP. A. THEOR.

If four magnitudes be proportionals, they are proportionals also when taken inversely.

If A B C D, then also B: A:: D: C.

Let mA and mC be any equimultiples of A and C ; nB and nD any equimultiples of B and D. Then, because A : B :: C: D, if mA be less than *B, mC will be less than nD (def. 5. 5.), that is, if nB be greater than mA, nD will be greater than mC. For the same reason, ‚if nB=mA, nD=mC, and if nB mA, nDmC. But nB, nD are any equimultiples of B and D, and mA, mC any equimultiples of A and C, therefore (def. 5. 5.), B : A :: D: C.

PROP. B. THEOR.

If the first be the same multiple of the second, or the same part of it, that the third is of the fourth; the first is to the second as the third to the fourth.

First, if mA, mB be equimultiples of the magnitudes A and B, mA: A:: mB: B.

Take of mA and mB equimultiples by any number n; and of A and B equimultiples by any number p; these will be nmA (3. 5.), pA, nmB (3. 5.), pB. Now, if nmA be greater than pA, nm is also greater than p; and if nm is greater than p, nmB is greater than pB, therefore, when nmA is greater than pA, nmB is greater than pB. In the same manner, if nmA=pA, nmB=pB, and if nmA ДpA, nmВ pB. Now, nmA, nmB are any equimultiples of mA and mB; and pA, pB are any equimultiples of A and B, therefore mA: A :: mB : B (def. 5. 5.).

Next, Let C be the same part of A that D is of B; then A is the same multiple of C that B is of D, and therefore, as has been demonstrated, A : C:: B : D and inversely (A. 5.) C : A :: D ; B.

:

PROP. C. THEOR.

If the first be to the second as the third to the fourth; and if the first be a multiple or a part of the second, the third is the same multiple or the same part of the fourth.

Let A B C : D, and first, let A be a multiple of B, C is the same multiple of D, that is, if AmB, C=mD.

Take of A and C equimultiples by any number as 2, viz. 2A and 2C; and of B and D, take equimultiples by the number 2m, viz. 2mB, 2mD (3.

5.); then, because A=mB,2A=2mB; and since A: B :: C: D, and since 2A=2mB, therefore 2C=2mD (def. 5. 5.), and C=mD, that is, C contains D, m times, or as often as A contains B.

Next, Let A be a part of B, C is the same part of D. For, since A: B :: C: D, inversely (A. 5.), B: A:: D: C. But A being a part of B, B is a multiple of A; and therefore, as is shewn above, D is the same multiple of C, and therefore C is the same part of D that A is of B.

PROP. VII. THEOR.

Equal magnitudes have the same ratio to the same magnitude; and the same has the same ratio to equal magnitudes.

Let A and B be equal magnitudes, and C any other; A: C:: B: C. Let mA, mB, be any equimultiples of A and B; and nC any multiple of C.

Because A=B, mA=mB (Ax. 1. 5.); wherefore, if mA be greater than nC, mB is greater than nC; and if mA=nC, mB=nC; or, if mA /nC, mB ZnC. But mA and mB are any equimultiples of A and B, and nC is any multiple of C, therefore (def. 5. 5.) A: C:: B: C.

Again, if A=B, C : A :: C : B; for, as has been proved, A: C : : B : C, and inversely (A. 5.), C : A : : C: B.

PROP. VIII. THEOR.

Of unequal magnitudes, the greater has a greater ratio to the same than the less has; and the same magnitude has a greater ratio to the less than it has to the greater.

Let A + B be a magnitude greater than A, and C a third magnitude, A+B has to Ca greater ratio than A has to C; and C has a greater ratio to A than it has to A+B.

Let m be such a number that mA and mB are each of them greater than C; and let nC be the least multiple of C that exceeds mA+mB; then nC -C, that is (n-1)C (1. 5.) will be less than mA+mB, or mA+mB, that is, m(A+B) is greater than (n-1)C. But because nC is greater than mA+mB, and C less than mB, nC-C is greater than mA, or mA is less than nC-C, that is, than (n-1)C. Therefore the multiple of A+B by m exceeds the multiple of C by n— —1, but the multiple of A by m does not exceed the multiple of C by n-1; therefore A+B has a greater ratio to C than A has to C (def. 7. 5.).

Again, because the multiple of C by n-1, exceeds the multiple of A by m, but does not exceed the multiple of A+B by m, C has a greater ratio to A than it has to A+B (def. 7. 5.),

PROP. IX. THEOR.

Magnitudes which have the same ratio to the same magnitude are equal to one another; and those to which the same magnitude has the same ratio are equal to one another.

If A : C :: B: C, A=B.

For if not, let A be greater than B; then because A is greater than B, two numbers, m and n, may be found, as in the last proposition, such that mA shall exceed nC, while mB does not exceed nC. But because A: C :: BC; and if mA exceed nC, mB must also exceed nC (def. 5. 5.): and it is also shewn that mB does not exceed nC, which is impossible. Therefore A is not greater than B; and in the same way it is demonstrated that B is not greater than A; therefore A is equal to B.

Next, let C: A :: C: B, A=B. For by inversion (A. 5.) A: C :: B : C; and therefore, by the first case, A=B.

PROP. X. THEOR.

That magnitude, which has a greater ratio than another has to the same magnitude, is the greatest of the two: And that magnitude, to which the same has a greater ratio than it has to another magnitude, is the least of the two.

If the ratio of A to C be greater than that of B to C, A is greater than B. Because A: C7B: C, two numbers m and n may be found, such that mA7nC, and mBnC (def. 7. 5.). Therefore also mA7mB, and A7B (Ax. 4. 5.).

:

Again, let C B7C: A; BZA. For two numbers, m and n may be found, such that mC7nB, and mCnA (def. 7. 5.). Therefore, since nB is less, and nA greater than the same magnitude mC, nBnA, and therefore BZA,

PROP. XI. THEOR.

Ratios tnat are equal to the same ratio are equal to one another.

:

If A BC: D; and also C: D:: E: F; then A: B::E: F. Take mA, mC, mE, any equimultiples of A, C, and E; and nB, nD, nF, any equimultiples of B, D, and F. Because A: B:: C: D, if mA 7 nB, mC7nD (def. 5. 5.); but if mC7nD, mE7nF (def. 5. 5.), because C: D E: F; therefore if mA 7nB, mE7nF. In the same manner, if mA= nB, mE=nF; and if mAnB, mE/nF. Now, mA, mE are any equimultiples whatever of A and E; and nB, nF any whatever of B and F; therefore A: B; ; E; F (def. 5. 5.).