Recall that the quantity was defined inductively using Pascal’s identity
and denotes the number of -subsets of a set of size
(i.e.
distinct objects).
Problem 1. Prove that .
(Click for Solution)
Solution. Fix a set of distinct objects. There are
possible
-subsets of items that we can remove from that set. Therefore, every
-subset of items left behind is obtained by exactly one corresponding
-subset of items removed. Therefore, the number of
-subsets (left behind) equals the number of
-subsets (removed), yielding
Problem 2. Prove that .
(Click for Solution)
Solution. We can interpret the identity as counting the number of -committeees out of
persons, and among the
persons, we choose
persons in a “core team”. This is the quantity counted by the left-hand side:
On the right-hand side, we count the same quantity differently: first choose the “core team” members, then choose the remaining
members out of the remaining
persons:
Since both types of counting give the same total,
Problem 3. Prove that .
(Click for Solution)
Solution. Replacing with
in Problem 2,
Problem 4. Prove that .
(Click for Solution)
Solution. Using Problems 1 and 3,
Problem 5. Prove that .
(Click for Solution)
Solution. Replacing with
in Problem 2,
Problem 6. For any , count the number of
-tuples
such that
(Click for Solution)
Solution. Consider a row of stars and
bars. Let
denote the number of stars before the 1st bar,
denote the number of stars after the 1st bar and before the 2nd bar, and so on and so forth. Each arrangement of the
stars and
bars then corresponds to each desired
-tuple. Thus, the required number is the number of places to place the bars:
Problem 7. For any , suppose
is prime. Count the number of
-tuples
such that
(Click for Solution)
Solution. Since is prime, we require one of the sums to equal
, and the other to equal
. If the
terms sum to
, then there are a total of
possible options of
. By Problem 6, there are a total of
options of . By symmetry, the required total is
—Joel Kindiak, 31 Jul 25, 2114H
Leave a comment