Número de Lucas

Serie entera infinita donde el siguiente número es la suma de los dos anteriores
La espiral de Lucas, formada por cuartos de arco , es una buena aproximación de la espiral áurea cuando sus términos son grandes. Sin embargo, cuando sus términos se vuelven muy pequeños, el radio del arco disminuye rápidamente de 3 a 1 y luego aumenta de 1 a 2.

La sucesión de Lucas es una sucesión de números enteros que recibe su nombre del matemático François Édouard Anatole Lucas (1842-1891), que estudió tanto esa sucesión como la sucesión de Fibonacci , estrechamente relacionada con ella . Los números individuales de la sucesión de Lucas se conocen como números de Lucas . Los números de Lucas y los números de Fibonacci forman instancias complementarias de sucesiones de Lucas .

La secuencia de Lucas tiene la misma relación recursiva que la secuencia de Fibonacci, donde cada término es la suma de los dos términos anteriores, pero con diferentes valores iniciales. [1] Esto produce una secuencia donde las razones de los términos sucesivos se aproximan a la proporción áurea , y de hecho los términos mismos son redondeos de potencias enteras de la proporción áurea. [2] La secuencia también tiene una variedad de relaciones con los números de Fibonacci, como el hecho de que sumar dos números de Fibonacci con dos términos de diferencia en la secuencia de Fibonacci da como resultado el número de Lucas intermedio. [3]

Los primeros números de Lucas son

2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, 199, 322, 521, 843, 1364, 2207, 3571, 5778, 9349, ... . (secuencia A000032 en la OEIS )

que coincide por ejemplo con el número de conjuntos de vértices independientes para gráficos cíclicos de longitud . [1] do norte Estilo de visualización C_{n} norte 2 {\displaystyle n\geq 2}

Definición

Al igual que con los números de Fibonacci, cada número de Lucas se define como la suma de sus dos términos inmediatamente anteriores, formando así una secuencia de números enteros de Fibonacci . Los dos primeros números de Lucas son y , que difiere de los dos primeros números de Fibonacci y . Aunque están estrechamente relacionados en su definición, los números de Lucas y Fibonacci presentan propiedades distintas. yo 0 = 2 {\displaystyle L_{0}=2} yo 1 = 1 Estilo de visualización L_{1}=1 F 0 = 0 {\displaystyle F_{0}=0} F 1 = 1 Estilo de visualización F_{1}=1

Los números de Lucas pueden definirse de la siguiente manera:

