1

Instituto Tecnológico de Costa Rica

Escuela de Matemática Puntaje Total: 40 puntos, 5 pts c/u
Matemática Discreta, Grupo 60 II Semestre 2021

Tarea 2(Grupal)

INSTRUCCIONES:Esta es una prueba de desarrollo, por lo que deben aparecer,

de manera clara y ordenada, todos los procedimientos que le conducen a la
respuesta. Los ejercicios deben ser resueltos “a mano” (se permite utilizar una
tablet que tenga lápiz digital). El grupo debe enviar su trabajo en formato
PDF, para ello puede utilizar la aplicación camscanner o adobe scan del ce-
lular, las fotos deben ser claras y legibles. Fecha de entrega: Miércoles 10 de
noviembre, 6:00 pm. Debe enviarse al TEC DIGITAL, en la sección: tareas y
quices 7→ tarea2

1. Demuestre las siguientes igualdades utilizando el método de inducción ma-

temática. Además utilice la fórmula para encontrar la suma dada.
n2 (n + 1)2
a) 13 + 23 + 33 + · · · + n3 = , n ≥ 1. A demás calcule el valor de
4
1 + 8 + 27 + · · · + 13824

Solucion
Se demuestra para n = 1.

? 12 · (1 + 1)2 4
13 = ⇒1=
4 4
Se asume que la proposición es cierta para n y se debe demostrar
que es verdadera para n + 1. Ası́ tenemos:

n2 (n + 1)2
H.I.: 13 + 23 + 33 + · · · + n3 = .
4
? (n + 1)2 [(n + 1) + 1]2
H.q.d: 13 + 23 + 33 + · · · + n3 + (n + 1)3 = .
4

Simplificamos primero el lado derecho:

(n + 1)2 [(n + 1) + 1]2 (n + 1)2 (n + 2)2

=
4 4
 2

Ahora trabajamos con el lado izquierdo, para esto primero sacamos (n +

1)2 a factor común. Ello simplificará los cálculos.

H.I. n2 (n + 1)2
1| 3 + 23 + 3{z
3
+ · · · + n}3 +(n + 1)3 = + (n + 1)3
4

n2
 
2
= (n + 1) + (n + 1)
4

n2 + 4(n + 1)
= (n + 1)2
4

n2 + 4n + 4
= (n + 1)2
4

(n + 1)2 (n + 2)2
=
4
Falta entonces averiguar el valor de la suma:

1 + |{z} 27 + · · · + 13824
8 + |{z} | {z }
23 33 n3
√
Ası́, si n3 = 13824 ⇒ n = 13824 = 24. Por lo que aplicamos de fórmula
3

con dicho valor, ası́ tenemos: Es decir:

242 · (24 + 1)2
1 + 23 + 33 + · · · + 243 = = 90 000.
4

1 1 1 n
b) + +···+ = , n ≥ 1. Además calcule
1·3 3·5 (2n − 1)(2n + 1) 2n + 1
el valor de
1 1 1
+ + ··· +
1·3 3·5 399
Solución
Se demuestra para n = 1. Observemos que el último término del
1 1
lado izquierdo corresponderı́a a = que es
(2 · 1 − 1) · (2 · 1 + 1) 1·3
justamente el primero. Ası́:
1 ? 1 1 1
= ⇒ =
1·3 2·1+1 3 3
Se asume que la proposición es cierta para n y se debe demostrar
que es verdadera para n + 1. Ası́ tenemos:
 3

1 1 1 n
H.I.: + + ··· + = .
1·3 3·5 (2n − 1)(2n + 1) 2n + 1
1 1 1
H.q.d: + + ··· + +
1·3 3·5 (2n − 1)(2n + 1)
1 ? n+1
= .
[2(n + 1) − 1][2(n + 1) + 1] 2(n + 1) + 1
n+1 n+1
Del lado derecho se tiene que: = .
2(n + 1) + 1 2n + 3
Para el lado izquierdo necesitamos expandir el producto del numerador
porque hay una suma afuera del producto.

1 1 1 1
+ + ··· + +
1·3 3·5 (2n − 1)(2n + 1) [2(n + 1) − 1][2(n + 1) + 1]
| {z }
H.I. n 1
= +
2n + 1 [(2n + 2) − 1][(2n + 2) + 1]
n 1
= +
2n + 1 (2n + 1)(2n + 3)
n(2n + 3) + 1 2n2 + 3n + 1
= =
(2n + 1)(2n + 3) (2n + 1)(2n + 3)
(n + 1)
(2n +
1) n+1


= =
(2n
 + 1)(2n + 3) 2n + 3
 


