MathDB
a binomial sum, alternating

Source: VJIMC 2014 2.3

May 21, 2021
Summationbinomial coefficientsalgebra

Problem Statement

Let kk be a positive even integer. Show that n=0k/2(1)n(k+2n)(2(kn)+1k+1)=(k+1)(k+2)2.\sum_{n=0}^{k/2}(-1)^n\binom{k+2}n\binom{2(k-n)+1}{k+1}=\frac{(k+1)(k+2)}2.