When, of the equimultiples, the multiple of the first magnitude exceeds the multiple of the second, but the multiple of the third does not exceed the multiple of the fourth, then the first is said to have a *greater ratio* to the second than the third has to the fourth.

Definition 7 now says *w* : *x* > *y* : *z* when

Of course, *y* : *z* is called the lesser ratio.

When defining greater and lesser, there are a number of properties that should be verified. These are various transitivities and the law of trichotomy, some of the same properties of greater and lesser that magnitudes have. (See the Guide for the Common Notions.)

If *u* : *v* = *w* : *x,* and *w* : *x* < *y* : *z,* then *u* : *v* < *y* : *z.*

If *u* : *v* < *w* : *x,* and *w* : *x* < *y* : *z,* then *u* : *v* < *y* : *z.*

Euclid only has the first property, which is is proposition V.13. Its proof depends only on the definitions. The second is so much like it that it isn’t mentioned. The third one is quite easy to prove.

Euclid missed the law of trichotomy for magnitudes in his list of Common Notions, and he missed it for ratios, too. The side of the law which says at most one of the three cases can occur is first used in proposition V.9, while the side which says at least one occurs is first used in V.10.

The side of the law which says at most one of the three cases can occur is fairly easy to prove.

From the definitions themselves it is clear that *w* : *x* > *y* : *z* contradicts *w* : *x* = *y* : *z.* The first says there are *n* and *m* such that *nw* > *mx* but *ny* is not greater than *mz,* while the second concludes from *nw* > *mx* that *ny* > *mz* yielding a contradiction based on the law of trichotomy for magnitudes. Similarly *w* : *x* < *y* : *z* contradicts *w* : *x* = *y* : *z.*

Once transitivity has been shown, it can be shown that *w* : *x* > *y* : *z* contradicts *w* : *x* < *y* : *z,* for then *w* : *x* > *w* : *x,* and that contradicts *w* : *x* = *w* : *x.* (There are also proofs that don’t depend on transitivity.)

The other side of the law of trichotomy, the one that says at least one of the three cases holds, is a bit harder to prove, and it depends on treating V.Def.4 as an axiom of comparability. In fact, it is false without it. First, a proof using V.Def.4 as an axiom, then a counterexample to show that’s necessary.

**A proof of trichotomy.** Let *w* : *x* and *y* : *z* be any two ratios. We need to show that one of the three cases holds. We’ll assume the ratios aren’t the same and show one of them is greater than the other. When they’re not the same, then there are numbers *m* and *n* such that

We have three cases to consider, and two of them are easy. In one case, *nw* > *mx* but not *ny* > *mz,* so for that case *w* : *x* > *y* : *z.* In another case, *nw* < *mx* but not *ny* < *mz,* so for that case *w* : *x* < *y* : *z.*

Consider now the last case: *nw* = *mx* but *ny* does not equal *mz.* Then one of *ny* and *mz* is greater, say *ny* > *mz.* Now using V.Def.4 as an axiom, there is some some number *k* such that *k*(*ny* – *mz*) > *z.* Since *k*(*ny* – *mz*) = *kny* – *kmz,* therefore *kny* > *kmz* + *z,* that is, *kny* > (*km* + 1)*z.* But *knw* = *kmx,* and *kmx* < (*km* + 1)*x.* Therefore, (*kn*)*w* < (*km* + 1)*x.* But (*kn*)*y* > (*km* + 1)*z.* Therefore *w* : *x* < *y* : *z.* Q.E.D.

**A counterexample to trichotomy.** This counterexample has infinitesimals, so it doesn’t satisfy the axiom of comparability, that is,
V.Def.4 treated as an axiom. Let *y* be an infinitesimal with respect to *x,* that is, for any number *n, ny* < *x.* We’ll show that the two ratios *x* : *x* and *x*:(*x* + *y*) do not satisfy the law of trichotomy. First, though, note that the second ratio does satisfy V.Def.4 as a definition since twice each of *x* and *x* + *y* is greater than the other.

Now, the ratios *x* : *x* and *x* : (*x* + *y*) are not equal since 2*x* = 2*x* but 2*x* < 2(*x* + *y*). Next, *x* : (*x* + *y*) is not greater than *x* : *x,* since *nx* > *m*(*x* + *y*) implies *nx* > *mx.* Finally, *x* : *x* is not greater than *x* : (*x* + *y*), for if *nx* > *mx,* then *n* > *m,* so *nx* is not less than *mx* > *x,* and since *y* is an infinitesimal with respect to *x, x* > *my,* therefore *nx* – *mx* > *my,* that is,
*nx* > *m*(*x* + *y*).

In summary, since we have a proof of trichotomy that uses V.Def.4 as an axiom of comparability, and a counterexample of trichotomy that violates the axiom of comparability, we can conclude that any proof of trichotomy requires the axiom of comparability.