CAPITULO 1

Induccion Matematica
El capitulo de Induccion Matematica, esta destinado a presentar contenidos y actividades que permi-
tiran al estudiante operar con simbologa matematica, describir analizar y aplicar el principio de Induccion
Matematica, en particular usando esta tecnica comprobara rapida y ecientemente, la veracidad o falsedad
de formulas proposicionales denidas en los n umeros naturales
1. Axiomas de Peano: Una Construccion Axiomatica de los N umeros Naturales
Si aceptamos que una teora, se construye esencialmente en base a dos objetos:
Conceptos primitivos, en el sentido que no son denidos, pero de una simple interpretacion intuitiva
y,
Axiomas o verdades reveladas que se aceptan sin demostrar, y que rigen el comportamiento de los
conceptos primitivos, y de ellos se deducen proposiciones y teoremas
Un muy buen ejemplo de una construccion axiomatica que obedece este patron, es la de los N umeros
Naturales, a traves de los geniales Axiomas de Peano, los que pasamos a enunciar y analizar solo con la
profundidad necesaria, para situar y resolver nuestro objetivo de estudiar mas en detalle el Principio de
Induccion
1.1. Axiomas de Peano.
El Concepto Primitivo aqu es la idea de sucesor. Es decir para cada n N, el smbolo n+1 se entendera
como el sucesor de dicho n umero n
Ejemplo 1.2. 3 es el sucesor de 2, pues 3 = 2 + 1
Ejemplo 1.3. 7 es el sucesor de 6, pues 7 = 6 + 1
Ejemplo 1.4. 33 es el sucesor de 32, pues 33 = 32 + 1
El Cuerpo Axiomatico consiste en los siguientes cinco Axiomas:
Ax
1
: 1 es un n umero natural
Esto signica que existe al menos un n umero natural
Ax
2
: Si n N entonces n +1 N
1
2 1. INDUCCI

ON MATEM

ATICA
Todo n umero natural tiene un sucesor
n + 1 debe ser entendido como el smbolo sucesor de n
Ax
3
: No existe un n umero natural n, tal que su sucesor sea 1
Esto signica que N posee un primer elemento
Ax
4
: Si n N y m N tal que n +1 = m+1 entonces n = m
Esto signica que podemos escribir sin ambig uedad N = {1, 2, 3, }
Ax
5
: Si S N es tal que verica simultaneamente las dos siguientes propiedades:
1 S
n S = n +1 S
entonces S = N
Ax
5
se conoce como el axioma de induccion o principio de induccion
Es una de las mas bellas estrategias que utiliza el intelecto humano, para hacer nito lo innito
La idea expresada en el comando 1 S, es simbolica solo dice que a partir de un cierto momento,
comienza a realizarse sistematicamente, (quizas la idea intuitiva del nacimiento) un algoritmo.
En nuestro contexto, reinterpretaremos la idea de sucesor, para obtener un metodo para validar
formulas proposicionales denidas en los naturales
2. Formalizacion y Vericacion de Formulas Usando el Axioma de Inducci on
En esta seccion transformaremos el axioma de induccion de Peano, en una formidable herramienta para
vericar el valor de verdad de formulas proposicionales, para ello procederemos como sigue
Realizaremos en primer lugar la adecuacion del axioma para la validacion de formulas proposi-
cionales, para ello enunciaremos y probaremos el teorema central de la seccion, al cual lo llamare-
mos Peano y las formulas proposicionales
En Segundo lugar, construiremos en forma concreta, ayudados por la intuicion y conocimientos
geometricos basicos algunas formula proposicionales
Finalmente, construiremos un macro llamado sumatoria que nos permitira comprimir, simplicar
y comprender de mejor forma la informacion representada por estas formulas proposicionales
Teorema 2.1. Peano y las formulas proposicionales Sea F(n) una f ormula proposicional para cada
n N. Si
F(1) es verdadera, y
F(n) verdadera = F(n + 1) verdadera
3. CONSTRUCCI

ON DE ALGUNAS F

ORMULAS PROPOSICIONALES 3
Entonces F(s) es verdadera (s; s N)
Demostraci on
Para aplicar el axioma de inducci on Ax
5
denimos el conjunto
S = {n N | F(n) es verdadera}
Y entonces
F(1) verdadera 1 S
[F(n) verdadera = F(n + 1) verdadera ] [n S = (n + 1) S]
As que,
1 S
n S = (n + 1) S

