The easiest way to see this is to consider bit strings.
is the number of bit strings of length
containing
1’s. Of all of these strings, some start with a 1 and the rest start with a 0. First consider all the bit strings which start with a 1. After the 1, there must be
more bits (to get the total length up to
) and exactly
of them must be 1’s (as we already have one, and we need
total). How many strings are there like that? There are exactly
such bit strings, so of all the length
bit strings containing
1’s,
of them start with a 1. Similarly, there are
which start with a 0 (we still need
bits and now
of them must be 1’s). Since there are
bit strings containing
bits with
1’s, that is the number of length
bit strings with
1’s which start with a 0. Therefore
Another way: consider the question, how many ways can you select
pizza toppings from a menu containing
choices? One way to do this is just
Another way to answer the same question is to first decide whether or not you want anchovies. If you do want anchovies, you still need to pick
toppings, now from just
choices. That can be done in
ways. If you do not want anchovies, then you still need to select
toppings from
choices (the anchovies are out). You can do that in
ways. Since the choices with anchovies are disjoint from the choices without anchovies, the total choices are
But wait. We answered the same question in two different ways, so the two answers must be the same. Thus
You can also explain (prove) this identity by counting subsets, or even lattice paths.