构造组合模型巧证组合恒等式 论文.docxVIP

　　证明组合恒等式，一般是利用组合数的性质、数学归纳法、二项式定理等，通过一些适当的计算或化简来完成．但是，很多组合恒等式，也可直接利用组合数的意义来证明．即构造一个组合问题的模型，把等式两边看成同一组问题的两种计算方法，由解的唯一性，即可证明组合恒等式．例１证明Ｃｎｍ＝Ｃｎｍ－１＋Ｃｎ－１ｍ－１．分析原式左端为ｍ个元素中取ｎ个的组合数．原式右端可看成是同一问题的另一种算法把满足条件的组合分为两类，一类为不取某个元素ａ１，有Ｃｎｍ－１种取法．一类为必取ａ１有Ｃｎ－１ｍ－１种取法．由加法原理可知原式成立．例２证明Ｃｎｍ·Ｃｐｎ＝Ｃｐｍ·Ｃｎ－ｐｍ－ｐ．分析原式左端可看成一个班有ｍ个人，从中选出ｎ个人打扫卫生，在选出的ｎ个人中，ｐ人打扫教室，余下的ｎ－ｐ人打扫环境卫生的选法数．原式右端可看成直接在ｍ人中选出ｐ人打扫教室，在余下的ｍ－ｐ人中再选出ｎ－ｐ人打扫环境卫生．显然，两种算法计算的是同一个问题，结果当然是一致的．以上两例虽然简单，但它揭示了用组合数的意义证明组合恒等式的一般思路先由恒等式中意义比较明显的一边构造一个组合问题的模型，再根据加法原理或乘法原理对另一边进行分析．若是几个数组合数相加的形式，可以把构造的组合问题进行适当分类，如例１，若是几个数组合数相乘的形式，则应进行适当的分步计算，如例２，当然，很多情况下是两者结合使用的．例３证明Ｃｋｍ＋ｎ＝Ｃ０ｍＣｋｎ＋Ｃ１ｍＣｋ－１ｎ