Polinomios de Fibonacci

En matemáticas, los polinomios de Fibonacci son una secuencia polinomial que se puede considerar como una generalización de la sucesión de Fibonacci. Los polinomios generados de forma similar al número de Lucas se llaman polinomios de Lucas.

Definición

Los polinomios de Fibonacci están definidos por una relación de recurrencia:

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

Los primeros polinomios de Fibonacci son:

$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$

Los polinomios de Lucas usan la misma recurrencia con diferentes valores iniciales: $L_n(x)=\{\begin{array}{cc}2,& \text{si }n=0\\ x,& \text{si }n=1\\ x{L}_{n-1}(x)+L_{n-2}(x),& \text{si }n\ge 2.\end{array}$

Los primeros polinomios de Lucas son:

$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.$

Los números de Fibonacci y Lucas se obtienen al dar valor a los polinomios en x = 1; los números de Pell resultan de asignar un valor a F_n en x = 2. Los grados de F_n son n − 1 y el grado de L_n es n. Las funciones generadoras ordinarias para las secuencias son:

$\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}.$

Los polinomios se pueden expresar en términos de la sucesión de Lucas como

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

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

Identidades

Plantilla:AP Como casos particulares de secuencias de Lucas, los polinomios de Fibonacci satisfacen una serie de identidades.

Primero, pueden ser definidos por los índices negativos por

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

Otras identidades incluyen:

$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).$

Las expresiones de forma cerrada, similares a la fórmula de Binet son:

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

donde

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

son las soluciones (en t) de

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

Una relación entre los polinomios de Fibonacci y los polinomios de base estándar viene dada por

$x^n=F_{n+1}(x)+\sum _{k=1}^{\lfloor n/2\rfloor }(-1{)}^k[(\genfrac{}{}{0ex}{}{n}{k})-(\genfrac{}{}{0ex}{}{n}{k-1})]F_{n+1-2k}(x).$

Por ejemplo,

$x^4=F_5(x)-3F_3(x)+2F_1(x)$

$x^5=F_6(x)-4F_4(x)+4F_2(x)$

$x^6=F_7(x)-5F_5(x)+9F_3(x)-5F_1(x)$

$x^7=F_8(x)-6F_6(x)+14F_4(x)-14F_2(x)$

Interpretación combinatoria

Los coeficientes de los polinomios de Fibonacci se pueden leer en el triángulo de Pascal siguiendo las diagonales "superficiales" (que se muestran en rojo). Las sumas de los coeficientes son los números de Fibonacci.

Si F (n, k) es el coeficiente de x^k en F_n(x), entonces

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

entonces F(n, k) es el número de maneras en que un rectángulo de n-1 por 1 puede ser recubierto con dominós de 2 por 1 y de 1 por 1, de modo que se usen exactamente k piezas de tamaño 1. Equivalentemente, F (n, k) es el número de formas de escribir n-1 como una suma ordenada que involucra solo los números 1 y 2, de modo que 1 se usa exactamente k veces. Por ejemplo, F(6,3) = 4, porque 5 (igual a n-1) se puede escribir con estas reglas de 4 maneras distintas: 1 + 1 + 1 + 2; 1 + 1 + 2 + 1; 1 + 2 + 1 + 1; 2 + 1 + 1 + 1; como una suma que involucra solo 1 y 2, con el número 1 usado 3 veces. Contando el número de veces que se usan 1 y 2 en tal suma, es evidente que F(n, k) es igual al coeficiente binomial

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

cuando n y k tienen paridad opuesta. Esto proporciona una forma de leer los coeficientes del triángulo de Pascal como se muestra a la derecha.

Bibliografía

• Plantilla:Cite book
• Plantilla:Springer
• Plantilla:Springer
• Plantilla:MathWorld

Lecturas adicionales

• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal

Enlaces externos

• Plantilla:OEIS el
• Plantilla:OEIS el