Five-year-old Harry and his family are going on a road trip. “Bring something to read on the drive, Harry,” his mother tells him. Harry is ecstatic – that means he gets to bring his rabbit books! He fetches his 12 favorite books about rabbits. His mother is not excited about the prospect of lugging around all those books for the whole trip. “Not all of them, Harry,” she tells him. “You can bring four.” Four!? Harry has a conundrum on his hands. How many ways can he choose four to bring for the drive?
The first thing we might notice about this problem is that it’s not asking for a sequence of books, where the order of the books matters. In this problem, it doesn’t matter what order the books are in. But this notion of selecting looks rather like our thought process from the factorials page. So we might start by saying, “Okay, we can still use the ordering strategy from the factorials page but let’s stop when we get past the first four. There are ways to pick the first book, and then there are books left and so ways to pick the second book, and then there are books left and so ways to pick the third book, and then there are books left and so ways to pick the fourth book, and the order of the rest of the books doesn’t matter because they’re staying home, so we get a total of ways.”
Well, that’s a good start. But let’s look more closely at the problem. When we say order doesn’t matter in here, we’re not just talking about the books that stay home: we’re also talking about the books that Harry chooses for the drive. A choice of Books A, B, C, and D is the same as a choice of Books D, C, B, and A, which is the same as a choice of Books B, D, A, and C. If you put those four books in a big sack and jumbled them up, you wouldn’t be able to tell one ordered sequence from another: they would be indistinguishable.
Let’s think a little more carefully about what we’re doing. We’ll start with a simpler case. Suppose Harry could only choose three books out of six. Now if we followed our initial approach, we’d say there are ways to pick the first book, times ways to pick the second book, times ways to pick the third book, for a total of ways. We’re still overcounting, but now the numbers are more manageable. If Harry chooses Books A and then B and then C, it’s the same as choosing Books B and then C and then A: either way, the same three books are coming on the drive.
Basically what we’re doing is lumping together all of the possible sequences that would be indistinguishable if you jumbled them up in a sack. So what possible sequences could produce this jumbled sack? Let’s list them:
A, B, C
A, C, B
B, A, C
B, C, A
C, A, B
C, B, A
And how many options are there? , which is . It’s the number of ways there are to arrange the letters. So if we’re trying to pick objects using our initial approach, we’re really counting six things when we should only be counting one. That means our answer is six times as big as it should be. For our real answer, then, we can start with , and then divide by to correct for overcounting:
If you’re not convinced, write all the options out for yourself!
Now let’s return to Harry’s conundrum. Remember, he needs to choose books out of . We now know how to tackle this: we start with ways to pick the first book time ways to pick the second times ways to pick the third times ways to pick the fourth, and then divide by to correct for overcounting. The result is:
And that’s our answer.
When we choose objects from a group of objects, and the order of the objects doesn’t matter, we call it “ choose ,” and we write it like this:
Let’s write a general formula for the logic we just went through. The first thing we did to calculate was to multiply until we had numbers being multiplied. That gave us a numerator of
We can do better than that, though. To get rid of the “…” in the middle, we can think of this expression as without the last terms. Then we can rewrite the expression as
Now that looks like a fraction, not a numerator. But bear with me for a minute. Our next step was to divide the numerator by to correct for overcounting. The result is:
And there we have it. That thing on the right is our formula.
The powerful thing about having a formula like that at our disposal is that now we can straightaway plug in the numbers whenever we want to choose things from a group, and we can use it to prove identities algebraically. However, there are often ways to prove these identities that are much less ugly.
For instance, we could prove that algebraically, like so:
Or we could ask ourselves what the identity really tells us. And we find that really means that Harry choosing some number of books to bring on the road trip is the same as Harry choosing the remaining number of books to stay home. Choosing out of is the same as choosing out of . And that’s a lot more intuitive, isn’t it?
Here’s another example. Suppose Harry reasons with his mother for a bit, and she changes her ruling: “Okay, Harry, you can bring six books; but let’s pack two of them in the back of the car.” Harry can pick six books in total and then pick two of those to get locked in the trunk. Or, he could pick the two books first, and from his remaining collection choose the four he can read in transit. Let’s create expressions for both methods.
For the first approach, Harry has ways to pick books out of , and then for whichever such choice he makes, he has ways to pick the that will be stored in the trunk. Multiplying these will give us our total number of options: .
On the other hand, he could first pick from to go in the back of the car – ways. Then from the remaining books in his collection, he picks to read on the drive, in one of ways. The total number of options is then . But this counts the same number of options as our first expression, so
Put more generally:
An algebraic approach would have involved expanding all of these out and multiplying. It’s not so elegant, but it certainly works. I’ll leave ye intrepid readers to work that one out yourself.
Perhaps the most famous of these counting identities is Pascal’s Identity:
We could prove this algebraically, or we could devise a clever counting argument. But there’s another way, one that’s much more streamlined – and it has to do with the reason it’s called Pascal’s Identity. Why is it called Pascal’s Identity? Read on….