G.206 there magnitudes others — Heath

V.23

If there be three magnitudes, and others equal to them in multitude, which taken two and two together are in the same ratio, and the proportion of them be perturbed, they will also be in the same ratio ex aequali.

Let there be three magnitudes A, B, C, and others equal to them in multitude, which, taken two and two together, are in the same proportion, namely D, E, F; and let the proportion of them be perturbed, so that,

as A is to B, so is E to F,

and, as B is to C, so is D to E;

I say that, as A is to C, so is D to F.

Of A, B, D let equimultiples G, H, K be taken, and of C, E, F other, chance, equimultiples L, M, N.

Then, since G, H are equimultiples of A, B, and parts have the same ratio as the same multiples of them, [G.193]

therefore, as A is to B, so is G to H.

For the same reason also,

as E is to F, so is M to N.

And, as A is to B, so is E to F;

[G.189]therefore also, as G is to H, so is M to N.

Next, since, as B is to C, so is D to E,

[G.195]alternately, also, as B is to D, so is C to E.

And, since H, K are equimultiples of B, D, and parts have the same ratio as their equimultiples,

[G.193]therefore, as B is to D, so is H to K.

But, as B is to D, so is C to E;

[G.189]therefore also, as H is to K, so is C to E.

Again, since L, M are equimultiples of C, E,

[G.193]therefore, as C is to E, so is L to M.

But, as C is to E, so is H to K;

therefore also, as H is to K, so is L to M, [G.189] and, alternately, as H is to L, so is K to M. [G.195]

But it was also proved that,

as G is to H, so is M to N.

Since, then, there are three magnitudes G, H, L, and others equal to them in multitude K, M, N, which taken two and two together are in the same ratio, and the proportion of them is perturbed,

therefore, ex aequali, if G is in excess of L, K is also in excess of N; if equal, equal; and if less, less. [G.204]

And G, K are equimultiples of A, D, and L, N of C, F.

Therefore, as A is to C, so is D to F.

Therefore etc. Q. E. D.

Dependency Graph