组合数的一些性质

众所周知，当n，m在自然数集中有
$C_n^m=\frac{n!}{m!(n-m)!}$
由此可证得$C_n^m=C_{n-1}^m+C_{n-1}^{m-1}$
而$C_{-n}^m=-(1)^mC_{n+m-1}{m}$
是否也能用两个组合数来表示$C_{-n}^m$
答案是肯定的。
容易猜想$C_{-n}^m=C_{-n+1}^m-C_{-n+1}^{m-1}$
而且猜想很容易证得是正确的。
证明如下:
$C_{-n}^m=-(1)^mC_{n+m-1}^{m}$
$C_{-n+1}^m-C_{-n+1}^{m-1}=-(1)^mC_{n+m-2}^{m}-(-1)^{m-1}C_{n+m-2}^{m-1}=-(1)^m(C_{n+m-2}^{m}+C_{n+m-2}^{m-1})$
又由$C_n^m=C_{n-1}^m+C_{n-1}^{m-1}$可得$C_{n+m-1}^{m}=C_{n+m-2}^{m}+C_{n+m-2}^{m-1}$
所以$C_{-n}^m=C_{-n+1}^m-C_{-n+1}^{m-1}$

规定n，m为自然数，
$C_n^m=C_{n-1}^m+C_{n-1}^{m-1}$，$C_{-n}^m=C_{-n+1}^m-C_{-n+1}^{m-1}$有什么用呢？
考虑化简这样一个式子
$C_1^k+C_2^k+C_3^k+...+C_n^k$(n,k为正整数)
其实该式就等于$C_{n+1}^{k+1}$
因为$C_{n+1}^{k+1}=C_{n}^{k+1}+C_{n}^{k}$，此时可以消去$C_{n}^{k}$
而$C_{n}^{k+1}=C_{n-1}^{k+1}+C_{n-1}^{k}$，此时可以消去$C_{n-1}^{k}$
…$C_{2}^{k+1}=C_{1}^{k+1}+C_{1}^{k}=0+C_{1}^{k}$此时可以消去$C_{1}^{k}$
最终你会发现它们是相等的。

再考虑一个这样的式子
$C_{-1}^k+C_{-2}^k+C_{-3}^k+...+C_{-n}^k$(n,k为正整数)
该式等于$-C_{-n-1}^{m+1}$
同样利用$C_{-n}^m=C_{-n+1}^m-C_{-n+1}^{m-1}$可证明。