Universidad Nacional Autónoma de México

Principio de Inducción Matemática

19 de marzo de 2015

Resumen
El presente trabajo tiene como objetivo orientar a los alumnos de pri-

mer ingreso a entender los fundamentos y aplicaciones del método de

inducción matemática. Para ello se presenta una construcción de los nú-

meros naturales N empleando conocimientos básicos de teoría de conjun-

tos y lógica. Posteriormente se plantea y analiza el Principio de Inducción

Matemática. Finalmente, se muestran algunos ejemplos explicando deta-

lladamente cada paso.

1. El conjunto de los números naturales

El conjunto de los números naturales, N, es el conjunto ordenado {0,1,2,3,....}.

Como sabemos, los elementos de éste conjunto nos permiten realizar sumas y
multiplicaciones, y el resultado de éstas operaciones es también un elemento del
conjunto. En términos del álgebra, esto se traduce en que si n, m  N entonces
(n + m)  N y n · m  N.
Notemos que ésto no sucede con cualquier operación, pues por ejemplo, si
m = 1 y n = 10, al hacer m − n = −9, éste elemento no pertenece al conjunto
de los naturales. Por otro lado, si ahora hacemos n/m = 1/10, el resultado es un
número racional, que tampoco pertenece al conjunto de los naturales. Entonces
podemos identicar algunas características de los números naturales: primero,
la posibilidad de pasar de manera precisa de cada número n, al que sigue dado
por Φ(n). Notemos que eso no sucede en los racionales, pues ¾qué número sigue
del 1/10?. Además, para números distintos, corresponden sucesores distintos.
Podemos entonces a cada número natural, relacionarlo con su sucesor. Pero
ese sucesor es también un número natural, por lo cual, podemos tomar ahora el
sucesor del sucesor. Y podemos hacer éste proceso de manera iterativa, dado que
los naturales son un conjunto con un número innito -numerable- de elementos.
Éstas observaciones son la base de los axiomas de Peano:
Axioma 1. 0 es un número natural.
Axioma 2. Si n es un número natural, existe un único número natural Φ(n)
tal que es el sucesor de n.
Axioma 3. Para todo número natural n, Φ(n) 6= 0.

1
 Axioma 4. Para todos los números naturales n y m, si Φ(n)=Φ(m) entonces
n = m.
Axioma 5. Si S es un subconjunto de N,tal que 0 S y Φ(n)  S para cada n 
S, entonces S= N.
Podemos notar que 0 es un elemento de los naturales considerando éstos
axiomas, sin embargo en otras deniciones no es considerado, como haremos
más adelante.

2. Principio de Inducción Matemática

Denición. Sea N ={1, 2, 3, . . .} el conjunto de los números naturales, y P(n)

una cierta propiedad que puede ser o no cierta para cada número natural n. El
principio de inducción matemática arma que si:
i) P(1) es cierta, es decir, el número natural 1 satisface la propiedad, y
ii) suponiendo que P(k) es cierta se puede probar que P(k + 1) también es
cierta, entonces, cualquier número natural satisface la propiedad.
El principio de inducción se basa en los axiomas de Peano, ya que éstos nos
garantizan que los naturales tienen un primer elemento, y que además forman
un conjunto bien ordenado, es decir, que todo subconjunto suyo tiene un primer
elemento.

3. Ejercicios resueltos

Ejemplo. Demuestra que para cualquier número natural n se cumple que:

n(n + 1)
1 + 2 + 3 + ... + n =
2
i) Veamos si P(1) satisface la propiedad, sustituyendo n = 1:
1(1 + 1)
1=
2
ii)Ahora supongamos que P(k) es válida (para algún natural k arbitrario),
es decir:
k(k + 1)
1 + 2 + 3 + ... + k =
2
Y hay que probar que se cumple para n=k+1, es decir, debemos llegar a
que:
(k + 1)((k + 1) + 1) (k + 1)(k + 2)
1 + 2 + 3 + ... + k + (k + 1) = =
2 2
Usando nuestras hipótesis i) y ii). Partiendo del lado izquierdo de la igualdad,
podemos sustituir ii), de la siguiente manera:

