In like manner, the same things being supposed, if M has to N the same ratio which A has to D, then, for shortness' sake, M is said to have to Na ratio compounded of the same ratios which compound the ratio of A to D; that is, a ratio compounded of the ratios of E to F, G to H, and K to L.

11. If three magnitudes are continual proportionals, the ratio of the first to the third is said to be duplicate of the ratio of the first to the second "Thus, if A be to B as B to C, the ratio of A to C is said to be duplicate "of the ratio of A to B. Hence, since by the last definition, the ratio "of A to C is compounded of the ratios of A to B, and B to C, a ratio, "which is compounded of two equal ratios, is duplicate of either of "these ratios."

12. If four magnitudes are continual proportionals, the ratio of the first to the fourth is said to be triplicate of the ratio of the first to the second, or of the ratio of the second to the third, &c. "So also, if there are five continual proportionals; the ratio of the first "to the fifth is called quadruplicate of the ratio of the first to the se"cond; and so on, according to the number of ratios. Hence, a ratio compounded of three equal ratios, is triplicate of any one of those ra"tios; a ratio compounded of four equal ratios quadruplicate,” &c.

13. In proportionals, the antecedent terms are called homologous to one another, as also the consequents to one another.

Geometers make use of the following technical words to signify certain ways of changing either the order or magnitude of proportionals, so as that they continue still to be proportionals.

14. Permutando, or alternando, by permutation, or alternately; this word is used when there are four proportionals, and it is inferred, that the first has the same ratio to the third which the second has to the fourth; or that the first is to the third as the second to the fourth: See Prop. 16. of this Book.

15. Invertendo, by inversion: When there are four proportionals, and it is inferred, that the second is to the first, as the fourth to the third. Prop A. Book 5.

16. Componendo, by composition: When there are four proportionals, and it is inferred, that the first, together with the second, is to the second as the third, together with the fourth, is to the fourth. 18th Prop. Book 5.

17. Dividendo, by division; when there are four proportionals, and it is inferred that the excess of the first above the second, is to the second, as the excess of the third above the fourth, is to the fourth. 17th Prop. Book 5.

18. Convertendo, by conversion; it is inferred, that the first is to to its excess above the fourth.

when there are four proportionals, and its excess above the second, as the third Prop. D. Book 5.

19. Ex æquali (sc. distantia), or ex æquo, from equality of distance; when there is any number of magnitudes more than two, and as many others, so that they are proportionals when taken two and two of each rank, and it is inferred, that the first is to the last of the first rank of magnitudes, as the first is to the last of the others; Of this there are the two following kinds, which arise from the different order in which the magnitudes are taken two and two.

20. Ex æquali, from equality; this term is used simply by itself, when the first magnitude is to the second of the first rank, as the first to the second of the other rank; and as the second is to the third of the first rank, so is the second to the third of the other; and so on in order, and the inference is as mentioned in the preceding definition; whence this is called ordinate proportion.

It is demonstrated in the 22d Prop. Book 5.

21. Ex æquali, in proportione perturbata, seu inordinata: from equality, in perturbate, or disorderly proportion; this term is used when the first magnitude is to the second of the first rank, as the last but one is to the last of the second rank; and as the second is to the third of the first rank, so is the last but two to the last but one of the second rank; and as the third is to the fourth of the first rank, so is the third from the last, to the last but two, of the second rank; and so on in a cross, or inverse, order; and the inference is as in the 19th definition. It is demonstrated in the 23d Prop. of Book 5.

AXIOMS.

1. EQUIMULTIPLES of the same, or of equal magnitudes, are equal to one another.

2. Those magnitudes of which the same, or equal magnitudes, are equimultiples, are equal to one another.

3. A multiple of a greater magnitude is greater than the same multiple of a less.

4. That magnitude of which a multiple is greater than the same multiple of another, is greater than that other magnitude.

PROP. I. THEOR.

If any number of magnitudes be equimultiples of as many others, each of each, what multiple soever any one of the first is of its part, the same multiple is the sum of all the first of the sum of all the rest.

Let any number of magnitudes A, B, and C be equimultiples of as many others, D, E, and F, each to each, A+B+C is the same multiple of D+ E+F, that A is of D.

Let A contain D, B contain E, and C contain F, each the same number of times, as, for instance, three times

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 B=nC; A+B=(m+n)C.

For, since AmC, 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 he 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 BnC; then A=mnC.

Since B=nC, mB=nC+nC+&c. repeated m times. But nc+nC, &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+C+&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. pm▲ 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

:: mCnD.

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=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 mAnA=(mn)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→ n=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 nB, 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, n])=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 B 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.

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 A=mB, 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.