1.

Ejercicios Resueltos para Prueba 2 - Inducci

on Matem
atica

1. Demostrar por induccion 3 + 2 31 + 2 32 + ... + 2 3n = 3n+1 , n N

2. Demostrar por induccion 1 + 1 1! + 2 2! + ... + (n 1) (n 1)! = n!, n > 1
3. Demostrar por induccion

1
1
1
1
n
+
+
+ ... +
=
, n N
12 23 34
n (n + 1)
n+1

4. Demostrar por induccion

1
1
1
n
1
+
+
+ ... +
=
, n N
13 35 57
(2n 1) (2n + 1)
2n + 1

5. Demostrar por induccion x2n1 + y 2n1 es divisible por x + y para todo n N

6. 22n + 15n 1 es m
ultiplo de 9, n N

2.

Resoluci
on a los ejercicios

1. Demostrar por induccion 3 + 2 31 + 2 32 + ... + 2 3n = 3n+1 , n N

Solucion

i) Debemos comenzar por probar que se cumple para el primer elemento, en este caso, probar
para n = 1
En el lado izquierdo de la igualdad reemplazamos para n = 1 y tenemos:
3 + 2 31 = 3 + 2 3 = 9
Veamos ahora el lado derecho de la igualdad reemplazando n = 1
Tenemos:
31+1 = 32 = 9
Vemos as que la proposicion se cumple para el primer elemento, en este caso, n = 1

ii) El segundo paso de la induccion, llamado hipotesis de induccion, es suponer verdadero que la proposicion se cumple para un n
umero natural cualquiera, por ejemplo, n = k.
Hipotesis de induccion:
3 + 2 31 + 2 32 + ... + 2 3k = 3k+1

iii) Note que en este paso lo que hacemos es reemplazar k por k + 1, es decir, donde aparezca
una letra k en la hipotesis de induccion, reemplazamos por k + 1. Haciendo esto, tenemos la
siguiente tesis:
3 + 2 31 + 2 32 + ... + 2 3k+1 = 3(k+1)+1
Equivalentemente:
3 + 2 31 + 2 32 + ... + 2 3k+1 = 3k+2
Antes de continuar, cabe destacar que en este paso es muy conveniente escribir mas terminos
en el lado izquierdo de la igualdad. Es muy u
til hacer aparecer, por lo menos, el pen
ultimo
termino.
Vemos que el lado izquierdo es: 3 + 2 31 + 2 32 + ... + 2 3k+1 . Con un poco de astucia,
podemos notar que el u
ltimo termino es 2 3k+1 y su antecesor es 2 3k (si no ve cual es el
pen
ultimo termino, reste una unidad a cada k).
Entonces ahora podemos escribir nuevamente la tesis de la siguiente manera:
3 + 2 31 + 2 32 + ... + 2 3k + 2 3k+1 = 3k+2
Ahora, para demostrar esta igualdad, tomaremos el lado izquierdo y usando la hipotesis de
induccion, llegaremos al lado derecho, donde se dara por finalizada la demostracion.
Por demostrar que:
3 + 2 31 + 2 32 + ... + 2 3k + 2 3k+1 = 3k+2
2

3 + 2 31 + ... + 2 3k + 2 3k+1 =
=
=
=
=
=

3 + 2 31 + ... + 2 3k + 2 3k+1


3k+1 + 2 3k+1
3k+1 (1 + 2)
3k+1 (3)
3(k+1)+1
3k+2

Lo que concluye la demostracion.

Cabe destacar que lo que esta en parentesis, es el lado izquierdo de la hipotesis de induccion
y es gracias a que hacemos aparecer (magicamente) el pen
ultimo termino.

2. Demostrar por induccion 1 + 1 1! + 2 2! + ... + (n 1) (n 1)! = n!, n > 1

Solucion

i) Debemos comenzar por probar que se cumple para el primer elemento, en este caso, probar
para n = 2
En el lado izquierdo de la igualdad reemplazamos para n = 2 y tenemos:
1 + 1 1! = 2
Veamos ahora el lado derecho de la igualdad reemplazando n = 2
Tenemos:
2! = 2
Vemos as que la proposicion se cumple para el primer elemento, en este caso, n = 2

