Induccin Matemtica

Diego Gonzlez-Moreno
2
ndice general

1. Nmeros Naturales 5
1.1. Los nmeros naturales . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Axiomas de Peano . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Induccin matemtica . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1. Formas equivalentes de induccin . . . . . . . . . . . . 11

3
4 NDICE GENERAL
Captulo 1

Nmeros Naturales

1.1. Los nmeros naturales

Los nmeros naturales surgieron por la necesidad de contar y son los
primeros en aparecer en la historia de la humanidad. Sirven para contar los
elementos que tiene un cierto conjunto. El conjunto de los nmeros naturales
se denota como N.
N = {1, 2, 3 . . . }
Estrictamente lo nmeros naturales no incluyen al 0. Dependiendo de las
necesidades con las que nos encontremos podemos incluirlo o no.

1.2. Axiomas de Peano

Hay distintas formas de construir a los nmeros naturales. Una de ellas
es a travs de los Axiomas de Peano, llamados as en honor a su creador
Guisseppe Peano (1858-1932), amante del rigor y la precisin. Los axiomas
de Peano son cinco, aunque hay versiones en los que solamente aparecen tres
axiomas.

Axiomas de Peano

1. 1 N.

2. Existe una funcin, llamada sucesor, s : N N, tal que si n N,

entonces s(n) N. Podemos suponer que s(n) = n + 1.

3. Si n, m N y n 6= m, entonces s(n) 6= s(m) (i.e. s es una funcin

inyectiva).

5
6 CAPTULO 1. NMEROS NATURALES

4. El 1 no es sucesor de nadie.
5. (Axioma de induccin) Sea S un subconujunto de N distinto del vaco.
Si S satisface las siguientes propiedades:
a) 1 S.
b) Si n S, entonces s(n) S.
Entonces S = N.

1.3. Induccin matemtica

El axioma 5 de los Axiomas de Peano es el fundamento del mtodo de
demostracin de la Induccin Matemtica. La induccin matemtica es una
tcnica de demostracin que se utiliza para establecer la validez de un enun-
ciado concerniente con los nmeros naturales.
Esta forma de demostracin consiste en demostrar que el enunciado es
cierto para el primer nmero natural y despus, probando que si la propo-
sicin es cierta para un nmero natural entonces tambin es cierta para el
siguiente. Una explicacin informal de de la induccin matemtica puede ser
ilustrada por el efecto domin.
Sea P una propiedad y sea S N el conjunto de los nmeros naturales
que satisfacen la propiedad P , es decir,

S = {n N : n satisface la propiedad P }

Si el conjunto S satisface las siguientes dos propiedades

a) 1 S.
b) Si k S, entonces k + 1 S (ntese que k + 1 es el sucesor s(k) de k).
Entonces por el axioma de induccin (axioma 5 de los axiomas de Peano).
Se tiene que S = N.

Ejemplo 1. Demostrar utilizando induccin matemtica que la siguiente

frmula es vlida para todos los nmeros naturales.
n(n + 1)
1 + 2 + 3 + + n =
2
Solucin. Definimos al conjunto S como
( )
n(n + 1)
S = n N : 1 + 2 + 3 + + n = .
2
Ahora nos disponemos a probar que S satisface las propiedades a) y b) del
axioma 5 de los axiomas de Peano.
1.3. INDUCCIN MATEMTICA 7

1. Base de la induccin: Comprobar la propiedad para n = 1.

1(2)
1= =1
2
Por lo tanto 1 S.
2. Hiptesis de induccin: Suponer que un natural k > 1 es un ele-
mento de S, es decir,
k(k + 1)
1 + 2 + 3 + + k =
2

3. Paso Inductivo: Demostrar que la frmula es cierta para el natural

k + 1, dicho de otra forma
(k + 1)(k + 2)
1 + 2 + 3 + + k + (k + 1) = .
2

Utilizando la hiptesis de induccin tenemos que

k(k + 1)
1| + 2 + 3{z+ + k} +(k + 1) = + (k + 1)
2
Hiptesis de Induccin
k(k + 1) 2(k + 1)
= +
2 2
k(k + 1) + 2(k + 1)
=
2
(k + 1)(k + 2)
= .
2

Entonces, por el axioma de induccin tenemos que S = N y la frmula es

vlida para todos lo nmeros naturales.

Ejemplo 2. Probar utilizando induccin matemtica que la siguiente

frmula es cierta para todos los nmeros naturales.
n(n + 1)(2n + 1)
12 + 22 + 32 + + n2 =
6
Solucin. Definimos al conjunto S como
( )
2 2 2n(n + 1)(2n + 1)
2
S = n N : 1 + 2 + 3 + + n = .
6
Veamos que el conjunto S cumple las propiedades a) y b).
8 CAPTULO 1. NMEROS NATURALES