=S = N = F(n) es verdadera (n; n N)

Usaremos la siguiente Notaci on: La etapa n, es decir F(n) la llamaremos Hip otesis de Inducci on, y a la
etapa n + 1, la llamaremos Tesis de Inducci on.
3. Construccion de Algunas Formulas Proposicionales
3.1. Una formula para La suma de los n primeros n umeros naturales: Generemos una
formula que permita calcular el n umero maximo de intersecciones de n lneas rectas distintas, para cada
n N
Para entender el problema, llamaremos n al n umero de rectas e I al n umero de intersecciones de ellas
Si n = 2 tenemos la situacion:
L
1
L
2
I
Lo que nos hace concluir que: n = 2 = I = 1
Para n = 3 tenemos que la situacion, es la siguiente:
4 1. INDUCCI

ON MATEM

ATICA
L
1
L
2
L
3
I
1
I
2
I
3
De donde concluimos que: n = 3 = I = 3 = (1) + 2
Para n = 4 tenemos que:
L
1
L
2
L
3
L
4
I
1
I
2
I
3
I
4
I
5
I
6
En este caso tenemos que: n = 4 = I = 6 = (1 + 2) + 3
Ahora para n = 5
L
1
L
2
L
3
L
4
L
5
I
1
I
2
I
3
I
4
I
5
I
6
I
7
I
8
I
9
I
10
La situacion es la siguiente: n = 5 = I = 10 = (1 + 2 + 3) + 4
3. CONSTRUCCI

ON DE ALGUNAS F

ORMULAS PROPOSICIONALES 5
Podemos intentar seguir realizando la interseccion de mas rectas, pero se ve que cada vez sera mas
difcil gracar como lo hemos hecho hasta ahora, por tanto es el momento de intentar un modelamiento mas
abstracto del problema
Partamos con n = 6
L
1
L
2
L
3
L
4
L
5
L
6
L
1
L
3
L
4
L
5
1
2
3
4
5
Aqu como antes tenemos que: n = 6 = 15 = (1 + 2 + 3 + 4) + 5
Desde el punto de vista algebraico tenemos la siguiente situacion para analizar:
15 = 1 + 2 + 3 + 4 + 5
= 5 + 4 + 3 + 2 + 1
= 5 + (5 1) + (5 2) + (5 3) + (5 4)
= (5 + 1) 1 + (5 + 1) 2 + (5 + 1) 3 + (5 + 1) 4 + (5 + 1) 5
= 5(5 + 1) 1 2 3 4 5
= 5(5 + 1) 15
Luego, 2(1 + 2 + 3 + 4 + 5) = 5(5 + 1), as que
1 + 2 + 3 + 4 + 5 =
5(5 + 1)
2
Para n = 7
L
1
L
2
L
3
L
4
L
5
L
6
L
7
L
1
L
3
L
4
L
5
L
6
1
2
3
4
5
6
En este caso tenemos que: n = 7 = 21 = (1 + 2 + 3 + 4 + 5) + 6
6 1. INDUCCI

ON MATEM

ATICA
Procediendo en forma analoga al caso anterior tenemos que:
21 = 6 + 5 + 4 + 3 + 2 + 1
= 6 + (6 1) + (6 2) + (6 3) + (6 4) + (6 5)
= (6 + 1) 1 + (6 + 1) 2 + (6 + 1) 3 + (6 + 1)
4 + (6 + 1) 5 + (6 + 1) 6
= 6(6 + 1) 1 2 3 4 5 6
= 6(6 + 1) 21
Luego, 2(1 + 2 + 3 + 4 + 5 + 6) = 6(6 + 1), as que,
1 + 2 + 3 + 4 + 5 + 6 =
6(6 + 1)
2
Pero, tambien podemos obtener el mismo resultado, razonando como sigue
21 = 1 + 2 + 3 + 4 + 5 + 6
=
5(5 + 1)
2
+ 6
=
5(5 + 1)
2
+ (5 + 1)
=
5(5 + 1) + 2(5 + 1)
2
=
7(5 + 1)
2
=
6 7
2
=
6(6 + 1)
2
[]
En el caso general emulando la primera forma de razonar tenemos que
1 + 2 + + n = n + (n 1) + (n 2) + + (n n + 1)
= (n + 1) 1 + (n + 1) 2 + + (n + 1) n
= n(n + 1) 1 2 3 n
= n(n + 1) (1 + 2 + + n)
As que,
1 + 2 + + n =
n(n + 1)
2
Luego, la formula F(n), que dene el n umero maximo de intersecciones de n rectas, para cada n N es
de la forma
3. CONSTRUCCI

