Define the binomial coefficient as the number of -element subsets of an -element set. Equivalently it is : there are ordered lists of distinct elements, and each subset gives such lists. The empty subset gives .
Distinguish one element of the set. A -element subset either omits it, giving possibilities, or contains it and chooses its other elements from the remaining set, giving possibilities. These cases are disjoint and exhaustive, proving Pascal's identity:
For the requested sum, fix and use mathematical induction on . At , both sides equal one. If the assertion holds at , adding the next summand gives
where the last equality is Pascal's identity. Thus the induction proves the hockey-stick identity for all nonnegative :

Articles by others on the same topic (0)

There are currently no matching articles.