1、斐波那契数列通项公式推导:
已知斐波那契数列的递推公式为f(n)=f(n−1)+f(n−2)f(n)=f(n-1)+f(n-2)f(n)=f(n−1)+f(n−2)且f(0)=0,f(1)=1f(0)=0,f(1)=1f(0)=0,f(1)=1。
设斐波那契数列的生成函数为F(x)F(x)F(x),F(x)=∑i=0∞f(i)xiF(x)=\sum_{i=0}^{\infty}f(i)x^iF(x)=∑i=0∞f(i)xi。
现推导该生成函数的封闭形式:
F(x)=f(0)+f(1)x+f(2)x2+...+xF(x)=f(0)x+f(1)x2+f(2)x3+..+F(x)+xF(x)=f(0)+f(2)x+f(3)x2+...+[F(x)+xF(x)+f(1)]x=f(0)+f(1)x+f(2)x2+...+=F(x)\begin{aligned}F(x)&=f(0)+f(1)x+f(2)x^2+...+\\
xF(x)&=f(0)x+f(1)x^2+f(2)x^3+..+\\
F(x)+xF(x)&=f(0)+f(2)x+f(3)x^2+...+\\
[F(x)+xF(x)+f(1)]x&=f(0)+f(1)x+f(2)x^2+...+=F(x)\end{aligned}F(x)xF(x)F(x)+xF(x)[F(x)+xF(x)+f(1)]x=f(0)+f(1)x+f(2)x2+...+=f(0)x+f(1)x2+f(2)x3+..+=f(0)+f(2)x+f(3)x2+...+=f(0)+f(1)x+f(2)x2+...+=F(x)
得
F(x)=(F(x)+xF(x)+f(1))xF(x)=x1−x−x2\begin{aligned}
F(x)&=(F(x)+xF(x)+f(1))x\\
F(x)&=\frac{x}{1-x-x^2}
\end{aligned}F(x)F(x)=(F(x)+xF(x)+f(1))x=1−x−x2x
不妨假设F(x)=A1−ax+B1−bxF(x)=\frac{A}{1-ax}+\frac{B}{1-bx}F(x)=1−axA+1−bxB
那么得到一个方程组
{A+B=0Ab+aB=−1a+b=1ab=−1\left\{\begin{matrix}
A+B=0 \\
Ab+aB=-1 \\
a+b=1 \\
ab=-1
\end{matrix}\right.⎩⎪⎪⎨⎪⎪⎧A+B=0Ab+aB=−1a+b=1ab=−1
解得
{A=15B=−15a=1+52b=1−52\left\{\begin{matrix}
A=\frac{1}{\sqrt 5}\\
B=-\frac{1}{\sqrt 5} \\
a=\frac{1+\sqrt 5}{2} \\
b=\frac{1-\sqrt 5}{2}
\end{matrix}\right.⎩⎪⎪⎪⎨⎪⎪⎪⎧A=51B=−51a=21+5b=21−5
将系数代入得
F(x)=151−1+52x+−151−1−52xF(x)=\frac{\frac{1}{\sqrt 5}}{1-{\frac{1+\sqrt 5}{2}}x}+\frac{-\frac{1}{\sqrt 5}}{1-{\frac{1-\sqrt 5}{2}}x}F(x)=1−21+5x51+1−21−5x−51
设一等比数列{1,p,p2,...,1,p,p^2,...,1,p,p2,...,},其生成函数为F(x)=∑i=0∞pixiF(x)=\sum_{i=0}^{\infty}p^ix^iF(x)=∑i=0∞pixi。
F(x)=1+px+p2x2+...+pxF(X)=px+p2x2+p3x3+...+1+pxF(x)=F(x)F(x)=11−px\begin{aligned}
F(x)&=1+px+p^2x^2+...+\\
pxF(X)&=px+p^2x^2+p^3x^3+...+\\
1+pxF(x)&=F(x)\\
F(x)&=\frac{1}{1-px}
\end{aligned}F(x)pxF(X)1+pxF(x)F(x)=1+px+p2x2+...+=px+p2x2+p3x3+...+=F(x)=1−px1
当推导出了等比数列生成函数得封闭形式后,我们发现斐波那契数列的生成函数可以表示为两个等比数列生成函数的和。
F(x)=151−1+52x+−151−1−52xF(x)=15∑i=0∞(1+52)ixi−15∑i=0∞(1−52)ixiF(x)=15∑i=0∞[(1+52)i−(1−52)i]xi\begin{aligned}F(x)&=\frac{\frac{1}{\sqrt 5}}{1-{\frac{1+\sqrt 5}{2}}x}+\frac{-\frac{1}{\sqrt 5}}{1-{\frac{1-\sqrt 5}{2}}x}\\
F(x)&=\frac{1}{\sqrt 5}\sum_{i=0}^{\infty}{(\frac{1+\sqrt 5}{2})}^ix^i-\frac{1}{\sqrt 5}\sum_{i=0}^{\infty}{(\frac{1-\sqrt 5}{2})}^ix^i\\
F(x)&=\frac{1}{\sqrt 5}\sum_{i=0}^{\infty}{[(\frac{1+\sqrt 5}{2})^i}-{(\frac{1-\sqrt 5}{2})^i]}x^i
\end{aligned}F(x)F(x)F(x)=1−21+5x51+1−21−5x−51=51i=0∑∞(21+5)ixi−51i=0∑∞(21−5)ixi=51i=0∑∞[(21+5)i−(21−5)i]xi
所以斐波那契数列的通项公式为
f(n)=(1+52)n−(1−52)n5f(n)=\frac{(\frac{1+\sqrt 5}{2})^n-(\frac{1-\sqrt 5}{2})^n}{\sqrt 5}f(n)=5(21+5)n−(21−5)n
2、卡特兰数通项公式推导:
已知卡特兰数的递推公式为:f(n)=f(0)f(n−1)+f(1)f(n−2)+...+f(n−2)f(1)+f(n−1)f(0)f(n)=f(0)f(n-1)+f(1)f(n-2)+...+f(n-2)f(1)+f(n-1)f(0)f(n)=f(0)f(n−1)+f(1)f(n−2)+...+f(n−2)f(1)+f(n−1)f(0),其中f(0)=1f(0)=1f(0)=1。
设卡特兰数的生成函数为F(x)=∑i=0∞f(i)xiF(x)=\sum_{i=0}^{\infty}f(i)x^iF(x)=∑i=0∞f(i)xi。
F(x)=f(0)+f(1)x+f(2)x2+...+xF(x)=f(0)x+f(1)x2+f(2)x3+...+F(x)∗xF(x)=f(0)f(0)x+[f(1)f(0)+f(0)f(1)]x2+...+F(x)∗xF(x)=∑i=1∞∑j=0if(i)xif(i−1−j)xi−jF(x)∗xF(x)=∑i=1∞f(i)xiF(x)∗xF(x)=F(x)−1\begin{aligned}
F(x)&=f(0)+f(1)x+f(2)x^2+...+\\
xF(x)&=f(0)x+f(1)x^2+f(2)x^3+...+\\
F(x)*xF(x)&=f(0)f(0)x+[f(1)f(0)+f(0)f(1)]x^2+...+\\
F(x)*xF(x)&=\sum_{i=1}^{\infty}\sum_{j=0}^if(i)x^if(i-1-j)x^{i-j}\\
F(x)*xF(x)&=\sum_{i=1}^{\infty}f(i)x^i\\
F(x)*xF(x)&=F(x)-1\\
\end{aligned}F(x)xF(x)F(x)∗xF(x)F(x)∗xF(x)F(x)∗xF(x)F(x)∗xF(x)=f(0)+f(1)x+f(2)x2+...+=f(0)x+f(1)x2+f(2)x3+...+=f(0)f(0)x+[f(1)f(0)+f(0)f(1)]x2+...+=i=1∑∞j=0∑if(i)xif(i−1−j)xi−j=i=1∑∞f(i)xi=F(x)−1
从而得到方程xF2(x)−F(x)+1=0xF^2(x)-F(x)+1=0xF2(x)−F(x)+1=0
解得F(x)=1±1−4x2x=21∓1−4xF(x)=\frac{1\pm \sqrt{1-4x}}{2x}=\frac{2}{1\mp \sqrt{1-4x}}F(x)=2x1±1−4x=1∓1−4x2
∵F(0)=f(0)=1∴F(x)=1−1−4x2x\because F(0)=f(0)=1\\\therefore F(x)=\frac{1-\sqrt{1-4x}}{2x}∵F(0)=f(0)=1∴F(x)=2x1−1−4x
因为F(x)得分母不是多项式,所以不能像斐波那契数列那样用待定系数法来将F(x)转化成等比数列之和。
先通过广义二项式定理将(1−4x)12(1-4x)^{\frac{1}{2}}(1−4x)21展开。
(1−4x)12=∑i=0∞(12i)(−4x)i=∑i=0∞12i‾i!(−4x)i=1+∑i=1∞12(12−1)(12−2)...(12−(i−1))i!(−4x)i=1+∑i=1∞(−1)i−1(2i−3)!!i!2i(−4x)i=1+∑i=1∞(−1)i−1(2i−2)!i!2i(2i−2)!!(−4x)i=1+∑i=1∞(−1)i−1(2i−2)!i!22i−1(i−1)!(−4x)i=1−∑i=1∞(2i−2)!i!(i−1)!2xi=1−∑i=1∞(2i−2)!i!(i−1)!2xi=1−∑i=1∞(2i−1)!i!(i−1)!12i−12xi=1−∑i=1∞(2i−1i−1)12i−12xi\begin{aligned}
(1-4x)^{\frac{1}{2}}&=\sum_{i=0}^{\infty}\binom{\frac{1}{2}}{i}(-4x)^i\\
&=\sum_{i=0}^{\infty}\frac{\frac{1}{2}^{\underline{i}}}{i!}(-4x)^i\\
&=1+\sum_{i=1}^{\infty}\frac{\frac{1}{2}(\frac{1}{2}-1)(\frac{1}{2}-2)...(\frac{1}{2}-(i-1))}{i!}(-4x)^i\\
&=1+\sum_{i=1}^{\infty}\frac{(-1)^{i-1}(2i-3)!!}{i!2^i}(-4x)^i\\
&=1+\sum_{i=1}^{\infty}\frac{(-1)^{i-1}(2i-2)!}{i!2^i(2i-2)!!}(-4x)^i\\
&=1+\sum_{i=1}^{\infty}\frac{(-1)^{i-1}(2i-2)!}{i!2^{2i-1}(i-1)!}(-4x)^i\\
&=1-\sum_{i=1}^{\infty}\frac{(2i-2)!}{i!(i-1)!}2x^i\\
&=1-\sum_{i=1}^{\infty}\frac{(2i-2)!}{i!(i-1)!}2x^i\\
&=1-\sum_{i=1}^{\infty}\frac{(2i-1)!}{i!(i-1)!}\frac{1}{2i-1}2x^i\\
&=1-\sum_{i=1}^{\infty}\binom {2i-1}{i-1} \frac{1}{2i-1}2x^i\end{aligned}(1−4x)21=i=0∑∞(i21)(−4x)i=i=0∑∞i!21i(−4x)i=1+i=1∑∞i!21(21−1)(21−2)...(21−(i−1))(−4x)i=1+i=1∑∞i!2i(−1)i−1(2i−3)!!(−4x)i=1+i=1∑∞i!2i(2i−2)!!(−1)i−1(2i−2)!(−4x)i=1+i=1∑∞i!22i−1(i−1)!(−1)i−1(2i−2)!(−4x)i=1−i=1∑∞i!(i−1)!(2i−2)!2xi=1−i=1∑∞i!(i−1)!(2i−2)!2xi=1−i=1∑∞i!(i−1)!(2i−1)!2i−112xi=1−i=1∑∞(i−12i−1)2i−112xi
进而
F(x)=1−1−4x2x=∑i=1∞(2i−1i−1)12i−12xi2x=∑i=1∞(2i−1i−1)12i−1xi−1=∑i=0∞(2i+1i)12i+1xi=∑i=0∞(2ii)1i+1xi\begin{aligned}F(x)&=\frac{1-\sqrt{1-4x}}{2x}\\
&=\frac{\sum_{i=1}^{\infty}\binom {2i-1}{i-1} \frac{1}{2i-1}2x^i}{2x}\\
&=\sum_{i=1}^{\infty}\binom {2i-1}{i-1} \frac{1}{2i-1}x^{i-1}\\
&=\sum_{i=0}^{\infty}\binom {2i+1}{i} \frac{1}{2i+1}x^i\\
&=\sum_{i=0}^{\infty}\binom {2i}{i} \frac{1}{i+1}x^i\end{aligned}F(x)=2x1−1−4x=2x∑i=1∞(i−12i−1)2i−112xi=i=1∑∞(i−12i−1)2i−11xi−1=i=0∑∞(i2i+1)2i+11xi=i=0∑∞(i2i)i+11xi
进而得到卡特兰数的通项公式f(n)=(2nn)n+1f(n)=\frac{\binom{2n}{n}}{n+1}f(n)=n+1(n2n)
3、总结
已知序列的递推公式,求序列的通项公式。
1、写出序列生成函数的形式幂级数形式。
e.g. F(x)=∑i=0∞f(i)xie.g.\space F(x)=\sum_{i=0}^{\infty}f(i)x^ie.g. F(x)=∑i=0∞f(i)xi
2、通过递推公式求出生成函数的封闭形式。
e.g. F(x)=11−xe.g.\space F(x)=\frac{1}{1-x}e.g. F(x)=1−x1
3、将得到的生成函数转化为一些已知序列的生成函数。
e.g. 如求斐波那契数列通项公式:利用系数待定法将生成函数转化成两个等比数列的和e.g.\space 如求斐波那契数列通项公式:利用系数待定法将生成函数转化成两个等比数列的和e.g. 如求斐波那契数列通项公式:利用系数待定法将生成函数转化成两个等比数列的和
4、若3实在不行,寻求直接展开的方法。
8212



被折叠的 条评论
为什么被折叠?