ON DE ALGUNAS F

ORMULAS PROPOSICIONALES 7
F(n) : 1 + 2 + 3 + + n =
n(n + 1)
n
(1)
Ahora aprovechando la idea obtenida en [], y aplicando el Teorema (2.1), podemos hacer lo siguiente:
Mostremos inicialmente que F(1) es verdadera
Como
1(1 + 1)
2
= 1 entonces 1 =
1(1 + 1)
2
, y F(1) es verdadera.
Si suponemos que F(n) es verdadera debemos mostrar que F(n + 1) es verdadera
En primer lugar, F(n) verdadera si y solo si
1 + 2 + 3 + 4 + + n =
n(n + 1)
2
(H)
Ahora, F(n + 1) sera verdadera si y solo si
1 + 2 + 3 + 4 + + n + (n + 1) =
(n + 1)(n + 1 + 1)
2
=
(n + 1)(n + 2)
2
Entonces
1 + 2 + 3 + + n + (n + 1) = [1 + 2 + 3 + + n]
. .. .
(H)
+(n + 1)
=

n(n + 1)
2

+ (n + 1)
=
n(n + 1) + 2(n + 1)
2
=
(n + 1)(n + 2)
2
As que, F(n + 1) es verdadera, y N = {n N | F(n) es verdadera}
3.2. Una formula para La suma de los n primeros n umeros naturales impares: Si notamos
por N
I
= {1, 3, 5, } a los n umeros impares entonces Sera posible obtener una formula para la suma de
los n primeros impares?. Es decir
1 + 3 + + (2n 1) = ?
Estudiemos en abstracto el problema:
8 1. INDUCCI

ON MATEM

ATICA
1 + 3 = 1 + 2 1 + 1 = (1 + 1)
2
= 2
2
1 + 3 + 5 = 2
2
+ 2 2 + 1 = (2 + 1)
2
= 3
2
1 + 3 + 5 + 7 = 3
2
+ 2 3 + 1 = (3 + 1)
2
= 4
2
1 + 3 + 5 + 7 + 9 = 4
2
+ 2 4 + 1 = (4 + 1)
2
= 5
2
.
.
.
.
.
.
.
.
.
Estudiemos ahora el problema en concreto:
Teora
1 + 3 = 4
Dise no Analisis Formula
=
1 + 3 = 2
2
1 + 3
2
2
Teora
1 + 3 + 5 = 9
Dise no Analisis Formula
=
1 + 3 + 5 = 3
2
1 + 3 + 5
3
2
Teora
1 + 3 + 5 + 7 = 16
Dise no Analisis Formula
= 1 + 3 + 5 + 7 = 4
2
1 + 3 + 5 + 7
4
2
En el caso general deberamos mostrar en concordancia con nuestra intuicion que
1 + 3 + + (2n 1) = n
2
3. CONSTRUCCI

ON DE ALGUNAS F

