Maths WorkshopMaths problems with full solutions
Exercise 330Combinatorics › Binomial coefficientsL1Added 31 Oct 2026

Pascal's rule

#binomial#counting

Statement

Prove that (nk)=(n−1k)+(n−1k−1)\binom nk=\binom{n-1}k+\binom{n-1}{k-1} for 1≤k≤n−11\le k\le n-1, 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.
(n−1k)+(n−1k−1)=(n−1)!k! (n−1−k)!+(n−1)!(k−1)! (n−k)!=(n−1)!k! (n−k)![(n−k)+k]=n!k! (n−k)!.\binom{n-1}k+\binom{n-1}{k-1}=\frac{(n-1)!}{k!\,(n-1-k)!}+\frac{(n-1)!}{(k-1)!\,(n-k)!}=\frac{(n-1)!}{k!\,(n-k)!}\big[(n-k)+k\big]=\frac{n!}{k!\,(n-k)!}.

Counting. Let EE have nn elements and fix x∈Ex\in E. The kk-element subsets of EE split into two groups: those not containing xx, which are kk-element subsets of E∖{x}E\setminus\{x\}, so (n−1k)\binom{n-1}k of them; and those containing xx, obtained by adding xx to a (k−1)(k-1)-element subset of E∖{x}E\setminus\{x\}, so (n−1k−1)\binom{n-1}{k-1} of them. Together there are (nk)\binom nk.