フィボナッチ多項式
数学におけるフィボナッチ多項式（フィボナッチたこうしき、英: Fibonacci polynomials）とは、フィボナッチ数の一般化として見られるある多項式列のことを言う。同様にリュカ数の一般化として得られる多項式列のことはリュカ数（Lucas polynomials）と言う。
定義
- [math]F_n(x)= \begin{cases} 0, & \mbox{if } n = 0\\ 1, & \mbox{if } n = 1\\ x F_{n - 1}(x) + F_{n - 2}(x),& \mbox{if } n \geq 2 \end{cases}[/math]
初めのいくつかのフィボナッチ多項式を書くと、次のようになる：
- [math]F_0(x)=0 \,[/math]
- [math]F_1(x)=1 \,[/math]
- [math]F_2(x)=x \,[/math]
- [math]F_3(x)=x^2+1 \,[/math]
- [math]F_4(x)=x^3+2x \,[/math]
- [math]F_5(x)=x^4+3x^2+1 \,[/math]
- [math]F_6(x)=x^5+4x^3+3x \,[/math]
リュカ多項式は、初めの値が異なるだけで、同様の漸化式より得られる[2]： [math]L_n(x) = \begin{cases} 2, & \mbox{if } n = 0 \\ x, & \mbox{if } n = 1 \\ x L_{n - 1}(x) + L_{n - 2}(x), & \mbox{if } n \geq 2. \end{cases}[/math]
初めのいくつかのリュカ多項式は次のようになる：
- [math]L_0(x)=2 \,[/math]
- [math]L_1(x)=x \,[/math]
- [math]L_2(x)=x^2+2 \,[/math]
- [math]L_3(x)=x^3+3x \,[/math]
- [math]L_4(x)=x^4+4x^2+2 \,[/math]
- [math]L_5(x)=x^5+5x^3+5x \,[/math]
- [math]L_6(x)=x^6+6x^4+9x^2 + 2. \,[/math]
フィボナッチ数およびリュカ数は、それぞれの多項式において x = 1 とすることで得られる。ペル数は Fn に対し x = 2 とすることで得られる。Fn の次数は n − 1 で、Ln の次数は n である。これらの多項式列の通常母関数は次のようになる[3]：
- [math] \sum_{n=0}^\infty F_n(x) t^n = \frac{t}{1-xt-t^2}[/math]
- [math] \sum_{n=0}^\infty L_n(x) t^n = \frac{2-xt}{1-xt-t^2}.[/math]
これらの多項式列は、リュカ数列を使うことで次のように表現することが出来る：
- [math]F_n(x) = U_n(x,-1),\,[/math]
- [math]L_n(x) = V_n(x,-1).\,[/math]
関係式
リュカ数列の特別な場合として、フィボナッチ多項式は以下に述べる多くの関係式を満たす。
初めに、負の添え字に対しては次の関係式が成り立つ[4]：
- [math]F_{-n}(x)=(-1)^{n-1}F_{n}(x),\,L_{-n}(x)=(-1)^nL_{n}(x).[/math]
また、次の関係式が成り立つ[4]：
- [math]F_{m+n}(x)=F_{m+1}(x)F_n(x)+F_m(x)F_{n-1}(x)\,[/math]
- [math]L_{m+n}(x)=L_m(x)L_n(x)-(-1)^nL_{m-n}(x)\,[/math]
- [math]F_{n+1}(x)F_{n-1}(x)- F_n(x)^2=(-1)^n\,[/math]
- [math]F_{2n}(x)=F_n(x)L_n(x).\,[/math]
ビネットの公式と同様に、閉形式表現は次のようになる[4]：
- [math]F_n(x)=\frac{\alpha(x)^n-\beta(x)^n}{\alpha(x)-\beta(x)},\,L_n(x)=\alpha(x)^n+\beta(x)^n.[/math]
ただし
- [math]\alpha(x)=\frac{x+\sqrt{x^2+4}}{2},\,\beta(x)=\frac{x-\sqrt{x^2+4}}{2}[/math]
は次の（t に関する）方程式の解である：
- [math]t^2-xt-1=0.\,[/math]
組合せ論的解釈
Fn(x) における xk の係数を F(n,k) と表す。すなわち
- [math]F_n(x)=\sum_{k=0}^n F(n,k)x^k,\,[/math]
とする。このとき F(n,k) は、 2 × 1 のドミノとちょうど k 個の 1 × 1 の正方形を使って、n−1 × 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) は二項係数
- [math]F(n,k)=\binom{\tfrac{n+k-1}{2}}{k}[/math]
に等しい。ここで n と k は異なるパリティ（奇偶性）を持つ。このことから、右図のようにパスカルの三角形からフィボナッチ多項式の係数を求めることが出来る。
注釈
- ↑ 1.0 1.1 Benjamin & Quinn p. 141
- ↑ Benjamin & Quinn p. 142
- ↑ Weisstein, Eric W. “Fibonacci Polynomial”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
- ↑ 4.0 4.1 4.2 Springer
- (2003) “§9.4 Fibonacci and Lucas Polynomial”, Proofs that Really Count. MAA. ISBN 0-88385-333-7.
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}
- Weisstein, Eric W. “Lucas Polynomial”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
参考文献
- Hoggatt, V. E.; Bicknell, Marjorie (1973). “Roots of Fibonacci polynomials.”. Fibonacci Quarterly 11: 271–274. ISSN 0015-0517. MR 0332645.
- Hoggatt, V. E.; Long, Calvin T. (1974). “Divisibility properties of generalized Fibonacci Polynomials”. Fibonacci Quarterly 12: 113. MR 0352034.
- Ricci, Paolo Emilio (1995). “Generalized Lucas polynomials and Fibonacci polynomials”. Rivista di Matematica della Università di Parma. V. Ser. 4: 137–146. MR 1395332.
- Yuan, Yi; Zhang, Wenpeng (2002). “Some identities involving the Fibonacci Polynomials”. Fibonacci Quarterly 40 (4): 314. MR 1920571.
- Cigler, Johann (2003). “q-Fibonacci polynomials”. Fibonacci Quarterly (41): 31–40. MR 1962279.