PROPOSITION 19.¶

If, as a whole is to a whole, so is a part subtracted to a part subtracted, the remainder will also be to the remainder as whole to whole.

For, as the whole AB is to the whole CD, so let the part AE subtracted be to the part CF subtracted ;

I say that the remainder EB will also be to the remainder FD as the whole AB to the whole CD.

For since, as AB is to CD, so is AE to CF,

[V. 16]alternately also, as BA is to AE, so is DC to CF.

And, since the magnitudes are proportional componendo, they will also be proportional separando, [V. 17]

that is, as BE is to EA, so is DF to CF, and, alternately,

[V. 16]as BE is to DF, so is EA to FC.

But, as AE is to CF, so by hypothesis is the whole AB to the whole CD.

Therefore also the remainder EB will be to the remainder FD as the whole AB is to the whole CD. [V. 11]

Therefore etc.

From this it is manifest that, if magnitudes be proportional componendo, they will also be proportional convertendo.

Q. E. D.

Dependency Graph¶