《组合数学幻灯片15》由会员分享，可在线阅读，更多相关《组合数学幻灯片15（13页珍藏版）》请在金锄头文库上搜索。
1、 恒等式1 对于正整数n和k,有 (1.23) 证明： 当kn时， =0 当1kn时，有 (1.24) 证明 ：(由式(1.23) (由式(1.14) 对于正整数n，有 对于正整数n1,有 (1.25) 证明：由式(1.13)知有 将上式两边对x微分得 在上式中，令x=-1有 即恒等式3: 由此可见，可以用对二项式公式微分来导 出组合恒等式。 对于正整数n，有 证明：将 的两边对x微分得 将上式两端同乘以x后再对x微分得 令上式中的x=1得恒等式4 (1.26) 证明：只需在式(1.26)中令x=-1， 即得式(1.27)。 对于正整数n2，有 （1.27） 对于正整数n，有 证明：由式(1.
2、13)有 对上式两端从0到1积分得 上式即得恒等式6 对于正整数n,m和p,pminm,n 有 证证明：由于 又由式(1.13)知 因此有 比较等式两边的系数得恒等式7 恒等式7还还可以用组组合分析的方法论证论证 ： 恒等式7也称Vandermonde恒等式。 用类类似的方法证证明，有恒等式8对对于正整数m,n, 有 事实实上，这这个恒等式是式(1.29)的推论论，只需 在式(1.29)中，令p=m即得式(1.30)。 又在式(1.30)中，令m=n，又有恒等式9对对于任何正整 数n,有 (1.30) 对于非负整数p,q,n有 对于非负整数n和k，有 可使用数学归纳法证明 (1.32) 对于所
3、有实数和非负整数k，有 证明：首先注意，这个恒等式与前面的恒等式有 一个很不同的地方，这就是 和 是广义 的二项式系数。由于对实数，在1.4节已经 定义了广义二项式系数的意义，因此Pascal公式 对于是实数和整数k也是成立的。于是反复使 用Pascal公式就可以得到(1.34) (1.34) 还有许多其他的有用恒等式，这可以在 H.W.Gonld著的组合恒等式一书中找到。 通过上面的一些恒等式的证明，我们可以发现 ，证明恒等式常用的方法有 1数学归纳法。 2利用二项式系数公式，特别是Pascal公式。 3比较级数展开式中的系数(包括二项式定理和 以后要讲的母函数法)。 4积分微分法。 5组合分析法。 还有其他的一些常用方法，如有限差分 法，级数变换法，多项式的有限Taylor展 开法等。 这些方法本书未涉及，有兴趣的读者可参 看HWGonld所著的组合恒等式一书。
