For integers , define the binomial coefficient by
Here the factorial is the product of the positive integers up to . This also counts the -element subsets of an -element set: an ordered choice has possibilities, and each subset is ordered in ways.
Directly from the factorial definition, when ,
This is Pascal's identity.
The required hockey-stick identity follows by mathematical induction on , with fixed. For , both sides are . If it holds at , adding the next binomial coefficient and using Pascal's identity gives
Therefore for every ,

Articles by others on the same topic (0)

There are currently no matching articles.