-
摘要 发生函数在组合数学中具有重要地位，利用发生函数可以求数列的递推关系、证明组合恒等式等.本文利用发生函数推导出了 Fibonacci数列的通项公式，给出了不同情况下递推关系的解，证明了一些组合恒等式，并利用拉格朗日反演公式证明了组合数学中常见的恒等式.50838
- 上一篇：正反例强化策略在数学概念教学中的应用
- 下一篇：Lucas数标准分解式中的素因子指数问题研究
主要工作如下：1、简单介绍了发生函数的定义及性质；2、利用发生函数推导出 Fibonacci数列的通项公式；3、给出一些递推关系的解；4、证明一些组合恒等式；5、利用拉格朗日反演公式证明组合恒等式；关键词 发生函数；Fibonacci数列；递推关系；组合恒等式；拉格朗日反演定理1、引言发生函数又称生成函数、母函数，是组合数学中的一个重要理论和工具.早在 1730 年，DeMoivre就利用发生函数讨论了斐波拉契数列.1812年，在《概率的分析理论》中，Laplace明确提出了发生函数的计算.在这一书中，Laplace 还深入研究了自然数的分拆和合成，对Euler的研究做了延伸和拓展.此后，发生函数的理论建立起来.1990年，Herbert Saul Wilf在《Generating Functionology》中论述了发生函数的各种作用：求数列的通项公式；求解递推关系；证明组合恒等式等.本文着重研究发生函数的一些应用.2、发生函数发生函数分为普通型发生函数和指数型发生函数两种，本文研究普通型发生函数.2.1发生函数的定义对于数列 n a a a a , , , , 2 1 0 ，我们则称幂级数 nnnnn x a x a x a x a a x a x G 3322 1 00) (是这个数列的发生函数. 2.2发生函数的性质已知 ) (x f 是数列 ｝ ｛ n a 的发生函数： nnx a x a x a a x f22 1 0 ) ( ， ) (x g 是数列｝ ｛ n b 的发生函数： nnx b x b x b b x g 22 1 0 ) (.那么我们有下面的性质：（1） nnn nnnnnnn x b a x b x a x g x f 0 0 0) ( ) ( ) (；（2） nnnnnnnnn x c x b x a x g x f 0 0 0) ( ) ( ，其中 ) (0k nkk n b a c ；（3）如果 0 ' f ，则 0 a f 是一个常数；（4）如果 f f '，则有 xce x f ) (；（5）以下是常用的几个数列及其对应的发生函数（其中 为任意实数） ：① xx a x f annn n 11) ( 10② 20 ) 1 () (xxx a x f n annn n ③ xx a x f annnnn 11) (0④ ) 1 ( ) (0x x a x fnannn n（6） .3、发生函数的应用3.1 Fibonacci数列Fibonacci数列是由意大利数学家斐波拉契提出的兔子繁衍问题引发而生的.斐波拉契是 12世纪欧亚之间数学交流的重要使者.斐波拉契在《计算之书》中提出了著名的兔子繁衍的问题，即：若是每一对成年兔子每月生一对一雌一雄的幼兔，幼兔经过两个月成为成兔，可以开始繁殖，那么年初的一对兔子在假设没有疾病或死亡的情况下，一年后能繁衍成多少对兔子？四百多年后，荷兰数学家吉拉尔注意到兔子繁衍的数列问题满足递推关系：2 1 n n n F F F ，这个数列后来被命名为 Fibonacci 数列.Fibonacci 数列应用广泛，美国0 1 2 3 2 3(1 )n n nn n n n nx x x x x C C C C C 数学会从 1963 年起出版了《斐波那契数列季刊》 ，用于专门刊登这一方面的研究成果.3.1.1 Fibonacci 数列的定义Fibonacci 数列：0，1，1，2，3，5，8，13，21，34，55，89，......第 0 项是 0，第 1项是第一个 1，从第 2 项开始有 2 1 n n n F F F .3.1.2 利用发生函数推导 Fibonacci 数列的通项公式对于 Fibonacci数列 n F ，有 1 2 1 F F ， ) 2 ( 2 1 n F F F n n n ，令数列的生成函数为 nnx F x F x F x F 22 1 ) ( ，那么，就有 x x F F F x F F x F x x x F nn n n • ) ( ) ( ) 1 ( ) ( 2 121 2 12，因此 21) (x xxx F .)25 11 )(25 11 ( 1 2x x x x ,） （x xx S25 11125 11151) (• .再利用展开式 nx x x xx3 2111，因此可以得到： .3.2利用发生函数对幂级数求和例、求和： ) , 2 , 1 , 0 ( ,0 nk nkk.解：用 f(n)表示该和式为 ) , 2 , 1 , 0 ( , ) (0 nk nkn fk， • n nn F25 125 151令 k nn kkk nnnnxk nkxk nkx n f x x F 0 0) ( ) (，由性质中：当 nan 时，其发生函数是： ) 1 ( ) (0x x a x fnnn .2020 0 11) ( ) 1 ( ) (x xx x x x xk nkx x Fkk kkk k nn kk ，此函数我们很熟悉，它由 Fibonacci 数列 } { n F 生成，故) , 2 , 1 ( ) (0 n Fk nkn f nk，.3.3 发生函数在递推关系中的应用3.3.1常系数线性齐次递推关系式的求解对于数列 : 当 时，有 ， ， ， n 为正整数.求此递推关系的解.解：定义数列的发生函数是：) ( ) ( ) () ( ) ) ( () () (220222221122 121 00x G Bx Ax x Aa b ax G Bx a x G Ax bx ax a Bx x a Ax bx ax Ba Aa bx ax a x a a x a x Gnnnnnnnnn nnnnnnn x Aa b a x G Bx Ax ) ( ) ( ) 1 (2 ①若 ，即 ，则：，其中 ，则此递推关系的解为： .②若 ，即 ，则： .由 ，求得： . n a 2 1 n n n Ba Aa a 2 n a a 0 b a 11 1 2 2 [ ] ( )n n nn a x G x r r 24,24 2221B A ArB A Ar 0 4 2 B A2 1122 121 ,r rb arr rar b x r x r Bx Axx Aa b ax G221121 1 1) () ( 22 1Ar r r 0 4 2 B Ann r n C C a ) ( 2 1 AAa bC a C 22 1 ， b a a a 1 0 ，