定理已证明
部分分式给出比内公式
命题陈述
设 φ=21+5 与 ψ=21−5,由 1−x−x2 的根可得对所有 n≥0 成立的封闭公式 Fn=51(φn−ψn)。
为什么成立?
任何分母含有互不相同的一次因子的有理生成函数,都可以分解为若干简单等比级数之和,而每个等比级数都能直接给出系数的显式公式。
证明思路
分解分母:由于 1−x−x2=0 的根是 x=1/φ 与 x=1/ψ,故有 1−x−x2=(1−φx)(1−ψx)。
把 1−x−x2x=1−φxA+1−ψxB 写成含常数 A,B 的形式。通分并比较常数项与 x 的系数,得到一个线性方程组,解得 A=51,B=−51,于是 1−x−x2x=51(1−φx1−1−ψx1)。
把每一项展开为等比级数:1−φx1=∑n≥0φnxn,1−ψx1=∑n≥0ψnxn。
比较两边 xn 的系数即得公式 Fn=51(φn−ψn),称为比内公式。