Exercise 407Combinatorics › Binomial coefficientsHigh schoolAdded 3 Nov 2026
Pascal's identity
#Pascal identity#recurrence#binomial
Statement
Prove that .
Hint
Combinatorial proof: classify -subsets of an -set by whether they contain a fixed element.
Show solutionHide solution
Solution
Setup. Let be an -set with a distinguished element . We count -subsets.
Case 1: contains . Then choose the remaining elements from : .
Case 2: does not contain . Then choose all from : .
Conclusion. .