2
 k(k + 1)
(1 + 2 + 3 + ... + k) + (k + 1) = + (k + 1)
2
Y después debemos desarrollar el lado derecho de la igualdad:
k(k + 1) k(k + 1) + 2(k + 1) k 2 + 3k + 2 (k + 1)(k + 2)
+ (k + 1) = = =
2 2 2 2
Por lo tanto llegamos a lo que queríamos demostrar:
(k + 1)(k + 2)
1 + 2 + 3 + ... + k + (k + 1) =
2
Por lo tanto la propiedad es cierta para cualquier número natural.
Ejemplo. Demuestra que para cualquier número natural n se cumple que:

n(n + 1)(2n + 1)
12 + 22 + 32 + ... + n2 =
6
i) La propiedad es cierta para n=1, ya que:
1(1 + 1)((2 · 1) + 1)
12 =
6
ii) Suponemos válido para n=k:
k(k + 1)(2k + 1)
12 + 22 + 32 + ... + k 2 =
6
Hay que probar que es válido para n=k+1, entonces debemos llegar a que:
(k + 1)((k + 1) + 1)(2(k + 1) + 1) (k + 1)(k + 2)(2k + 3)
12 +22 +32 +...+k 2 +(k+1)2 = =
6 6
Partiendo del lado izquierdo de ésta igualdad, sustituimos ii) y desarrollamos:
k(k + 1)(2k + 1) k(k + 1)(2k + 1) + 6(k + 1)2
(12 +22 +32 +...+k 2) +(k+1)2 = +(k+1)2 = =
6 6

(k + 1)(k(2k + 1) + 6(k + 1)) (k + 1)(2k 2 + 7k + 6) (k + 1)(k + 2)(2k + 3)

= = =
6 6 6
Que es a lo que debíamos llegar, por lo tanto la propiedad es válida para
cualquier número natural.

3
Ejemplo. Demuestra que para cualquier número natural n se cumple que:
n(n + 1) 2
13 + 23 + 33 + ... + k 3 = ( )
2
i) Para n = 1 la propiedad se satisface, pues:
1(1 + 1) 2
13 = ( )
2
ii)Suponemos válido para n = k, es decir:
k(k + 1) 2
13 + 23 + 33 + ... + k 3 = ( )
2
Hay que probar que se cumple para n = k+1, es decir, debemos llegar a que:
(k + 1)((k + 1) + 1) 2 (k + 1)(k + 2) 2
13 + 23 + 33 + ... + k 3 + (k + 1)3 = ( ) =( )
2 2
Nuevamente, desarrollamos del lado izquierdo, y después usamos la hipótesis
de inducción ii).
2
k(k + 1) 2 k (k + 1)2 + 4(k + 1)3
(13 +23 +33 +...+k 3) +(k+1)3 = ( ) +(k+1)3 = =
2 4

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

= = = =( )
4 4 4 2
Por lo tanto la propiedad es válida para cualquier número natural.
Observación. Como podemos notar en los ejercicios anteriores, el paso impor-
tante en el proceso de inducción, es en el que se muestra que la propiedad es
válida para n=k+1. La única dicultad que podría presentarse es la de agru-
par y factorizar adecuadamente para llegar a la expresión deseada. Veamos un
ejemplo un poco más complicado.
Ejemplo. La Sucesión de Fibonacci
La sucesión Sn = {1, 1, 2, 3, 5, 8, 13, 21, ...} se llama sucesión de Fibonacci
y queda denida como sigue: Sn+1 = Sn + Sn−1 , salvo para los primeros dos
valores, pues S1 =1 y S2 =1. (Notemos que Sn es un conjunto ordenado). Cla-
ramente, el primer elemento de la sucesión (n=0) es el 1, el séptimo elemento
de la sucesión (n=7) es el 13, y de esa manera, a cada número natural n le
corresponde un elemento de la sucesión.
Para encontrar qué elemento de la sucesión le corresponde a un natural
arbitrario, se usa la fórmula:
√ √
(1 + 5)n − (1 − 5)n
Sn = √
2n 5

