Cómo contar:

métodos de enumeración
Relaciones recurrentes generales

Bernardo Llano
Departamento de Matemáticas

Junio de 2020
Ejemplo 1. Resuelva
an = a b n c + a d n e
2 2

para n 2 con a0 = 0 y a1 = 1.
Ejemplo 1. Resuelva
an = a b n c + a d n e
2 2

para n 2 con a0 = 0 y a1 = 1.
Observe que a2 = 2a1 = 2, a3 = a1 + a2 = 3, a4 = 2a2 = 4 y
a5 = a2 + a3 = 5.
Ejemplo 1. Resuelva
an = a b n c + a d n e
2 2

para n 2 con a0 = 0 y a1 = 1.
Observe que a2 = 2a1 = 2, a3 = a1 + a2 = 3, a4 = 2a2 = 4 y
a5 = a2 + a3 = 5.
Probemos que an = n. Por inducción completa sobre n. Para
n = 0 y n = 1, a0 = 0 y a1 = 1 por de…nición. Supongamos
que para todo 0 m n 1 se cumple que la solución de
am = a b m c + a d m e
2 2

es am = m. Probaremos la proposición para n. Sea n 2y

consideremos dos casos.
 Ejemplo 1. Resuelva
an = a b n c + a d n e
2 2

para n 2 con a0 = 0 y a1 = 1.
Observe que a2 = 2a1 = 2, a3 = a1 + a2 = 3, a4 = 2a2 = 4 y
a5 = a2 + a3 = 5.
Probemos que an = n. Por inducción completa sobre n. Para
n = 0 y n = 1, a0 = 0 y a1 = 1 por de…nición. Supongamos
que para todo 0 m n 1 se cumple que la solución de
am = a b m c + a d m e
2 2

es am = m. Probaremos la proposición para n. Sea n 2y

consideremos dos casos.
1. Si n es par, entonces n = 2k para alguna k 2 N y
a2k = ab 2k c + ad 2k e = 2ak = 2k
2 2

por hipótesis de inducción porque ak = k y k < n.

2. Si n es impar, entonces n = 2k + 1 para alguna k 2 N.
Observe que

2k + 1 2k + 1 1 1
+ = k+ + k+
2 2 2 2
= k + k + 1 = 2k + 1.

Luego,

a2k +1 = ab 2k +1 c + ad 2k +1 e = ak + ak +1
2 2

= k + (k + 1) = 2k + 1

por hipótesis de inducción porque ak = k, ak +1 = k + 1, k < n

y k + 1 < n.
2. Si n es impar, entonces n = 2k + 1 para alguna k 2 N.
Observe que

2k + 1 2k + 1 1 1
+ = k+ + k+
2 2 2 2
= k + k + 1 = 2k + 1.

Luego,

a2k +1 = ab 2k +1 c + ad 2k +1 e = ak + ak +1
2 2

= k + (k + 1) = 2k + 1

por hipótesis de inducción porque ak = k, ak +1 = k + 1, k < n

y k + 1 < n.

Por inducción completa, la a…rmación es cierta para toda

n 0.
 p
Ejemplo 2. Resuelva an = 2 an 1 para n 1 con a0 = 2.
 p
Ejemplo 2. Resuelva an = 2 an 1 para n 1 con a0 = 2.
Iteremos la relación recurrente:
p 1
an = 2 an 1 = 2 an2 1
p 1 3 1
= 2(2 an 2 ) 2 = 2 2 an4 2
3 p 1 7 1
= 2 2 (2 an 3 ) 4 = 2 4 an8 3
7 p 1 15 1
= 2 4 (2 an 4 ) 8 = 2 8 an16 4
15 p 1 31 1
= 2 8 (2 an 5 ) 16 = 2 16 an32 5
..
.
2k 1 1
= 2 2k 1 an2k k
..
.
2n 1 1 2n 1 1
= 2 2n 1 a02n = 2 2n 1 2 2n
1
= 22 2n .
 1
Por inducción podemos probar que an = 22 2n es la solución
p 1
de an = 2 an 1 = 2 an2 1 .
 1
Por inducción podemos probar que an = 22 2n es la solución
p 1
de an = 2 an 1 = 2 an2 1 .
1
Para n = 0, a0 = 22 20 = 2.
 1
Por inducción podemos probar que an = 22 2n es la solución
p 1
de an = 2 an 1 = 2 an2 1 .
1
Para n = 0, a0 = 22 = 2.20

Supongamos que la a…rmación es cierta para alguna n 0.