ii) Nuestra hipotesis de induccion es suponer verdadero que la proposicion se cumple para un n
umero natural cualquiera, por ejemplo, n = k.
Hipotesis de induccion:
1 + 1 1! + 2 2! + ... + (k 1) (k 1)! = k!

iii) En este paso debemos demostrar la tesis, que se obtiene al reemplazar k por k + 1
en la hipotesis de induccion, es decir, donde aparezca una letra k en el segundo paso, reemplazamos por k + 1.

1 + 1 1! + 2 2! + ... + ((k 1) + 1) ((k 1) + 1)! = (k + 1)!

3

Equivalentemente:
1 + 1 1! + 2 2! + ... + k k! = (k + 1)!
Haciendo uso de nuestra astucia, hacemos aparecer el pen
ultimo termino y queda:

1 + 1 1! + 2 2! + ... + (k 1) (k 1)! + k k! = (k + 1)!

Por demostrar que:
1 + 1 1! + 2 2! + ... + (k 1) (k 1)! + k k! = (k + 1)!

1 + 1 1! + ... + (k 1) (k 1)! + k k! =
=
=
=
=
=

[1 + 1 1! + ... + (k 1) (k 1)!] + k k!
[k!] + k k!
k! [1 + k]
k! [(k + 1)]
(k + 1)!

Lo que concluye la demostracion.

3. Demostrar por induccion

1
1
1
1
n
+
+
+ ... +
=
, n N
12 23 34
n (n + 1)
n+1

Solucion

i) Comenzamos la demostracion probando que se cumple para el primer elemento, en este caso, para n = 1 se cumple la igualdad.
En el lado izquierdo, tenemos:
1
1
=
12
2
En el lado derecho de la igualdad reemplazando n = 1 tenemos:
1
1
=
1+1
2
Vemos as que la proposicion se cumple para el primer elemento, en este caso, n = 1

ii) La hipotesis de induccion es suponer verdadero:

1
1
1
1
k
+
+
+ ... +
=
12 23 34
k (k + 1)
k+1
4

iii) Debemos probar que:

1
1
1
1
(k + 1)
+
+
+ ... +
=
12 23 34
(k + 1) (k + 2)
(k + 2)
Por demostrar que:
1
1
1
1
1
(k + 1)
+
+
+ ... +
+
=
12 23 34
k (k + 1) (k + 1) (k + 2)
(k + 2)
1
1
1
+ ... +
+
=
12
k (k + 1) (k + 1) (k + 2)
=
=
=
=
=


1
1
1
+ ... +
+
12
k (k + 1)
(k + 1) (k + 2)


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

Lo que concluye la demostracion.

4. Demostrar por induccion

1
1
1
1
n
+
+
+ ... +
=
, n N
13 35 57
(2n 1) (2n + 1)
2n + 1

Solucion
1
i) Probando para el primer elemento, n = 1, el lado izquierdo resulta .
3
1
En el lado derecho . Vemos as que la proposicion se cumple para el primer elemento, en
3
este caso, n = 1

ii) Nuestra hipotesis de induccion es:

1
1
k
+ ... +
=
13
(2k 1) (2k + 1)
2k + 1

iii) Por demostrar que:

1
1
1
k+1
+ ... +
+
=
13
(2k 1) (2k + 1) (2k + 1) (2k + 3)
2k + 3


1
1
1
+ ... +
+
13
(2k 1) (2k + 1)
(2k + 1) (2k + 3)


k
1
+
2k + 1
(2k + 1)(2k + 3)
k(2k + 3) + 1
(2k + 1)(2k + 3)
2k 2 + 3k + 1
(2k + 1)(2k + 3)
(2k + 1)(k + 1)
(2k + 1)(2k + 3)
k+1
2k + 3


=
=
=
=
=
=

Lo que concluye la demostracion.

5. Tarea!
6. Demostrar por induccion 22n + 15n 1 es m
ultiplo de 9, n N

