We will give two different proofs of this fact. The first will be very similar to the previous example (counting subsets). The second proof is a little slicker, using lattice paths.
Proof.
Consider the question: “How many pizzas can you make using toppings when there are toppings to choose from?”
Answer 1: There are toppings, from which you must choose This can be done in ways.
Answer 2: Divide the toppings into two groups of toppings (perhaps meats and veggies). Any choice of toppings must include some number from the first group and some number from the second group. Consider each possible number of meat toppings separately:
0 meats: since you need to choose 0 of the meats and of the veggies.
1 meat: since you need 1 of meats so of veggies.
2 meats: Choose 2 meats and the remaining toppings from the veggies.
And so on. The last case is meats, which can be done in ways.
Thus the total number of pizzas possible is
This is not quite the left-hand side … yet. Notice that
and
and so on, by the identity in
Example 1.4.4. Thus we do indeed get
Since these two answers are answers to the same question, they must be equal, and thus
For an alternative proof, we use lattice paths. This is reasonable to consider because the right-hand side of the identity reminds us of the number of paths from to
Proof.
Consider the question: How many lattice paths are there from to
Answer 1: We must travel steps, and of them must be in the up direction. Thus there are paths.
Answer 2: Note that any path from to must cross the line That is, any path must pass through exactly one of the points: …, For example, this is what happens in the case
How many paths pass through To get to that point, you must travel units, and of them are to the right, so there are ways to get to From to takes steps, and of them are up. So there are ways to get from to Therefore there are paths from to through the point
What about through There are paths to get there ( steps, 1 to the right) and paths to complete the journey to ( steps, up). So there are paths from to through
In general, to get to through the point we have paths to the midpoint and then paths from the midpoint to So there are paths from to through
All together then the total paths from to passing through exactly one of these midpoints is
Since these two answers are answers to the same question, they must be equal, and thus