yo norte := { 2 si  norte = 0 ; 1 si  norte = 1 ; yo norte 1 + yo norte 2 si  norte > 1. {\displaystyle L_{n}:={\begin{cases}2&{\text{si }}n=0;\\1&{\text{si }}n=1;\\L_{n-1}+L_{n-2}&{\text{si }}n>1.\end{cases}}}

(donde n pertenece a los números naturales )

Todas las secuencias de números enteros similares a Fibonacci aparecen en forma desplazada como una fila de la matriz Wythoff ; la secuencia de Fibonacci en sí es la primera fila y la secuencia de Lucas es la segunda fila. Además, como todas las secuencias de números enteros similares a Fibonacci, la razón entre dos números de Lucas consecutivos converge a la proporción áurea .

Extensión a números enteros negativos

Usando , se pueden extender los números de Lucas a números enteros negativos para obtener una secuencia doblemente infinita: yo norte 2 = yo norte yo norte 1 {\displaystyle L_{n-2}=L_{n}-L_{n-1}}

..., −11, 7, −4, 3, −1, 2, 1, 3, 4, 7, 11, ... ( se muestran los términos para ). yo norte Estilo de visualización L_{n} 5 norte 5 {\displaystyle -5\leq {}n\leq 5}

La fórmula para los términos con índices negativos en esta secuencia es

yo norte = ( 1 ) norte yo norte . {\displaystyle L_{-n}=(-1)^{n}L_{n}.\!}

Relación con los números de Fibonacci

La primera identidad expresada visualmente

Los números de Lucas están relacionados con los números de Fibonacci por muchas identidades . Entre ellas se encuentran las siguientes:

  • yo norte = F norte 1 + F norte + 1 = 2 F norte + 1 F norte {\displaystyle L_{n}=F_{n-1}+F_{n+1}=2F_{n+1}-F_{n}}
  • yo metro + norte = yo metro + 1 F norte + yo metro F norte 1 {\displaystyle L_{m+n}=L_{m+1}F_{n}+L_{m}F_{n-1}}
  • F 2 norte = yo norte F norte Estilo de visualización F_{2n}=L_{n}F_{n}}
  • F norte + a + ( 1 ) a F norte a = yo a F norte {\displaystyle F_{n+k}+(-1)^{k}F_{nk}=L_{k}F_{n}}
  • 2 F 2 norte + a = yo norte F norte + a + yo norte + a F norte {\displaystyle 2F_{2n+k}=L_{n}F_{n+k}+L_{n+k}F_{n}}
  • yo 2 norte = 5 F norte 2 + 2 ( 1 ) norte = yo norte 2 2 ( 1 ) norte {\displaystyle L_{2n}=5F_{n}^{2}+2(-1)^{n}=L_{n}^{2}-2(-1)^{n}} , entonces . límite norte yo norte F norte = 5 {\displaystyle \lim _{n\to \infty }{\frac {L_{n}}{F_{n}}}={\sqrt {5}}}
  • | yo norte 5 F norte | = 2 φ norte 0 {\displaystyle \vert L_{n}-{\sqrt {5}}F_{n}\vert ={\frac {2}{\varphi ^{n}}}\to 0}
  • yo norte + a ( 1 ) a yo norte a = 5 F norte F a {\displaystyle L_{n+k}-(-1)^{k}L_{nk}=5F_{n}F_{k}} ; en particular, , por lo que . F norte = yo norte 1 + yo norte + 1 5 {\displaystyle F_{n}={L_{n-1}+L_{n+1} \sobre 5}} 5 F norte + yo norte = 2 yo norte + 1 {\displaystyle 5F_{n}+L_{n}=2L_{n+1}}

Su fórmula cerrada se da como:

L n = φ n + ( 1 φ ) n = φ n + ( φ ) n = ( 1 + 5 2 ) n + ( 1 5 2 ) n , {\displaystyle L_{n}=\varphi ^{n}+(1-\varphi )^{n}=\varphi ^{n}+(-\varphi )^{-n}=\left({1+{\sqrt {5}} \over 2}\right)^{n}+\left({1-{\sqrt {5}} \over 2}\right)^{n}\,,}

donde es la proporción áurea . Alternativamente, como la magnitud del término es menor que 1/2, es el entero más cercano a o, equivalentemente, la parte entera de , también escrito como . φ {\displaystyle \varphi } n > 1 {\displaystyle n>1} ( φ ) n {\displaystyle (-\varphi )^{-n}} L n {\displaystyle L_{n}} φ n {\displaystyle \varphi ^{n}} φ n + 1 / 2 {\displaystyle \varphi ^{n}+1/2} φ n + 1 / 2 {\displaystyle \lfloor \varphi ^{n}+1/2\rfloor }

Combinando lo anterior con la fórmula de Binet ,

F n = φ n ( 1 φ ) n 5 , {\displaystyle F_{n}={\frac {\varphi ^{n}-(1-\varphi )^{n}}{\sqrt {5}}}\,,}

Se obtiene una fórmula para : φ n {\displaystyle \varphi ^{n}}

φ n = L n + F n 5 2 . {\displaystyle \varphi ^{n}={{L_{n}+F_{n}{\sqrt {5}}} \over 2}\,.}

Para números enteros n ≥ 2, también obtenemos:

φ n = L n ( φ ) n = L n ( 1 ) n L n 1 L n 3 + R {\displaystyle \varphi ^{n}=L_{n}-(-\varphi )^{-n}=L_{n}-(-1)^{n}L_{n}^{-1}-L_{n}^{-3}+R}

con resto R satisfactorio

| R | < 3 L n 5 {\displaystyle \vert R\vert <3L_{n}^{-5}} .

Identidades de Lucas

Muchas de las identidades de Fibonacci tienen paralelos en los números de Lucas. Por ejemplo, la identidad de Cassini se convierte en

