En matemáticas, especialmente en teoría de números, las sucesiones de Lucas U_n(P,Q) y V_n(P,Q) son ciertas sucesiones de enteros que satisfacen la relación de recurrencia

x_n = P x_n−1 + Q x_n−2

Donde P y Q son enteros fijos. Cualquier otra sucesión que satisfaga esta relación de recurrencia puede ser representada como combinación lineal de las sucesiones de Lucas U_n(P,Q) y V_n(P,Q).

Entre ellas se encuentran las sucesiones de los números de Lucas, que se obtienen de igual manera que la sucesión de Fibonacci, y ambas están estrechamente relacionadas, con el cambio de que los primeros dos números no son 1, 1, sino 2, 1. La sucesión de Lucas toma el nombre del matemático francés Édouard Lucas.

Los números de Lucas están dados por:

• ${\displaystyle l_{0}=2~}$
• ${\displaystyle l_{1}=1~}$
• ${\displaystyle l_{n}=l_{n-1}+l_{n-2}~}$ para ${\displaystyle n=2,3,4,5,\ldots }$

Teniendo ciertas propiedades como: La sucesión de Lucas tiene una gran similitud con la sucesión de Fibonacci y comparte muchas de sus características. Algunas propiedades interesantes incluyen:

• La proporción entre un número de Lucas y su sucesor inmediato se aproxima al número áureo. Es decir

${\displaystyle \lim _{n\to \infty }{\frac {l_{n+1}}{l_{n}}}=\varphi }$

• La fórmula explícita para la sucesión de Lucas es

${\displaystyle l_{n}=\varphi ^{n}+(-\varphi )^{-n}}$

• La suma de los primeros ${\displaystyle n}$ números de Lucas es el número que se encuentra en la posición ${\displaystyle n+2}$ menos uno. Es decir

${\displaystyle l_{0}+l_{1}+l_{2}+\cdots +l_{n}=l_{n+2}-1}$

• Cualquier fórmula que contenga un número de Lucas puede expresarse en términos de números de Fibonacci mediante la igualdad

${\displaystyle l_{n}=f_{n-1}+f_{n+1}~}$

• Cualquier fórmula que contenga un número de Fibonacci puede expresarse en términos de números de Lucas mediante la igualdad

${\displaystyle f_{n}={\frac {l_{n-1}+l_{n+1}}{5}}}$

Teniendo en cuenta dos parámetros enteros P y Q, la sucesión de Lucas de la primera clase U_n(P,Q) y de la segunda clase V_n(P,Q) Se definen por las relaciones de recurrencia:

${\displaystyle U_{0}(P,Q)=0,\,}$

${\displaystyle U_{1}(P,Q)=1,\,}$

${\displaystyle U_{n}(P,Q)=P\cdot U_{n-1}(P,Q)-Q\cdot U_{n-2}(P,Q){\mbox{ for }}n>1,\,}$

y

${\displaystyle V_{0}(P,Q)=2,\,}$

${\displaystyle V_{1}(P,Q)=P,\,}$

${\displaystyle V_{n}(P,Q)=P\cdot V_{n-1}(P,Q)-Q\cdot V_{n-2}(P,Q){\mbox{ for }}n>1,\,}$

No es difícil mostrar que para ${\displaystyle n>0}$,

${\displaystyle U_{n}(P,Q)={\frac {P\cdot U_{n-1}(P,Q)+V_{n-1}(P,Q)}{2}},\,}$

${\displaystyle V_{n}(P,Q)={\frac {(P^{2}-4Q)\cdot U_{n-1}(P,Q)+P\cdot V_{n-1}(P,Q)}{2}}.\,}$

Los términos iniciales de la sucesión U_n(P,Q) y V_n(P,Q) se dan en esta tabla:

${\displaystyle n\,}$	${\displaystyle U_{n}(P,Q)\,}$	${\displaystyle V_{n}(P,Q)\,}$
${\displaystyle 0\,}$	${\displaystyle 0\,}$	${\displaystyle 2\,}$
${\displaystyle 1\,}$	${\displaystyle 1\,}$	${\displaystyle P\,}$
${\displaystyle 2\,}$	${\displaystyle P\,}$	${\displaystyle {P}^{2}-2Q\,}$
${\displaystyle 3\,}$	${\displaystyle {P}^{2}-Q\,}$	${\displaystyle {P}^{3}-3PQ\,}$
${\displaystyle 4\,}$	${\displaystyle {P}^{3}-2PQ\,}$	${\displaystyle {P}^{4}-4{P}^{2}Q+2{Q}^{2}\,}$
${\displaystyle 5\,}$	${\displaystyle {P}^{4}-3{P}^{2}Q+{Q}^{2}\,}$	${\displaystyle {P}^{5}-5{P}^{3}Q+5P{Q}^{2}\,}$
${\displaystyle 6\,}$	${\displaystyle {P}^{5}-4{P}^{3}Q+3P{Q}^{2}\,}$	${\displaystyle {P}^{6}-6{P}^{4}Q+9{P}^{2}{Q}^{2}-2{Q}^{3}\,}$

La ecuación característica de la relación de recurrencia para las sucesiones de Lucas ${\displaystyle U_{n}(P,Q)}$ y ${\displaystyle V_{n}(P,Q)}$ es:

${\displaystyle x^{2}-Px+Q=0\,}$

Tiene la discriminante ${\displaystyle D=P^{2}-4Q}$ y las raíces:

${\displaystyle a={\frac {P+{\sqrt {D}}}{2}}\quad {\text{and}}\quad b={\frac {P-{\sqrt {D}}}{2}}.\,}$

Por lo tanto:

${\displaystyle a+b=P\,,}$

${\displaystyle ab={\frac {1}{4}}(P^{2}-D)=Q\,,}$

${\displaystyle a-b={\sqrt {D}}\,.}$

Cuando ${\displaystyle D\neq 0}$, a y b son distintos y uno verifica rápidamente que

${\displaystyle a^{n}={\frac {V_{n}+U_{n}{\sqrt {D}}}{2}}}$

${\displaystyle b^{n}={\frac {V_{n}-U_{n}{\sqrt {D}}}{2}}}$.

De ello se desprende que los términos de secuencias de Lucas se pueden expresar en términos de a y b como

${\displaystyle U_{n}={\frac {a^{n}-b^{n}}{a-b}}={\frac {a^{n}-b^{n}}{\sqrt {D}}}}$

${\displaystyle V_{n}=a^{n}+b^{n}\,}$

El caso en que ${\displaystyle D=0}$ ocurre exactamente cuando ${\displaystyle P=2S{\text{ y }}Q=S^{2}}$ para algunos enteros S de manera que ${\displaystyle a=b=S}$. En este caso se puede encontrar fácilmente qu

${\displaystyle U_{n}(P,Q)=U_{n}(2S,S^{2})=nS^{n-1}\,}$

${\displaystyle V_{n}(P,Q)=V_{n}(2S,S^{2})=2S^{n}\,}$.

Si las sucesiones ${\displaystyle U_{n}(P,Q)}$ y ${\displaystyle V_{n}(P,Q)}$ tienen discriminante ${\displaystyle D=P^{2}-4Q}$, entonces la sucesión basada en ${\displaystyle P_{2}}$ y ${\displaystyle Q_{2}}$ donde

${\displaystyle P_{2}=P+2}$

${\displaystyle Q_{2}=P+Q+1}$

tienen la misma discriminante: ${\displaystyle P_{2}^{2}-4Q_{2}=(P+2)^{2}-4(P+Q+1)=P^{2}-4Q=D}$.

Las secuencias de Lucas para algunos valores de P y Q tienen nombres específicos:

U_n(1,−1): Números de Fibonacci

V_n(1,−1): Números de Lucas

U_n(2,−1): Números de Pell

V_n(2,−1): Números de Pell-Lucas

U_n(1,−2): Números de Jacobsthal

V_n(1,−2): Números de Jacobsthal-Lucas

U_n(3, 2): Números de Mersenne 2ⁿ − 1

V_n(3, 2): Números de la forma 2ⁿ + 1, que incluye los números de Fermat(Yubuta, 2001).

U_n(x,−1): Polinomios de Fibonacci

V_n(x,−1): Polinomios de Lucas

U_n(x+1, x): Repitunos en base x

V_n(x+1, x): xⁿ + 1

• Lehmer, D. H. (1930). «An extended theory of Lucas' functions». Annals of Mathematics 31 (3): 419-448. Bibcode:1930AnMat..31..419L. JSTOR 1968235. 
• Hrant Arakelian. Mathematics and History of the Golden Section, Logos 2014, 404 p. ISBN 978-5-98704-663-0 (rus.).
• Ward, Morgan (1954). «Prime divisors of second order recurring sequences». Duke Math. J. 21 (4): 607-614. MR 0064073. doi:10.1215/S0012-7094-54-02163-8. 
• Somer, Lawrence (1980). «The divisibility properties of primary Lucas Recurrences with respect to primes». Fib. Quart. 18: 316. 
• Lagarias, J. C. (1985). «The set of primes dividing Lucas Numbers has density 2/3». Pac. J. Math 118 (2): 449-461. MR 789184. doi:10.2140/pjm.1985.118.449. 
• Hans Riesel (1994). Prime Numbers and Computer Methods for Factorization. Progress in Mathematics 126 (2nd ed edición). Birkhäuser. pp. 107-121. ISBN 0-8176-3743-5. 
• Ribenboim, Paulo; McDaniel, Wayne L. (1996). «The square terms in Lucas Sequences». J. Numb. Theory 58 (1): 104-123. doi:10.1006/jnth.1996.0068. 
• Joye, M.; Quisquater, J.-J. (1996). «Efficient computation of full Lucas sequences». El. Lett. 32 (6): 537-538. doi:10.1049/el:19960359. Archivado desde el original el 2 de febrero de 2015. 
• Ribenboim, Paulo (2000). My Numbers, My Friends: Popular Lectures on Number Theory. Nueva York: Springer-Verlag. pp. 1-50. ISBN 0-387-98911-0. 
• Luca, Florian (2000). «Perfect Fibonacci and Lucas numbers». Rend. Circ Matem. Palermo 49 (2): 313-318. doi:10.1007/BF02904236. 
• Yabuta, M. (2001). «A simple proof of Carmichael's theorem on primitive divisors». Fibonacci Quarterly 39: 439-443. .
• Arthur T. Benjamin; Jennifer J. Quinn (2003). Proofs that Really Count. Mathematical Association of America. p. 35. ISBN 0-88385-333-7. 
• Weisstein, Eric W. «Lucas Sequence». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Dai, Wei. «Lucas Sequences in Cryptography».