本文深入探讨了如何使用五个基本的组合恒等式来证明其他组合恒等式，包括通过数列的递推关系、证明恒等式为0的方法以及组合数倒数的裂项。举例详细解释了如何运用这些技巧，展示了如何通过恒等式的对称性和递推关系简化证明过程。
组合恒等式2 五个基本的组合恒等式 复杂的例题
这一讲继续讨论用五个基本的组合恒等式证明组合恒等式的方法。先复习一下基本恒等式：
等式一 组合数的对称性
C n k = C n n − k C_n^k = C_n^{n-k} Cnk=Cnn−k
等式二 杨辉三角
C n k = C n − 1 k + C n − 1 k − 1 C_n^k = C_{n-1}^k + C_{n-1}^{k-1} Cnk=Cn−1k+Cn−1k−1
等式三 多项式系数的唯一性
C n k C k m = C n m C n − m k − m = C n k − m C n − k + m m , m ≤ k ≤ n C_n^kC_k^m = C_n^{m}C_{n-m}^{k-m} = C_n^{k-m}C_{n-k+m}^m,m\le k \le n CnkCkm=CnmCn−mk−m=Cnk−mCn−k+mm,m≤k≤n
特例，如果 m = 1 m=1 m=1，
k C n k = n C n − 1 k − 1 kC_n^k = nC_{n-1}^{k-1} kCnk=nCn−1k−1
等式四 二项式定理
( x + y ) n = ∑ i = 0 n C n i x i y n − i (x+y)^n = \sum_{i=0}^n C_n^ix^iy^{n-i} (x+y)n=i=0∑nCnixiyn−i
特例，如果 x = y = 1 x=y=1 x=y=1，则
∑ i = 0 n C n i = 2 n \sum_{i=0}^n C_n^i = 2^n i=0∑nCni=2n
如果 x = 1 , y = − 1 x=1,y=-1 x=1,y=−1，则
∑ i = 0 n ( − 1 ) i C n i = 0 \sum_{i=0}^n (-1)^iC_n^i = 0 i=0∑n(−1)iCni=0
使用两个数列的递推关系证明恒等式
上一讲介绍的例5和例6中，定义待证的和式为一个数列，用等式二裂项之和得到的两项都可以表示为这个数列的某种函数，从而得到这个数列的递推关系（一般是一阶递推）。但是当裂项得到的两项中有一项不能写成数列的函数时，我们可以再定义一个新的数列，然后对新的数列再用等式二裂项（一般可以得到第一个数列的二阶递推）。
例1 ∑ k = 0 n ( − 1 ) k 2 2 n − 2 k C 2 n − k + 1 k = n + 1 \sum_{k=0}^n (-1)^k 2^{2n-2k}C_{2n-k+1}^k = n+1 ∑k=0n(−1)k22n−2kC2n−k+1k=n+1
证明
定义 a n = ∑ k = 0 n ( − 1 ) k 2 2 n − 2 k C 2 n − k + 1 k a_n = \sum_{k=0}^n (-1)^k 2^{2n-2k}C_{2n-k+1}^k an=∑k=0n(−1)k22n−2kC2n−k+1k，用等式二裂项，
a n = 2 2 n + ∑ k = 1 n ( − 1 ) k 2 2 n − 2 k ( C 2 n − k k + C 2 n − k k − 1 ) = ∑ k = 0 n ( − 1 ) k 2 2 n − 2 k C 2 n − k k − ∑ j = 0 n − 1 ( − 1 ) j 2 2 n − 2 j C 2 ( n − 1 ) − j + 1 j a_n = 2^{2n}+ \sum_{k=1}^{n} (-1)^k 2^{2n-2k}(C_{2n-k}^k + C_{2n-k}^{k-1}) \\ = \sum_{k=0}^{n} (-1)^k 2^{2n-2k}C_{2n-k}^k - \sum_{j=0}^{n-1} (-1)^j 2^{2n-2j} C_{2(n-1)-j+1}^{j} an=22n+k=1∑n(−1)k22n−2k(C2n−kk+C2n−kk−1)=k=0∑n(−1)k22n−2kC2n−kk−j=0∑n−1(−1)j22n−2jC2(n−1)−j+
最低0.47元/天 解锁文章
扫一扫
5216
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