4
 Mostremos que ésta fórmula es válida para cualquier natural.
i) Veamos que S1 = 1,es decir, que la propiedad es válida para n=1.
√ √ √
(1 + 5)1 − (1 − 5)1 2 5
S1 = √ = √ =1
21 5 2 5
ii) Supongamos válido para n=k
√ √
(1 + 5)k − (1 − 5)k
Sk = √
2k 5
Debemos mostrar que es válido para n=k+1, entonces debemos llegar a la
expresión:
√ √
(1 + 5)k+1 − (1 − 5)k+1
Sk+1 = √
2k+1 5
En este caso estamos trabajando con una sucesión, por lo que debemos
emplear la regla que conocemos para obtener sus elementos:
Sk+1 = Sk + Sk−1

Pero podemos sustituir por la fórmula que nos da al término n y al n-1:

√ √ √ √
(1 + 5)k − (1 − 5)k (1 + 5)k−1 − (1 − 5)k−1
Sk + Sk−1 = √ + √
2k 5 2k−1 5
Para poder llegar al resultado deseado se deben hacer algunos trucos. El
primero es multiplicar el primer sumando por 2/2= 1y al segundo sumando por
4/4 =1. En realidad ésto no altera la fórmula, pues sólo se está multiplicando

por 1.
√ √ √ √
2[(1 + 5)k − (1 − 5)k ] 4[(1 + 5)k−1 − (1 − 5)k−1 ]
Sk + Sk−1 = √ + √
2[2k 5] 4[2k−1 5]

El resto del proceso es agrupar y factorizar adecuadamente. Recordemos que

ak = a · ak−1 ,entonces aplicando ésto:
√ √ √ √ √ √
2[(1 + 5)(1 + 5)k−1 − (1 − 5)(1 − 5)k−1 ] 4[(1 + 5)k−1 − (1 − 5)k−1 ]
Sk +Sk−1 = √ + √
2k+1 5] 2k+1 5

Notemos como el primer truco nos permitió tener ambos sumandos con el
denominador que deseamos, que es el que tiene Sk+1 .
√ √ √ √ √ √
2(1 + 5)(1 + 5)k−1 − 2(1 −
5)(1 − 5)k−1 + 4(1 + 5)k−1 − 4(1 − 5)k−1
Sk +Sk−1 = √
2k+1 5]
√ √
Agrupando respecto a (1 + 5)k−1 y (1 − 5)k−1 :

5
 √ √ √ √
(1 + 5)k−1 [2 + 2 5 + 4] − (1 − 5)k−1 [2 − 2 5 − 4]
Sk + Sk−1 = √
2k+1 5]
Lo cual puede reescribirse para tener un trinomio cuadrado perfecto:
√ √ √ √
(1 + 5)k−1 [1 + 2 5 + 5] − (1 − 5)k−1 [1 − 2 5 − 5]
Sk + Sk−1 = √
2k+1 5]
Escribiendo el binomio al cuadrado que corresponde a ese TCP:
√ √ √ √ √ √
(1 + 5)k−1 [1 + 5]2 − (1 − 5)k−1 [1 − 5]2 (1 + 5)k − (1 − 5)k
Sk +Sk−1 = √ = √
2k+1 5 2k 5
Por lo tanto: √ √
(1 + 5)k − (1 − 5)k
Sk = √
2k 5
Con lo cual mostramos que la fórmula es válida para cualquier número na-
tural.
Observación. Las demostraciones por inducción matemática sólo pueden em-
plearse cuando la propiedad que se desea probar es válida para números natu-
rales, a partir de cierto valor. La propiedad que se desea probar no debe ser
necesariamente una igualdad, como veremos en los siguientes ejemplos.
Ejemplo. Demuestra que para cualquier número natural se cumple quen3 − n
es divisible entre 6.
i) La propiedad es válida para n=1

