MATEMATICA

PRINCIPIO DE INDUCCION

En este corto e importante captulo se trabajara los principios de induccion

matematica: Principio de induccion matematica debil y fuerte. Nos concentramos
en el primero pues es el de mas uso en matematica. Dejamos al lector profundizar
en el uso del principio de induccion fuerte. Esta herramienta como tecnica de demostracion permite demostrar resultados en el conjunto de los enteros positivos.

0.1.

Principio de Inducci
on d
ebil

Es importante conocer el principio de induccion debil y su demostracion. Para

ello es necesario involucrar ciertos axiomas y teoremas que nos permiten llevar a
cabo tal prueba. Estos son los siguientes:
Axioma de buen orden (Buen Ordenamiento): Sea S 6= , S Z+ . Entonces
existe un m S tal que m x, x S. A este elemento se le denomina
m
nimo de S.
Con tus propias palabras, que significa el ABO?
Teorema 0.1 1 es el mnimo elemento en Z+ .
Demostraci
on
Sea S = {x Z+ : 0 < x < 1}. Por teorema demostrado sabemos que 1 Z+ .
Veamos dos casos:
1. Si S = entonces 1 es el mnimo.
2. Si S 6= , entonces por ABO, existe un m S tal que m < x, para todo
x S. As, 0 < m < 1 de donde 0 < m2 < 1 y as, 0 < m2 < m < 1. De esto,
m2 < m e indica que m2 es el mnimo de S lo cual contradice la eleccion de
m como el mnimo. Esto nos permite concluir que 1 es el mnimo.
1

Inducci
on

Corolario 1 Si n Z, entonces no existe un k Z tal que n < k < n + 1.

Demostraci
on
Argumentemos por contradiccion y supongamos que existe tal k. Como n < k <
n + 1, entonces 0 < k n < 1 lo que contradice el teorema anterior.
Teorema 0.2 Sea S Z+ . Si
1. 1 S
2. Cada vez que k S implica que k + 1 S,
Entonces S = Z+ .
Demostraci
on
Supongamos que S 6= Z+ y consideremos T = Z+ S. Este conjunto T 6= . Por
PBO, T tiene un elemento mnimo m. Ademas, como 1 Z+ y 1 S entonces
1
/ T y as, m 6= 1. Luego m > 1 implica m 1 > 0. Pero 0 < m 1 < m de tal
forma que m1
/ T . Esto implica que m1 S. Por hipotesis (m1)+1 = m S
lo cual es una contradiccion pues m es el mnimo de T . Por tanto, S = Z+
Al estudiar propiedades de Z+ , se usa el siguiente principio:
Teorema 0.3 Sea P (n) una propiedad que se enuncia para enteros positivos y
cumple:
1. P (1) es verdadera
2. Siempre que P (k) sea verdadera se tiene que P (k + 1) es verdadera.
Entonces P (n) es verdadera para todo n Z+ .
Demostraci
on
Sea S = {n Z+ : P (n) es verdadera}. Luego, 1 S y k + 1 S. Por teorema
anterior, S = Z+ . As, P (n) es verdadera para todo entero positivo.
Ilustramos con el siguiente ejemplo el uso del principio de induccion matematica.
Ejemplo 0.1 Demostrar 1 + 2 + . . . + n =

n(n + 1)
.
2

Ejemplo 0.2 Demuestre que 2n > n2 para todo n entero mayor que 4.
Soluci
on:
Consideremos el predicado sobre Z+ P (n) : 2n > n2 . Demostremos por inducci
on
que P (n) es valido para todo n Z+ .
Caso base. Si n = 1 entonces P (5) : 25 = 32 > 52 = 25 el cual es verdadero.

Inducci
on

Hipotesis inductiva. Supongamos que P (k) : 2k > k 2 es valido para alg