ORMULAS PROPOSICIONALES 9
Si notamos por F(n) : 1 +3 + +(2n1) = n
2
, para cada n N entonces tenemos por calculo
directo que F(n) es verdadera o falsa.
Si concordamos en que S = {n N | F(n) es verdadera} entonces tenemos lo siguiente:
1 S, pues F(1) es verdadera, ya que 1 = 1
2
Si suponemos que n S, es decir asumimos que F(n) es verdadera, o equivalentemente
1 + 3 + + (2n 1) = n
2
(H)
Entonces
1 + 3 + + (2n 1) + (2(n + 1) 1) = [1 + 3 + + (2n 1)]
. .. .
(H)
+
(2(n + 1) 1)
= n
2
+ (2(n + 1) 1)
= n
2
+ 2n + 1
= (n + 1)
2
As que F(n + 1) es verdadera y luego, (n + 1) S, y entonces para cada n N es verdadera la
formula
1 + 3 + + (2n 1) = n
2
(2)
3.3. Una formula para La suma de los n primeros n umeros naturales pares: Si notamos
ahora por N
P
= {2, 4, 6, } entonces Sera posible obtener una formula para la suma de los n primeros
n umeros pares?. Es decir
2 + 4 + + 2n = ?
Estudiemos intuitivamente el problema:
2 = 1 2
2 + 4 = 1 2 + (2 2) = 2 3
2 + 4 + 6 = 2 3 + (2 3) = 3 4
2 + 4 + 6 + 8 = 3 4 + (2 4) = 4 5
2 + 4 + 6 + 8 + 10 = 4 5 + (2 5) = 5 6
2 + 4 + 6 + 8 + 10 + 12 = 5 6 + (2 6) = 6 7
2 + 4 + 6 + 8 + 10 + 12 + 14 = 6 7 + (2 7) = 7 8
2 + 4 + 6 + 8 + 10 + 12 + 14 + 16 = 7 8 + (2 8) = 8 9
.
.
.
.
.
.
.
.
.
10 1. INDUCCI

ON MATEM

ATICA
Estudiemos ahora el problema en concreto:
Teora
2 + 4 = 6
Dise no Analisis Formula
= 2 + 4 = 2 3
2(1 + 2)
2 3
Teora
2 + 4 + 6 = 12
Dise no Analisis Formula
=
2 + 4 + 6 = 3 4
2(1 + 2 + 3)
3 4
Estudiemos en abstracto el problema:
Si llamamos F(n) : 2 + 4 + 6 + + 2n = n(n + 1) para cada n N entonces aplicando nuestro proced-
imiento formal, tenemos que denir el conjunto S = {n N | F(n) es verdadera}, y vericar si este conjunto
satisface o no el axioma 5
Por demostrar que F(1) es verdadera, es decir 1 S. Esto se verica porque,
2 = 1(1 + 1)
Supongamos que F(n) es verdadera, es decir, n S, y
2 + 4 + 6 + + 2n = n(n + 1) (H)
Por demostrar que F(n + 1) es verdadera, es decir por demostrar que (n + 1) S
En efecto
2 + 4 + 6 + + 2n
. .. .
(H)
+2(n + 1) = n(n + 1) + 2(n + 1)
= (n + 1)(n + 2)
Luego, N = S y F(n) es verdadera (n; n N), es decir,
2 + 4 + 6 + + 2n = n(n + 1) (3)
4. SUMATORIAS: 11
Podemos responder en forma alternativa, con lo que hemos aprendido:
2 + 4 + + 2n = 2(1 + 2 + 3 + + n)
= 2

n(n + 1)
2

(Aplicando la formula (1))

= n(n + 1)
4. Sumatorias:
En esta etapa construiremos y estudiaremos las propiedades de una herramienta matematica que nos
permita comprimir, presentar y manipular ecientemente f ormulas proposicionales, que involucran sumas
de una cantidad nita de n umeros reales. Para ver una construccion de los N umeros Reales les sugiero ver [2]
Denicion 4.1. Dada la lista A = {a
1
, a
2
, a
3
, . . . } R denimos para cada n N, el nuevo listado de
n umeros reales:
S = {S
1
, S
2
, S
3
, }
donde,
S
1
=
1

i=1
a
i
= a
1
, y
S
n+1
=
n+1

i=1
a
i
= S
n
+ a
n+1
Para cada n N
n

i=1
a
i
= a
1
+ a
2
+ a
3
+ + a
n1
+ a
n (4)
ser a llamada la Sumatoria de los n primeros elementos de la lista A
Observacion 4.1.1. La lista S ha sido construida, a partir de una nueva forma de usar el Axioma 5.
de Peano pues, lo que hemos hecho en realidad es lo siguiente:
1

i=1
a
i
= a
1
2

i=1
a
i
= S
1
+ a
2
= a
1
+ a
2
3

i=1
a
i
= S
2
+ a
2
= a
1
+ a
2
+ a
3
.
.
.
n

