组合数学(第5章5.1)new.pptVIP

第5章 二项式系数（1） 北京航空航天大学 主要内容 5.1 Pascal 公式 5.2 二项式定理 5.3 一些有用的恒等式 二项式系数 二项式系数： 在计算机理论算法分析经常应用。 5.1 Pascal公式 定理5.1.1(Pascal公式) 对于满足1?k?n-1的所有整数k和n, 有 组合法证明 证明： 是n元集合S的k-组合数。S的k-组合集合为X，那么|X|= S的一个元x, 令A是不含x的k-组合的集合，而B是包含x的k-组合的集合，那么，X＝A?B，且A?B＝?。由加法原理 |X|＝|A|+|B|。 计算|A|和|B|。 A是集合S\{x}的所有k-组合集，因此 |A|＝ 而B的元素是将x添加到S\{x}的(k?1)-组合 因此， |B|＝ 。由加法原理 例 Pascal三角形 Pascal三角形 二项式系数一些性质 由PASCAL三角，二项式系数具有性质： 对称关系： PASCAL三角一行相加，有恒等式： 二项式系数一些性质 第2列是三角形数： 二项式系数的另一种组合解释 定义：p(n,k)是(0,0)到(n,k)的路径数（有向图）。 规定：p(0, 0)=1; 那么， p(n, k)=p(n-1, k)+p(n-1, k-1) 其中，n?1. 即p(n, k)满足PASCAL三角关系。可证： 这是二项式系数 的另一种组合学解释。 5.2 二项式定理 定理5.2.1 令n是一个正整数, 那么对于所有的x, y有： 证明1（组合证明） (x+y)n =(x+y) (x+y)…(x+y) 用分配律展开： 每一项具有形式xn?kyk, k=0,1,…,n.共有2n项。它的系数相当于在n项因子选k个y，余下n-k因子是x. 因此，等于组合数： 这就证明了结论。 5.3 一些有用的恒等式 令S＝A?B，A和B是两个不相交的n个元素集合，那么，S的n-组合数是等式的右边。 设S的一个n-组合含有A的元素为k个，那么，令n-k个元属于B，k=0,1,…,n。令Ck是含有k个A的元素的n-组合，S的所有n-组合可划分为： C0, C1,…, Cn。有： ＝ |C0|+|C1|+…+|Cn| 另一方面， |Ck|= 组合定义扩展 定义1: 令r可取任意实数, k可取任意整数, 定义 的扩展为: 扩展定义 仍使Pascal公式成立。 即： 和 根据定义验证即可。 类似上式的方法，利用Pascal公式展开。 * * 本章的目的主要是讨论二项式系数一些相关等式和性质。 也称为“杨辉三角” 可直接代入组合公式验证等式两边相等。 S={x, a, b, c}， X是S的2-组合集。 A是{a, b, c}的2-组合集: {{a, b}, {a, c}, {b, c}} 则：B={{x, }, {x, }, {x, }} a b c PASCAL三角给出了一种组合的递推计算方法。 的规律 1 8 28 56 70 56 28 8 1 8 1 7 21 35 35 21 7 1 7 1 6 15 20 15 6 1 6 1 5 10 10 5 1 5 1 4 6 4 1 4 1 3 3 1 3 1 2 1 2 1 1 1 1 0 8 7 6 5 4 3 2 1 0 n\k ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? n＝0 n＝1 n＝2 n＝3 n＝4 是三角形阵列的顶点数。 n＝0 n＝1 n＝2 n＝3 n＝4 给每个顶点定义一个坐标(n, k). (0, 0) (1, 0) (1, 1) (3, 2) n＝0 n＝1 n＝2 n＝3 n＝4 (0, 0) (1, 0) (3, 2) （1） （2） n?0 1?k?n （3） n?1 （4） n?1 由 ， （5） （n?1） 由 ，等式两边对x求导数得： ，得到 两边再对x求导数得 将x＝1代入得 （6） （n?0）