un
k Z+ . Demostremos que el enunciado P (k + 1) : 2k+1 > (k + 1)2 .
2k+1 = 2 2k > 2 k 2 pues 2k > k 2 por hipotesis inductiva.
Entonces, 2k+1 = 22k > 2k 2 = k 2 +k 2 > k 2 +4k pues, al ser k > 4 se cumple
que kk = k 2 > 4k. Adem
as, el que k > 4 tambien implica 2k > 8 y 8 > 1 entonces 2k > 1 y de esto 2k+2k > 2k+1 de donde 4k > 2k+1. Volviendo a la
desigualdad
anterior,
k+1
k
2
2
2
2
2
2
= 2 2 > 2 k = k + k > k + 4k = k + 2k + 1 = (k + 1)2 .
De esta forma, P (k + 1) es tambien valida. Por lo tanto, P (n) es valido
para todo n Z+ .
Ejemplo 0.3 Demuestra que n! < nn para todo entero n mayor que 1.
Soluci
on:
Sea P (n) : n! < nn . Demostremos por inducci
on que P (n) es valido para todo
entero positivo. Si n = 2 entonces P (2) : 2! < 22 es valido. Supongamos que
P (k) : k! < k k es un enunciado verdadero para alg
un k Z+ y demostremos que
P (k + 1) : (k + 1)! < (k + 1)k+1 es verdadero. Como k > 1 entonces k + 1 > 0.
Por otro lado, (k + 1)! = k!(k + 1) < k k (k + 1). Como k > 1 entonces k < k + 1
y as, k k < (k + 1)k y al tomar lo anterior, (k + 1)! = k!(k + 1) < k k (k + 1) <
(k + 1)k (k + 1) = (k + 1)k+1 y as, P (k + 1) es valido. En conclusi
on, P (n) es
verdadero para todo entero positivo mayor a 1.
Ejemplo 0.4 Demostrar 1 + 3 + 5 + . . . + (2n 1) = n2 .
Demostraci
on
Si asumimos P (n):1 + 3 + 5 + . . . + (2n 1) = n2 tenemos que P (0) es valido pues
1 = 1. Supongamos ahora que 1 + 3 + 5 + . . . + (2k 1) = k 2 para alg
un k Z.
Demostremos que P (k +1) es valido, es decir, que la igualdad 1+3+5+. . .+(2k +
1) = (k + 1)2 tambien se cumple. Al tomar en la hipotesis y sumarle en ambos
lados 2k+1 queda entonces 1+3+5+. . .+(2k1)+(2k+1) = k 2 +2k+1 = (k+1)2 ,
lo cual implica que P (k + 1) es tambien valido y as, P (n) es valido para todo n
entero.
Ejemplo 0.5 Demostrar 1 + 2 + 22 . . . + 2n = 2n+1 1.
Demostraci
on
Si P (n) es el enunciado anterior, se evidencia que P (1) es cierto. Si suponemos
que 1+2+22 . . .+2k = 2k+1 1 es cierto, entonces debemos probar que 1+2+22 . . .+
2( k + 1) = 2k+2 1. Pero, 1 + 2 + 22 . . . + 2( k + 1) = (1 + 2 + 22 . . . + 2k ) + 2( k + 1) =
2k+1 1 + 2( k + 1) = 2 2( k + 1) 1 = 2( 2k + 2) 1 lo cual prueba la veracidad
de P (k + 1) y as es valido para todo n Z.
La idea es entonces, poner a prueba esa magia para demostrar los siguientes
enunciados. Por supuesto, utiliza el principio de induccion.
Ejemplos 1 Pruebe por inducci
on matematica los siguientes resultados:

Inducci
on

1
1. Muestre por inducci
on que 12 + 22 + 32 + . . . + n2 = n(n + 1)(2n + 1)
6
2. Demuestra que 12 + 32 + 52 + . . . + (2n + 1)2 =
todo n entero no negativo.

(n + 1)(2n + 1)(2n + 3)
para
3

3. Muestre que 1 + 2 + 22 + 23 + . . . + 2n = 2n+1 1, para todo entero n no

negativo.
4. Demostrar que n2 7n + 12 es no negativo si n > 3.
5. Prueba que si x 0 entonces 1 + nx (1 + x)n .
6. Prueba que 2n < n!
7. Demuestra que 12 22 + 32 . . . + (1)n1 n2 = (1)n1
entero positivo.

n(n + 1)
para n
2

8. Determina a partir de que n

umero entero, la cantidad n2 7n+12 es no negativo. Demuestra por inducci
on que a partir del n
umero que determinaste,
tal cantidad es no negativa.
9. Pruebe que 2 + 4 + 6 + . . . + 2n = n(n + 1) para todo n Z+ .
10. Pruebe que n < 2n para todo n Z+ .
3n+1 1
para todo n Z+ .
2

2
n(n + 1)
3
3
3
12. Pruebe que 1 + 2 + . . . + n =
para todo n Z+ .
2
11. Pruebe que 1 + 3 + 9 + . . . + 3n =

13. Suma de una progresi

on geometrica finita: a + ar + ar2 + . . . + arn1 =
n
a(1 r )
, con a, r R y n Z+ .
1r