在一份错误但是AC的代码中（那份代码的链接和正确AC的代码），我发现了下面的恒等式

$\sum\limits_{i=n}^{\frac{k}{2}} \binom{k}{i}-\sum\limits_{i=n}^{\frac{k}{2}} \binom{k}{2i-n-1}=\binom{k-1}{\frac{k}{2}}-\binom{k-1}{k-n+1}$

但是不会证明，也许需要超几何

问一问各位dalao