Proof of the hockey-stick identity by induction
Builds on Binomial coefficientPascal's ruleFactorial formula for binomial coefficients
Proof
Fix . We argue by induction on .
- Let . The left side is the single term .
- By the factorial formula, and . So both sides equal .
- Suppose for some .
- Then , by adding the term .
- By Pascal's rule with and , .
- So . This completes the induction.
Idea
Adding one more term to the diagonal sum adds to . Pascal's rule turns this pair into the next entry , so the formula moves one row down.
Reading path
To understand this page from the ground up, read these 7 pages in order. The foundations come first. The path takes the proofs Proof of Pascal's rule from the recursive definition, Proof of the factorial formula for binomial coefficients by induction.
Show the path as a graph
- no evidence level
- Binomial coefficient definition
- Factorial definition
- Proof of Pascal's rule from the recursive definition proof
- Pascal's rule statement
- Proof of the factorial formula for binomial coefficients by induction proof
- Factorial formula for binomial coefficients statement
- Proof of the hockey-stick identity by induction proof
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | NHGQ7VH0W7 |
|---|---|
| URI | m2://NHGQ7VH0W7 |
| Kind | proof |
| Writing | W0 stub |
| MSC | 05A19 |
| Proves | Hockey-stick identity |
| Uses | Binomial coefficient, Pascal's rule, Factorial formula for binomial coefficients |
| Methods | Mathematical induction |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.