MathLabs
定理已证明

部分分式给出比内公式

命题陈述

设 φ=1+52\varphi=\frac{1+\sqrt{5}}{2} 与 ψ=1−52\psi=\frac{1-\sqrt{5}}{2},由 1−x−x21-x-x^2 的根可得对所有 n≥0n\ge0 成立的封闭公式 Fn=15(φn−ψn)F_n=\frac{1}{\sqrt{5}}\left(\varphi^n-\psi^n\right)。

为什么成立?

任何分母含有互不相同的一次因子的有理生成函数,都可以分解为若干简单等比级数之和,而每个等比级数都能直接给出系数的显式公式。

证明思路

分解分母:由于 1−x−x2=01-x-x^2=0 的根是 x=1/φx=1/\varphi 与 x=1/ψx=1/\psi,故有 1−x−x2=(1−φx)(1−ψx)1-x-x^2=(1-\varphi x)(1-\psi x)。

把 x1−x−x2=A1−φx+B1−ψx\frac{x}{1-x-x^2}=\frac{A}{1-\varphi x}+\frac{B}{1-\psi x} 写成含常数 A,BA,B 的形式。通分并比较常数项与 xx 的系数,得到一个线性方程组,解得 A=15A=\frac{1}{\sqrt5},B=−15B=-\frac{1}{\sqrt5},于是 x1−x−x2=15(11−φx−11−ψx)\frac{x}{1-x-x^2}=\frac{1}{\sqrt{5}}\left(\frac{1}{1-\varphi x}-\frac{1}{1-\psi x}\right)。

把每一项展开为等比级数:11−φx=∑n≥0φnxn\frac{1}{1-\varphi x}=\sum_{n\ge0}\varphi^nx^n,11−ψx=∑n≥0ψnxn\frac{1}{1-\psi x}=\sum_{n\ge0}\psi^nx^n。

比较两边 xnx^n 的系数即得公式 Fn=15(φn−ψn)F_n=\frac{1}{\sqrt{5}}\left(\varphi^n-\psi^n\right),称为比内公式。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Herbert S. Wilf (1994). generatingfunctionology
  2. Philippe Flajolet, Robert Sedgewick (2009). Analytic Combinatorics