现代工程数学第5章.pptVIP

第 5 章 二项式系数 5.1 Pascal 公式 5.2 二项式定理 5.3 一些恒等式 5.4 二项式系数的单峰性 5.5 多项式定理 5.6 牛顿二项式定理 5.7 再论偏序集 作业 5.1 Pascal公式 定理5.1.1（ Pascal公式）若1? k ? n?1，则 证法1 Pascal（杨辉）三角形 5.2 二项式定理 定理5.2.1 设 n 是正整数，则 证法1 取 k 个 y，n ? k 个 x 相乘得出 xn?k y k。 5.3 一些恒等式 奇组合与偶组合各半 O={k | 0 ? k ? n , k是奇数}， E={k | 0 ? k ?n , k是偶数} 组合数定义域的扩充 多项式等式的证明法 若次数 ? n 的多项式 f (x)和 g(x) 在多于 n 个点的值相等，则它们是相同的多项式。 因为次数 ? n 的多项式 f (x) ? g(x) 有多于n 个根，所以是零多项式。 若 k 为非负整数，当 r 为非负整数时等式成立，所以 r 为任意实数时等式成立。 若 k 为负整数，等式两边均为 0。 若k n，等式两边均为0。所以，当 k 和 n 为任意非负整数时，等式成立。 证明组合恒等式的方法 用组合数公式直接验证。 用数学归纳法。 分析恒等式的组合意义。 利用二项式定理，对公式进行微分或者积分运算。 利用二项式定理，比较多项式的系数。 5.4 二项式系数的单峰性 若 s0 ? s1 ? … ? st ? st+1 ? … ? sn ，则称 s0, s1,…,sn 是单峰的。 例如，1, 1；1, 2, 1；1, 3, 3, 1 ；1, 4, 6, 4, 1 都是单峰的。 设 C 是由集合 S 的组合组成的集合。若对于 C 中任何两个不同组合 X 和 Y， X Y 且 Y X ，则称 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 )且 a b 且 b a ，矛盾。因此， A 和 C 至多有一个公共元素 。设 C 是杂置。若有一个链划分包含 m 个链，则因为 C 中的两个组合不能在同一个链中，所以 C 中组合的个数至多是 m。 定理5.4.3（Sperner 定理）设 S 是 n 元集。则 S 的杂置最多包含 个组合。 证明 设 S = {1, 2, …, n}。归纳证明： S 的 2n 个组 合的集合可以被划分为 个链。 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，对于{1, 2, …, n ? 1}的对称的链划分的每个链 A1 ? A2 ? … ? Ak 得到链 A1 ? A2 ? … ? Ak ? Ak ?{n} 因为 | A1 | + | Ak | = n ? 1，所以 | A1 | + | Ak ?{n}| = n 若 k 1，则还得到链 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 是 {1, 2, …, n} 的对称的链划分中的链，则 | A1 | + | Ak | = n 且 | A1 | ? | Ak |。若 k = 1，则 | A1 | 若 k 1，则 | A1 | ? 且 | Ak | ? ， A1 , A2 , … , Ak 中存在唯一 组合。 因为在 {1, 2,