1994 CMO 第 5 题

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}$ .

对于任意自然数 $n$ ，证明 $\sum^n_{k=0}C^k_n2^kC^{[(n-k)/2]}_{n-k}=C^n_{2n+1}$ ，其中 $C^0_0=1$ 和 $[\dfrac{n-k}{2}]$ 表示 $\dfrac{n-k}{2}$ 的整数部分。