Ratios of Numbers is Distributive over Addition

Proof
Let $A, B, C, D$ be as many numbers as we please in proportion, so that $A : B = C : D$.

We need to show that $A : B = A + C : B + D$.


 * Euclid-VII-12.png

We have that $A : B = C : D$.

So from, whatever aliquot part or aliquant part $A$ is of $B$, the same aliquot part or aliquant part is $C$ of $D$ also.

Therefore from:

and:

$A + C$ is the same aliquot part or aliquant part of $C + D$ that $A$ is of $B$.

So from, $A : B = A + C : B + D$.