1. Base de la induccin: Comprobar la propiedad para n = 1.

1(2)(3)
1= =1
6
Por lo tanto 1 S.

k(k + 1)(2k + 1)
12 + 22 + 32 + + k 2 =
6
2. Hiptesis de induccin: Suponer que la frmula es cierta para un
natural k > 1, es decir,
k(k + 1)(2k + 1)
12 + 22 + 32 + + k 2 =
6

3. Paso Inductivo: Demostrar que la frmula es cierta para el sucesor

de k. Queremos demostrar utilizando la hiptesis de induccin que
(k + 1)(k + 2)(2(k + 1) + 1)
12 + 22 + 32 + + k 2 + (k + 1)2 =
6

Al observar el lado izquierdo de la igualdad anterior se ve que para su-

mar los primeros k trminos podemos utilizar la hiptesis de induccin.
Entonces tenemos
k(k + 1)(2k + 1)
12 + 22 + 32 + + k 2 + (k + 1)2 = + (k + 1)2
6
k(k + 1)(2k + 1) 6(k + 1)2
= +
6 6
k(k + 1)(2k + 1) + 6(k + 1)2
=
6
(k + 1) (k(2k + 1) + 6k + 6)
=
6
2
(k + 1) (2k + 7k + 6)
=
6
(k + 1)(k + 2)(2k + 3)
= .
6

Con lo cual la frmula queda demostrada.

A partir de ahora no definiremos al conjunto S, pues su definicin no es

necesaria para la demostracn.
1.3. INDUCCIN MATEMTICA 9

Ejemplo 3. Demostrar que para todo nmero natural n, n3 n es divi-

sible por 3. En smbolos: n N, 3|(n3 3). Recordemos que a|b si y slo si
existe c Z tal que b = ac.

Solucin.

1. Base de la induccin: Cuando n = 1, tenemos que 3|(13 1) o 3|0,

lo cual es cierto pues 0 = 3 0.

2. Hiptesis de induccin:
Supongamos ahora que k N, con k > 1 y 3|(k 3 k). Esto significa
que existe c Z tal que k 3 k = 3c.

3. Paso Inductivo: Demostrar que 3|((k + 1)3 (k + 1)).

Desarrollando el trmino (k + 1)3 (k + 1) tenemos

(k + 1)3 (k + 1) = k 3 + 3k 2 + 3k + 1 (k + 1)
= (k 3 k) + 3(k 2 k)
= 3c + 3(k 2 + k) (utilizando la hiptesis de induccin k 3 k = 3c)
= 3(c + k 2 + k).

As tenemos que 3 divide a (k + 1)3 (k + 1).

Ejemplo 4. Demostrar por induccin que para todo nmero natural n,

20 + 21 + 22 + + 2n = 2n+1 1

Solucin.

1. Base de la induccin: Cuando n = 1 tenemos que

1 + 2 = 21+1 + 1 = 4 1 = 3.

2. Hiptesis de induccin: Supongamos que

20 + 21 + 22 + . . . 2k = 2k+1 1,

para algn natural k > 1.

10 CAPTULO 1. NMEROS NATURALES

3. Paso Inductivo: Utilizando la hiptesis de induccin queremos de-

mostrar que

20 + 21 + 22 + + 2k + 2k+1 = 2k+2 1

20 + 21 + 22 + + 2k + 2k+1 = 2k+1 1 + 2k+1

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

Consideremos ahora un caso de desiguladades.

Ejemplo 5. Encontrar cuales son los nmeros naturales que satisfacen la

siguiente desigualdad
n! > 2n ,
recuerda que n! = 1 2 3 n.

Solucin.
1. Base de la induccin: La desigualdad no es vlida para n = 1, 2, 3.
Para n = 4, tenemos que 4! = 24 > 24 = 16.

2. Hiptesis de induccin: Supongamos que la desigualdad se cumple

para algn natural k > 4. Esto es k! > 2k , k > 4 .

3. Paso Inductivo: Demostrar que (k + 1)! > 2k+1 .

Ntese que (k+1)! = k!(k+1), entonces tenemos (k+1)! = k!(k+1) >
2k (k + 1) > 2k 2 = 2k+1 , pues k 4.
Ejercicios. Demuestra utilizando induccin matemtica la validez de las
siguientes frmulas.
1
1. 2
+ 14 + 18 + + 1
2n
=1 1
2n
.
n(3n1)
2. 1 + 4 + 7 + + (3n 2) = 2
.

3. (1 + a)n 1 + an donde a > 1.

1 1 1 1 n
4. 12
+ 23
+ 34
+ + n(n+1)
= n+1
.
1 1 1 1 n
5. 15
+ 59
+ 913
+ + (4n3)(4n+1)
= 4n+1
.

n(n+1) 2
 
