母函数及其应用.doc

六、母函数及其应用 6．1定义：称为数列的形式幂级数，或生成函数，简称母函数。 6．2几个常用初等函数的形式幂级数展开式 （1）； （2）； （3）； （4）； （5）； （6）； （7）。 求一个初等函数的形式幂级数的根本方法是利用泰勒展开定理，或马克劳林定理。在定义域范围内，对上述形式幂级数再进行算术运算和解析运算，可以得到其它初等函数的形式幂级数。我们在下文的目的，就是利用这种运算方法来求数列的通项公式。 6．3数列及其前项和数列的母函数关系 定理1：记数列的母函数为，则其项和数列的母函数。 证明：∵ ∴ 。 定理2：。 证明：记数列的前项和为，则数列的母函数为 ∴ 。 比较两边的系数，得，。 定理3：，其中 证明：展开即得证。 6．4数列的通项公式与前项和公式 （1）等差数列的首项为，公差为，求其通项公式和前项和公式 解：数列的生成函数是 ∴ 比较两边的系数，得，。 由定理1，数列的前项和数列的生成函数是 比较两边的系数，得，。 （2）等比数列的首项为，公比为，求其通项公式和前项和公式 解：数列的生成函数为 ∴ 。 比较两边的系数，得，。 由定理1，数列的前项和数列的生成函数是 比较两边的系数，得，。 （3）数列的前项和公式 6．5生成函数的应用 （1）求解递推数列的通项公式 例1数列的递推公式，。求。 例2数列的递推公式，。求。 例3数列的递推公式，。求。 例4数列的递推公式，。求。 例5数列的递推公式，。求。 （2）求不定方程的解数 定理：不定方程，其中，则 ①非负整数解数是； ②正整数解数是； ③求适合某种条件的解数（譬如：限制变元的范围、变元的奇偶性、附加变元的系数，即变元的倍数问题）。当时，所有正奇数解数是。 证明：①设方程的非负整数解数是，则的生成函数是 ∴ 。 ②设方程的正整数解数是，则的生成函数是 ∴ 。 ③设正奇数解数是，则的生成函数是 ∴ 。 问题：把个完全一样的球放进个有标志的盒子中，问共有多少种不同的方法？如果不允许有空盒，共有多少种不同的方法？ （3）允许重复的组合数 定理：从个元素中允许重复地取个元素的组合数为。 证明：把组合数记着，则，约定。考虑组合中含特定元素的个数，分成两类：不出现的组合有个，至少出现一个的有个，所以，有递推关系式 。 ∵ 的生成函数是 ∴ 。 又 ∴ 。 故 。 （4）组合计数 应用母函数方法求解组合计数问题首先要识别计数是否与顺序有关，也就是说是排列还是组合问题。如果不考虑顺序，就是组合问题，选用6.2（1）和（2）；如果要考虑顺序，就是排列问题，要选用6.2（3）。 例1求线段上的整点的个数，其中。 解：记整点个数为，则的生成函数是 。 ∴ 。 例2用五个砝码可以称量哪几种质量的物体，各有几种方案？ 解：设有种方案称量质量为的物体，则的生成函数是 故 可以称出质量为的所有物体，并且只有一种称量方案，但质量大于的所有物体都不能称量。 例3若有的砝码各一枚，问能称量哪几种质量的重物，各有几种称量方案？ 解：设有种方案称量质量为的物体，则的生成函数是 故 可以称量质量为的所有重物，其中质量为的重物各有两种称量方案，质量大于的所有重物都不能称量。 问题：若有克的砝码3枚，的砝码4枚，的砝码4枚，问可惩处哪些质量的物体？各有几种方案？ 例4用1分，2分，3分的邮票贴出哪些不同数值的邮资？各有多少种贴法？ 解：设有中方法贴出分邮资，则的生成函数是 ∴ 比较系数，得 ， ， ， ， ， ， 一般地，当时，总成立下面的递推关系式 ∴ ， ， ， ， ， ， 例5某单位有8个男同志，5个女同志，现要组织一个由数目为偶数的男同志，和数目不少于2的女同志组成的小组，试求有多少种组成方式。 解：男同志的选法数的生成函数，女同志的选法数目的生成函数，所以，组成小组数目的生成函数为 。 其中的系数表示由人组成小组的方法数目，故总的组成小组的方法数目为3328。 例6在空间直角坐标系中，以，，为顶点的正八面体记作V，求八面体V中（包含表面）的格点数。 解：格点整点满足，设其中满足条件的格点数为，则，一般地，有。 ∵ 的母函数是 ∴ 故 。 减少最后求和项数的办法是：继续求出数列的母函数，即 ， ∴ 。 例7用红、白、黑、蓝四种不同的颜色染排成一行的个方格，其中红色只能出现奇数格，白色只能出现偶数格，黑色、蓝色出现的格数不限。问：共有多少种不同的染法？ 解：设有种不同染法，注意这里求的是排列数，应选用指数型母函数： ∴ 。 例7在和式中，不改变项之间的顺序，添加“（）”，每个括号中只能含两项。求添加括号的方