Captulo 1

Induccin Matemtica
La induccin es un razonamiento que permite demostrar una innidad de proposiciones, de forma general esta
proposicin depende de un parmetro n, que toma una innidad de valores naturales. Ejemplos de proposiciones
que dependen de un parmetro n se muestran a continuacin:
1. Mostrar que para todo n N se cumple 1 + 2 + n =
1
2
n(n + 1)
2. Mostrar que para todo n N se cumple

n
k=1
(2k 1) 3
k
= (n 1) 3
n+1
+ 3
3. Mostrar que

n
=

a a a a a a
b a a a a a
b b a a a a
b b b a a a
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
b b b b a a
b b b b b a

=
a (a b)
n
b a
para a ,= b
Este tipo de problemas donde debemos probar que se cumple para todo valor de cierto parmetro "n", podemos
hacer uso de la induccin para su prueba, la cul se basa en el siguiente axioma
Axioma 1 (Principio de induccin matemtica) Sea el subconjunto S N con la propiedad que:
1. 1 S
2. Para todo k R; si k S implica que k + 1 S
Entonces S = N
Nota La primera parte del axioma (1) se llama la base de la induccin y
La segunda parte del axioma se llama la parte inductiva.
Este principio se usa para las pruebas de las proposiciones anteriormente mencionadas.
Principio de Induccin Matemtica Sea P (n) la proposicin a probar para todos los nmeros naturales
(Paso 1) Mostrar que la proposicin para n = 1 es verdadero. Esto es P (1) es verdadero
(Paso 2) Con base a lo anterior se asume que la proposicin para n = m es verdadero.
(Paso 3) Demostrar que la proposicin se cumple para n = m + 1: Esto es probar que la proposicin P (m+ 1)
es verdadero
(Paso 4) Concluimos que la proposicin P (n) es verdadero para todo n N
Ejemplo Mostrar que para todo n N se cumple 1 + 2 + n =
1
2
n(n + 1)
1
CAPTULO 1. INDUCCIN MATEMTICA
Denimos la proposicin que depende del parmetro n N; P (n) la cual viene dado por
P (n) : 1 + 2 + n =
1
2
n(n + 1) , para todo n N
(Paso 1) Primero mostraremos que la proposicin P (n) se cumple para n = 1
1 =
1
2
(1) (1 + 1)
lo cual es efectivamente verdadero
(Paso 2) Ahora el principio de induccin matemtica nos dice que asumamos que es valida la proposicin para
n = m
P (m) : 1 + 2 + m =
1
2
m(m+ 1) (1.1)
(Paso 3) Debemos probar que la proposicin P (n) se cumple para n = m+ 1
P (m+ 1) : 1 + 2 + +m+ (m+ 1) =
1
2
(m+ 1) (m+ 1 + 1) =
1
2
(m+ 1) (m+ 2)
tenemos que
1 + 2 + +m+ (m+ 1) = (1 + 2 + +m) + (m+ 1)
por la hipotesis de induccin (1.1) tenemos que
1 + 2 + +m
. .
+(m+ 1) =
1
2
m(m+ 1) + (m+ 1)
factorizando la ltima expresin tenemos
1 + 2 + +m+ (m+ 1) = (m+ 1)
_
1
2
m+ 1
_
1 + 2 + +m+ (m+ 1) =
1
2
(m+ 1) (m+ 2)
esto prueba la proposicin para n = m+ 1
(Paso 4) Por tanto concluimos que la proposicin P (n) es verdadera para todo n N
En el ejemplo anterior, la prueba de induccin inicia con n = 1; sin embargo ciertas demostraciones requieren
iniciar con un valor natural n > 1; lo cul es una variante del mtodo clasico de induccin matemtica, como
muestra el siguiente problema.
Problema 4 Probar que
\n N : n _ 13 se tiene que n
2
<
_
3
2
_
n
Es claro que esta proposicin no es vlida para n = 1; es ms, la proposicin suguiere que el primer natural en
cumplir con la proposicin es n = 13: Por tanto necesitamos algo mas que el principio bsico de induccin.
Variante del Principio de Induccin Matemtica
Si S _ N tiene las propiedades
1. n
0
Z
+
2. \n Z; n _ n
0
; n S n + 1 S
entonces n Z; n _ n
0
= S
Ahora podemos reformular el principio de induccin matemtica de la siguiente manera
Sea P (n) la proposicin a probar para todo n _ n
0
(Paso 1) Mostrar que la proposicin para n = n
0
es verdadero. Esto es P (n
0
) es verdadero
(Paso 2) Con base a lo anterior se asume que la proposicin para n = m es verdadero.
Msc. J. Csar Barraza B. 2
CAPTULO 1. INDUCCIN MATEMTICA
(Paso 3) Demostrar que la proposicin se cumple para n = m + 1: Esto es probar que la proposicin P (m+ 1)
es verdadero
(Paso 4) Concluimos que la proposicin P (n) es verdadero para todo n N
Ahora estamos en condiciones de resolver el problema
Denimos la proposicin
P (n) : n
2
<
_
3
2
_
n
; \n N : n _ 13
(Paso 1) Primero vericamos la validez de la proposicin para n
0
= 13; esto es
13
2
<
_
3
2
_
13
lo cual es cierto (compruebelo usted mismo)
(Paso 2) Ahora suponemos que la proposicin es verdadera para n = m
m
2
<
_
3
2
_
m
(1.2)
(Paso 3) Probaremos la proposicin se cumple para n = m+ 1
(m+ 1)
2
=
_
1 +
1
m
_
2
m
2
(m+ 1)
2
<
_
3
2
_
m
2
usando la ecuacin (1.2) tenemos que
(m+ 1)
2
<
_
3
2
_
m
2
<
_
3
2
__
3
2
_
m
=
_
3
2
_
m+1
con lo cual queda probado que la proposicin P (n) es verdarera para n = m+ 1
(Paso 4) Por tanto concluimos que la proposicin P (n) es verdadera para n _ 13
Ahora veamos un problema donde los esquemas estudiados hasta ahora no es suciente.
Problema 5 Consideremos la sucesion (a
n
) denida por
a
1
= 5; a
2
= 13; a
n+2
= 5a
n+1
6a
n
demostrar que
a
n
= 2
n
+ 3
n
(1.3)
Como vemos el trmino depende de conocer el valor de los trminos anteriores.
Lo primero que haremos es vericar que los trminos a
1
; a
2
satisfacen la ecuacin (1.3)
a
1
= 5 = 2
1
+ 3
1
a
2
= 13 = 2
2
+ 3
2
entonces en este caso para probar que a
n
= 2
n
+3
n
debemos conocer los trminos a
n1
; a
n2
, esto nos conduce al
siguiente esquema de induccin matemtica:
Msc. J. Csar Barraza B. 3
CAPTULO 1. INDUCCIN MATEMTICA
Variante de la induccin Matemtica
(Paso 1) Mostrar que las proposiciones P (1) ; P (2) son verdaderos
(Paso 2) Asumir que las proposiciones P (k 1) ; P (k 2) son verdaderos
(Paso 3) Debemos mostrar que la proposicin P (k) sea verdadero
(Paso 4) Concluimos que la proposicin P (n) se cumple para todo n N
Aplicando este esquema de induccin al problema (5)
(Paso 1) Mostraremos que las proposiciones son verdaderas para n = 1 y n = 2
P (1) : a
1
= 2
1
+ 3
1
= 5; lo cul es verdadero
P (2) : a
2
= 2
2
+ 3
2
= 13; lo cul es verdadero
(Paso 2) Asumimos que las proposiciones P (k 1) ; P (k 2) son verdaderas
a
k1
= 2
k1
+ 3
k1
a
k2
= 2
k2
+ 3
k2
(1.4)
(Paso 3) Ahora mostraremos que la proposicin se cumple para n = k, tenemos que
a
k
= 5a
k1
6a
k2
usando la hipotesis de induccin (1.4)
a
k
= 5
_
2
k1
+ 3
k1
_
6
_
2
k2
+ 3
k2
_
a
k
= 2
k
+ 3
k
(Paso 4) Por tanto concluimos que la proposicin P (n) se cumple para todo n N
Ejercicio 6 Mostrar que
_
a 1
0 a
_
n
=
_
a
n
na
n1
0 a
n
_
Como vemos esta proposicin depende del parmetro n N: Denimos la proposicin
P (n) :
_
a 1
0 a
_
n
=
_
a
n
na
n1
0 a
n
_
; para n _ 2
(Paso 1) Mostramos que la proposicin es verdadera para n = 2
_
a 1
0 a
_
2
=
_
a 1
0 a
__
a 1
0 a
_
=
_
a
2
2a
0 a
2
_
=
_
a
2
2a
21
0 a
2
_
lo cual muestra que la proposicin es verdadera
(Paso 2) Asumimos que la proposicin es valida para n = m:
_
a 1
0 a
_
m
=
_
a
m
ma
m1
0 a
m
_
(Paso 3) Probemos la validez de la proposicin para n = m+ 1; esto es
_
a 1
0 a
_
m+1
=
_
a
m
+ 1 (m+ 1) a
m
0 a
m+1
_
Tenemos que
_
a 1
0 a
_
m+1
=
_
a 1
0 a
_
m
_
a 1
0 a
_
Msc. J. Csar Barraza B. 4
CAPTULO 1. INDUCCIN MATEMTICA
usando el paso 2, tenemos
_
a 1
0 a
_
m+1
=
_
a
m
ma
m1
0 a
m
__
a 1
0 a
_
_
a 1
0 a
_
m+1
=
_
a
m+1
(m+ 1) a
m
0 a
m+1
_
por tanto queda probado el paso 3
(Paso 4) Por lo tanto concluimos que
_
a 1
0 a
_
n
=
_
a
n
na
n1
0 a
n
_
; para n _ 2
Msc. J. Csar Barraza B. 5