i=1
a
i
= S
n1
+ a
n
= a
1
+ a
2
+ a
3
+ + a
n1
+ a
n
12 1. INDUCCI

ON MATEM

ATICA
Ejemplo 4.1.2. Si a
i
= i para i = 1, 2, 3, . . . , n entonces
n

i=1
a
i
= a
1
+ a
2
+ a
3
+ + a
n

n

i=1
i = 1 + 2 + 3 + + n
As que, usando la f ormula (1) tenemos que
n

i=1
i =
n(n + 1)
2
Ejemplo 4.1.3. Si a
i
= 2i 1 para i = 1, 2, 3, . . . , n entonces
n

i=1
a
i
= a
1
+ a
2
+ a
3
+ + a
n

n

i=1
(2i 1) = 1 + 3 + 5 + + 2n 1
As que, usando la f ormula (2) tenemos que
n

i=1
(2i 1) = n
2
Ejemplo 4.1.4. Si a
i
= 2i para i = 1, 2, 3, . . . , n entonces
n

i=1
a
i
= a
1
+ a
2
+ a
3
+ + a
n

n

i=1
2i = 2 + 4 + 6 + + 2n
As que, usando la f ormula (3) tenemos que
n

i=1
2i = n(n + 1)
4.2. Propiedades de las Sumatorias. Si A = {a
1
, a
2
, , a
n
} R; B = {b
1
, b
2
, , b
n
} R y c R
entonces
(1)
n

i=1
(a
i
b
i
) =
n

i=1
a
i

n

i=1
b
i
Si hacemos c
i
= a
i
+ b
i
para i = 1, 2, . . . , n entonces
n

i=1
(a
i
+ b
i
) =
n

i=1
c
i
= c
1
+ c
2
+ c
3
+ + c
n
= (a
1
+ b
1
) + (a
2
+ b
2
) + (a
3
+ b
3
) + + (a
n
+ b
n
)
= (a
1
+ a
2
+ a
3
+ + a
n
) + (b
1
+ b
2
+ b
3
+ + b
n
)
=
n

i=1
a
i
+
n

i=1
b
i
Analogamente si hacemos c
i
= a
i
b
i
obtenemos
n

i=1
(a
i
b
i
) =
n

i=1
a
i

n

i=1
b
i
4. SUMATORIAS: 13
As que,
n

i=1
(a
i
b
i
) =
n

i=1
a
i

n

i=1
b
i (5)
(2)
n

i=1
ca
i
= c
n

i=1
a
i
Si hacemos d
i
= ca
i
para i = 1, 2, . . . , n entonces
n

i=1
ca
i
=
n

i=1
d
i
= d
1
+ d
2
+ d
3
+ + d
n
= ca
1
+ ca
2
+ ca
3
+ + ca
n
= c(a
1
+ a
2
+ a
3
+ + a
n
)
= c
n

i=1
a
i
As que,
n

i=1
ca
i
= c
n

i=1
a
i (6)
(3)
n

i=1
1 = n. En particular
n

i=1
c = cn
Si hacemos c
i
= 1 para i = 1, 2, . . . , n entonces
n

i=1
1 =
n

i=1
c
i
= c
1
+ c
2
+ c
3
+ + c
n
= 1 + 1 + 1 + + 1
. .. .
nveces
= n
As que,
n

i=1
1 = n (7)
Ademas, para c R:
n

i=1
c =
n

i=1
c 1
(6)
= c
n

i=1
1
(7)
= c n
As que,
n

i=1
c = cn (8)
14 1. INDUCCI

ON MATEM

ATICA
(4)
n

i=1
a
i
=
s

i=1
a
i
+
n

i=s+1
a
i
Dene c
i
= a
i
, para i = 1, 2, . . . , s y d
i
= a
s+i
, para i = 1, 2, . . . , n s entonces
s

i=1
c
i
+
n

