Módulos / algebra-1 / Capítulo 4 — Sucesiones y series / Lección 4.3

Recursiones lineales

Lección 4.3·Capítulo 4 — Sucesiones y series·12 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Resolver recursiones lineales con coeficientes constantes de orden 2 usando la ecuación característica; identificar la sucesión de Fibonacci como el ejemplo prototípico; y aplicar técnicas de resolución para encontrar fórmulas cerradas en problemas olímpicos de nivel ONEM regional.

Recursiones lineales de orden 2: la ecuación característica

Una recursión lineal homogénea de orden 2 tiene la forma an=pan1+qan2a_n = p \, a_{n-1} + q \, a_{n-2} con condiciones iniciales a1,a2a_1, a_2 dadas y coeficientes p,qp, q constantes. Para resolver esta recursión, se busca una solución de la forma an=rna_n = r^n: sustituyendo, rn=prn1+qrn2r^n = p r^{n-1} + q r^{n-2}, y dividiendo por rn2r^{n-2}: r2=pr+qr^2 = pr + q. La ecuación característica es r2prq=0r^2 - pr - q = 0.

Si la ecuación característica tiene dos raíces distintas r1r2r_1 \neq r_2, la solución general es an=Ar1n+Br2na_n = A r_1^n + B r_2^n, donde AA y BB se determinan con las condiciones iniciales. Si tiene una raíz doble r1=r2=rr_1 = r_2 = r, la solución general es an=(A+Bn)rna_n = (A + Bn) r^n.

Ejemplo: resuelve an=5an16an2a_n = 5a_{n-1} - 6a_{n-2} con a1=2a_1 = 2, a2=5a_2 = 5. Ecuación característica: r25r+6=0(r2)(r3)=0r1=2,r2=3r^2 - 5r + 6 = 0 \Rightarrow (r-2)(r-3) = 0 \Rightarrow r_1 = 2, r_2 = 3. Solución general: an=A2n+B3na_n = A \cdot 2^n + B \cdot 3^n. Condiciones: a1=2A+3B=2a_1 = 2A + 3B = 2 y a2=4A+9B=5a_2 = 4A + 9B = 5. Restando: 2A+6B=3B=1/2,A=1/42A + 6B = 3 \Rightarrow B = 1/2, A = 1/4. Solución: an=2n4+3n2=2n+23n4a_n = \dfrac{2^n}{4} + \dfrac{3^n}{2} = \dfrac{2^n + 2 \cdot 3^n}{4}.

an=Ar1n+Br2n(r1r2)a_n = A\,r_1^n + B\,r_2^n \quad (r_1 \neq r_2)

La sucesión de Fibonacci y la fórmula de Binet

La sucesión de Fibonacci está definida por F1=1F_1 = 1, F2=1F_2 = 1, Fn=Fn1+Fn2F_n = F_{n-1} + F_{n-2} para n3n \geq 3: 1,1,2,3,5,8,13,21,34,55,1, 1, 2, 3, 5, 8, 13, 21, 34, 55, \ldots La ecuación característica es r2=r+1r^2 = r + 1, es decir r2r1=0r^2 - r - 1 = 0, con raíces φ=1+52\varphi = \dfrac{1+\sqrt{5}}{2} (la razón áurea) y φ^=152\hat{\varphi} = \dfrac{1-\sqrt{5}}{2}.

La fórmula de Binet da el nn-ésimo número de Fibonacci explícitamente: Fn=φnφ^n5F_n = \dfrac{\varphi^n - \hat{\varphi}^n}{\sqrt{5}}. A pesar de involucrar irracionales, el resultado siempre es un entero positivo. Esto es porque φ^=512<1|\hat{\varphi}| = \dfrac{\sqrt{5}-1}{2} < 1, por lo que φ^n50\dfrac{\hat{\varphi}^n}{\sqrt{5}} \to 0 y FnF_n es el entero más próximo a φn5\dfrac{\varphi^n}{\sqrt{5}}.

