Sun's curious identity

From HandWiki
Short description: Identity involving binomial coefficients, first established by Zhi-Wei Sun in 2002

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

[math]\displaystyle{ (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}. }[/math]

Proofs

After Sun's publication of this identity in 2002, five other proofs were obtained by various mathematicians:

  • 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;
  • Callan's combinatorial proof involving dominos and colorings.

References

  • Sun, Zhi-Wei (2008), "On sums of binomial coefficients and their applications", Discrete Mathematics 308 (18): 4231–4245, doi:10.1016/j.disc.2007.08.046 .