Εικόνες σελίδας
PDF
Ηλεκτρ. έκδοση

Next, let A be a submultiple of B.

Then must C be the same submultiple of D.

For. A is to B as C is to D,

.. B is to A as D is to C,

Now B is a multiple of A,

and

V. 12.

..D is the same multiple of C, by the first case.
Hence C is the same submultiple of D, that A is of B.

Q. E. D.

PROPOSITION XX. (Eucl. v. 20.)

If there be three magnitudes, and other three, which have the same ratio, taken two and two, then, if the first be greater than the third, the fourth must be greater than the sixth; and if equal, equal; if less, less.

Let A, B, C be three magnitudes, and D, E, F other three, and let A be to B as D is to E,

and B be to C as E is to F.

Then if A be greater than C, D must be greater than F; and if equal, equal; if less, less.

First, if A be greater than C,

A has to B a greater ratio than C has to B.

V. 7.

But C has to B the same ratio that F has to E, Hyp. & V. 12.

..A has to B a greater ratio than F has to E.

..D has to E a greater ratio than F has to E.
..D is greater than F.

Similarly the other cases may be proved.

V. 13.

V. 9.

Q. E. D

PROPOSITION XXI. (Eucl. v. 22.)

If there be any number of magnitudes, and as many others, which have the same ratio taken two and two in order, the first must have to the last of the first magnitudes the same ratio which the first of the others has to the last of these.

First, let there be three magnitudes A, B, C, and other three D, E, F.

And let A be to B as D is to E,

and B be to C as E is to F.

Then must A be to C as D is to F.

Take of A and D any equimultiples mA, mD,

of B and E....

of C and F..

..nB, nE,
..pC, pF.

Then A is to B as D is to E,

V. 17.

.. mA is to nB as mD is to nE.

So also, nB is to pC as nE is to pF.

.:. if m▲ be greater than pC, mD is greater than pF, and if equal, equal; if less, less.

.. A is to C as D is to F.

V. 20. V. Def. 5.

The proposition may be easily extended to any number of magnitudes.

PROPOSITION XXII. (Eucl. v. 24.)

Q. E. D.

If the first have to the second the same ratio which the third has to the fourth, and the fifth have to the second the same ratio which the sixth has to the fourth, then the first and fifth together must have to the second the same ratio which the third and sixth together have to the fourth.

Let A be to B as C is to D,

and E be to B as F is to D.

Then must A, E together be to B as C, F together is to D.

For. E is to B as F is to D,

..B is to E as D is to F.

And A is to B as C is to D,
and B is to E as D is to F,

V. 12.

.. A is to E as C is to F.

V. 21.

.. A, E together is to E as C, F together is to F, V. 16. and E is to B as F is to D;

.. A, E together is to B as C, F together is to D. V. 21.

Q. E. D.

SECTION VI.

Containing the Propositions to which no reference is made in Book VI.

PROPOSITION XXIII. (Eucl. v. 5.)

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 must be the same multiple of the remainder, that the whole is of the whole.

Let B and D be the magnitudes which are taken away, and A and C the magnitudes which remain,

then A, B together, and C, D together will be the wholes.

And let A, B together be the same multiple of C, D together, that B is of D.

Then must A be the same multiple of C that A, B together is of C, D together.

Take E the same multiple of C that B is of D,

Then E, B together is the same multiple of C, D together that B is of D.

V. 1.

But A, B together is the same multiple of C, D together that B is of D.

.. E, B together = A, B together,

[blocks in formation]

.. A is the same multiple of C that B is of D.

V. Ax. 1.

I. Ax. 3.

Q. E. D.

PROPOSITION XXIV. (Eucl. v. 6.)

If two magnitudes be equimultiples of two others, and if equimultiples of these be taken from the first two, the remainders are either equal to these others, or equimultiples of them.

Let B and D be the magnitudes which are taken away, and A and C the magnitudes which remain ;

then A, B together and C, D together will be the wholes.

Let A, B together be the same multiple of P,

that C, D together is of Q,

and let B be the same multiple of P, that D is of Q.

Then must A and C be equal respectively to P and Q, or A and C be equimultiples of P and Q.

[blocks in formation]

and if A be a multiple of P, C is the same multiple of Q.

Q. E. D.

PROPOSITION XXV. (Eucl. v. 17.)

If magnitudes, taken jointly, be proportionals, they shall also be proportionals when taken separately; that is, if two magnitudes together have to one of them the same ratio which two others have to one of these, the remaining one of the first two must have to the other the same ratio which the remaining one of the last two has to the other of these.

Let A, B together have the same ratio to B

that C, D together have to D.

Then must A be to B as C to D.

Take of A, B, C, D any equimultiples mA, mB, mC, mD, and again of B, D take any equimultiples nB, nD.

Then ·.· mA is the same multiple of A that mB is of B, .:mA, mB together is the same multiple of A, B

together that mA is of A.

V. 1.

And . mC is the same multiple of C that mD is of D, .. mC, mD together is the same multiple of C, D

together that mC is of C.

But mA is the same multiple of A that mC is of C.

V. 1.

.. mA, mB together is the same multiple of A,

together that mC, mD together is of C, D together.

Again, mB, nB together is the same multiple of B that mD, nD together is of D.

B

Now, since A, B together is to B as C, D together is to D, .. if mA, mB together be greater than mB, nB together, mC, mD together is greater than mD, nD together; and if equal, equal; if less, less.

V. 4.

That is, if mA be greater than nB, mC is greater than nD; and if equal, equal; if less,

.. A is to B as C is to D.

less.

I. Ax. 3, 5.

V. Def. 5.

Q. E. D.

« ΠροηγούμενηΣυνέχεια »