i=1
d
i
= (c
1
+ c
2
+ + c
s
) + (d
1
+ d
2
+ + d
s
)
= (a
1
+ a
2
+ + a
s
) + (a
s+1
+ a
s+2
+ + a
s+ns
= a
1
+ a
2
+ + a
s
+ a
s+1
+ a
s+2
+ + a
n
=
n

i=1
a
i
Ahora, por otra parte,
s

i=1
c
i
+
n

i=1
d
i
= (c
1
+ c
2
+ + c
s
) + (d
1
+ d
2
+ + d
s
)
=
s

i=1
a
i
+
ns

i=1
a
s+i
Si hacemos j = s + i entonces
=
s

i=1
a
i
+
n

j=s+1
a
j
=
s

i=1
a
i
+
n

i=s+1
a
i
As que,
n

i=1
a
i
=
s

i=1
a
i
+
n

i=s+1
a
i (9)
(5)
n

i=1
(a
i
a
i+1
) = a
1
a
n+1
(Propiedad Telescopica
1
)
n

i=1
(a
i
a
i+1
)
(5)
=
n

i=1
a
i

n

i=1
a
i+1
= (a
1
+ a
2
+ a
3
+ + a
n
) (a
2
+ a
3
+ + a
n
+ a
n+1
)
= a
1
a
n+1
1
Observe que en un telescopio la imagen es traslada hacia su ojo a traves de los lentes
5. EJERCICIOS RESUELTOS DE INDUCCI

ON MATEM

ATICA 15
As que,
n

i=1
(a
i
a
i+1
) = a
1
a
n+1 (10)
(6)
r

i=s
a
i
=
r+t

i=s+t
a
it
(Propiedad del reloj
2
)
r

i=s
a
i
=
r+t

j=s+t
a
jt
(Si hacemos i = j t)
As que,
r

i=s
a
i
=
r+t

i=s+t
a
it
(11)
5. Ejercicios Resueltos de Induccion Matematica
(1) Demostremos usando Induccion Matematica que la formula:
F(n) :
n

k=1

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

=
n(n + 3)
4(n + 1)(n + 2)
Es verdadera (n; n N)
Solucion
Por mostrar que F(1) es verdadera, observamos los hechos:

i=1

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

=
1
1(2)(3)
=
1
6
, y

1(1 + 3)
4(1 + 1)(1 + 2)
=
1(4)
4(2)(3)
=
1
6
2
Observe que por ejemplo las 2.00 horas mas 45 minutos, es lo mismo que las 3 horas menos 15 minutos
16 1. INDUCCI

ON MATEM

ATICA
Luego, comparando los resultados concluimos que
1

i=1

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

=
1(1 + 3)
4(1 + 1)(1 + 2)
Por ende, F(1) es verdadera.
Hipotesis de Induccion: Suponemos que F(n) es verdadera. Esto es
n

k=1

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

=
n(n + 3)
4(n + 1)(n + 2)
(H)
Tesis de Induccion: Por demostrar que F(n + 1) es verdadera, es decir debemos vericar que:
n

k=1
1
k(k + 1)(k + 2)
=
(n + 1)(n + 4)
4(n + 2)(n + 3)
En efecto
n

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

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

k=n+1
1
k(k + 1)(k + 2)
(H)
=
n(n + 3)
4(n + 1)(n + 2)
+
1
(n + 1)(n + 2)(n + 3)
=
n(n + 3)
2
+ 4
4(n + 1)(n + 2)(n + 3)
=
n(n
2
+ 6n + 9) + 4
4(n + 1)(n + 2)(n + 3)
=
n
3
+ 6n
2
+ 9n + 4
4(n + 1)(n + 2)(n + 3)
=
(n + 1)
2
(n + 4)
4(n + 1)(n + 2)(n + 3)
=
(n + 1)(n + 4)
4(n + 2)(n + 3)
As que F(n + 1) es verdadera y F(n) es verdadera (n; n N)
(2) Si A = {a
1
, a
2
, a
3
, a
4
, . . . } R es tal que:
a
i
= i para i = 1, 2
a
s
=
s1

i=1
a
i
(s 3)
entonces demostremos usando Induccion Matematica que es verdadera (n; n N; n 3) la
formula:
F(n) : a
n
= 3 2
n3
5. EJERCICIOS RESUELTOS DE INDUCCI

ON MATEM

ATICA 17
Solucion
Por demostrar que F(3) es verdadera.
En efecto
a
1
= 1 a
2
= 2 = a
3
= a
1
+ a
2
= 1 + 2 = 3 = 3 2
33
Hipotesis de Induccion: Supongamos que F(n) es verdadera, es decir que
a
n
= 3 2
n3
(H)
Por demostrar que F(n + 1) es verdadera, esto es; Por demostrar que:
a
n+1
= 3 2
n2
En efecto
a
n+1
=
n

i=1
a
i
= a
n
+ a
n1
+ a
n2
+ a
n3
+ + a
3
+ a
2
+ a
1
(H)
= 3 2
n3
+ 3 2
n4
+ 3 2
n5
+ 3 2
n6
+ 3 2
n7
+ + 3 + 3
= 3(2
n3
+ 2
n4
+ 2
n5
+ 2
n6
+ 2
n7
+ + 1) + 3
= 3
2
n2
1
2 1
+ 3
= 3 2
n2
3 + 3
= 3 2
n2
As que, F(n + 1) es verdadera y F(n) es verdadera (n; n N)
(3) Demostremos usando Induccion Matematica que la formula:
F(n) : n
3
+ (n + 1)
3
+ (n + 2)
3
es divisible por 9
Es verdadera (n : n N)
Solucion
Por demostrar que F(1) es verdadera
En efecto
1
3
+ (1 + 1)
3
+ (1 + 2)
3
= 32 = 9 4 = 1
3
+ (1 + 1)
3
+ (1 + 2)
3
es divisible por 9
18 1. INDUCCI

ON MATEM

ATICA
.
Hipotesis de Induccion: Supongamos que F(n) es verdadera. Es decir, existe q, tal que
n
3
+ (n + 1)
3
+ (n + 2)
3
= 9 q (H)
Por demostrar que F(n + 1) es verdadera, es decir por demostrar que existe r, tal que
(n + 1)
3
+ (n + 2)
3
+ (n + 3)
3
= 9 r
En efecto
Por una parte (n + 1)
3
+ (n + 2)
3
+ (n + 3)
3
= 3n
3
+ 18n
2
+ 42n + 36
Y por hipotesis n
3
+ (n + 1)
3
+ (n + 2)
3
= 3n
3
+ 9n
2
+ 15n + 9
Realizando la division:
3n
3
+ 18n
2
+ 42n + 36 : 3n
3
+ 9n
2
+ 15n + 9 = 1
()
3n
3
+ 9n
2
+ 15n + 9

9n
2
+ 27n + 27
Tenemos que:
(n + 1)
3
+ (n + 2)
3
+ (n + 3)
3
= 1 (3n
3
+ 9n
2
+ 15n + 9) + 9n
2
+ 27n + 27
(H)
= 9 q + 9 (n
2
+ 3n + 3)
= 9 (q + n
2
+ 3n + 3)
. .. .
r
As que, F(n + 1) es verdadera y F(n) es verdadera (n : n N)
(4) Demostremos usando Induccion Matematica que la formula:
F(n) : (n N : n impar ) = n(n
2
1) es divisible por 24
Es verdadera
Solucion
Por demostrar que F(1) es verdadera
(1
2
1) = 1 0 = 0 = 24 0 = 1(1
2
1) = 24 0 = F(1) es verdadera.
6. EJERCICIOS PROPUESTOS DE INDUCCI

ON MATEM

ATICA 19
Hipotesis de Induccion: Supongamos que F(n) es verdadera. Esto es
(n N : n impar ) = n(n
2
1) es divisible por 24

(s; s N) (r; r N) : n = (2s 1) (2s 1)((2s 1)

2
1) = 24 r

(s; s N) (r; r N) : n = (2s 1) (2s 1)(4s

2
4s) = 24 r

(s; s N) (r; r N) : n = (2s 1) 8s

3
12s
2
+ 4s
. .. .

= 24 r
Tesis de Induccion: Por demostrar que F(n + 2) es verdadera. Esto es, debemos mostrar que
(n + 2 N : n impar ) = (n + 2)((n + 2)
2
1) es divisible por 24
Equivalentemente, hay que mostrar que
(n + 2 N : n impar ) = (s; s N)(u; u N) : n = (2s 1) (n + 2)((n + 2)
2
1) = 24 u
= (s; s N)(u; u N) : n = (2s 1) 8s
3
+ 12s
2
+ 4s
. .. .

= 24 u (T)
Entonces dividiendo (**) por (*) tenemos que
8s
3
+ 12s
2
+ 4s : 8s
3
12s
2
+ 4s = 1
()
8s
3
12s
2
+ 4s

24s
2
As que,
8s
3
+ 12s
2
+ 4s = 1 (8s
3
12s
2
+ 4s) + 24s
2
()
= 24r + 24s
2
= 24 (r + s
2
)
. .. .
u
Luego, F(n + 2) es verdadera y por tanto la formula proposicional F(n) es verdadera, para cada
n umero natural impar
6. Ejercicios Propuestos de Induccion Matematica
Demuestre usando Induccion Matematica que las siguientes formulas son verdaderas (n; n N)
20 1. INDUCCI

ON MATEM

ATICA
(1) F(n) :
n

i=1
1
i
2
+ i)
=
n
n + 1
(2) F(n) :
n

