现代工程数学第5章.pptVIP

单击此处添加大标题内容若kn，等式两边均为0。所以，当k和n为任意非负整数时，等式成立。01020304用数学归纳法。分析恒等式的组合意义。利用二项式定理，对公式进行微分或者积分运算。用组合数公式直接验证。05利用二项式定理，比较多项式的系数。证明组合恒等式的方法01若s0?s1?…?st?st+1?…?sn，则称s0,s1,…,sn是单峰的。02例如，1,1；1,2,1；1,3,3,1；1,4,6,4,1都是单峰的。031,2,1,2,1不是单峰的。5.4二项式系数的单峰性证明设1?k?n设C是由集合S的组合组成的集合。若对于C中任何两个不同组合X和Y，XY且YX，则称C为S的杂置。例如，C={{a,b},{b,c,d},{a,d},{a,c}}是S={a,b,c,d}的杂置。设S是n元集。对于每个k?n，S的所有k组合组成的集合是S的杂置。在这样的杂置中，当时所包含的组合最多，有 个。这是包含的组合最多的S的杂置。设A是由S={1,2,…,n}的组合组成的集合。若对于A中任何两个组合X和Y，X?Y或Y?X，则称A为链。设A是链且C是杂置。若A和C有两个不同公共元素a和b，则a,b?A且a,b?C，因而(a?b或b?a)且ab且ba，矛盾。因此，A和C至多有一个公共元素。设C是杂置。若有一个链划分包含m个链，则因为C中的两个组合不能在同一个链中，所以C中组合的个数至多是m。（Sperner定理）设S是n元集。则S的杂置最多包含 个组合。证明设S={1,2,…,n}。归纳证明：S的所有2n个组合的集合P(S)可以被划分为 个链。 n=1： ??{1} n=2： ??{1}?{1,2} {2} n=3： ??{1}?{1,2}?{1,2,3} {3}?{1,3} {2}?{2,3}这些链划分有以下两个性质：链中每个组合比它前面的组合多一个元素。链中第一个组合与最后一个组合的元素个数之和是n。称这样的链划分为对称的链划分。设n?2，对于P({1,2,…,n?1})的对称的链划分的每个链A1?A2?…?Ak得到链A1?A2?…?Ak?Ak?{n}因为|A1|+|Ak|=n?1，所以|A1|+|Ak?{n}|=n若k1，则还得到链A1?{n}?A2?{n}?…?Ak?1?{n}因为|A1|+|Ak|=n?1，|A1|+|Ak?1|=n?2，所以|A1?{n}|+|Ak?1?{n}|=n。设A1?A2?…?Ak是P({1,2,…,n})的对称的链划分中的链，则

|A1|+|Ak|=n且|A1|?|Ak|。若k=1，则|A1|若k1，则|A1|?且|Ak|? ，A1,A2,…,Ak中存在唯一组合。因为在P({1,2,…,n})的对称的链划分的每个链中1存在唯一-组合，共有个-组合，所2以在对称的链划分中有个链。每个杂置中3的组合个数至多是。45.5多项式定理Pascal公式二项式定理一些恒等式二项式系数的单峰性多项式定理牛顿二项式定理再论偏序集作业第5章二项式系数（Pascal公式）若1?k?n?1，则01.证法102.5.1Pascal公式证法2设S={a1,a2,…,an}。S的k-组合由两部分组成。不包含an的k-组合，即{a1,a2,…,an?1}的k-组合，有个。包含an的k-组合，由{a1,a2,…,an?1}的k?1-组合增加an得到，有 个。