[summary: Division captures the idea of "sharing" apples between people, and it is the core motivating idea of the rational numbers.]

So far in our study of the arithmetic of rational numbers, we've had addition ("putting apples and chunks of apples side by side and counting what you've got"), subtraction ("the same, but you're allowed anti-apples too"), and multiplication ("make a rational number, but instead of starting from $~$1$~$ apple, start from some other number").

Division is what really sets the rational numbers apart from the integers, and it is the mathematician's answer to the question "if I have some apples, how do I share them among my friends?".

What's wrong with the integers?

If you have an integer number of apples (that is, some number of apples and anti-apples - no chunks allowed, just whole apples and anti-apples), and you want to share them with friends, sometimes you'll get lucky. If you have four apples, for instance, then you can share them out between yourself and one friend, giving each person two apples.

But sometimes (often, in fact) you'll get unlucky. If you want to share four apples between yourself and two others, then you can give each person one apple, but there's this pesky single apple left over which you just can't share.

What the rationals do for us

The trick, obvious to anyone who has ever eaten a cake, is to cut the leftover apple into three equally-sized pieces and give each person a piece. Now we have shared out all four apples equally.

But in order to do so, we've left the world of the integers, and in getting out our knife, we started working in the rationals. How much apple has everyone received, when we shared four apples among three people (that is, myself and two friends as recipients of apple)? %%hidden(Show solution): Everyone got $~$\frac{4}{3}$~$.

Indeed, everyone got one whole apple; and then we chopped the remaining apple into three $~$\frac{1}{3}$~$-chunks and gave everyone one chunk. So everyone ended up with one apple and one $~$\frac{1}{3}$~$-chunk.

By our instant addition rule %%note:If you've forgotten it, check out the addition page again; it came from working out a chunk size out of which we can make both the $~$\frac{1}{3}$~$-chunk and the $~$1$~$-chunk.%%, $$~$1 + \frac{1}{3} = \frac{1}{1} + \frac{1}{3} = \frac{3 \times 1 + 1 \times 1}{3 \times 1} = \frac{3+1}{3} = \frac{4}{3}$~$$

There's another way to see this, if (laudably!) you don't like just applying rules. We could cut every apple into three pieces at the beginning, so we're left with four collections of three $~$\frac{1}{3}$~$-sized chunks. But now it's easy to share this among three people: just give everyone one of the $~$\frac{1}{3}$~$-chunks from each apple. We gave everyone four chunks in total, so this is $~$\frac{4}{3}$~$. %%

The rationals provide the natural answer to all "sharing" questions about apples.

We write "rational number $~$x$~$ divided by rational number $~$y$~$" as $~$\frac{x}{y}$~$: that is, $~$x$~$ apples divided amongst $~$y$~$ people. (We'll soon get to what it means to divide by a non-integer number of people; just roll with it for now.) If space is a problem, we can write $~$a/n$~$ instead. Notice that our familiar notation of "$~$\frac{1}{m}$~$-sized chunks" is actually just $~$1$~$ apple divided amongst $~$m$~$ people: it's the result of dividing $~$1$~$ into $~$m$~$ equal chunks. So the notation does make sense, and it's just an extension of the notation we've been using already.

Division by a natural number

In general, $~$\frac{a}{m}$~$ apples, divided amongst $~$n$~$ people, is obtained by the "other way" above. Cut the $~$\frac{a}{m}$~$ into $~$n$~$ pieces, and then give everyone an equal number of pieces.

Remember, $~$\frac{a}{m}$~$ is made of $~$a$~$ copies of pieces of size $~$\frac{1}{m}$~$; so what we do is cut all of the $~$\frac{1}{m}$~$-chunks individually into $~$n$~$ pieces, and then give everyone $~$a$~$ of the little pieces we've made. But "cut a $~$\frac{1}{m}$~$-chunk into $~$n$~$ pieces" is just "cut an apple into $~$n$~$ pieces, but instead of doing it to one apple, do it to a $~$\frac{1}{m}$~$-chunk": that is, it is $~$\frac{1}{m} \times \frac{1}{n}$~$, or $~$\frac{1}{m \times n}$~$.

So the answer is just $$~$\frac{a}{m} / n = \frac{a}{m \times n}$~$$

Example

[todo: pictorial example]

Division by a negative integer

What would it even mean to divide an apple between four anti-people? How about a simpler question: dividing an apple between one anti-person%%note:Remembering that dividing $~$x$~$ apples between one person just gives $~$x$~$, since there's not even any cutting of the apples necessary.%%? (The answer to this would be $~$\frac{1}{-1}$~$.) It's not obvious!

Well, the thing to think about here is that if I take an apple, and share it among one person %%note:Myself, probably. I'm very selfish.%%, then I've got just the same apple as before (cut into no chunks): that is, $~$\frac{1}{1} = 1$~$. Also, if I take an apple and share it among one person who is not myself (and I don't give any apple to myself), then we've also just got the same unsliced apple as before: $~$\frac{1}{1} = 1$~$ again.

But if I take an apple, and give it to an anti-person%%note:Being very careful not to touch them, because I would annihilate an anti-person!%%, then from their perspective I'm the anti-person, and I've just given them an anti-apple. There's a law of symmetry built into reality: the laws of physics are invariant if we reflect "thing" and "anti-thing" throughout the universe.%%note:Technically this is not quite true: the actual symmetry is on reflecting charge, parity and time all together, rather than just parity alone. But for the purposes of this discussion, let's pretend that the universe is parity-symmetric.%% The anti-person sees the universe in a way that's the same as my way, but where the "anti" status of everything (and everyantithing) is flipped.

[todo: write "the universe is unchanged on swapping anti-status" in the Negative Integers chunk too, around where we work out what -5+3 is, and say "remember this!"]

Put another way, "anti-ness" is not an absolute notion but a relative one. I can only determine whether something is the same anti-ness or the opposite anti-ness to myself.

Sear this into your mind: the laws of rational-number "physics" are the same no matter who is observing. If I observe a transaction, like "I, a person, give someone an apple", then an external person will observe "The author, a person, gave someone an apple", while an external anti-person will observe "The author, an anti-person, gave an anti-person an anti-apple".

From the external person's perspective, they saw "someone (of the same anti-ness as me) gave someone else (of the same anti-ness as me) an apple (of the same anti-ness as me)". From the anti-person's perspective, everything is relatively the same: "someone (of the opposite anti-ness to me) gave someone else (of the opposite anti-ness to me) an apple (of the opposite anti-ness to me)".

So $~$\frac{-1}{-1}$~$, being "one anti-apple shared among one anti-person", can be viewed instead from the perspective of an anti-person; they see one apple being given to one person: that is, $~$\frac{-1}{-1}$~$ is equal to $~$1$~$.

Armed with the fact that $~$\frac{-1}{-1} = 1$~$, we can just apply our usual multiplication rule that $~$\frac{a}{m} \times \frac{b}{n} = \frac{a \times b}{m \times n}$~$, to deduce that $$~$\frac{1}{-m} = \frac{1}{-m} \times 1 = \frac{1}{-m} \times \frac{-1}{-1} = \frac{-1 \times 1}{-m \times -1} = \frac{-1}{m}$~$$

The law of symmetry-of-the-universe basically says that $~$\frac{a}{-b} = \frac{-a}{b}$~$.

[todo: division by rational number] [todo: division as "inverse of multiplication]

[todo: division by zero]

[todo: exercises]