i=1
i
4
=
n(n + 1)(6n
3
+ 9n
2
+ n 1)
30
(3) F(n) :
n

i=1
i(i + 1)
2
=
n(n + 1)(n + 2)
6
(4) F(n) :
n

i=1
i(i + 1)(i + 2) =
n(n + 1)(n + 2)(n + 3)
4
(5) F(n) :
n

i=1
i 2
i1
= 1 + (n 1)2
n
(6) F(n) :
n

k=0
(1)
k

n
k

= 0
(7) F(n) : (0 r n) =

n
r

N
(8) F(n) : (n + 1)(n + 2) (n + n) = 2
n

(2n 1)!
(2(n 1))!

(9) F(n) : 2
n1
n!
(10) F(n) : 3n 3
n
(11) F(n) : 4n
3
+ 5n es divisible por 3
(12) F(n) : n
3
n es divisible por 6
(13) F(n) : 5n
3
+ 7n es divisible por 6
(14) F(n) : 10
n
+ 3 4
n+2
+ 5 es divisible por 9
(15) F(n) : 5
2n
+ (1)
n+1
es divisible por 13
(16) F(n) : n N impar = 7
n
+ 1 es divisible por 8
(17) F(n) : 7
2n
+ 16n 1 es divisible por 64
Bibliografa
[1] Bello, I.

