Ratios of Equal Magnitudes

Theorem
That is:
 * $a = b \implies a : c = b : c$
 * $a = b \implies c : a = c : b$

Proof
Let $A, B$ be equal magnitudes and let $C$ be any other arbitrary magnitude.

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


 * Euclid-V-7.png

Let equimultiples $D, E$ of $A, B$ be taken, and another arbitrary multiple $F$ of $C$.

We have that $D$ is the same multiple of $A$ that $E$ is of $B$, while $A = B$.

Therefore $D = E$.

But $F$ is another arbitrary magnitude.

Therefore:
 * $D > F \implies E > F$
 * $D = F \implies E = F$
 * $D < F \implies E < F$

We have that $D, E$ are equimultiples of $A, B$ while $F$ is another arbitrary multiple of $C$.

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

With the same construction we can show that $D = E$, while $F$ is some other magnitude.

Therefore:
 * $F > D \implies F > E$
 * $F = D \implies F = E$
 * $F < D \implies F < E$

But $F$ is a multiple of $C$, while $D, E$ are equimultiples of $A, B$.

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