Problem

Source: China Mathematical Olympiad 1994 problem5

Tags: algebra unsolved, algebra, polynomial, Integer Part



For arbitrary natural number $n$, prove that $\sum^n_{k=0}C^k_n2^kC^{[(n-k)/2]}_{n-k}=C^n_{2n+1}$, where $C^0_0=1$ and $[\dfrac{n-k}{2}]$ denotes the integer part of $\dfrac{n-k}{2}$.