Solucion

i) Para resolver este tipo de problemas, debemos saber que si la expresion 22n + 15n 1
es m
ultiplo de 9, entonces se tiene que, para alg
un natural A:
22n + 15n 1 = 9 A
Probando para el primer elemento, n = 1, el lado izquierdo resulta 18, lo que efectivamente
es m
ultiplo de 9, pues 18 = 9 2 (aqu A = 2)
Vemos as que la proposicion se cumple para el primer elemento, en este caso, n = 1

ii) Nuestra hipotesis de induccion es, para alg

un natural A:
22k + 15k 1 = 9 A

iii) Por demostrar que, para alg

un natural B:
22k+2 + 15k + 14 = 9 B

22k+2 + 15k + 14 = 22k 22 + 15k + 14

= 4 22k + 15k 1 + 15


= 3 22k + 1 22k + 15k 1 + 15




= 3 22k + 15 + 22k + 15k 1


= 3 22k + 15 + (9 A)

Note que lo que se hace en este tipo de ejercicios es separar los terminos de la tesis de modo
que m
agicamente aparezca la hipotesis de induccion (para poder reemplazar). Adem

as de
esto, este problema exige que se demuestre previamente que la expresion 3 22k + 15 tambien es m
ultiplo de 9 para todo k N, es decir, hay que demostrar DOS

inducciones en este
2k
hermoso problema. Asumiremos que ya demostramos que 3 2 + 15 = 9 C, para alg
un
natural C.
As se tiene que:


22k+2 + 15k + 14 = 3 22k + 15 + 9 A
= 9C +9A
= 9 (A + C)
= 9B

Donde A + C = B.
Lo que concluye la demostracion.



7. Para los incredulos del ejercicio anterior: Demuestre que la expresion 3 22n + 15 es siempre
divisible por 9, para todo natural n.

Antes de realizar la demostracion por induccion, debe entender que lo que estamos probando es una propiedad muy interesante.


Cualquier n
umero natural n que usted reemplace en la expresion 3 22n + 15 , obtendra por
resultado un m
ultiplo de 9. Veamos los primeros 5 valores de n:

Para
Para
Para
Para
Para

n=1
n=2
n=3
n=4
n=5

tenemos:
tenemos:
tenemos:
tenemos:
tenemos:

3 221 + 15 = 27, m
ultiplo de nueve !!!!!
22
3 2 + 15 = 63, m
ultiplo de nueve !!!!!
23
3 2 + 15 = 207, m
ultiplo de nueve !!!!!
3 224 + 15 = 783, m
ultiplo de nueve !!!!!
25
3 2 + 15 = 3087, m
ultiplo de nueve !!!!!

La pregunta que cualquier homosapiens se puede hacer, luego de asombrarse que efectivamente son todos m
ultiplos de 9, es:
Todo Natural Cumple? La respuesta a esta inquietud la tiene la induccion matematica.
Demostraremos que para
umero natural, siempre, pero SIEMPRE! la

todo valor de n, un n
expresion 3 22n + 15 sera un m
uliplo de nueve.
Solucion

Paso i) Probar que el primer natural cumple: n = 1. Efectivamente, lo hicimos antes.

Paso ii) Hipotesis de induccion: La expresion 3 22n + 15 es m
ultiplo de nueve para el
natural n = k, esto es, para alg
un natural A:
3 22k + 15 = 9 A
Paso iii) Debemos mostrar que el sucesor de k tambien cumple la proposicion, esto es, para
alg
un natural B:
3 22k+2 + 15 = 9 B
Procedemos a demostrar la tesis:

3 22k+2 + 15 = 3 22k 22 + 15


= 12 22k + 15
=
=
=
=
=
=

9 22k + 3 22k + 15




9 22k + 3 22k + 15


9 22k + (9 A)
9C +9A
9 (C + A)
9B

Por conveniencia, hicimos 22k = C y tambien C + A = B.

Lo que demuestra nuestra inquietud.

Prof: ALEXIS PARRA LAGOS.

alexis.parra@ufrontera.cl