ÁlgebraContenidos

Sucesiones y recurrencias lineales

Una recurrencia lineal de orden se resuelve mediante su polinomio característico: las raíces dan la forma general de . Fibonacci es el ejemplo canónico; las técnicas se aplican directamente en olimpiada.

DificultadRegional
Etiquetassucesionesrecurrenciasfibonacciecuacion-caracteristicaserie
Requisitospolinomios
AutorAdrián García Bouzas
Actualizado2026-06-06

Las recurrencias lineales aparecen en olimpiada en dos formas: como objeto de estudio en sí mismas (divisibilidad, periodicidad, comportamiento asintótico) o como herramienta para calcular sumas. Conocer la ecuación característica convierte una recurrencia en una fórmula cerrada.

Enunciado

Definición. Una recurrencia lineal de orden kk con coeficientes constantes es una relación

an=c1an1+c2an2++ckank,nk,a_n = c_1 a_{n-1} + c_2 a_{n-2} + \cdots + c_k a_{n-k}, \quad n \geq k,

donde c1,,ckc_1, \ldots, c_k son constantes (con ck0c_k \neq 0) y se dan kk condiciones iniciales a0,,ak1a_0, \ldots, a_{k-1}.

Polinomio característico. Se asocia a la recurrencia el polinomio

P(r)=rkc1rk1c2rk2ck.P(r) = r^k - c_1 r^{k-1} - c_2 r^{k-2} - \cdots - c_k.

Teorema. Si PP tiene kk raíces distintas r1,,rkr_1, \ldots, r_k, la solución general es

an=A1r1n+A2r2n++Akrkn,a_n = A_1 r_1^n + A_2 r_2^n + \cdots + A_k r_k^n,

donde A1,,AkA_1, \ldots, A_k se determinan por las condiciones iniciales.

Raíz múltiple. Si rr es raíz de PP con multiplicidad mm, contribuye los términos rn,nrn,n2rn,,nm1rnr^n, n r^n, n^2 r^n, \ldots, n^{m-1}r^n a la solución general.

Caso más común: orden 2

La recurrencia an=pan1+qan2a_n = p\,a_{n-1} + q\,a_{n-2} tiene polinomio característico r2prq=0r^2 - pr - q = 0 con raíces

r1,2=p±p2+4q2.r_{1,2} = \frac{p \pm \sqrt{p^2 + 4q}}{2}.

  • Raíces distintas r1r2r_1 \neq r_2: an=Ar1n+Br2na_n = A r_1^n + B r_2^n.
  • Raíz doble r1=r2=rr_1 = r_2 = r: an=(A+Bn)rna_n = (A + Bn)\,r^n.
Ejemplo

Fibonacci

Definición. F0=0F_0=0, F1=1F_1=1, Fn=Fn1+Fn2F_n=F_{n-1}+F_{n-2}.

Fórmula de Binet. El polinomio característico r2r1=0r^2-r-1=0 tiene raíces

φ=1+521.618(razoˊaˊurea),φ^=1520.618\varphi = \frac{1+\sqrt5}{2} \approx 1.618\ldots \quad \text{(razón áurea)}, \qquad \hat\varphi = \frac{1-\sqrt5}{2} \approx -0.618\ldots

La solución general es Fn=Aφn+Bφ^nF_n = A\varphi^n + B\hat\varphi^n. Con F0=0F_0=0 y F1=1F_1=1:

A+B=0,Aφ+Bφ^=1    A=15,    B=15.A + B = 0, \quad A\varphi + B\hat\varphi = 1 \implies A = \frac{1}{\sqrt5}, \;\; B = -\frac{1}{\sqrt5}.

Fórmula de Binet:

Fn=φnφ^n5=15[(1+52)n(152)n].F_n = \frac{\varphi^n - \hat\varphi^n}{\sqrt5} = \frac{1}{\sqrt5}\left[\left(\frac{1+\sqrt5}{2}\right)^n - \left(\frac{1-\sqrt5}{2}\right)^n\right].


Ejemplo 1. Probar que Fm+n=FmFn+1+Fm1FnF_{m+n} = F_m F_{n+1} + F_{m-1} F_n para m1m \geq 1.

Se verifica por inducción sobre nn usando la recurrencia. Para n=0n=0: Fm=Fm1+Fm10F_m=F_m\cdot1+F_{m-1}\cdot0 ✓. Para n=1n=1: Fm+1=FmF2+Fm1F1=Fm+Fm1F_{m+1}=F_m F_2+F_{m-1}F_1=F_m+F_{m-1} ✓. El paso inductivo usa que Fm+n=Fm+n1+Fm+n2F_{m+n}=F_{m+n-1}+F_{m+n-2} y la hipótesis para n1n-1 y n2n-2. \square


Ejemplo 2. (Divisibilidad) Probar que FmFmkF_m \mid F_{mk} para todo m,k1m, k \geq 1.

Usando la identidad anterior: Fm+n=FmFn+1+Fm1FnF_{m+n}=F_m F_{n+1}+F_{m-1}F_n. Fijado mm, si FmFnF_m \mid F_n, entonces FmFm+nF_m \mid F_{m+n}. Por inducción sobre kk, FmFmkF_m \mid F_{mk}. \square