Propiedades olímpicas de Fibonacci: F1+F2++Fn=Fn+21F_1 + F_2 + \cdots + F_n = F_{n+2} - 1 (telescopa con Fk+2Fk+1=FkF_{k+2} - F_{k+1} = F_k). F12+F22++Fn2=FnFn+1F_1^2 + F_2^2 + \cdots + F_n^2 = F_n F_{n+1}. La identidad de Cassini: Fn1Fn+1Fn2=(1)nF_{n-1} F_{n+1} - F_n^2 = (-1)^n. Estas se demuestran por inducción o telescopaje.

La identidad de Cassini Fn+1Fn1Fn2=(1)nF_{n+1}F_{n-1} - F_n^2 = (-1)^n es especialmente útil en concursos. Para n=2n=2: F3F1F22=211=1=(1)2F_3 F_1 - F_2^2 = 2 \cdot 1 - 1 = 1 = (-1)^2 ✓. Prueba por inducción: supuesto válido para nn, se tiene Fn+2FnFn+12=(Fn+1+Fn)FnFn+12=Fn+1Fn+Fn2Fn+12=Fn2Fn+1(Fn+1Fn)=Fn2Fn+1Fn1=(1)n=(1)n+1F_{n+2}F_n - F_{n+1}^2 = (F_{n+1}+F_n)F_n - F_{n+1}^2 = F_{n+1}F_n + F_n^2 - F_{n+1}^2 = F_n^2 - F_{n+1}(F_{n+1}-F_n) = F_n^2 - F_{n+1}F_{n-1} = -(-1)^n = (-1)^{n+1} ✓.

Fn=15((1+52)n(152)n)F_n = \frac{1}{\sqrt{5}}\left(\left(\frac{1+\sqrt{5}}{2}\right)^n - \left(\frac{1-\sqrt{5}}{2}\right)^n\right)

Recursiones no homogéneas y cambio de variable

Una recursión no homogénea tiene la forma an=pan1+qan2+f(n)a_n = p a_{n-1} + q a_{n-2} + f(n), donde f(n)f(n) es una función dada. La solución general es la suma de la solución homogénea (de an=pan1+qan2a_n = p a_{n-1} + q a_{n-2}) más una solución particular. Para encontrar la particular, se prueba una forma similar a f(n)f(n).

Ejemplo: resuelve an=2an1+3a_n = 2a_{n-1} + 3 con a1=1a_1 = 1. Este es un caso de orden 1. La solución homogénea es A2nA \cdot 2^n; para la particular, probamos an(p)=Ca_n^{(p)} = C (constante): C=2C+3C=3C = 2C + 3 \Rightarrow C = -3. Solución general: an=A2n3a_n = A \cdot 2^n - 3. Con a1=2A3=1A=2a_1 = 2A - 3 = 1 \Rightarrow A = 2. Luego an=2n+13a_n = 2^{n+1} - 3. Verificación: a1=43=1a_1 = 4-3=1 ✓, a2=2+3=5=243a_2 = 2+3=5 = 2 \cdot 4 - 3 ✓.

Otra técnica frecuente: el cambio de variable bn=anLb_n = a_n - L para encontrar un punto fijo LL de la recursión. Si an=pan1+ca_n = p a_{n-1} + c, el punto fijo satisface L=pL+cL=c/(1p)L = pL + c \Rightarrow L = c/(1-p) (si p1p \neq 1). Con bn=anLb_n = a_n - L, la recursión se convierte en bn=pbn1b_n = p b_{n-1} (geométrica). Esto aplica al ejemplo anterior: L=3L = -3, bn=an+3b_n = a_n + 3, bn=2bn1b_n = 2 b_{n-1}, bn=b12n1=42n1=2n+1b_n = b_1 \cdot 2^{n-1} = 4 \cdot 2^{n-1} = 2^{n+1}, luego an=2n+13a_n = 2^{n+1} - 3 ✓.

Problemas olímpicos con recursiones

Problema 1 (ONEM tipo): Una sucesión satisface a1=1a_1 = 1, a2=3a_2 = 3 y an=an1+an2a_n = a_{n-1} + a_{n-2} para n3n \geq 3. Prueba que an<2na_n < 2^n para todo nn. Por inducción: base: a1=1<2a_1 = 1 < 2 ✓ y a2=3<4a_2 = 3 < 4 ✓. Paso: an=an1+an2<2n1+2n2=2n2(2+1)=32n2<42n2=2na_n = a_{n-1} + a_{n-2} < 2^{n-1} + 2^{n-2} = 2^{n-2}(2+1) = 3 \cdot 2^{n-2} < 4 \cdot 2^{n-2} = 2^n ✓.

