在进行计算的时候,式子左边就变成了以下形式。
◎ ◎ ◎
两边同时除以,整理后就能求得F(x) 的有限项代数式。这就是F(x) 的庐山真面目哦。
于是,我们就求得了用r和s所表示的斐波那契数列的通项公式。
换句话说,根据r+s= 1,rs= -1 这个条件,我们可以得出二次方程的解就是r和s。
我看到斐波那契数列的生成函数变形成了这样一个简单的有限项代数式,心中雀跃无比。因为这个代数式包括了无限延续下去的斐波那契数列的全部内容,是一个高度浓缩的式子。
接下来只剩计算r和s的值这一步了。关于r和s的联立方程组为
我想把系数和相加试试看,但是x的幂次方互不相同,所以不能合并同类项。那该怎么办呢?
如果用这种方法,就能顺利进行下去哦。
x的幂次方如果互不相同的话,将不同的部分乘上x就好了。同底数幂相乘,底数不变指数相加,也就是所谓的指数运算法则。
4 个未知数配有 4 个独立的等式。我们试着解一下这个联立方程组。
再将用代入,将用代入。
假设有未知常数r和s,式子便可分解成以下形式。
解答 4-1 (斐波那契数列的通项公式)
比如说,我们能否想办法将变成与类似的形式呢?如果可能的话,我们就能从生成函数的王国回到数列的王国了。回去的时候当然不能空手,请带一件生成函数王国的“土特产”噢。那就是斐波那契数列的通项公式。你觉得如何?
这样一来,我们就可以运用与函数F(x) 相对应的斐波那契数列的推导公式了。好,我们将F(x) 分别和x2,x1,x0 相乘后的式子写下来看看。
然后整理一下。
我们思考讨论了斐波那契数列的生成函数F(x)。如果用x来表示F(x) 的有限项代数式,x的n次方前的系数应该是Fn。
接下来,我想调查一下函数F(x) 的性质。函数F(x) 的系数Fn是斐波那契数列的通项,如果好好利用这点的话,我们很快就能找到关于函数F(x) 的有趣性质。
我们转移到附近的咖啡店,草草点完单后又继续开始刚才的数列的话题。抓住数列的要害究竟是怎么回事呢?两个王国又到底是什么呢?听了我的问题,米尔嘉推了推眼镜说:“嗯,是啊。”
式子A +式子B -式子C
斐波那契数列的性质究竟是什么呢?当然我们刚才已经求得推导公式,如果我们好好利用这个表示各项间关系的推导公式的话,这样的系数就可以在F(x) 的计算过程中出现。如下所示。
斐波那契数列的定义(推导公式)
计算此式。
如果照上述式子那样分解的话,通过求下面式子的分数和,在通分的时候分母就正好可以变形成的形式了。
这样就统一了幂次项。利用式子 A、式子 B、式子 C,我们接着进行计算。这样一来,我们就可以运用同类项系数Fn的推导公式。
斐波那契数列的生成函数F(x) 的封闭表达式
当我在嘀咕时,米尔嘉在一旁提示说:“如果用这种方法,就能顺利进行下去哦。”
我们假设Fn为斐波那契数列的通项。F0 和 0 相等,F1 和 1 相等,当n≥ 2 时,则,所以Fn就被定义为表示各项间关系的推导公式。
好了,这样问题就告一段落了。
米尔嘉盯着我的眼睛。啊,对了,接下来只要把生成函数F(x) 写成无穷级数的形式,就可以求得斐波那契数列的通项公式了吧。我一直盯着生成函数的形式看,彻底弄清了其结构。
假设r大于s,可得
因为,所以
因此,我们就能求出斐波那契数列的通项公式了,如下所示。
是啊。这个比喻可能不太符合逻辑,太夸张了。“在两个王国里穿梭漫步,抓住数列的要害”其实就是“运用生成函数来求数列的通项”呀。
我们曾经用下面的分式形式来表现过关于x的无穷级数。
我很想将Fn表示成“关于n的有限项代数式”,抓住斐波那契数列的要害。
米尔嘉看看我。嗯。x的幂次方确实不同,不能将它们的系数直接相加。因为它们不是同类项,所以不能合并。将数列和生成函数相互对应,真的会发生有趣的现象吗?——终于,从米尔嘉嘴里吐出了一句:“很简单哦。”
例如,乘以x2 的话得。如下所示,如果巧妙地进行乘法运算的话,就可以统一为xn的形式。为了使形式统一,我们将 1 写作x0。
式子右边经计算就只剩下起始部分,其他部分全都抵消了。为什么这么说呢?这是因为根据斐波那契数列的推导公式,这部分等于 0,任何数乘以 0 都会马上消失。
那么,接下来我们就将与斐波那契数列相对应的生成函数称为F(x)。也就是说,我们将其对应关系表现为以下形式。
我们在分子里放入参数。也就是说,假设有 4 个未知常数R,S,r,s,接着思考以下式子就好了。
分母是个二次代数式。首先,先试试将因式分解。我在练习本上又开始计算起来。米尔嘉一直在旁边盯着看。
然后,式子右边变为以下形式。
比较等式左右两边后,只要解出以下联立方程组就可以了。
“从第三项开始,每一项都等于前两项之和”——斐波那契数列的这个性质在这个定义中得到了充分的体现。另外,还可以像F0,F1,F2, ... 这样计算出斐波那契数列。但是,Fn没有表现为“关于n的有限项代数式”。也就是说,通项公式Fn中并未使用n,不是关于n的直接代数式。这也就是我所说的“没有抓住数列的要害”状态。
这里将,代入。
在函数F(x) 中,如果将xn这一项的系数用Fn来表示,那么整个函数就可以用以下式子表示出来。这样,我们就可以向生成函数的王国过渡了。
我们已经没什么必要写成x0 和x1 的形式了,直接写 1 和x就可以了。那么,F0 就可以写成 0,F1 就可以写成 1。于是,我们得到了以下式子。
◎ ◎ ◎
首先,将R和S分别转化成只含有r和s的关系式。
这个数列也有从 1 开始的情况,但是这里我们从 0 开始。
这个数列从第三项开始,每一项都等于前两项之和。
这样一来,就找到了用无穷级数来表示F(x) 的头绪。我们先暂且不求出r和s具体为多少,继续推导下去。
用通常解联立方程组的方法当然也可以,不过既然r、s的和为 1,积为 -1,那么就可以说它们是方程的解。也就是说,解这道题的关键就是要知道“一元二次方程的解与系数的关系”。为什么这么说呢?因为我们可以将这个一元二次方程分解为以下形式。
“运用生成函数来求数列的通项”的“旅行地图”
例如,以数列中的斐波那契数列为例。你知道斐波那契数列吧?
运用一元二次方程的求根公式可以得到x的值。
现在我们假设要求斐波那契数列的第 1000 项是多少。一般情况下,我们就用F0 +F1 来求F2,用F1 +F2 来求F3,…… 如此重复计算后,最后通过求F998 +F999 的和才能算出F1000 的值。如果靠推导公式来计算Fn的话,那么要进行n- 1 次加法计算。这实在太无聊了。我想将Fn表示成“关于n的有限项代数式”。“关于n的有限项代数式”究竟是什么意思呢?粗略地说,它就是“将大家都知道的运算方法在有限的次数内进行组合后得到的代数式”。
问题 4-1
将斐波那契数列的通项 Fn 表示成“关于n的有限项代数式”。
计算这个式子,当它变形成的形式后,再求出r和s就可以了。
嗯,只要我们顺利计算出r和s的值,分母就有可能变成的形式。但是,分子却很难变形为x的形式,因为常数 2 无法被抵消。
如果要使以下式子成立,只要确定常数R,S,r,s分别为多少就可以了。
现在给你看看“旅行地图”吧。首先,求得与数列相对应的生成函数。其次,将生成函数变形,求出生成函数的有限项代数式。然后再将有限项式根据幂级数展开,最终求得数列的通项。也就是说,通过生成函数来找出数列的通项。
所以,接下来我们的目标是想办法将用x的无穷级数来表示。
很简单哦。