Algebra Elemental , Brooks/Cole Publishing Company 1999.

[2] Bobadilla, G. Labarca R. Calculo 1 , Facultad de Ciencia, Universidad de Santiago 2007.
[3] Boldrini, J. Rodriguez, S. Figueiredo, V. Wetzler, H.

Algebra Linear, Editora Harper & Row do Brasisl Ltda, 1984.

[4] Fraleigh J.

Algebra Abstracta Addison-Wesley Iberoamericana 1988.

[5] Grimaldi, R. Matematicas Discretas y Combinatorias , Addison Wesley 1997.
[6] Gustafson, R.

Algebra Intermedia , Brooks/Cole Publishing Company 1997.

[7] Kaufmann, J.

Algebra Intermedia , Brooks/Cole Publishing Company 2000

[8] Santander, R.

Algebra Elemental y superior, Universidad de Santiago 2004

[9] Santander, R.

Algebra Lineal, Universidad de Santiago 2004

[10] Santander, R. Un Segundo curso de Algebra Lineal
[11] Swokowski, E.

Algebra y trigonometra , Brooks/Cole Publishing Company 1997.

[12] Zill, D.

Algebra y trigonometra , Mc Graw Hill 1999
21
Indice
Axiomas de Peano, 1
Hipotesis de induccion, 3
Induccion matematica, 1
N umeros naturales, 1
Peano y las formulas proposicionales, 2
Principio de induccion, 2
Propiedad del reloj, 15
Propiedad telescopica, 14
Propiedades de las sumatorias, 12
Sucesor, 1
Sumatoria, 11
Tesis de induccion, 3
23
Contenidos
Capitulo 1. Induccion Matematica 1
1. Axiomas de Peano: Una Construccion Axiomatica de los N umeros Naturales 1
2. Formalizacion y Vericacion de Formulas Usando el Axioma de Induccion 2
3. Construccion de Algunas Formulas Proposicionales 3
4. Sumatorias: 11
5. Ejercicios Resueltos de Induccion Matematica 15
6. Ejercicios Propuestos de Induccion Matematica 19
Bibliografa 21
Indice 23
25