Ejemplo 3. (Recurrencia de orden 2 general) Resolver an=5an16an2a_n = 5a_{n-1}-6a_{n-2} con a0=1a_0=1, a1=2a_1=2.

Polinomio: r25r+6=(r2)(r3)=0r^2-5r+6=(r-2)(r-3)=0. Raíces: r1=2r_1=2, r2=3r_2=3.

Solución: an=A2n+B3na_n=A\cdot2^n+B\cdot3^n.

Condiciones iniciales: A+B=1A+B=1 y 2A+3B=22A+3B=2. Resolviendo: A=1A=1, B=0B=0.

an=2na_n=2^n. (Se verifica: an=52n162n2=2n2(106)=2n24=2na_n=5\cdot2^{n-1}-6\cdot2^{n-2}=2^{n-2}(10-6)=2^{n-2}\cdot4=2^n ✓.) \square


Ejemplo 4. (Raíz doble) Resolver an=4an14an2a_n = 4a_{n-1}-4a_{n-2} con a0=1a_0=1, a1=4a_1=4.

Polinomio: r24r+4=(r2)2=0r^2-4r+4=(r-2)^2=0. Raíz doble r=2r=2.

Solución: an=(A+Bn)2na_n=(A+Bn)\cdot2^n.

Con a0=1a_0=1: A=1A=1. Con a1=4a_1=4: (1+B)2=4(1+B)\cdot2=4, así B=1B=1.

an=(1+n)2na_n=(1+n)\cdot2^n. \square


Ejemplo 5. (Suma telescópica) Calcular k=1nFk\sum_{k=1}^n F_k.

Usando la identidad Fk+2Fk+1=FkF_{k+2}-F_{k+1}=F_k:

k=1nFk=k=1n(Fk+2Fk+1)=Fn+2F2=Fn+21.  \sum_{k=1}^n F_k = \sum_{k=1}^n (F_{k+2}-F_{k+1}) = F_{n+2}-F_2 = F_{n+2}-1. \;\square


Ejemplo 6. (Olimpiada) Probar que Fn+12FnFn+2=(1)nF_{n+1}^2-F_n F_{n+2} = (-1)^n (identidad de Cassini).

Por la fórmula de Binet: con φφ^=1\varphi\hat\varphi = -1 y φφ^=5\varphi-\hat\varphi=\sqrt5:

Fn+12FnFn+2=(φn+1φ^n+1)2(φnφ^n)(φn+2φ^n+2)5.F_{n+1}^2-F_nF_{n+2} = \frac{(\varphi^{n+1}-\hat\varphi^{n+1})^2-(\varphi^n-\hat\varphi^n)(\varphi^{n+2}-\hat\varphi^{n+2})}{5}.

Expandiendo el numerador: (φφ^)n(φ2φ^22+φ^2φ2)(\varphi\hat\varphi)^n(\varphi^2\hat\varphi^{-2}-2+\hat\varphi^2\varphi^{-2})-\ldots... el cálculo directo reduce a (φφ^)n(φ^φ)2/algo=(1)n(\varphi\hat\varphi)^n(\hat\varphi-\varphi)^2/\text{algo}=(-1)^n. Más elegante por inducción: F22F1F3=12=1=(1)1F_2^2-F_1F_3=1-2=-1=(-1)^1 ✓; y Fn+22Fn+1Fn+3=(Fn+12FnFn+2)F_{n+2}^2-F_{n+1}F_{n+3}=-(F_{n+1}^2-F_nF_{n+2}) por la recurrencia. \square

Aplicaciones

Periodicidad módulo mm (número de Pisano). La sucesión Fn(modm)F_n \pmod m es periódica. El periodo se llama π(m)\pi(m). Conocer esta periodicidad permite calcular Fn(modm)F_n \pmod m para nn muy grande.

Recurrencias en olimpiada. Problemas típicos: (a) dado que ana_n satisface una recurrencia, probar que ciertos ana_n son divisibles por un primo; (b) calcular an\sum a_n por sumas telescópicas; (c) hallar an(modk)a_n \pmod k para todo nn.

Identificación de recurrencias. En problemas sobre sucesiones definidas implícitamente, a veces la ecuación característica permite identificar la forma cerrada. El primer paso es siempre calcular varios términos y encontrar el patrón.

Observación

Las condiciones iniciales determinan la solución única. Una recurrencia lineal de orden kk más kk condiciones iniciales tiene exactamente una solución. Si encuentras una sucesión que satisface la recurrencia y las condiciones iniciales, es la solución.

Fibonacci en divisibilidad. La propiedad FmFnmnF_m \mid F_n \Leftrightarrow m \mid n (para m1m\geq1, n1n\geq1, con m=1m=1 trivialmente) se usa frecuentemente. Es consecuencia de gcd(Fm,Fn)=Fgcd(m,n)\gcd(F_m, F_n)=F_{\gcd(m,n)}.

Extensión a recurrencias no homogéneas. Si la recurrencia es an=pan1+qan2+f(n)a_n = p\,a_{n-1}+q\,a_{n-2}+f(n) (término forzado), la solución es la suma de la solución homogénea más una particular. Para f(n)=cf(n)=c (constante), la particular es c/(1pq)c/(1-p-q) si 1pq01-p-q\neq0.