Ejercicio Inducción
Elaborado por Prof. M. Monsalve
08 de Febrero de 2019
Chicos, hoy en clases resolvı́ un ejercicio de Inducción que me quedo algo largo SIN NECESIDAD pues
tomando otro camino, el ejercicio se resolvı́a de forma mucho más simple. Acá coloco la solución
simple.
Ejercicio: Demuestre que n3 + 2n es divisible por 3, con n ≥ 1
Atención
Lo primero que debe hacerse es escribir la proposición abierta (con variable en lo Naturales)
asociada al enunciado.
Demuestre que para todo natural n ≥ 1 se cumple que
P (n) : ∃k ∈ Z : n3 + 2n = 3k.
Base inductiva (n = 1): ¿Cuál es el valor de verdad de P (1)?
13 + 2(1) = 1 + 2 = 3 = 3k, con k = 1.
Por tanto, P (1) es verdadera.
Paso inductivo : Sea un n ∈ N cualquiera. Supongamos P (n) verdadera.
Hipótesis inductiva :
P (n) : ∃k ∈ Z : n3 + 2n = 3k.
Tesis inductiva :
P (n + 1) : ∃k ∈ Z : (n + 1)3 + 2(n + 1) = 3k.
OJO
No es un error usar la misma letra n para escribir la hipótesis y tesis inductiva PERO si lo
prefieren pueden usa otra letra, digamos w para enunciar la hipótesis y tesis. En ese caso
quedarian escritas como:
Hipótesis inductiva :
P (w) : ∃k ∈ Z : w3 + 2w = 3k.
Tesis inductiva :
P (w + 1) : ∃k ∈ Z : (w + 1)3 + 2(w + 1) = 3k.
AHORA BIEN, NO PUEDEN USAR LA LETRA k pues esa letra fue la seleccionada para
establecer la propiedad de ser múltiplo de 3 (3k)
DEMO: Partiendo del lado derecho de la tesis
(n + 1)3 + 2(n + 1) = n3 + 3n2 + 3n + 1 + 2n + 2 Producto notable y Distributiva
= (n3 + 2n) + 3n2 + 3n + 3
= (n3 + 2n) + 3(n2 + n + 1)
1
Uso de la Hipótesis Inductiva (HI)
Por HI sabemos que ∃k ∈ Z : w3 + 2w = 3k es una proposición verdadera. Por tanto por
particularización existencial, podemos afirmar que
n3 + 2n = k̃
(n + 1)3 + 2(n + 1) = 3k̃ + 3(n2 + n + 1) Por Hipótesis Inductiva
= 3(k̃ + n2 + n + 1) Por Hipótesis Inductiva
= 3k̂ con k̂ = k̃ + n2 + n + 1.
En este punto hemos demostrado que (n + 1)3 + 2(n + 1) = 3k̂. Finalmente, por generalización
existencial conlciumos que
∃k ∈ Z : (n + 1)3 + 2(n + 1) = 3k,
y con ello se prueba la veracidad de la Tesis Inductiva.
JA!
Evidentemente el camino que usé en clases fue un ”poquitito” más tortuoso, pero vean el
lado positivo... cualquiera que sea ese lado positivo JA-JA!.
En todo caso, noten que en clase obtuvimo que
(n + 1)3 + 2(n + 1) = 3 n(n − k̃) + (k̃ + 1)(n + 1),
| {z }
k̂
ya que
n(n − k̃) + (k̃ + 1)(n + 1) = n2 − nk̃ + k̃n + k̃ + n + 1 = k̃ + n2 + n + 1 = k̂.