Águeda Mata y Miguel Reyes, Dpto. de Matemática Aplicada, FI-UPM.

0. TEMAS BÁSICOS

0.2. EL PRINCIPIO DE INDUCCIÓN

0.2.1. Definició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 afirma que si:
i) P (1) es cierta, es decir, el número natural 1 verifica 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 verifica la propiedad.

0.2.2. Observaciones
1. El principio de inducción se basa en que los números naturales forman un conjunto cuyo primer
elemento es el 1 y que está bien ordenado (todo subconjunto suyo tiene un primer elemento).

2. Si la hipótesis i), “P (1) es cierta”, se cambia por “P (n0 ) es cierta”, con n0 ∈ N, entonces el principio
de inducción concluye que la propiedad es cierta para cualquier número natural n ≥ n0 .

0.2.3. Ejemplos
1. Demuestra que para cualquier número natural n se cumple que:
n(n + 1)
1 + 2 + 3 + ... + n =
2
Solución: En primer lugar, es fácil comprobar que la propiedad es cierta para n = 1:
1(1 + 1)
1=
2
Ahora, suponiendo que la propiedad es cierta para n = k, es decir, que se cumple:
k(k + 1)
1 + 2 + 3 + ... + k =
2
hay que probar que se cumple para n = k + 1:
k(k + 1)
1 + 2 + 3 + . . . + k + (k + 1) = (1 + 2 + 3 + . . . + k) + (k + 1) = + (k + 1) =
2
k(k + 1) + 2(k + 1) (k + 1)(k + 2) (k + 1)[(k + 1) + 1]
= = =
2 2 2
lo que asegura que la propiedad es cierta para n = k + 1. Entonces, por el principio de inducción
matemática, la propiedad es cierta para cualquier número natural.

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

n(n + 1)(2n + 1)
12 + 22 + 32 + . . . + n2 =
6
Solución: La propiedad es cierta para n = 1:
1(1 + 1)(2 · 1 + 1)
12 =
6
y, suponiendo que la propiedad es cierta para n = k, es decir, que se cumple:
k(k + 1)(2k + 1)
12 + 22 + 32 + . . . + k 2 =
6
Águeda Mata y Miguel Reyes, Dpto. de Matemática Aplicada, FI-UPM. 2

hay que probar que se cumple para n = k + 1:

¡ ¢
12 + 22 + 32 + . . . + k 2 + (k + 1)2 = 12 + 22 + 32 + . . . + k 2 + (k + 1)2 =
k(k + 1)(2k + 1) k(k + 1)(2k + 1) + 6(k + 1)2
= + (k + 1)2 = =
¡6 2 ¢ ¡ 2 6 ¢
(k + 1) 2k + k + 6k + 6 (k + 1) 2k + 7k + 6
= = =
6 6
(k + 1)(k + 2)(2k + 3) (k + 1)[(k + 1) + 1][2(k + 1) + 1]
= =
6 6
lo que asegura que la propiedad es cierta para n = k + 1. Entonces, por el principio de inducción
matemática, la propiedad es cierta para cualquier número natural.

3. Demuestra que para cualquier número natural n se cumple que n3 − n es divisible por 6.
Solución: La propiedad es cierta para n = 1:

13 − 1 = 0 que es divisible por 6

y, suponiendo que la propiedad es cierta para n = k, es decir, que k 3 − k es divisible por 6:

k 3 − k = 6p

hay que probar que se cumple para n = k + 1. Operando:

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

y teniendo en cuenta que el producto de un número por su siguiente es múltiplo de 2, ya que alguno
de ellos es par, se cumple que:

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

de donde se concluye que es múltiplo de 6 y la propiedad es cierta para n = k + 1. Entonces, por

el principio de inducción matemática, la propiedad es cierta para cualquier número natural.

