Inducción matemática
Uno de los métodos de demostración en matemática es la inducción matemática y se utiliza
generalmente para demostrar por recurrencia, la validez de proposiciones abiertas
cuantificadas universalmente en la variable 𝑛, donde 𝑛 ∈ ℕ o 𝑛 ∈ ℤ+ .
A continuación, enunciamos los principios en los que se basa el método de inducción
matemática.
Principio del buen orden
Todo subconjunto no vacío de números naturales tiene un elemento mínimo, es decir,
𝐴 ⊂ ℕ y 𝐴 ≠ ∅ ⟹ ∃! 𝑎 ∈ 𝐴 / ∀𝑥 ∈ 𝐴, 𝑎 ≤ 𝑥
Ejemplo
Sea 𝐴 = {𝑥 ∈ ℕ / 𝑥 es par}. El elemento mínimo es 𝑎 = 2 ya que ∀𝑥 ∈ 𝐴, 2 ≤ 𝑥
Teorema
Si 𝑆 es un subconjunto de ℕ que satisface
𝑖) 1 ∈ 𝑆
𝑖𝑖) ℎ ∈ 𝑆 → (ℎ + 1) ∈ 𝑆
Entonces 𝑆 es el conjunto de los números naturales (𝑆 = ℕ)
Es decir, todo subconjunto de ℕ que incluye a 1 y al siguiente de ℎ, siempre que incluya a ℎ, es
igual a ℕ
Principio de inducción matemática completa
Sea 𝑆(𝑛) una proposición matemática abierta, donde 𝑛 ∈ ℕ . Si 𝑆(𝑛) satisface las dos
condiciones
𝑖) 𝑆(1) es verdadera
𝑖𝑖) De la verdad de 𝑆(ℎ) se deduce la verdad de 𝑆(ℎ + 1)
Entonces 𝑆(𝑛) es verdadera ∀𝑛 ∈ ℕ
Observación: Una demostración por inducción matemática completa consiste en verificar lo
siguiente:
1. La proposición matemática abierta para el menor valor de 𝑛 debe ser verdadera
2. Si la proposición matemática abierta es verdadera para 𝑛 = ℎ entonces debe ser verdadera
para 𝑛 = ℎ + 1
3. Conclusión: La proposición matemática abierta es verdadera para todo valor de 𝑛.
Ejercicios
𝑛(𝑛+1)
1. Demostrar que: 1 + 2 + 3 + ⋯ + 𝑛 = , ∀𝑛 ≥ 1
2
Demostración
𝑛(𝑛 + 1)
𝑆 (𝑛 ): 1 + 2 + 3 + ⋯ + 𝑛 = , ∀𝑛 ≥ 1
2
1(1+1)
𝑖) Para 𝑛 = 1: 𝑆(1): 1 = = 1 es verdadera
2
𝑖𝑖) Para 𝑛 = ℎ: 𝑆(ℎ): 1 + 2 + 3 + ⋯ + ℎ =
ℎ(ℎ+1)
2
es verdadera (hipótesis inductiva)
𝑖𝑖𝑖) Debemos demostrar que si 𝑆(ℎ) es verdadera entonces 𝑆(ℎ + 1) es verdadera
En efecto,
(ℎ + 1)(ℎ + 2)
𝑆(ℎ + 1): ⏟
1 + 2 + 3 + ⋯ + ℎ + (ℎ + 1) =
ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠 𝑖𝑛𝑑𝑢𝑐𝑡𝑖𝑣𝑎
2
ℎ(ℎ + 1) (ℎ + 1)(ℎ + 2)
+ (ℎ + 1) =
2 2
ℎ(ℎ + 1) + 2(ℎ + 1) (ℎ + 1)(ℎ + 2)
=
2 2
(ℎ + 1)(ℎ + 2) (ℎ + 1)(ℎ + 2)
=
2 2
Luego, la proposición es verdadera ∀𝑛 ≥ 1
𝑛(𝑛+1)
Por lo tanto, 1 + 2 + 3 + ⋯ + 𝑛 = , ∀𝑛 ≥ 1
2
2. Demostrar que 𝑛3 + 2𝑛 es divisible por 3, ∀𝑛 ∈ ℕ
Demostración
𝑆(𝑛): 𝑛3 + 2𝑛 es divisible por 3
3
𝑖) Para 𝑛 = 1: 𝑆(1): 1 + 2(1) = 3 es divisible por 3. Luego 𝑆(1) es verdadera
3
𝑖𝑖) Para 𝑛 = ℎ: 𝑆(ℎ): ℎ + 2ℎ es divisible por 3 es verdadera (hipótesis inductiva)
𝑖𝑖𝑖) Debemos demostrar que si 𝑆(ℎ) es verdadera entonces 𝑆(ℎ + 1) es verdadera
En efecto
𝑆(ℎ + 1): (ℎ + 1)3 + 2(ℎ + 1) = ℎ3 + 3ℎ2 + 3ℎ + 1 + 2ℎ + 2
= ℎ3 + 2ℎ
⏟ +⏟3(ℎ2 + ℎ + 1)
𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 3 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 3
Luego, 𝑆(ℎ + 1) es divisible por 3, es decir, 𝑆(ℎ + 1) es verdadera
Por lo tanto, 𝑛3 + 2𝑛 es divisible por 3, ∀𝑛 ∈ ℕ
3. Demostrar que
1 1 1 1 𝑛
+ + + ⋯+ = , ∀𝑛 ∈ ℤ+
1.2 2.3 3.4 𝑛(𝑛 + 1) 𝑛 + 1
Demostración
1 1 1 1 𝑛
𝑆 (𝑛 ) : + + + ⋯+ = , ∀𝑛 ∈ ℤ+
1.2 2.3 3.4 𝑛(𝑛+1) 𝑛+1
1 1
𝑖) Para 𝑛 = 1: 𝑆(1) : = 1+1 . Luego 𝑆(1) es verdadera
1.2
1 1 1 1
𝑖𝑖) Para 𝑛 = ℎ: 𝑆(ℎ) : + 2.3 + 3.4 + ⋯ + ℎ(ℎ+1) =
1.2
ℎ
ℎ+1
es verdadera (hipótesis inductiva)
𝑖𝑖𝑖) Debemos demostrar que si 𝑆(ℎ) es verdadera entonces 𝑆(ℎ + 1) es verdadera
En efecto
1 1 1 1 1 ℎ+1
𝑆(ℎ + 1) : + 2.3 + 3.4 + ⋯ + ℎ(ℎ+1) + (ℎ+1)(ℎ+2) = ℎ+2
⏟
1.2
ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠 𝑖𝑛𝑑𝑢𝑐𝑡𝑖𝑣𝑎
ℎ 1 ℎ+1
+ (ℎ+1)(ℎ+2)
= ℎ+2
ℎ+1
1 1 ℎ+1
(ℎ + ℎ+2) = ℎ+2
ℎ+1
1 ℎ2 +2ℎ+1 ℎ+1
( ) = ℎ+2
ℎ+1 ℎ+2
ℎ+1 ℎ+1
= ℎ+2
ℎ+2
Por lo tanto, la proposición es verdadera para 𝑆(ℎ + 1)
4. Demostrar por inducción que 2𝑛 ≥ 8(𝑛 − 2) , ∀𝑛 ≥ 4
Demostración
𝑆(𝑛): 2𝑛 ≥ 8(𝑛 − 2), ∀𝑛 ≥ 4
4
𝑖) Para 𝑛 = 4: 𝑆(4): 2 ≥ 8(4 − 2). Luego 𝑆(4) es verdadera
ℎ
𝑖𝑖) Para 𝑛 = ℎ: 𝑆(ℎ): 2 ≥ 8(ℎ − 2) es verdadera (hipótesis inductiva)
𝑖𝑖𝑖) Debemos demostrar que si 𝑆(ℎ) es verdadera entonces 𝑆(ℎ + 1) es verdadera
𝑆(ℎ + 1): 2ℎ+1 = 2ℎ 2 ≥ 2.8(ℎ − 2) ≥ 8(ℎ + 1 − 2)
Justificación: ℎ ≥ 4 ⟹ ℎ > 3 ⟹ 2ℎ − 4 > ℎ − 1 ⟹ 2(ℎ − 2) > ℎ − 1
Por lo tanto, 2𝑛 ≥ 8(𝑛 − 2) , ∀𝑛 ≥ 4
Ejercicios propuestos
Demostrar por inducción matemática la validez de las siguientes proposiciones:
1. 32𝑛+3 + 2𝑛+3 tiene como factor el número 7, ∀𝑛 ≥ 1
𝑛 𝑛
2. 1 + 3 + 6 + ⋯ + 2 (𝑛 + 1) = 6 (𝑛 + 1)(𝑛 + 2) , ∀𝑛 ≥ 1
𝑛
3. 12 + 32 + 52 + ⋯ + (2𝑛 − 1)2 = 3 (4𝑛2 − 1) , ∀𝑛 ≥ 1
4. 23 + 43 + 63 + ⋯ + (2𝑛)3 = 2𝑛2 (𝑛 + 1)2 , ∀𝑛 ≥ 1
𝑛
5. 1.2 + 2.3 + 3.4 + ⋯ + 𝑛(𝑛 + 1) = 3 (𝑛 + 1)(𝑛 + 2)
3𝑛 −1
6. 1 + 3 + 32 + ⋯ + 3𝑛−1 =
2
7. 5𝑛 ≥ 1 + 4𝑛 , ∀𝑛 ≥ 1