Como
p 1
an +1 = 2 an = 2 an2 ,
por hipótesis de inducción,
1
1 2 1 1
an + 1 = 2 2 2 2n = 2 21 2 n +1 = 22 2 n +1 .
 1
Por inducción podemos probar que an = 22 2n es la solución
p 1
de an = 2 an 1 = 2 an2 1 .
1
Para n = 0, a0 = 22 = 2.20

Supongamos que la a…rmación es cierta para alguna n 0.

Como
p 1
an +1 = 2 an = 2 an2 ,
por hipótesis de inducción,
1
1 2 1 1
an + 1 = 2 2 2 2n = 2 21 2 n +1 = 22 2 n +1 .

Por inducción matemática, la a…rmación es cierta para toda

n 0.
Ejemplo 3. Resuelva an2 = 5an2 1 para n 1 con a0 = 2.
Ejemplo 3. Resuelva an2 = 5an2 1 para n 1 con a0 = 2.
Sea bn = an2 . Entonces bn = 5bn 1 para n 1 con b0 = 4.
La solución general es bn = c 5n y la solución que satisface
la condición inicial es bn = 4 5n . Luego,
p p
an = bn = 2 ( 5)n

para toda n 0.
Ejemplo 4. (Fibonacci multiplicativa) Resuelva
an = an 1 an 2 para n 2 con a0 = α y a1 = β.
Ejemplo 4. (Fibonacci multiplicativa) Resuelva
an = an 1 an 2 para n 2 con a0 = α y a1 = β.
A partir de los valores iniciales escribimos los primeros térmi-
nos de la sucesión que satisface la relación recurrente:

α, β, αβ, αβ2 , α2 β3 , α3 β5 , α5 β8 , α8 β13 , α13 β21 , ...

Ejemplo 4. (Fibonacci multiplicativa) Resuelva
an = an 1 an 2 para n 2 con a0 = α y a1 = β.
A partir de los valores iniciales escribimos los primeros térmi-
nos de la sucesión que satisface la relación recurrente:

α, β, αβ, αβ2 , α2 β3 , α3 β5 , α5 β8 , α8 β13 , α13 β21 , ...

A…rmación. an = αfn 1 βfn para n 1, donde fn es el n-ésimo

número de Fibonacci.
Ejemplo 4. (Fibonacci multiplicativa) Resuelva
an = an 1 an 2 para n 2 con a0 = α y a1 = β.
A partir de los valores iniciales escribimos los primeros térmi-
nos de la sucesión que satisface la relación recurrente:

α, β, αβ, αβ2 , α2 β3 , α3 β5 , α5 β8 , α8 β13 , α13 β21 , ...

A…rmación. an = αfn 1 βfn para n 1, donde fn es el n-ésimo

número de Fibonacci.
Prueba de la a…rmación. Inducción sobre n. Para n = 1,

a1 = αf0 βf1 = β.

Supongamos que la a…rmación es cierta para todo

1 m n. Entonces, por la de…nición de la sucesión,

an + 1 = an an 1.
Por hipótesis de inducción y usando la relación recurrente de
Fibonacci,

an +1 = (αfn 1 βfn )(αfn 2 βfn 1 )

= αfn 1 +f n 2
β f n +f n 1
= α f n β f n +1 .
Por hipótesis de inducción y usando la relación recurrente de
Fibonacci,

an +1 = (αfn 1 βfn )(αfn 2 βfn 1 )

= αfn 1 +f n 2
β f n +f n 1
= α f n β f n +1 .
p n p n
p1 1+ 5 p1 1 5
Como fn = 5 2 5 2 , entonces

p ! 1 p ! 1
1 1+ 5 1 1 5
f 1 =p p
5 2 5 2
2 2
=p p =1
5+5 5 5

y así a0 = αf 1 βf0 = α.
Por hipótesis de inducción y usando la relación recurrente de
Fibonacci,

an +1 = (αfn 1 βfn )(αfn 2 βfn 1 )

= αfn 1 +f n 2
β f n +f n 1
= α f n β f n +1 .
p n p n
p1 1+ 5 p1 1 5
Como fn = 5 2 5 2 , entonces

p ! 1 p ! 1
1 1+ 5 1 1 5
f 1 =p p
5 2 5 2
2 2
=p p =1
5+5 5 5

y así a0 = αf 1 βf0 = α.
Por inducción, la a…rmación es válida para toda n 0.
Ejemplo 5. Resuelva an = an 1 + an 2 + an 1 an 2 para
n 2 con a0 = 0 y a1 = 1.
Ejemplo 5. Resuelva an = an 1 + an 2 + an 1 an 2 para
n 2 con a0 = 0 y a1 = 1.
Sea bn = an + 1. Entonces