L n 2 L n 1 L n + 1 = ( 1 ) n 5 {\displaystyle L_{n}^{2}-L_{n-1}L_{n+1}=(-1)^{n}5}

También

k = 0 n L k = L n + 2 1 {\displaystyle \sum _{k=0}^{n}L_{k}=L_{n+2}-1}
k = 0 n L k 2 = L n L n + 1 + 2 {\displaystyle \sum _{k=0}^{n}L_{k}^{2}=L_{n}L_{n+1}+2}
2 L n 1 2 + L n 2 = L 2 n + 1 + 5 F n 2 2 {\displaystyle 2L_{n-1}^{2}+L_{n}^{2}=L_{2n+1}+5F_{n-2}^{2}}

dónde . F n = L n 1 + L n + 1 5 {\displaystyle \textstyle F_{n}={\frac {L_{n-1}+L_{n+1}}{5}}}

L n k = j = 0 k 2 ( 1 ) n j ( k j ) L ( k 2 j ) n {\displaystyle L_{n}^{k}=\sum _{j=0}^{\lfloor {\frac {k}{2}}\rfloor }(-1)^{nj}{\binom {k}{j}}L'_{(k-2j)n}}

donde excepto . L n = L n {\displaystyle L'_{n}=L_{n}} L 0 = 1 {\displaystyle L'_{0}=1}

Por ejemplo, si n es impar , y L n 3 = L 3 n 3 L n {\displaystyle L_{n}^{3}=L'_{3n}-3L'_{n}} L n 4 = L 4 n 4 L 2 n + 6 L 0 {\displaystyle L_{n}^{4}=L'_{4n}-4L'_{2n}+6L'_{0}}

Comprobando, y L 3 = 4 , 4 3 = 64 = 76 3 ( 4 ) {\displaystyle L_{3}=4,4^{3}=64=76-3(4)} 256 = 322 4 ( 18 ) + 6 {\displaystyle 256=322-4(18)+6}

Función generadora

Dejar

Φ ( x ) = 2 + x + 3 x 2 + 4 x 3 + = n = 0 L n x n {\displaystyle \Phi (x)=2+x+3x^{2}+4x^{3}+\cdots =\sum _{n=0}^{\infty }L_{n}x^{n}}

sea ​​la función generadora de los números de Lucas. Mediante un cálculo directo,

Φ ( x ) = L 0 + L 1 x + n = 2 L n x n = 2 + x + n = 2 ( L n 1 + L n 2 ) x n = 2 + x + n = 1 L n x n + 1 + n = 0 L n x n + 2 = 2 + x + x ( Φ ( x ) 2 ) + x 2 Φ ( x ) {\displaystyle {\begin{aligned}\Phi (x)&=L_{0}+L_{1}x+\sum _{n=2}^{\infty }L_{n}x^{n}\\&=2+x+\sum _{n=2}^{\infty }(L_{n-1}+L_{n-2})x^{n}\\&=2+x+\sum _{n=1}^{\infty }L_{n}x^{n+1}+\sum _{n=0}^{\infty }L_{n}x^{n+2}\\&=2+x+x(\Phi (x)-2)+x^{2}\Phi (x)\end{aligned}}}

que puede reorganizarse como

Φ ( x ) = 2 x 1 x x 2 {\displaystyle \Phi (x)={\frac {2-x}{1-x-x^{2}}}}

Φ ( 1 x ) {\displaystyle \Phi \!\left(-{\frac {1}{x}}\right)} da la función generadora para los números de Lucas indexados negativos, y n = 0 ( 1 ) n L n x n = n = 0 L n x n {\displaystyle \sum _{n=0}^{\infty }(-1)^{n}L_{n}x^{-n}=\sum _{n=0}^{\infty }L_{-n}x^{-n}}

Φ ( 1 x ) = x + 2 x 2 1 x x 2 {\displaystyle \Phi \!\left(-{\frac {1}{x}}\right)={\frac {x+2x^{2}}{1-x-x^{2}}}}

Φ ( x ) {\displaystyle \Phi (x)} satisface la ecuación funcional

Φ ( x ) Φ ( 1 x ) = 2 {\displaystyle \Phi (x)-\Phi \!\left(-{\frac {1}{x}}\right)=2}

Como la función generadora de los números de Fibonacci está dada por

s ( x ) = x 1 x x 2 {\displaystyle s(x)={\frac {x}{1-x-x^{2}}}}

tenemos

s ( x ) + Φ ( x ) = 2 1 x x 2 {\displaystyle s(x)+\Phi (x)={\frac {2}{1-x-x^{2}}}}

Lo que prueba que

F n + L n = 2 F n + 1 , {\displaystyle F_{n}+L_{n}=2F_{n+1},}

y

5 s ( x ) + Φ ( x ) = 2 x Φ ( 1 x ) = 2 1 1 x x 2 + 4 x 1 x x 2 {\displaystyle 5s(x)+\Phi (x)={\frac {2}{x}}\Phi (-{\frac {1}{x}})=2{\frac {1}{1-x-x^{2}}}+4{\frac {x}{1-x-x^{2}}}}

prueba que

5 F n + L n = 2 L n + 1 {\displaystyle 5F_{n}+L_{n}=2L_{n+1}}

La descomposición en fracciones parciales viene dada por

Φ ( x ) = 1 1 ϕ x + 1 1 ψ x {\displaystyle \Phi (x)={\frac {1}{1-\phi x}}+{\frac {1}{1-\psi x}}}

¿Dónde está la proporción áurea y es su conjugado ? ϕ = 1 + 5 2 {\displaystyle \phi ={\frac {1+{\sqrt {5}}}{2}}} ψ = 1 5 2 {\displaystyle \psi ={\frac {1-{\sqrt {5}}}{2}}}

Esto se puede utilizar para demostrar la función generadora, como

n = 0 L n x n = n = 0 ( ϕ n + ψ n ) x n = n = 0 ϕ n x n + n = 0 ψ n x n = 1 1 ϕ x + 1 1 ψ x = Φ ( x ) {\displaystyle \sum _{n=0}^{\infty }L_{n}x^{n}=\sum _{n=0}^{\infty }(\phi ^{n}+\psi ^{n})x^{n}=\sum _{n=0}^{\infty }\phi ^{n}x^{n}+\sum _{n=0}^{\infty }\psi ^{n}x^{n}={\frac {1}{1-\phi x}}+{\frac {1}{1-\psi x}}=\Phi (x)}

Relaciones de congruencia

Si es un número de Fibonacci entonces ningún número de Lucas es divisible por . F n 5 {\displaystyle F_{n}\geq 5} F n {\displaystyle F_{n}}

L n {\displaystyle L_{n}} es congruente con 1 módulo si es primo , pero algunos valores compuestos de también tienen esta propiedad. Estos son los pseudoprimos de Fibonacci . n {\displaystyle n} n {\displaystyle n} n {\displaystyle n}

L n L n 4 {\displaystyle L_{n}-L_{n-4}} es congruente con 0 módulo 5.

Lucas prepara

Un primo de Lucas es un número de Lucas que es primo . Los primeros primos de Lucas son

2, 3, 7, 11, 29, 47, 199, 521, 2207, 3571, 9349, 3010349, 54018521, 370248451, 6643838879, ... (secuencia A005479 en la OEIS ).

Los índices de estos primos son (por ejemplo, L 4 = 7)

0, 2, 4, 5, 7, 8, 11, 13, 16, 17, 19, 31, 37, 41, 47, 53, 61, 71, 79, 113, 313, 353, 503, 613, 617, 863, 1097, 1361, 4787, 4793, 5851, 7741, 8467, ... (secuencia A001606 en la OEIS ).

A partir de septiembre de 2015 [update], el primo de Lucas confirmado más grande es L 148091 , que tiene 30950 dígitos decimales. [4] A partir de agosto de 2022 , el primo probable[update] de Lucas conocido más grande es L 5466311 , con 1,142,392 dígitos decimales. [5]

Si L n es primo, entonces n es 0, primo o una potencia de 2. [6] L 2 m es primo para m  = 1, 2, 3 y 4 y ningún otro valor conocido de  m .

Polinomios de Lucas

De la misma manera que los polinomios de Fibonacci se derivan de los números de Fibonacci , los polinomios de Lucas son una secuencia polinómica derivada de los números de Lucas. L n ( x ) {\displaystyle L_{n}(x)}

Fracciones continuas para potencias de la proporción áurea

Se pueden obtener aproximaciones racionales cercanas para potencias de la proporción áurea a partir de sus fracciones continuas .

Para números enteros positivos n , las fracciones continuas son:

φ 2 n 1 = [ L 2 n 1 ; L 2 n 1 , L 2 n 1 , L 2 n 1 , ] {\displaystyle \varphi ^{2n-1}=[L_{2n-1};L_{2n-1},L_{2n-1},L_{2n-1},\ldots ]}
φ 2 n = [ L 2 n 1 ; 1 , L 2 n 2 , 1 , L 2 n 2 , 1 , L 2 n 2 , 1 , ] {\displaystyle \varphi ^{2n}=[L_{2n}-1;1,L_{2n}-2,1,L_{2n}-2,1,L_{2n}-2,1,\ldots ]} .

Por ejemplo:

φ 5 = [ 11 ; 11 , 11 , 11 , ] {\displaystyle \varphi ^{5}=[11;11,11,11,\ldots ]}

es el límite de

11 1 , 122 11 , 1353 122 , 15005 1353 , {\displaystyle {\frac {11}{1}},{\frac {122}{11}},{\frac {1353}{122}},{\frac {15005}{1353}},\ldots }

siendo el error en cada término aproximadamente el 1% del error en el término anterior; y

φ 6 = [ 18 1 ; 1 , 18 2 , 1 , 18 2 , 1 , 18 2 , 1 , ] = [ 17 ; 1 , 16 , 1 , 16 , 1 , 16 , 1 , ] {\displaystyle \varphi ^{6}=[18-1;1,18-2,1,18-2,1,18-2,1,\ldots ]=[17;1,16,1,16,1,16,1,\ldots ]}

es el límite de

17 1 , 18 1 , 305 17 , 323 18 , 5473 305 , 5796 323 , 98209 5473 , 104005 5796 , {\displaystyle {\frac {17}{1}},{\frac {18}{1}},{\frac {305}{17}},{\frac {323}{18}},{\frac {5473}{305}},{\frac {5796}{323}},{\frac {98209}{5473}},{\frac {104005}{5796}},\ldots }

con un error en cada término de aproximadamente el 0,3% del del segundo término anterior.

Aplicaciones

Los números de Lucas son el segundo patrón más común en los girasoles después de los números de Fibonacci, cuando se cuentan espirales en sentido horario y antihorario, según un análisis de 657 girasoles en 2016. [7]

Véase también

Referencias

  1. ^ de Weisstein, Eric W. "Lucas Number". mathworld.wolfram.com . Consultado el 11 de agosto de 2020 .
  2. ^ Parker, Matt (2014). "13". Cosas para crear y hacer en la cuarta dimensión . Farrar, Straus y Giroux. pág. 284. ISBN 978-0-374-53563-6.
  3. ^ Parker, Matt (2014). "13". Cosas que se pueden hacer y crear en la cuarta dimensión . Farrar, Straus y Giroux. pág. 282. ISBN 978-0-374-53563-6.
  4. ^ "Los veinte mejores: el número de Lucas". primes.utm.edu . Consultado el 6 de enero de 2022 .
  5. ^ "PRP Top de Henri & Renaud Lifchitz - Búsqueda por formulario" www.primenumbers.net . Consultado el 6 de enero de 2022 .
  6. ^ Chris Caldwell, "El glosario principal: Lucas prime" de The Prime Pages .
  7. ^ Swinton, Jonathan; Ochu, Erinma; null, null (2016). "Nueva estructura de Fibonacci y no Fibonacci en el girasol: resultados de un experimento de ciencia ciudadana". Royal Society Open Science . 3 (5): 160091. Bibcode :2016RSOS....360091S. doi :10.1098/rsos.160091. PMC 4892450 . PMID  27293788. 
Retrieved from "https://en.wikipedia.org/w/index.php?title=Lucas_number&oldid=1251380877#Lucas_primes"