Explain why the coefficient of a^(n-k)b^k in the expansion of (a + b)^n is C(n, k). What combinatorial reasoning justifies this?
Think about your answer, then reveal below.
Model answer: When (a+b)^n is expanded by multiplying out n copies of (a+b), each term is formed by picking either a or b from each factor. To get the term a^(n-k)b^k, you must choose b from exactly k of the n factors (and a from the remaining n-k). The number of ways to choose which k factors contribute the b is C(n,k) = n!/(k!(n-k)!). Since each such selection produces the same monomial a^(n-k)b^k, that term appears C(n,k) times in the product — giving it coefficient C(n,k).
The combinatorial interpretation is the heart of the theorem. C(n,k) isn't an arbitrary formula — it counts selections, and each selection corresponds to a distinct way of obtaining the same monomial when multiplying n factors. This also explains the symmetry C(n,k) = C(n,n-k): choosing k positions for b is equivalent to choosing n-k positions for a. Pascal's Triangle organizes these counts visually, and the identity C(n,k) = C(n-1,k-1) + C(n-1,k) mirrors the recursive structure of multiplication.