6. 13 + 23 + 33 + + n3 = 2
.
1.3. INDUCCIN MATEMTICA 11

n(n+1)(2n+1)
7. 12 + 22 + 32 + + n2 = 6
.

8. Experimentando con valores pequeos de n encuentra una frmula para

la siguiente suma. Despus utiliza induccin matemtica para demos-
trarla.
1 1 1 1
+ + + ... .
13 35 57 (2n 1)(2n + 1)

9. Determinar si el producto de tres nmeros impares consecutivos es

siempre divisible por 6.

1.3.1. Formas equivalentes de induccin

En esta seccin discutiremos algunas formas equivalentes o generalizacio-
nes al principio de induccin matemtica. En ocasiones, estas formas pueden
ser ms fciles de utilizar.

Induccin matemtica modificada.

Sea P una propiedad y sea S un subconjunto no vaco de N. Si
a) 1 S,
b) si 1, 2, 3, . . . , n S, implica que n + 1 S.
Entonces S = N
Vamos a utlizar la induccin matemtica modificada para demostrar que
todos los gatos son del mismo color.

1. Base n = 1. Claramente, en un conjunto formado por un solo gato,

todos tienen el mismo color.

2. Hiptesis de Induccin Ahora supongamos que tenemos un conjunto

de n + 1 gatos. Quitemos un gato del conjunto, as tenemos n gatos.
Por la hiptesis de induccin estos gatos son del mismo color.
Solamente falta ver que el gato que hemos sacado es del mismo color.
Para ello, lo volvemos a incluir en el conjunto y sacamos otro. De nuevo,
por la hiptesis de induccin los n gatos restantes son del mismo color.
Por lo tanto, los n + 1 gatos son del mismo color. Entonces probamos
que: si el resultado es cierto para n lo es tambin para n+1. Aplicando
el modo de induccin, todos los gatos son del mismo color.

Obviamente la demostracin anterior esta mal. Encuentra el error.

12 CAPTULO 1. NMEROS NATURALES

Principio del buen orden.

Un aspecto muy importante de los nmero naturales es el orden. El prin-
cipio del buen orden establece que todo subconjunto de nmeros naturales
contiene un primer elemento. Esto quiere decir que existe un elemento del
conjunto que no es sucesor de ningn otro elemento del conjunto.

Principio del buen orden: Sea B N con B 6= . Entonces existe

b0 B tal que b0 b para todo b B.

El principio del buen orden y el principio de induccin matemtica son

equivalentes. Es decir,

Principio del buen orden Principio de induccin matemtica.

Teorema 1.3.1. Principio del buen orden = Principio de induccin ma-

temtica.

Demostracin. Supongamos que se cumple el principio del buen orden. Con-

sideremos un subconjunto S de naturales tal que S 6= , y que cumpla las
siguientes dos propiedades:
a) 1 S.
b) Si n S, entonces n + 1 S.
Ahora, supongamos que S 6= N, definimos el conjunto B = N \ S. Por el
principio del buen orden sabemos que B tiene un elemento b0 tal que b0 b
para todo b B. Obsrvese que b0 6= 1 (pues 1 S y B = N \ S), por lo
tanto b0 > 1 y podemos escribir

b0 = (b0 1) + 1,

adems, b0 1 N y b0 1 / B pues b0 es el elemento ms pequeo de B.

Entonces b0 1 S y por la propiedad b) tenemos que (b0 1) + 1 = b0 S,
lo cual es una contradiccin pues B = N \ S.

Ahora veremos utilizando reduccin al absurdo que la otra parte de la

implicacin es cierta.

Teorema 1.3.2. Principio de induccin matemtica = Principio del buen

orden.

Demostracin. Supongamos que se cumple el principio de induccin mate-

mtica. Supongamos que no se cumple el principio del buen orden (reduccin
1.3. INDUCCIN MATEMTICA 13

al absurdo), es decir, que existe un subconjunto S no vaco de N que no tiene

un elemento mnimo. Definimos al conjunto B como B = N \ S. Definimos

T = {x N : para cada y x, y B}.

Obsrvese que 1 B, si 1 S, entonces por los axiomas de Peano 1

sera un elemento mnimo de S. Entonces por la definicin de T tenemos que
1 T.
Supongamos que k T . Por la definicin de T tenemos que los naturales
1, 2, . . . , k 1 pertenecen a B. Si logramos probar que k + 1 T , entonces
utilizando induccin matemtica probaramos que T = N.
Si k + 1 S, entonces k + 1 sera un elemento mnimo de S, pues
1, 2, . . . , k 1 B, lo cual es una contradiccin pues S no tiene elemento
mnimo. Por lo tanto k + 1 T y utilizando induccin matemtica tenemos
T = N, lo cual implica que S = , que es una contradiccin a la eleccin de
S.