bn 1 = bn 1 1 + bn 2 1 + (bn 1 1)(bn 2 1)
= bn 1 + bn 2 2 + bn 1 bn 2 bn 1 bn 2 +1
= bn 1 bn 2 1
, bn = bn 1 bn 2

para n 2 con b0 = 1 y b1 = 2. Usando el ejemplo 4,

bn = 1fn 1
2fn = 2fn

y así an = 2fn 1 para toda n 0.

 2 (n 1 ) 1
Ejemplo 6. Resuelva an = n an 1 + n para n 1y
a0 = 0.
 2 (n 1 ) 1
Ejemplo 6. Resuelva an = n an 1 + n para n 1y
a0 = 0.
Como n 1, tenemos que

2(n 1) 1
an = an 1 + , nan = 2(n 1 ) an 1 + 1.
n n
 2 (n 1 ) 1
Ejemplo 6. Resuelva an = n an 1 + n para n 1y
a0 = 0.
Como n 1, tenemos que

2(n 1) 1
an = an 1 + , nan = 2(n 1 ) an 1 + 1.
n n

Sea tn = nan . Entonces tn = 2tn 1 + 1 para n 1 con

t0 = 0.
 2 (n 1 ) 1
Ejemplo 6. Resuelva an = n an 1 + n para n 1y
a0 = 0.
Como n 1, tenemos que

2(n 1) 1
an = an 1 + , nan = 2(n 1 ) an 1 + 1.
n n

Sea tn = nan . Entonces tn = 2tn 1 + 1 para n 1 con

t0 = 0.
Esta relación recurrente es la del problema de las Torres de
Hanoi y sabemos que tn = 2n 1 para toda n 0.
 2 (n 1 ) 1
Ejemplo 6. Resuelva an = n an 1 + n para n 1y
a0 = 0.
Como n 1, tenemos que

2(n 1) 1
an = an 1 + , nan = 2(n 1 ) an 1 + 1.
n n

Sea tn = nan . Entonces tn = 2tn 1 + 1 para n 1 con

t0 = 0.
Esta relación recurrente es la del problema de las Torres de
Hanoi y sabemos que tn = 2n 1 para toda n 0.
Finalmente,
2n 1
an =
n
para toda n 0.
Ejemplo 7. Resuelva
n 1
1
nan = 1 an 1 + (2n)1 n
n
para n 1 con a0 = 0.
Ejemplo 7. Resuelva
n 1
1
nan = 1 an 1 + (2n)1 n
n
para n 1 con a0 = 0.
Observe que
n 1
1
nan = 1 an 1 + (2n)1 n
n
(n 1)n 1
= an 1 + (2n)1 n
nn 1
, n an = ( n 1 ) n
n 1
an 1 + nn 1
(2n)1 n

n 1
1
, n n an = ( n 1)n 1
an 1 + .
2
Ejemplo 7. Resuelva
n 1
1
nan = 1 an 1 + (2n)1 n
n
para n 1 con a0 = 0.
Observe que
n 1
1
nan = 1 an 1 + (2n)1 n
n
(n 1)n 1
= an 1 + (2n)1 n
nn 1
, n an = ( n 1 ) n
n 1
an 1 + nn 1
(2n)1 n

n 1
1
, n n an = ( n 1)n 1
an 1 + .
2
1 n 1
Sea bn = nn an . Entonces bn = bn 1 + 2 para n 1
con b1 = 0.
 1 n 1
Como bn = bn 1 + 2 para n 2 con b1 = 0, entonces

n 1 n 1 i
1
bn = b0 + ∑ 2
i =0
n 1 k 1 n
1 1
= ∑ 2
= 2
1
1
k =0 2
1 2n 1
=2 1 = .
2n 2n 1
 1 n 1
Como bn = bn 1 + 2 para n 2 con b1 = 0, entonces

n 1 n 1 i
1
bn = b0 + ∑ 2
i =0
n 1 k 1 n
1 1
= ∑ 2
= 2
1
1
k =0 2
1 2n 1
=2 1 = .
2n 2n 1

Luego
2n 1
an =
nn 2n 1
para toda n 1.
Tarea. Resuelva
1
a) an = para n 1 con a0 = 0.
1 + an 1

b) an = 3 an2 1 para n 1 con a0 = 2.

c) an an2 1 = 1 para n 1 con a0 = 2.

an 2
d) an = para n 2 con a0 = 1 y a1 = 2.
an 1