13 − 1 = 0,

que es divisible entre 6.

ii) Supongamos que la propiedad es válida para n = k, entonces n3 − n = 6m
para alguna m  N.
P.D. La propiedad es válida para n = k+1. Sustituyendo n = k+1 en ii):

(k+1)3 −(k+1) = k 3 +3k 2 +3k+1−k−1 = k 3 +3k 2 +2k = (k 3 −k)+3k 2 +3k = 6m+3k(k+1)

En el último término tenemos k(k + 1), por lo que tenemos el producto de

un número por el siguiente. Dado que uno de los dos es necesariamente par, el
producto es múltiplo de 2. Entonces k(k + 1) = 2p, para algún p  N.
Entonces sustituyendo eso:

(k + 1)3 − (k + 1) = 6m + 3 · 2p = 6(m + p)

De donde se concluye que es múltiplo de 6, por lo que la propiedad es válida

para n=k+1.
Por lo tanto, la propiedad es válida para cualquier número natural.

6
Ejemplo. Demuestra que para cualquier natural n ≥ 4 se cumple que 2n < n!.
i) En este caso el primer elemento para el que se satisface la propiedad es
n=4, por lo que debemos vericar para ese valor. Sustituyendo en la propiedad:
16 = 24 < 4! = 24
Por lo tanto la propiedad es válida para n=4
ii) Supongamos la propiedad válida para n=k, entonces 2k < k!. Debemos
mostrar que la propiedad es válida para n = k+1, es decir, debemos llegar a que
2k+1 < (k + 1)!.
Usando la hipótesis de inducción ii), multiplicamos a ambos lados por (k+1):
(k + 1)2k < (k + 1)k!
De donde se sigue que:
(k + 1)2k − (k + 1)k! < 0
Pero sabemos que Si k ≥ 4,se satisface que (k +1) > 2, por lo que empleando
esa desigualdad:
0 > (k + 1)2k − (k + 1)k! > 2 · 2k − (k + 1)k! = 2k+1 − (k + 1)!
Por lo tanto, llegamos a que
0 > 2k+1 − (k + 1)!

(k + 1)! > 2k+1

Por lo tanto lo propiedad se cumple para todo natural n ≥ 4.
Ejemplo. Demuestra que para cualquier n  N, el número n3 + (n + 1)3 + (n +
2)3 es divisible entre 9.
i) Veamos que la propiedad es válida para n = 1 :
13 + (1 + 1)3 + (1 + 2)3 = 1 + 8 + 27 = 36
que es divisible entre 9.
ii) Supongamos que la propiedad es válida para n=k:
k 3 + (k + 1)3 + (k + 2)3 = 9m,
m  N.
P.D. La propiedad es válida para n= k+1. Sustituyendo (k+1) en la hipótesis
ii):
(k+1)3 +(k+2)3 +(k+3)3 = k 3 +(k+1)3 +(k+2)3 +(9k 2 +27k+27) = 9m+9(k 2 +3k+3) =

= 9(m + k 2 + 3k + 3).
Que es múltiplo de 9, por lo que la propiedad es válida para n = k+1.
Entonces es válida para cualquier número natural.

7
Observación. En los ejemplos para comprobar divisibilidad, comenzamos sus-
tituyendo n = k+1 en ii), y después agrupando de tal forma que tengamos
exactamente la hipótesis de inducción ii). Después sustituimos la igualdad de
la hipótesis de inducción. Finalmente, factorizamos los términos sobrantes para
mostrar que el resultado es múltiplo del número deseado.
Ejemplo. Demuestra que para cualquier número natural, se cumple que 3·
52n+1 + 23n+1 es múltiplo de 17.
i) La propiedad es válida para n=1, pues:

3 · 52·1+1 + 23·1+1 = 391 = 23 · 17

ii) Supongamos que la propiedad es válida para n=k. Entonces:

3 · 52k+1 + 23k+1 = 17m,

para alguna m  N, P.D. es válida para n=k+1. Sustituyendo n=k+1 en ii):

