Exercise 330Combinatorics › Binomial coefficientsL1Added 31 Oct 2026
Pascal's rule
#binomial#counting
Statement
Prove that for , first by computation, then by a counting argument.
Hint
For the counting argument, fix one element of the set and ask whether a subset contains it.
Show solutionHide solution
Solution
Computation.
Counting. Let have elements and fix . The -element subsets of split into two groups: those not containing , which are -element subsets of , so of them; and those containing , obtained by adding to a -element subset of , so of them. Together there are .