Problema 2: Sea an=3an12an2a_n = 3a_{n-1} - 2a_{n-2} con a1=2a_1 = 2, a2=4a_2 = 4. Halla ana_n. Ec. característica: r23r+2=(r1)(r2)=0r^2 - 3r + 2 = (r-1)(r-2) = 0, raíces r1=1r_1 = 1, r2=2r_2 = 2. an=A+B2na_n = A + B \cdot 2^n. Condiciones: A+2B=2A + 2B = 2 y A+4B=4A + 4B = 4. Entonces 2B=2B=12B = 2 \Rightarrow B = 1, A=0A = 0. Respuesta: an=2na_n = 2^n. Verificación: a1=2a_1 = 2 ✓, a2=4a_2 = 4 ✓, a3=3422=8=23a_3 = 3 \cdot 4 - 2 \cdot 2 = 8 = 2^3 ✓.

Problema 3 (concurso): Una rana salta escalones de 11 o 22 en 11 o 22. ¿De cuántas maneras puede subir nn escalones? Sea f(n)f(n) el número de maneras. f(1)=1f(1) = 1, f(2)=2f(2) = 2 (1+1 ó 2), y f(n)=f(n1)+f(n2)f(n) = f(n-1) + f(n-2) (el último salto fue de 1 ó de 2). Esta es exactamente la sucesión de Fibonacci desplazada: f(n)=Fnf(n) = F_n donde F1=1,F2=1,F_1 = 1, F_2 = 1, \ldots Así f(10)=F10=55f(10) = F_{10} = 55.

an=Ar1n+Br2n,r2prq=0a_n = A \cdot r_1^n + B \cdot r_2^n, \quad r^2 - pr - q = 0

Problemas del Capítulo 4 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

A1-4.1

Los primeros tres términos de una progresión aritmética son 2,5,82, 5, 8. Halla la suma de los primeros 2020 términos.

A1-4.2

Calcula la suma 112+123+134++199100\displaystyle\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \cdots + \frac{1}{99 \cdot 100}.

A1-4.3

La suma de los primeros nn términos de una sucesión es Sn=n2+3nS_n = n^2 + 3n. Halla el quinto término y la razón de la progresión aritmética.

A1-4.4★★

Sean a,b,ca, b, c tres números positivos distintos que forman una progresión geométrica y también satisfacen a+b+c=21a + b + c = 21 y a2+b2+c2=189a^2 + b^2 + c^2 = 189. Halla aa, bb y cc.

A1-4.5★★

Calcula k=1n1k+k+1\displaystyle\sum_{k=1}^{n} \frac{1}{\sqrt{k} + \sqrt{k+1}} y usa el resultado para demostrar que k=120241k+k+1=20251=44\displaystyle\sum_{k=1}^{2024} \frac{1}{\sqrt{k}+\sqrt{k+1}} = \sqrt{2025} - 1 = 44.

A1-4.6★★

La sucesión {an}\{a_n\} satisface a1=1a_1 = 1, a2=5a_2 = 5 y an=5an16an2a_n = 5a_{n-1} - 6a_{n-2} para n3n \geq 3. Halla una fórmula cerrada para ana_n.

A1-4.7★★★

Prueba que para todo entero n1n \geq 1: 13+23+33++n3=(n(n+1)2)2\displaystyle 1^3 + 2^3 + 3^3 + \cdots + n^3 = \left(\frac{n(n+1)}{2}\right)^2.

A1-4.8★★★Problema estilo ONEM regional

Sea FnF_n el nn-ésimo número de Fibonacci (F1=F2=1F_1 = F_2 = 1, Fn=Fn1+Fn2F_{n} = F_{n-1} + F_{n-2}). Demuestra que F1+F2++Fn=Fn+21F_1 + F_2 + \cdots + F_n = F_{n+2} - 1 para todo n1n \geq 1, y calcula k=110Fk\displaystyle\sum_{k=1}^{10} F_k.