The original question was: Why is it when we multiply fractions we multiply the numerators across and the denominators across? Whereas when we divide we don’t do the same? Who came up with these rules and why do they work the way they do?
Physicist: For all of these rules, start with addition and then extend and extend and extend, while doing the least damage possible. At first blush I thought this would be a short and straightforward question, but it really isn’t. There are wrong ways to construct the rules of arithmetic, but if you get technical there’s not necessarily a right way. That said, as far as basic arithmetic goes (no highfalutin calculus, or set theory, or anything) there’s really just one “right” way.
Rational numbers (“fractions”) have been in use for thousands of years and they, and their rules, have been independently invented at least dozens of times. More recently (19th century) a bunch of really A-type mathematicians got together to “put mathematics on a more rigorous footing“. Those mathematicians (there were many) are responsible for unpleasant statements like “there are exactly as many prime numbers as rational numbers“, and are a big reason behind why modern mathematicians always look just a little pained when they speak. It was these paragons of compulsivity that established how the rules are stated, and gave everything definite names like “associative”, “commutative”, etc.
Constructing the rational numbers and all of their behavior starts with an innocent statement; that “ is the unique number such that “. This one definition is the headwaters for all of the properties of rational numbers that follow. If ever you’re totally stuck, and don’t know how to handle fractions, keep this single and tremendously important definition in mind. Everything else follows (but maybe not immediately). Just a quick warning for those of you expecting any of the rest of this post be about history or something interesting; everything that follows is a dry-as-bones, utterly literal, derivation of the arithmetic rules for fractions and rational numbers from the ground up. Definitely boring, but worth seeing once.
Starting with integers, along with regular addition, subtraction, and multiplication (basic arithmetic tools), and the definition of ““, you’ll find that all of the weird properties of rational numbers come tumbling out.
Often will be multiplied by another integer. To save room we write: . This is strictly a convention; a standard defined notation that’s agreed upon.
For example: .
For example: .
Already we can say things like: . We can even do a little better and say .
For example: .
How do fractions multiply? It would be nice to know: . But check this out: . This means that does the exact same thing that does, and (since this is all there is in the definition) in fact is the same. So, .
For example: . But keep in mind that “ is the unique number such that “, and since has been shown to have the same property we know that . This may seem anal-retentive and unnecessary, but that’s how math is done.
Now we’ve got the tools to define multiplication in general: . In other words “fractions multiply across”.
For example: . Deriving the rules is often complex, but using them isn’t.
Now, again using nothing new, . This means two things: fractions can be reduced, and multiplying the top and the bottom by the same thing does nothing.
For example: .
It would be great if the addition and subtraction of fractions follow all of the same rules that hold for integers. As a mathematician, the way you make this happen is to declare that it’s true, and then check for inconsistencies. The rule most important for defining addition and subtraction of fractions is the “distributive law”, which says that “A(B+C) = AB+AC” (this doesn’t lead to any new inconsistencies).
First, . So now, if the fractions have the same denominator, then they can be added together.
But what about fractions with different denominators? The trick is to not have them:
Huzzah! We can multiply, add, and reduce fractions with ease and impunity!
But what about dividing fractions? Well, here we have to tread lightly and describe exactly what is meant by “dividing by a fraction”. So, in a perfectly reasonable extension of the original definition, “ is the unique number such that “.
But check this out: . Since does exactly what is defined to do, we can say that .
Another way to see this is to say
For example: .
Just a quick note on behalf of whoever grades your tests or homework: Please reduce fractions, .
What about subtraction and negative numbers? In general, in every case, without exception of any kind, whenever you see “-A” you can exchange it with “(-1)A” and exchange “B-A” with “B+(-1)A”. After that, treat “(-1)” just like any other number or variable*.
So (still using no new rules!), we can say
For those of you who’ve read this far, you can show using the same definitions and tricks above that:
Using the fact that , you can get .
Similarly, you can show that .
There are big issues with , because it’s defined as the number that, when multiplied by 0, gives 1. But of course that number doesn’t exist*. In practice, if you ever see a “1/0”, stop mathing. And every time you divide by something that could be zero, make a note on the side of the paper. The short answer to almost every question about “1/0” is “doesn’t”.
For example: If , then and by the way only when .
It’s also worth pointing out that when things are added in the denominator, there’s not much that can be done with it. So, if you’ve got something like , then you’re stuck. That’s as simplified as it can get. The one and only thing you can say about is that (so long as ).
Also, for those of you wondering (this is a bit technical), the rational numbers also inherit their positions in the number line very naturally. Using only the fact that “if A<B and C>0, then AC<BC” and the fact that we know how to order integers, you can figure out which rational number is bigger than which other rational numbers. Since , if you can figure out which of AD and BC is bigger (they’re both integers), then you can figure out which of and is bigger.
Even better, we can describe exactly where the rational numbers are!
For example: You can show that is just as far from 1 as it is from 0. and .
Just to get ahead of the most obvious follow up questions: There’s a lot of weird emphasis on how exactly mathematical notation is used in text. The first key to dealing with complicated text-based notation is: don’t. Writing equations using the symbols found only on a keyboard is something our unfortunate and sadly limited ancestors had to consider. If you’re reading this now, then you’re in a bigger and better-notated world.
In general, you can always write A/B = A(1/B), and A/B/C = A(1/B)(1/C), and so on. A little fancier: . If for some horrifying, bizarre reason you find yourself looking at a string of numbers or variables being multiplied together, with no parentheses in sight, just replace “A/B” with “” and go*.
For example: .
That (way too long of a post) all said, if you’re reading this because you’re presently panic-studying the night before a test, and actually needed a short answer, memorize this:
“A/B is A times 1/B. 1/B times B is one. There’s nothing else to say about 1/B.”
and go to sleep sooner rather than later.
*If your math background is extensive enough to know some exceptions, then… be cool, you know what I mean.