Relative Sizes of Magnitudes on Unequal Ratios

Theorem
That is:
 * $a : c > b : c \implies a > b$
 * $c : b > c : a \implies b < a$

Proof
Let $A$ have to $C$ a greater ratio than $B$ has to $C$.


 * Euclid-V-10.png

Suppose $A = B$.

Then from Ratios of Equal Magnitudes $A : C = B : C$.

But by hypothesis $A : C > B : C$, so $A \ne B$.

Suppose $A < B$.

Then from Relative Sizes of Ratios on Unequal Magnitudes it would follow that $A : C < B : C$.

But by hypothesis $A : C > B : C$.

Therefore it must be that $A > B$.

Let $C$ have to $B$ a greater ratio than $C$ has to $A$.

Suppose $B = A$.

Then from Ratios of Equal Magnitudes $C : B = C : A$.

But by hypothesis $C : B > C : A$, so $B \ne A$.

Suppose $B > A$.

Then from Relative Sizes of Ratios on Unequal Magnitudes it would follow that $C : B < C : A$.

But by hypothesis $C : B > C : A$.

Therefore it must be that $B < A$.