3 · 52(k+1)+1 + 23(k+1)+1 = 3 · 52k+3 + 23k+4 = 25 · 3 · 52(k+1)+1 + 8 · 23k+1

Usando ii):

3·52(k+1)+1 +23(k+1)+1 = 25·(17m−23k+1 )+8·23k+1 = 25·17m−25·23k+1 +8·23k+1 =

= 25 · 17m − 17 · 23k+1 = 17(25m − 23k+1 )

que es múltiplo de 17, por lo que la propiedad es cierta para n = k+1. Por
lo tanto la propiedad es cierta para cualquier número natural.
Ejemplo. Probar que para cualquier natural es válido:
n(n + 1)(2n + 7)
1 · 3 + 2 · 4 + 3 · 5 + ... + n(n + 2) =
6
i) Mostremos la propiedad para n=1
1(2)(9) 18
1·3= = =3
6 6
ii) Supongamos válido para n = k, entonces,
k(k + 1)(2k + 7)
1 · 3 + 2 · 4 + 3 · 5 + ... + k(k + 2) =
6
P.D. Que es válido para n = k+1, es decir, debemos llegar a que:
(k + 1)(k + 2)(2k + 9)
1 · 3 + 2 · 4 + 3 · 5 + ... + k(k + 2) + (k + 1)(k + 3) =
6
Partimos de la hipótesis de inducción ii), entonces tenemos que:

8
 k(k + 1)(2k + 7)
1·3+2·4+3·5+...+k(k+2)+(k+1)(k+3) = +(k+1)(k+3) =
6

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

= (k(2k + 7) + 6(k + 3)) = (2k 2 + 13k + 18) =
6 6 6
Por lo tanto la propiedad es válida para cualquier natural.
Ejemplo. Demuestre que para todo natural n, n5 − n es divisible entre 5.
i) Mostremos que es válido para n = 1

15 − 1 = 0 = 0 · 5

Por lo tanto se cumple para n = 1.

ii) Supongamos válido para n = k. Entonces:

k 5 − k = 5m

Para alguna m  N. P.D. La propiedad es válida para n = k+1.

Es decir, debemos mostrar que:

(k + 1)5 − (k + 1) = 5m

Partiendo del lado izquierdo de ésta igualdad y desarrollando:

(k + 1)5 − (k + 1) = k 5 + 5k 4 + 10k 3 + 10k 2 + 4k =

= k 5 − k + 5k(k 3 + 2k 2 + 2k + 1) = 5m + 5k(k 3 + 2k 2 + 2k + 1) =

= 5(m + k(k 3 + 2k 2 + 2k + 1))

Por lo tanto (k + 1)5 − (k + 1) es divisible entre 5. Entonces la propiedad es

válida para cualquier natural.
Ejemplo. Demuestre que para cualquier natural n ≥ 2 se cumple que:
1 1 1 1 √
√ + √ + √ + ... + √ > n
1 2 3 n

i) Mostremos que la propiedad es válida para el primer natural que la debe

satisfacer. Para n = 2:
1 1 1 √
√ + √ =1+ √ > 2
1 2 2

9
 Por lo que es válida para n = 2.
ii) Supongamos válido para n = k. Entonces se tiene que:
1 1 1 1 √
√ + √ + √ + ... + √ > k
1 2 3 k
P.D. La propiedad se cumple para n = k+1, es decir, que:
1 1 1 1 √
√ + √ + √ + ... + √ > k+1
1 2 3 k+1

Usando ii) y sumando √1 ,

k+1
se tiene que:

1 1 1 1 1 √ 1
√ + √ + √ + ... + √ + √ > k+ √
1 2 3 k k+1 k+1
Por otro lado tenemos que:
√
√ √
p
1 k(k + 1) + 1 k2 + k + 1 k+1
k+ √ = √ = √ >√ = k+1
k+1 k+1 k+1 k+1
Por lo tanto, la propiedad es válida para cualquier natural mayor o igual a
2.

10