4. Demuestra que para cualquier número natural n ≥ 4 se cumple que 2n < n!.
Solución: La propiedad es cierta para n = 4:
(
24 = 16
=⇒ 24 < 4!
4! = 24

Suponiendo que la propiedad es cierta para n = k:

2k < k! es decir, que 2k − k! < 0

hay que probar que se cumple para n = k + 1. Puesto que 2 < k + 1, para k ≥ 4, entonces:

2k+1 − (k + 1)! = 2 · 2k − (k + 1)k! < (k + 1)2k − (k + 1)k! = (k + 1)(2k − k!) < 0

de donde se deduce que 2k+1 < (k + 1)! y la propiedad es cierta para n = k + 1. Entonces, por el
principio de inducción matemática, la propiedad es cierta para cualquier número natural n ≥ 4.
Águeda Mata y Miguel Reyes, Dpto. de Matemática Aplicada, FI-UPM. 3

PROBLEMAS RESUELTOS
1. Demuestra que para cualquier número natural n ∈ N se cumple que:
µ ¶
3 3 3 3 n(n + 1) 2
1 + 2 + 3 + ... + n =
2
Solución: La propiedad es cierta para n = 1:
µ ¶2
3 1·2
1 =
2
y, suponiendo que la propiedad es cierta para n = k, es decir, que se cumple:
µ ¶
3 3 3 3 k(k + 1) 2
1 + 2 + 3 + ... + k =
2
hay que probar que se cumple para n = k + 1:
¡ ¢
13 + 23 + 33 + . . . + k 3 + (k + 1)3 = 13 + 23 + 33 + . . . + k 3 + (k + 1)3 =
µ ¶
k(k + 1) 2 k 2 (k + 1)2 + 4(k + 1)3 (k + 1)2 (k 2 + 4k + 4)
= + (k + 1)3 = = =
2 4 4
µ ¶
(k + 1)2 (k + 2)2 (k + 1)[(k + 1) + 1] 2
= =
4 2
lo que asegura que la propiedad es cierta para n = k + 1. Entonces, por el principio de inducción
matemática, la propiedad es cierta para cualquier número natural.
2. Demuestra que para cualquier n ∈ N el número n3 + (n + 1)3 + (n + 2)3 es divisible por 9.
Solución: La propiedad es cierta para n = 1:
13 + 23 + 33 = 36 que es divisible por 9
y, suponiendo que la propiedad es cierta para n = k, es decir, que k 3 + (k + 1)3 + (k + 2)3 es divisible
por 9:
k 3 + (k + 1)3 + (k + 2)3 = 9p
hay que probar que se cumple para n = k + 1. Operando:
(k + 1)3 + (k + 2)3 + (k + 3)3 = (k + 1)3 + (k + 2)3 + k 3 + 9k 2 + 27k + 27 =
= [k 3 + (k + 1)3 + (k + 2)3 ] + 9(k 2 + 3k + 3) = 9p + 9(k 2 + 3k + 3)
que es múltiplo de 9, y la propiedad es cierta para n = k +1. Entonces, por el principio de inducción
matemática, la propiedad es cierta para cualquier número natural.
3. Demuestra que para cualquier n ∈ N el número 3 · 52n+1 + 23n+1 es múltiplo de 17.
Solución: La propiedad es cierta para n = 1:
3 · 52·1+1 + 23·1+1 = 3 · 53 + 24 = 391 = 23 · 17
y, suponiendo que la propiedad es cierta para n = k, es decir, que 3 · 52k+1 + 23k+1 es múltiplo de
17:
3 · 52k+1 + 23k+1 = 17p (1)
hay que probar que se cumple para n = k + 1. Operando:
3 · 52(k+1)+1 + 23(k+1)+1 = 3 · 52k+3 + 23k+4 = 25 · 3 · 52k+1 + 8 · 23k+1
y usando (??):
³ ´
3 · 52(k+1)+1 + 23(k+1)+1 = 25 17p − 23k+1 + 8 · 23k+1 = 25 · 17p − 25 · 23k+1 + 8 · 23k+1 =
³ ´
= 25 · 17p − 17 · 23k+1 = 17 25p − 23k+1

que es múltiplo de 17, y la propiedad es cierta para n = k + 1. Entonces, por el principio de

inducción matemática, la propiedad es cierta para cualquier número natural.
Águeda Mata y Miguel Reyes, Dpto. de Matemática Aplicada, FI-UPM. 4

4. Demuestra que, siendo a > 0, para cualquier número natural n ∈ N se cumple que:

(1 + a)n ≥ 1 + an

Solución: La propiedad es cierta para n = 1:

(1 + a)1 ≥ 1 + a · 1

y, suponiendo que la propiedad es cierta para n = k, es decir, que:

(1 + a)k ≥ 1 + ak

hay que probar que se cumple para n = k + 1. Operando:

(1 + a)k+1 = (1 + a)k (1 + a) ≥ (1 + ak)(1 + a) = 1 + ak + a + a2 k = 1 + a(k + 1) + a2 k ≥ 1 + a(k + 1)

ya que a2 k ≥ 0, de donde se concluye que la propiedad es cierta para n = k + 1. Entonces, por el

principio de inducción matemática, la propiedad es cierta para cualquier número natural.
5. Demuestra que para cualquier número natural n ∈ N se cumple que:
µ ¶ µ ¶ µ ¶ µ ¶
n n n n
+ + + ... + = 2n
0 1 2 n
Solución: La propiedad es cierta para n = 1:
µ ¶ µ ¶
1 1
+ = 21
0 1
y, suponiendo que la propiedad es cierta para n = k, es decir, que:
µ ¶ µ ¶ µ ¶ µ ¶
k k k k
+ + + ... + = 2k
0 1 2 k
hay que probar que se cumple para n = k +1. Usando las propiedades de los números combinatorios
y operando:
µ ¶ µ ¶ µ ¶ µ ¶ µ ¶
k+1 k+1 k+1 k+1 k+1
+ + + ... + + =
0 1 2 k k+1
µ ¶ ·µ ¶ µ ¶¸ ·µ ¶ µ ¶¸ ·µ ¶ µ ¶¸ µ ¶
k k k k k k k k
= + + + + + ... + + + =
0 0 1 1 2 k−1 k k
·µ ¶ µ ¶ µ ¶ µ ¶¸
k k k k
=2 + + + ... + = 2 · 2k = 2k+1
0 1 2 k
de donde se concluye que la propiedad es cierta para n = k + 1. Entonces, por el principio de
inducción matemática, la propiedad es cierta para cualquier número natural.

PROBLEMAS PROPUESTOS
1. Demuestra, usando el principio de inducción matemática, que para cualquier número natural n ∈ N
se cumple cada una de las siguientes propiedades:
n(n + 1)(6n3 + 9n2 + n − 1)
(a) 14 + 24 + 34 + . . . + n4 = (d) 7n − 1 es divisible por 6
30
1 1 1 1 n
(b) + + + ... + = (e) 22n + 15n − 1 es múltiplo de 9
1·2 2·3 3·4 n(n + 1) n+1
µ ¶ µ ¶ µ ¶ µ ¶
n n n n
(c) +2 +3 + ... + n = n2n−1 (f) 22n > n2
1 2 3 n