Exercise 873Combinatorics › Counting principlesOlympiadAdded 3 Nov 2026
A bijective proof
#bijection#combinatorial proof#identity
Statement
Show that using a bijection.
Hint
Map each -subset to its complement.
Show solutionHide solution
Solution
Bijection. Map with to , its complement, of size .
Injective/surjective. The complement map is its own inverse, hence bijective.
Conclusion. k-subsets(n-k)-subsets, i.e. .