フィボナッチ多項式

数学におけるフィボナッチ多項式（フィボナッチたこうしき、テンプレート:Lang-en-short）とは、フィボナッチ数の一般化として見られるある多項式列のことを言う。同様にリュカ数の一般化として得られる多項式列のことはリュカ数（Lucas polynomials）と言う。

定義

フィボナッチ多項式は、次の漸化式より得られる：

$F_n(x)=\{\begin{array}{cc}0,& \text{if }n=0\\ 1,& \text{if }n=1\\ x{F}_{n-1}(x)+F_{n-2}(x),& \text{if }n\ge 2\end{array}$

初めのいくつかのフィボナッチ多項式を書くと、次のようになる：

$F_0(x)=0$

$F_1(x)=1$

$F_2(x)=x$

$F_3(x)=x^2+1$

$F_4(x)=x^3+2x$

$F_5(x)=x^4+3x^2+1$

$F_6(x)=x^5+4x^3+3x$

リュカ多項式は、初めの値が異なるだけで、同様の漸化式より得られる： $L_n(x)=\{\begin{array}{cc}2,& \text{if }n=0\\ x,& \text{if }n=1\\ x{L}_{n-1}(x)+L_{n-2}(x),& \text{if }n\ge 2.\end{array}$

初めのいくつかのリュカ多項式は次のようになる：

$L_0(x)=2$

$L_1(x)=x$

$L_2(x)=x^2+2$

$L_3(x)=x^3+3x$

$L_4(x)=x^4+4x^2+2$

$L_5(x)=x^5+5x^3+5x$

$L_6(x)=x^6+6x^4+9x^2+2.$

フィボナッチ数およびリュカ数は、それぞれの多項式において x = 1 とすることで得られる。ペル数は F_n に対し x = 2 とすることで得られる。F_n の次数は n − 1 で、L_n の次数は n である。これらの多項式列の通常母関数は次のようになる：

$\sum _{n=0}^{\mathrm{\infty }}{F}_n(x)t^n=\frac{t}{1-xt-t^2}$

$\sum _{n=0}^{\mathrm{\infty }}{L}_n(x)t^n=\frac{2-xt}{1-xt-t^2}.$

これらの多項式列は、リュカ数列を使うことで次のように表現することが出来る：

$F_n(x)=U_n(x,-1),$

$L_n(x)=V_n(x,-1).$

関係式

リュカ数列の特別な場合として、フィボナッチ多項式は以下に述べる多くの関係式を満たす。

初めに、負の添え字に対しては次の関係式が成り立つ：

$F_{-n}(x)=(-1{)}^{n-1}{F}_n(x),L_{-n}(x)=(-1{)}^n{L}_n(x).$

また、次の関係式が成り立つ：

$F_{m+n}(x)=F_{m+1}(x)F_n(x)+F_m(x)F_{n-1}(x)$

$L_{m+n}(x)=L_m(x)L_n(x)-(-1{)}^n{L}_{m-n}(x)$

$F_{n+1}(x)F_{n-1}(x)-F_n(x{)}^2=(-1{)}^n$

$F_{2n}(x)=F_n(x)L_n(x).$

ビネットの公式と同様に、閉形式表現は次のようになる：

$F_n(x)=\frac{\alpha (x{)}^n-\beta (x{)}^n}{\alpha (x)-\beta (x)},L_n(x)=\alpha (x{)}^n+\beta (x{)}^n.$

ただし

$\alpha (x)=\frac{x+\sqrt{x^2+4}}{2},\beta (x)=\frac{x-\sqrt{x^2+4}}{2}$

は次の（t に関する）方程式の解である：

$t^2-xt-1=0.$

組合せ論的解釈

フィボナッチ多項式の係数は、パスカルの三角形の「浅い」対角（赤線）を読むことで求められる。それら係数の和は、フィボナッチ数である。

F_n(x) における x^k の係数を F(n,k) と表す。すなわち

$F_n(x)=\sum _{k=0}^{n}F(n,k)x^k,$

とする。このとき F(n,k) は、 2 × 1 のドミノとちょうど k 個の 1 × 1 の正方形を使って、n−1 × 1 の長方形を埋める方法の数に等しい。また同値であるが、F(n,k) は、1 をちょうど k 回使って、1 と 2 のみからなる順序付の和で n−1 を書く方法の数に等しい。例えば F(6,3)=4 であるが、これ 1 をちょうど 3 回使って、1 と 2 のみからなる順序付の和で 6-1 = 5 を書く方法 1+1+1+2, 1+1+2+1, 1+2+1+1, 2+1+1+1 の数 4 に等しい。そのような和で用いられる 1 と 2 の数を数えることで、F(n,k) は二項係数

$F(n,k)=(\genfrac{}{}{0ex}{}{\frac{n+k-1}{2}}{k})$

に等しい。ここで n と k は異なるパリティ（奇偶性）を持つ。このことから、右図のようにパスカルの三角形からフィボナッチ多項式の係数を求めることが出来る。

注釈

• テンプレート:Cite book
• テンプレート:SpringerEOM
• テンプレート:SpringerEOM
• テンプレート:MathWorld

参考文献

• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal

外部リンク

• テンプレート:SloanesRef
• テンプレート:SloanesRef