Método de inducción completa
Método de inducción completa
Introducción
El método de inducción ha sido usado durante mucho tiempo para demostrar que una
propiedad se cumple para todos los números naturales. Fue formalizado en el siglo XIX,
lo que ayudó a que las demostraciones en matemáticas fueran más rigurosas.
¿Qué es Demostrar por Inducción Completa?
La idea de la inducción completa es similar a subir una escalera: si sabemos que podemos
pisar el primer escalón y que, siempre que estamos en un escalón, podemos pasar al
siguiente, entonces podemos llegar a cualquier escalón. Se hace en dos pasos:
Paso Base:
Se comprueba que la proposición es verdadera para el primer valor (por ejemplo,
para n = 0 o n = 1). Es como asegurarse de que el primer escalón está firme.
Paso Inductivo:
Una vez demostrado el paso base, sabemos que la proposición se cumple al menos
para un natural. Suponemos entonces que la proposición se cumple para todos los
naturales hasta allí. Nombramos como k a ese natural y demostramos que se cumple
para el que lo precede, hablamos de k + 1.
Esta parte es similar a decir: “si he subido todos los escalones hasta aquí, entonces
puedo subir el siguiente”.
Si ambos pasos se cumplen, podemos concluir que la propiedad es verdadera para todos
los números naturales.
Axioma de inducción completa
Si un conjunto H de números naturales cumple:
El número 0 pertenece al conjunto.
Cada vez que un natural n pertenece al conjunto H, n + 1 también pertenece a H,
entonces dicho conjunto es igual a N.
(
0∈H
H ⊆ N, tal que: =⇒ H = N
n ∈ H =⇒ (n + 1) ∈ H
Este axioma es un potente instrumento de la matemática útil para demostrar ciertas
proposiciones relacionadas con los números. Del axioma se desprenden diferentes conse-
cuencias, a estas consecuencias se les denomina corolarios.
1
Método de inducción completa
Primer corolario del axioma de inducción completa
Sea una proposición P (n) dependiente de un natural n, tal que cumple:
Hipótesis:
P (0) es verdadera.
P (n) es verdadera =⇒ P (n + 1) es verdadera.
Tesis:
P (n) es válida para todos los números naturales.
Demostración:
Consideremos el conjunto H ⊆ N, tal que:
H = {n : n ∈ N ∧ P (n) es verdadera}
0 ∈ H:
En efecto, pues P (0) es verdadera por hipótesis.
n ∈ H =⇒ (n + 1) ∈ H:
El punto 2 de la hipótesis establece que P (n) es verdadera (de donde n pertenece
a H), implica que P (n + 1) es verdadera (o sea (n + 1) pertenece a H).
De los puntos 1 y 2 de la demostración, se desprende (por definición) que el conjunto H se
encuentra en las condiciones del axioma. Luego se concluye que H = N. En consecuencia,
la propiedad P (n) se cumple para todos los naturales.
Segundo corolario del axioma de inducción completa
Existen propiedades que se cumplen a partir de un cierto número natural distinto de cero.
En estos casos, el primer corolario del axioma de inducción completa no sería aplicable,
ya que P (0) no es verdadero. Demostraremos para este tipo de propiedades un segundo
corolario.
Hipótesis
Sea una proposición P (n) dependiente de un natural n, que cumple:
1. n0 ∈ N∗ ∧ P (n0 ) es verdadera
2. Para todo número natural n, n ≥ n0 , se cumple que: P (n) es verdadera =⇒
P (n + 1) es verdadera
2
Método de inducción completa
Tesis
La proposición P (n) es válida para todos los números naturales mayores o iguales que
n0 .
Se pueden emplear diversas estrategias para demostrar problemas mediante inducción
completa. Una de ellas consiste en partir de la hipótesis inductiva y aplicar una serie de
operaciones que conduzcan a la conclusión (tesis). Otra estrategia es comenzar estable-
ciendo el primer término de la igualdad (o desigualdad) de la tesis y, a través de una
sucesión de igualdades o desigualdades que se basan en la hipótesis inductiva, llegar a
establecer el segundo término de la tesis.
Ejemplo 1
Demostrar que 0 + 1 + 2 + . . . + n = n(n+1)
2
se cumple para todos los naturales.
Base inductiva: n = 0
Para n = 0 resulta: 0 = 0(0+1)
2
⇒0=0 X
Hipótesis Inductiva: n = h
h(h+1)
0 + 1 + 2 + ... + h = 2
Tesis Inductiva: n = h + 1
(h+1)((h+1)+1)
0 + 1 + 2 + . . . + h + (h + 1) = 2
Demostración
En primer lugar obsérvese que el segundo miembro de la igualdad de la tesis se puede
simplificar: (h+1)((h+1)+1)
2
= (h+1)(h+2)
2
.
A continuación partimos de la hipótesis inductiva; 0 + 1 + 2 + . . . + h = h(h+1)
2
y sumamos
a ambos miembros de la igualdad (h + 1):
h(h + 1)
0 + 1 + 2 + . . . + h + (h + 1) = + (h + 1)
2
A continuación realizamos operaciones, sacando factor común (h + 1) (propiedad distri-
butiva) para llegar a la tesis:
h(h + 1) + 2(h + 1) (h + 1)(h + 2)
0 + 1 + 2 + . . . + h + (h + 1) = = X
2 2
3
Método de inducción completa
En consecuencia, 0 + 1 + 2 + . . . + n = n(n+1)
2
se cumple para todos los naturales.
Como la fórmula es válida para todos los naturales, si se desea calcular, por ejemplo, la
suma de todos los naturales hasta 1000 ⇒ 0 + 1 + . . . + 1000 = 1000(1000+1)
2
= 500500
Ejemplo 2
Demostrar que n2 > 2n + 1, se cumple para todos los naturales mayores o iguales que
n0 = 3.
Base inductiva: n0 = 3
Para n = 3 la expresión n2 > 2n + 1 resulta: 32 > 2(3) + 1 ⇔ 9 > 7X
Hipótesis Inductiva: n = h
h2 > 2h + 1, ∀h≥3
Tesis Inductiva: n = h + 1
(h + 1)2 > 2(h + 1) + 1, ∀h≥3
Demostración
Partimos del primer miembro de la desigualdad de la tesis:
(h + 1)2 = h2 + 2h + 1
∗
2h + 1 + 2h + 1 = 2(h + 1) + 2h > 2(h + 1) + 1X
(se cumple por hipótesis)
(*) Para justificar la última desigualdad, se debe probar que: 2h > 1, ∀ h ≥ 3
Dado que h ≥ 3 la proposición es inmediata.
No obstante, si alguien desea demostrar que 2h > 1, ∀ h ≥ 3 por inducción completa,
también lo puede hacer.
Base inductiva: h = 3
2(3) > 1X
4
Método de inducción completa
Hipótesis inductiva: h = k
2k > 1
Tesis inductiva: h = k + 1
2(k + 1) > 1
Demostración:
2(k + 1) = 2k + 2 > 1 + 2 > 1X
Ejemplo 3
Probar que la igualdad n2 (n+1)2
se cumple ∀n ≥ 1
Pn
i=1 i3 = 4
Base inductiva: n0 = 1
Para n = 1 resulta: 13 = 12 (1+1)2
4
⇔ 1 = 1X
Hipótesis Inductiva: n = h
Ph h2 (h+1)2
i=1 i3 = 4
Tesis Inductiva: n = h + 1
Ph+1 (h+1)2 ((h+1)+1)2
i=1 i3 = 4
Demostración
Partimos del primer miembro de la tesis, y mediante igualdades llegaremos al segundo
miembro.
h+1 h
!
X
3
X
3 3 h2 (h + 1)2 3 h2 (h + 1)2 + 4(h + 1)3
i = i + (h + 1) = + (h + 1) = =
i=1 i=1
4 4
(h + 1)2 (h2 + 4(h + 1)) (h + 1)2 (h2 + 4h + 4) (h + 1)2 (h + 2)2
= = X
4 4 4
5
Método de inducción completa
Ejemplo 4
Se considera la igualdad
Pn 2i−1
i=3 4
= an2 + b
a) Hallar los reales a y b, sabiendo que la igualdad se cumple para n = 3 y n = 4.
En la igualdad original, sustituimos n por 3.
3
X 2i − 1 2 2(3) − 1 5
= a(3) + b ⇔ = 9a + b ⇔ 9a + b =
i=3
4 4 4
n=4
En la igualdad original, sustituimos n por 4. Obsérvese que ahora la sumatoria tiene dos
sumandos, por lo que habrá que sustituir la letra i por 3 y también por 4.
4
X 2i − 1 2 2(3) − 1 2(4) − 1 5 7
= a(4) +b ⇔ + = 16a+b ⇔ + = 16a+b ⇔ 16a + b = 3
i=3
4 4 4 4 4
A continuación se resuelve el sistema de dos ecuaciones, con dos incógnitas:
(
9a + b = 54
16a + b = 3
El lector podrá verificar que la solución al sistema planteado es a = 1
4
y b = −1.
b) Seguidamente sustituimos los valores de a y b hallados en la igualdad original, y
demostramos que se cumple la misma para todos los naturales mayores o iguales que
n0 = 3, usando el 2º corolario del axioma de inducción completa.
n
X 2i − 1 1
= n2 − 1
i=3
4 4
Base inductiva: n0 = 3
3
2i − 1 2(3) − 1 5 1 2 9 5
y
X
= = (3) − 1 = − 1 =
i=3
4 4 4 4 4 4
3
X 2i − 1 1
= (3)2 − 1X
i=3
4 4
6
Método de inducción completa
Hipótesis inductiva: n = h
h
X 2i − 1 1
= h2 − 1
i=3
4 4
Tesis inductiva: n = h + 1
h+1
X 2i − 1 1
= (h + 1)2 − 1
i=3
4 4
Demostración
Realizando operaciones en el segundo miembro de la ïgualdad”de la tesis, podemos escribir
h+1 h
X 2i − 1 X 2i − 1 2(h + 1) − 1 1 2 2h + 1
= + = h −1 +
i=3
4 i=3
4 4 4 4
Partimos del primer miembro de la tesis:
h+1 h !
X 2i − 1 X 2i − 1 2(h + 1) − 1 1 2 2h + 1
= + = h −1 + X
i=3
4 i=3
4 4 4 4
c) Con los valores de a y b hallados calcular:
P100 2i−1
i=41 4
= an2 + b
100 100 40
X 2i − 1 X 2i − 1 X 2i − 1
= −
i=41
4 i=3
4 i=3
4
100
X 2i − 1
i=41
4
7
Método de inducción completa
Ejercicios
1) Demostrar por inducción completa la siguiente igualdad (suma de los números
impares):
1 + 3 + 5 + . . . + 2(n − 1) = n2 , ∀n ∈ N, n ≥ 1.
2) Demostrar la igualdad por inducción completa ∀n ∈ N, n ≥ 1
n
X
(6i + 1) = n(3n + 4)
i=1
3) Demostrar que las siguientes desigualdades se verifican a partir de un natural n0 que
se determinará:
a) n2 > 8n + 5
b) 2n > n2 + 4n + 5
4) Demostrar que las siguientes desigualdades se verifican a partir de un natural n0 que
se determinará:
a) n2 > 8n + 5
b) 2n > n2 + 4n + 5