然后把与 无关的项统统丢出来嘫后原等式证明右边就变成了
发现这个非常像一个组合数!怎么办?强行添加!也就是上式就变成了
上面的式子的右边部分 是不是十分熟悉对,它等于
(如果不知道为什么可以参考 )
然后我们就可以暴力化简了:原来的等式证明右边就变成了
化简后即得到 证毕。