1 1 1
Ahora debemos calcular el valor de la suma: + + ··· + ,
1·3 3·5 399
por lo que ocupamos saber el valor de n para aplicar la fórmula, valor
que encontramos analizando el último término de la suma:
1 1
= ⇒ (2n − 1)(2n + 1) = 399 ⇒ 4n2 − 1 = 399
399 (2n − 1)(2n + 1)
⇒ 4n2 = 400 ⇒ n2 = 100 ⇒ n = 10

Ası́:
1 1 1 1 1 1
+ + ··· + = + + ··· +
1·3 3·5 399 1·3 3·5 (2 · 10 − 1)(2 · 10 + 1)
10 10
= =
2 · 10 + 1 21

2. Demuestre, utilizando inducción matemática, que el número divide a la expre-

sión dada para el subconjunto de N dado.

a) 13 | 42n+1 + 3n+2 , n ≥ 1.
 4

Solucion

Es equivalente demostrar que existe k ∈ Z tal que 42n+1 + 3n+2 = 13k.

Se demuestra para n = 1, ∃k tal que 42n+1 + 3n+2 = 13k:

42·1+1 + 31+2 = 43 + 33 = 91 = 13 · |{z}

7
k

Se asume que la proposición es cierta para n y se debe demostrar

que es verdadera para n + 1. Ası́ tenemos:

H.I.: ∀n = 1, 2, . . . , ∃k ∈ Z tal que 42n+1 + 3n+2 = 13k. Se necesita

despejar, para después, uno de los dos términos de la izquierda, por
ejemplo
42n+1 = 13k − 3n+2
H.q.d: ∃k ′ tal que 42(p+1)+1 + 3(p+1)+2 = 13k ′ :.

Vamos a buscar k ′ tal que esta expresión sea igual a 13k ′ . Usamos k ′ para
diferenciarla de la k de la hipótesis de inducción. Ası́ tenemos:

42(n+1)+1 + 3(n+1)+2
= 42n+2+1 + 3n+3
= 42 · 42n+1 + 3n+3
H.I.
= 16(13k − 3n+2 ) + 3n+3
= 13 · (16k) − 16 · 3n+2 + 3n+3
= 13 · (16k) + 3n+2 (−16 + 3)
= 13 · (16k − 3n+2 )
| {z }
k′

b) 7 | 32n+1 + 2n+2 , n ≥ 1.

Solucion

Es equivalente demostrar que existe k ∈ Z tal que 32n+1 + 2n+2 = 7k.

Se demuestra para n = 1, ∃k tal que 32n+1 + 2n+2 = 7k:

32·1+1 + 21+2 = 33 + 23 = 35 = 7 · |{z}

5
k

Se asume que la proposición es cierta para n y se debe demostrar

que es verdadera para n + 1. Ası́ tenemos:
 5

H.I.: ∀n = 1, 2, . . . , ∃k ∈ Z tal que 32n+1 +2n+2 = 7k . Despejamos

uno de los dos términos:

32n+1 = 7k − 2n+2

.
H.q.d: ∃k ′ tal que 32(n+1)+1 + 2(n+1)+2 = 7k ′ .
Vamos a buscar k ′ tal que esta expresión sea igual a 7k ′ . Usamos k ′ para
diferenciarla de la k de la hipótesis de inducción. Ası́ tenemos:

32(n+1)+1 + 2(n+1)+2
= 32n+2+1 + 2n+3
= 32 · 32n+1 + 2n+3
H.I.
= 9 · (7k − 2n+2 ) + 2n+3
= 7 · 9k − 9 · 2n+2 + 2n+3
= 7 · 9k + 2n+2 (2 − 9)
= 7 · (9k − 2n+2 )
| {z }
k′

3. Demuestre las siguientes desigualdades utilizando inducción matemática:

1 1 1 13
a) + + ··· + > , n ≥ 2.
n+1 n+2 2n 24
Solucion

Se demuestra que es cierto para n = 2. En este caso el primer término

1 1 1 1
es = , mientras que el último término es = . Además,
2+1 3 2·2 4
el denominador va aumentando de uno en uno, por lo que se tiene
que:
1 1 13 7 13
+ > ⇒ >
3 4 24 12 24
Se asume que la proposición es cierta para n y se debe demostrar
que es verdadera para n + 1. Ası́ tenemos:
1 1 1 13
H.I.: + + ··· + > .
n+1 n+2 2n 24
1 1 1 13
H.q.d: + + ··· + > :
(n + 1) + 1 (n + 1) + 2 2(n + 1) 24
Para poder usar la hipótesis de inducción, necesitamos sumar (y restar)
el término 1/(n + 1). Además los puntos suspensivos esconden un par de
términos, que necesitamos que queden explı́citos.
 6

Ası́, se tiene que:

