Theorem 6.1.1 · Symmetry
counts the ways to choose objects from objects. counts the ways to choose the objects you don't take. Every choice of what to take is exactly one choice of what to leave, so the two counts must be equal!
Count the same thing two ways and get identities for free: symmetry, row sums, Vandermonde, Pascal and the Hockey Stick, each one a shortcut through a sum that would take forever by hand.
In this section you will be able to prove identities by counting one thing two ways, and use row sums of Pascal's triangle.
Count the subsets of a 4-person club two ways: switch by switch, or by size. You must get the same number, and that gives you an identity for free.
This chapter’s big idea is double counting. Find one quantity, count it in two different ways, and set the two answers equal. Each proof below is a short Socratic story: open “Proof” and answer the blue questions yourself first.
counts the ways to choose objects from objects. counts the ways to choose the objects you don't take. Every choice of what to take is exactly one choice of what to leave, so the two counts must be equal!
We use double counting: count one thing in two ways.
How many ways are there to select some subset of objects? For each object we have 2 choices: choose it or don't. So there are ways.
How many ways are there to select 0 objects? 1 object? 2 objects? objects? There are ways to select 0 objects, ways to select 1, ways to select 2, …, ways to select .
Adding these up counts every subset once, by its size:
which must equal !
For ,
That is,
Suppose we have students, and we must select some of them to go on a field trip.
One of the students, Bob, is sick and can't go. Among all subsets of the other students, say have an even number of people and have an odd number.
Later, Bob recovers and can go. In terms of and , how many subsets of all people are odd, and how many are even? Adding Bob to a group flips its parity. The even groups become odd, and the odd groups become even. Without Bob, they stay as they were.
In total, among all subsets of the people, how many are odd and how many are even? Odd: (without Bob) (with Bob) . Even: too. They are the same!
What is this statement in terms of choose symbols? The odd groups number and the even groups . These are equal, which is the identity.
Suppose that 13 cards numbered are arranged in a row. The task is to pick them up in numerically increasing order, working repeatedly from left to right. In the example below, cards 1, 2, 3 are picked up on the first pass, 4 and 5 on the second pass, 6 on the third pass, 7, 8, 9, 10 on the fourth pass, and 11, 12, 13 on the fifth pass. For how many of the possible orderings of the cards will the 13 cards be picked up in exactly two passes?
In this section you will be able to split a choice by how many come from each group, and recognize Vandermonde sums.
You have 4 oranges and 3 bananas, and you pick 3 fruits. Count them all at once, or count oranges first and then bananas.
Every pick has some number of oranges, and the rest are bananas. Add the cases and you get the same total as choosing from all the fruit at once. That is Vandermonde’s Identity. Look for it whenever a sum of products of binomial coefficients has bottom numbers that add to a constant.
Imagine you have oranges and bananas.
How many ways are there to select any fruits? There are ways.
How many ways are there to select oranges? From the oranges there are ways.
How many ways are there to select oranges and 1 banana? ways for the oranges and for the banana: in all.
Using this logic, can you find another formula for the number of ways to select fruits? The pick has oranges and 0 bananas, or oranges and 1 banana, …, or 0 oranges and bananas. Adding the cases:
But also counts the ways to choose fruits, so these must be equal!
If you understand the logic behind this proof (split the pick by how many come from each group), applying Vandermonde's becomes intuitive and you won't have to memorize the identity.
What happens if you put in Vandermonde's Identity? You get
Why is each term a square? By symmetry (Theorem 6.1.1), . So each term is .
In words: choose people from red-shirts and blue-shirts. With reds you take blues, which is the same as choosing the blues to leave out.
A club consisting of 11 men and 12 women needs to choose a committee from among its members so that the number of women on the committee is one more than the number of men on the committee. The committee could have as few as 1 member or as many as 23 members. Let be the number of such committees that can be formed. If , find .
Say the committee has men. How many women does it have?
A choir director must select a group of singers from among his 6 tenors and 8 basses. The only requirements are that the difference between the number of tenors and basses must be a multiple of 4, and the group must have at least one singer. Let be the number of different groups that could be selected. What is the remainder when is divided by 100?
This problem also appears in the book as 5.10.
There are two distinguishable flagpoles, and there are 19 flags, of which 10 are identical blue flags, and 9 are identical green flags. Let be the number of distinguishable arrangements using all of the flags in which each flagpole has at least one flag and no two green flags on either pole are adjacent. Find the remainder when is divided by 1000. (Solve this problem using Vandermonde's Identity.)
In this section you will be able to use Pascal's Identity and the Hockey Stick Identity to add binomial coefficients in one step.
Adding C(3, 3) + C(4, 3) + ⋯ + C(10, 3) by hand is tedious. On Pascal’s triangle the whole sum sits in one cell.
Each number in Pascal’s triangle is the sum of the two numbers above it. Follow that rule down a diagonal and the sums pile up: a straight run of numbers (the stick) adds up to the number just below its end, one step over (the blade).
Pascal's Triangle is a triangular array of binomial coefficients. It contains many patterns that make complex calculations much easier.
Row (counting the top row as row 0) holds . Below, the first rows are written as binomial coefficients; Show me gives rows 0 to 10 as numbers.
Imagine you have people and you must choose leaders.
How many ways are there to do this? This is just .
If Bob, one of the people, is a leader, how many ways are there to choose the other leaders from the remaining people? This is .
If Bob is not a leader, how many ways are there to select the leaders from the remaining people? This is .
We have counted the ways to select leaders in two different ways! Equating them:
Like before, we count one quantity in two ways.
How many ways are there to select leaders among people? This is .
Now rank the people by skill level, from 1 (best) to .
If the lowest-ranked leader has rank , how many ways are there to choose the other leaders? The other leaders must come from the people ranked above: .
If the lowest-ranked leader has rank ? There are people ranked higher, so .
We continue like this all the way to the end.
If the lowest-ranked leader has rank ? There are people ranked higher, so .
Casework on the lowest-ranked leader gives
ways to select the leaders. We also found ways, so they must be equal!
What is the full stick from down to ? By the Hockey Stick Identity it is .
What is the part you don't want, from down to ? The Hockey Stick Identity again: .
Subtract. What's left is .
This is derived by simply applying the Hockey Stick Identity twice and subtracting. See if you can prove it before you open the proof!
Imagine how tedious Example 6.3 would be if you had to add by hand! The Hockey Stick Identity turns the whole sum into one number.
These identities can be helpful in combinatorics problems, but how to apply them is not always obvious. A good approach to many combinatorics problems is to just manipulate the expressions until an identity appears.
Melinda has ten empty boxes and 75 textbooks, three of which are mathematics textbooks. The first box holds 3 textbooks, the 2nd box holds 4 textbooks, the 3rd box holds 5 textbooks, all the way until the 10th box, which holds 12 textbooks. If Melinda packs her textbooks into these boxes in random order, the probability that all three mathematics textbooks end up in the same box can be written as , where and are relatively prime positive integers. Find .
Among the 75 book slots, we must choose 3 of them for the math textbooks. How many ways are there to do this?
Consider all 1000-element subsets of the set . From each such subset choose the least element. The arithmetic mean of all of these least elements is , where and are relatively prime positive integers. Find .
To find the average, first find the sum of the least elements over all subsets. How many subsets have 1 as the least element?
In this section you will be able to mix this chapter's identities on contest problems.
The book prints the choir problem twice. Solve it once with Vandermonde, then check you can do it again here without the hints.
The other practice problems live in the lessons they use: 6.4.3 in Section 6.1, and 6.4.1 and 6.4.4 in Section 6.2. Want every problem from this chapter on one page? Open the problem set.
This problem also appears in the book as 6.4.1.
A choir director must select a group of singers from among his 6 tenors and 8 basses. The only requirements are that the difference between the number of tenors and basses must be a multiple of 4, and the group must have at least one singer. Let be the number of groups that could be selected. What is the remainder when is divided by 100?