Sun's curious identity

In combinatorics, Sun's curious identity is the following identity involving binomial coefficients, first established by Zhi-Wei Sun in 2002:


(x+m+1)\sum_{i=0}^m(-1)^i\dbinom{x+y+i}{m-i}\dbinom{y+2i}{i}
-\sum_{i=0}^{m}\dbinom{x+i}{m-i}(-4)^i=(x-m)\dbinom{x}{m}.

After Sun's publication of this identity, five other proofs were obtained by various mathematicians: they are Panholzer and Prodinger's proof via generating functions, Merlini and Sprugnoli's proof using Riordan arrays, Ekhad and Mohammed's proof by the WZ method, Chu and Claudio's proof with the help of Jensen's formula, and Callan's combinatorial proof involving dominos and colorings.

References

This article is issued from Wikipedia - version of the Friday, November 20, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.