So far while learning about how to combine rational numbers, we have seen addition, subtraction, multiplication and division. There is one final major thing we can do to a pair of rational numbers: to compare them. Once you know what you're looking for, it is very easy to compare certain pairs of rational numbers; in this page, we'll look at how to extend that.
Intuitively, if I gave you an apple in one hand, and four apples in the other hand [1], you would be able to tell me that the four-apples hand was holding more apples. This is the kind of comparison we are trying to generalise, and we will do it from one simple observation.
The observation we will make is that it is very easy to determine whether a rational number is negative or not. [2] Indeed, we just need to see if we're holding an anti-thing or not. This might be hard if we have to do some calculations first—for example, it's not immediately obvious whether is anti- or not—but we'll assume that we've already done all the calculations to reduce an expression down to just a single rational number. (In this example, we can use the subtraction techniques to work out that . That's obviously negative, because it's got a negative sign out the front.)
To summarise, then, what I have just asserted is that it is easy to see whether a rational number is negative or not; we say that a number which is positive [3] is "greater than ". Recall that was the name we gave to the rational number which is "no apples at all"; then what this is saying is that if I have a positive number of apples in one hand, and no apples at all in the other, then according to the intuition earlier, I have more apples in the first hand than in the no-apples hand. (Hopefully you see that this is true; if not, let us know, because this is one of those strange areas where it's very hard for a mathematician to remember not understanding it immediately and intuitively, since we've each been doing this for decades. We're doing our best to remember what parts of the maths are genuinely difficult and weird, but we might get it wrong.)
Similarly, we say that is less than any positive number, and write , for instance. The littler quantity always goes on the littler end of the arrow. (The number itself is neither negative nor positive. It's just . Therefore we can't write or ; it's actually the case that , and this excludes the other two options of or .)
Now that we can compare any rational with , we will work out how to compare any rational with any other rational.
The key insight is that adding the same number of apples [5] to each hand should not change the relative fact of whether there are more apples in one hand or the other. For a real-world example, on a balance scale it doesn't matter whether you add five grams or even fifty kilograms onto each of the two pans; the result of the weight comparison will be the same. (Now you should probably forget the scales metaphor again, because the weight of antimatter behaves in a way that doesn't lend itself nicely to what we're trying to do.)
So let's say we want to compare and . Which of the two is bigger?
Well, what we can do is add of an anti-apple to both hands. By the principle that "adding the same amount to each hand doesn't change their quantity relative to each other", the result of the comparison between and is just the same as the result of the comparison between and : that is, between and . That's easy, though, since we already know how to compare with anything!
So is bigger than , since is bigger than : we write .
In this section, we will just close our eyes, swallow grimly, and hope for the best.
If we want to compare and , what should happen? If you already have the right intuition built in, then this will be obvious, but before you know how to do it, it's really not clear at all. After all, is "a large amount of anti-apple" (it's nearly five whole anti-apples!) but is "a small amount of apple" (not even one whole apple).
Here's where the "close our eyes" happens. Let's just go by the principle that adding the same amount of apple to both hands shouldn't change anything, and we'll add apples to both sides.
Then the becomes , and the becomes the rather gruesome . [6] But we already know how to compare with things, so we can see that is bigger than .
Therefore we must have being bigger than .
By the same token, any amount of anti-apple is always less than any amount of apple, and indeed any amount of anti-apple is always less than .
How about comparing and ? The first thing to do is to remember that we can take the minus signs outside the fractions, because an anti-chunk of apple is the same as a chunk of anti-apple.
That is, we are trying to compare and .
Add to both, to compare and .
Add to both again, to compare and .
Clearly the is bigger, so it must be that is bigger than .
Just as we had an instant rule for addition, so we can make an instant rule for comparison.
If we want to see which of and is bigger, it is enough to see which of and is bigger.
But
Sadly from this point there are actually two cases to consider, because we might have produced something that looks like any of the following:
(That is, there could be minus-signs scattered all over the place.)
However, there is a way to get around this, and it hinges on the fact from the Division page that .
If is negative, then we can just write , and now is positive! For example, has ; then that is the same as . Similarly, is the same as .
Likewise we can always write so that the numerator is positive: as if necessary.
So, we have four cases:
The way I've done this is all completely correct, but it's slightly backwards from the way a mathematician would usually present it. (Not sufficiently backwards that mathematicians should hate it, but I couldn't resist.)
Usually, when finding a way of comparing objects, mathematicians would probably do what we've done above: find an easy way of comparing some of the objects, and then try to extend it to cover all the objects.
But if a mathematician already knows a way of comparing objects and is just writing it down for the benefit of other mathematicians, they would usually write down the complete "cover all the objects" method right at the start, and would then go on to show that it does indeed cover all the objects and has all the right properties.
This has the benefit of producing very terse descriptions with the minimum necessary amount of writing; but it's very bad at helping other people understand where it came from. If you know where something came from, you stand a better chance of being able to recreate it yourself if you forget the bottom line, and you might well remember the bottom line better, too. This is why we've done it slightly backwards here.
My hands are rather large.
Recall that "negative" meant "it is expressed in anti-apples rather than apples".
That is, expressed in apples rather than anti-apples.
Mathematicians hate it!
Or anti-apples.
This is all good practice for you to get fluent with adding and subtracting.
Remember, that's the thing on the bottom of the fraction: in this case, .
Aside from parodying Internet banner ads, that is.