AoPSWiki
Support local problem solving programs by contributing to the Art of Problem Solving Foundation.
Click here for more information about the Foundation.
Personal tools

Combinatorial identity

From AoPSWiki

(Redirected from Combinatorial identities)

Contents

Hockey-Stick Identity

For n,r\in\mathbb{N}, n>r,\sum^n_{i=r}{i\choose r}={n+1\choose r+1}.

This identity is known as the hockey-stick identity because, on Pascal's triangle, when the addends represented in the summation and the sum itself are highlighted, a hockey-stick shape is revealed.


An image is supposed to go here. You can help us out by creating one and editing it in. Thanks.


Proof

This identity can be proven by induction on .

Base case Let .

\sum^n_{i=r}{i\choose r}=\sum^r_{i=r}{i\choose r}={r\choose r}=1={r+1\choose r+1}.

Inductive step Suppose, for some , \sum^k_{i=r}{i\choose r}={k+1\choose r+1}. Then \sum^{k+1}_{i=r}{i\choose r}=\left(\sum^k_{i=r}{i\choose r}\right)+{k+1\choose r}={k+1\choose r+1}+{k+1\choose r}={k+2\choose r+1}.

It can also be proven algebraicly with pascal's identity

{n \choose k}={n-1\choose k-1}+{n-1\choose k}

Look at {r \choose r}+{r+1 \choose r} +{r+2 \choose r}...+{r+a \choose r} It can be rewritten as {r+1 \choose r+1}+{r+1 \choose r} +{r+2 \choose r}...+{r+a \choose r} Using pascals identity, we get {r+2 \choose r+1}+{r+2 \choose r}+...+{r+a \choose r} We can continuously apply pascals identity until we get to {r+a \choose r-1}+{r+a \choose r}={r+a+1 \choose r+1}

Vandermonde's Identity

Examples

See also

Looking for a challenging algebra text? Preparing for MATHCOUNTS or the AMC exams?
Check out Art of Problem Solving's Introduction to Algebra by Richard Rusczyk.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us