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