1 1 1
+ + ··· +
(n + 1) + 1 (n + 1) + 2 2(n + 1)
1 1 1
= + + ··· +
n+2 n+3 2n + 2
1 1 1 1 1 1 1
= + + + ··· + + + −
|n + 1 n + 2 {zn + 3 2n} 2n + 1 2n + 2 n + 1
13 1 1 1
> + + −
24 2n + 1 2n + 2 n + 1
Ahora nos falta asegurarnos que los tres últimos términos no dan un
número negativo, para que toda la expresión sea mayor a 13/24:

1 1 1
+ −
2n + 1 2n + 2 n + 1
(2n + 2)(n + 1) + (2n + 1)(n + 1) − (2n + 1)(2n + 2)
=
(n + 1)(2n + 1)(2n + 2)
2n2 + 4n + 2 + 2n2 + 3n + 1 − (4n2 + 6n + 2)
=
(n + 1)(2n + 1)(2n + 2)
n+1
= >0
(n + 1)(2n + 1)(2n + 2)

n4
b) < 13 + 23 + · · · + n3 , n ≥ 2.
4
Solucion

Se demuestra que es cierto para n = 2:

24
< 13 + 23 ⇒ 4 < 9
4
Se asume que la proposición es cierta para n y se debe demostrar
que es verdadera para n + 1. Ası́ tenemos:

n4
H.I.: < 13 + 23 + · · · + n3 .
4
(n + 1)4
H.q.d: < 13 + 23 + · · · + n3 + (n + 1)3 :
4
Expandiendo el lado izquierdo (por ejemplo, usando el triángulo de Pas-
1
1 1
cal): 1 2 1 Tenemos:
1 3 3 1
1 4 6 4 1
 7

(n + 1)4 n4 + 4n3 + 6n2 + 4n + 1 n4 3n2 1

= = + n3 + +n+
4 4 4 2 4
Y trabajando con el lado derecho:

1| 3 + 23 + 3
{z· · · + n} +(n + 1)
3

n4
> + n3 + |{z}3n2 + |{z}
3n + |{z}
1
4
>n
> 14
2
> 3n2
n4 3n2 1
> + n3 + +n+
4 2 4

4. Para cada una de las siguientes sucesiones definidas de forma recursiva, deter-
mine a5 (o U5 ); determine luego la fórmula explı́cita de la sucesión y utilice
dicha fórmula para verificar a5 (o U5 ).
a) an = 5an−1 − 6an−2 para n ≥ 2 con a0 = −1, a1 = 0.

Solución
Utilizando la fórmula obtenemos el valor de a5 :
a2 = 5a1 − 6a0 = 5 · (0) − 6 · (−1) = 6
a3 = 5a2 − 6a1 = 5 · (6) − 6 · (0) = 30
a4 = 5a3 − 6a2 = 5 · (30) − 6 · (6) = 114
a5 = 5a4 − 6a3 = 5 · (114) − 6 · (30) = 390

Para obtener la fórmula explı́citica, escribimos y resolvemos la ecuación

caracterı́stica:

x2 = 5x − 6
x2 − 5x + 6 = 0
(x − 3)(x − 2) = 0
⇒ x = 3, x = 2
Entonces: an = A · 3n + B · 2n . Sustituyendo en los valores iniciales, se
obtiene el sistema:
A + B = −1
3A + 2B = 0
cuya solución es A = 2 y B = −3, es decir, an = 2 · 3n − 3 · 2n .

Comprobando obtenemos que a5 = 2 · 35 − 3 · 25 = 390.

 8

b) Un = −Un−1 + 8Un−2 + 12Un−3 para n ≥ 3, U0 = 3, U1 = −2, U2 = 46.

Solución
Utilizando la fórmula obtenemos el valor de U5 :

U3 = −U2 + 8U1 + 12U0 = −46 + 8 · (−2) + 12 · (3) = −26

U4 = −U3 + 8U2 + 12U1 = −(−26) + 8 · (46) + 12 · (−2) = 370
U5 = −U4 + 8U3 + 12U2 = −370 + 8 · (−26) + 12 · (46) = −26

Para obtener la fórmula explı́citica, escribimos y resolvemos la ecuación

caracterı́stica:

x3 = −x2 + 8x + 12
x3 + x2 − 8x − 12 = 0
(x − 3)(x + 2)2 = 0
⇒ x = 3, x | ={z−2}
2 veces

Entonces: Un = A · 3n + B · (−2)n + C · n · (−2)n . Sustituyendo en los

valores iniciales, se obtiene el sistema:

A + B = 3
3A − 2B − 2C = −2
9A + 4B + 8C = 46

cuya solución es A = 2, B = 1 y C = 3, es decir,

Un = 2 · 3n + (−2)n + 3 · n · (−2)n .

Comprobando obtenemos que U5 = 2 · 35 + (−2)5 + 3 · 5 · (−2)5 = −26.