Induccion Matematica3
Induccion Matematica3
Induccion Matematica3
1. INTRODUCCIÓN
La inducción es el proceso de razonar por el cual se extraen conclusiones a partir del análisis de casos
particulares. La deducción, por el contrario, permite extraer conclusiones particulares a partir de casos
generales.
Veamos un ejemplo para clarificar esta situación. Supongamos que un estudiante ha sumado los tres
primeros números impares positivos, obteniendo 1+3+5=9, observando que 9 es el cuadrado de 3. Ahora
toma un número mayor de sumandos, 6, y obtiene 1+3+5+7+9+11=36, observando que 36 es el cuadrado
de 6. Esto puede no ser casualidad, el estudiante sospecha que debe existir algún patrón general e inicia
una verificación ordenada:
Con un sumando: 1 = 1 = 𝟏𝟐
Con dos sumandos: 1 + 3 = 4 = 𝟐𝟐
Con tres sumandos: 1 + 3 + 5 = 9 = 𝟑𝟐
Con cuatro sumandos: 1 + 3 + 5 + 7 = 16 = 𝟒𝟐
El estudiante emplea el razonamiento inductivo para elaborar una conjetura sobre la suma de los n
primeros impares: 𝟏 + 𝟑 + 𝟓 + 𝟕 + ⋯ + (𝟐𝒏 − 𝟏) = 𝒏𝟐 , “La suma de los n primeros impares positivos
es igual al cuadrado del número de términos”.
Sin embargo, ¿es suficiente la comprobación de algunos casos particulares para asegurar la validez de
esta proposición? NO. Se ha comprobado la proposición para 𝑛 = 1, ; 2; 3; 4, pero nada asegura que tal
patrón se mantenga. Tampoco se podría asegurar nada aún después de que el estudiante se tome el
tiempo de sumar el primer trillón de números impares.
Para poder afirmar que la propiedad es válida para cualquier valor de 𝑛 se debería comprobar para
todos los valores posibles de n. Es aquí donde se introduce el método de demostración conocido como
MÉTODO DE INDUCCIÓN MATEMÁTICA. El primero en utilizarlo fue el matemático francés Blas Pascal en
el siglo XVII, logrando demostrar numerosas propiedades numéricas.
Previo a explicar el Principio o método de inducción Matemática, se introducirán una serie de axiomas
útiles que permitirán comprender la demostración del mismo.
𝑨𝒙𝟐 : Si 𝒏 ∈ ℕ entonces 𝒏 + 𝟏 ∈ ℕ.
1 ∈ 𝕊
𝑛 ∈ 𝕊 ⟹𝑛+1 ∈ 𝕊
Entonces 𝕊 = ℕ
Este último axioma es el de inducción. Es una estrategia para “hacer finito lo infinito”. En el presente
contexto, se reinterpreta la idea de sucesor, para obtener un método de validación de fórmulas
proposicionales definidas en el conjunto de los números naturales.
Dados dos números naturales (o enteros positivos) diferentes 𝑥, 𝑦, se sabe que: 𝑥 < 𝑦 o 𝑦 < 𝑥 .
Esto también es cierto si 𝑥, 𝑦 son números racionales o reales. Entonces, ¿qué hace diferente a los
naturales o enteros positivos? Supóngase que se trata de expresar el conjunto ℕ o el subconjunto ℤ+ de
ℤ, mediante símbolos de desigualdad > y ≥. Se observa que es posible definir el conjunto de los
elementos positivos de ℤ como:
Sin embargo, cuando se intenta hacer lo mismo con los números racionales y reales se observa que no
es posible emplear el símbolo ≥ para definirlos:
Para todo número natural o entero positivo 𝒏, sea 𝑷(𝒏) un enunciado que depende
de 𝒏. Se supone que se satisfacen las dos condiciones siguientes:
1. 𝑷(𝟏) es verdadera
2. Para todo número natural 𝒌, si 𝑷(𝒌) es verdadero 𝑷(𝒌 + 𝟏) es verdadero.
Entonces 𝑷(𝒏) es verdadero para todos los números naturales 𝒏.
Paso 1→ Probar que 𝑃(1) es verdadero. Independientemente de que parezca sencillo u obvio se debe
realizar este paso, ya que existen casos en los que no se cumple este primer análisis. (Ver ejemplo 3). Este
paso se denomina Paso Base.
Paso 2 → Suponer que 𝑃(𝑘) es verdadero y usar esta suposición para demostrar que 𝑃(𝑘 + 1) es
verdadera.
Tener presente que en este paso 2 no se demuestra que 𝑃(𝑘) es verdadera. Sólo se demuestra que si 𝑃(𝑘)
es verdadera, entonces 𝑃(𝑘 + 1) también lo es. La suposición de que 𝑃(𝑘) es verdadera se llama Paso
Inductivo o Hipótesis de inducción. La demostración de que 𝑃(𝑘 + 1) es verdadera se llama Tesis de
inducción.
Comentario: intuitivamente la idea anterior se conoce con el nombre de: Efecto Dominó. Si se imagina
una fila finita de fichas de dominó: dispuestas verticalmente y suficientemente próximas a una cualquiera
de las siguientes, entonces si al voltear la primera ficha se provoca el volteamiento de la segunda ficha,
por el Principio de Inducción Matemática la fila completa es volteada (ver Figura 1).
Hipótesis:
P(1) es verdadera.
Tesis:
Demostración
Sea 𝑃(𝑛) una proposición abierta que cumple con la hipótesis y sea:
𝐹 = {𝑡 ∈ ℤ+ ⁄𝑃(𝑡)𝑒𝑠 𝑓𝑎𝑙𝑠𝑎}
Se pretende demostrar que 𝐹 = ∅ (vacío), así que para obtener una contradicción se supone que 𝐹 ≠ ∅.
Entonces, por el principio del buen orden, 𝐹 tiene un elemento mínimo 𝑝.
Como 𝑃(1) es verdadera por hipótesis, 𝑝 ≠ 1, por lo que 𝑝 > 1, y en consecuencia, 𝑝 − 1 ∈ ℤ+ . Como
𝑝 − 1 ∉ 𝐹, se tiene que 𝑃(𝑝 − 1) es verdadera.
Así, 𝑃((𝑝 − 1) + 1) = 𝑃(𝑝) es verdadera, lo que contradice que 𝑝 ∈ 𝐹. La contradicción surge de que
se había postulado 𝐹 ≠ ∅. Por tanto, 𝐹 = ∅.
∑(2𝑖 − 1) = 1 + 3 + 5 + 7 + ⋯ + (2𝑛 − 1) = 𝑛2
𝑖=1
Se trabaja sólo con el lado izquierdo de la expresión anterior y se agrupan los primeros 𝑘 términos:
Por hipótesis inductiva, se sabe que los primeros 𝑘 términos son iguales a 𝑘 2, luego se aplica propiedad
2017
AÑO DE LAS ENERGIAS RENOVABLES
𝑘 2 + [2𝑘 + 2 − 1] = (𝑘 + 1)2
𝑘 2 + 2𝑘 + 1 = (𝑘 + 1)2
(𝑘 + 1)2 = (𝑘 + 1)2
𝑛(𝑛+1)
𝑃(𝑛): ∑𝑛𝑖=1 𝑖 = 1 + 2 + 3 + ⋯ + 𝑛 =
2
1∗(1+1)
Paso 1 (base): se demuestra que 𝑃(1) es verdadera: 1= 2
⟹1=1
Se trabaja sólo1 con el lado izquierdo de la expresión anterior y se agrupan los primeros 𝑘 términos:
[1 + 3 + 5 + 7 + ⋯ + 𝑘 + (𝑘 + 1)] + (𝑘 + 1) =
𝑘(𝑘+1)
Por hipótesis inductiva, se sabe que los primeros 𝑘 términos son iguales a 2
, por tanto, se tiene que:
𝑘(𝑘 + 1)
+ (𝑘 + 1) =
2
En el primer término, extraer factor común (𝑘 + 1), luego tomar denominador común y finalmente
escribir convenientemente 𝑘 + 2 como 𝑘 + 1 + 1:
𝑘
(𝑘 + 1)( + 1) =
2
(𝑘 + 2)
(𝑘 + 1) =
2
1También, puede trabajarse sólo con el lado derecho de la expresión, pero no ambos al mismo tiempo. El proceso consiste en partir de alguno
de los miembros y realizar operaciones algebraicas convenientes de modo de poder llegar al otro.
2017
AÑO DE LAS ENERGIAS RENOVABLES
(𝑘 + 1)[(𝑘 + 1) + 1] (𝑘 + 1)[(𝑘 + 1) + 1]
=
2 2
𝑛2 +𝑛+2
𝑃(𝑛): ∑𝑛𝑖=1 𝑖 = 1 + 2 + 3 + ⋯ + 𝑛 =
2
𝑘 2 +𝑘+2
∑𝑘𝑖=1 𝑖 = 1 + 2 + 3 + ⋯ + 𝑘 = es verdadera
2
Se trabaja sólo con el lado izquierdo de la expresión anterior y se agrupan los primeros 𝑘 términos:
[1 + 3 + 5 + 7 + ⋯ + 𝑘 + (𝑘 + 1)] + (𝑘 + 1) =
𝑘 2 +𝑘+2
Por hipótesis inductiva, se sabe que los primeros 𝑘 términos son iguales a , por tanto, se tiene que:
2
𝑘2 + 𝑘 + 2
+ (𝑘 + 1) =
2
En el primer término, se toma denominador común y luego se opera el numerador, agrupando términos
en forma conveniente y expresando a 𝑘 + 2 como 𝑘 + 1 + 1 y a 2 como 1 + 1:
[𝑘 2 + 𝑘 + 2] + 2(𝑘 + 1)
=
2
(𝑘 2 + 2𝑘 + 1) + (1 + 𝑘) + 2
=
2
(𝑘 + 1)2 + (𝑘 + 1) + 2 (𝑘 + 1)2 + (𝑘 + 1) + 2
=
2 2
Por tanto, para cualquier 𝑛 ∈ ℕ, se tiene que 𝑃(𝑘) ⇒ 𝑃(𝑘 + 1). Pero antes de decidir si se acepta esta
proposición como verdadera, se debe tener en cuenta el ejemplo 2 en el cual se demostró que ∑𝑛𝑖=1 𝑖 =
𝑛(𝑛+1)
2
es verdadera para todo 𝑛 ∈ ℕ. Es posible, por tanto, emplear los resultados obtenidos para
2017
AÑO DE LAS ENERGIAS RENOVABLES
concluir que:
𝑛
𝑛(𝑛 + 1) 𝑛2 + 𝑛 + 2
∑𝑖 = =
2 2
𝑖=1
𝑛(𝑛+1) 𝑛2 +𝑛+2
Así, se tiene que para todo 𝑛 ∈ ℕ: = lo que implica que
2 2
𝑛(𝑛 + 1) = 𝑛2 + 𝑛 = 𝑛2 + 𝑛 + 2 ⇒ 0 = 2 Absurdo!!!
1∗(1+1) 12 +1+2
Si se hubiese realizado el paso 1, se tenía que para 𝑃(1): 2
= 2
1 = 2 Absurdo!!!
Este ejemplo indica al estudiante la necesidad de establecer la base de la inducción sin importar lo fácil
que sea verificarlo.
Paso 2 (inductivo): se supone que 𝑃(𝑘) es verdadero, por lo que la hipótesis de inducción es:
4𝑘 < 2𝑘 es verdadera
Se trabaja sólo con el lado izquierdo de la expresión anterior y se emplea la hipótesis de inducción para
demostrar que es menor al lado derecho:
4(𝑘 + 1) = 4𝑘 + 4 < 2𝑘 + 4
= 2 ∙ 2𝑘 = 2𝑘+1
2017
AÑO DE LAS ENERGIAS RENOVABLES
Ejemplo 5: divisibilidad.
Se parte de la tesis de inducción y se trabaja de modo tal que la expresión 72𝑘−1 + 1 (hipótesis) aparezca
en el desarrollo.
En la última expresión se observa que ambos sumandos son divisibles por 8: 72𝑘−1 + 1 es divisible por 8
por hipótesis inductiva y 48, es el producto de 6 ∗ 8, por tanto también es divisible por 8.
2 𝑛! = 1.2.3 … . 𝑛
2017
AÑO DE LAS ENERGIAS RENOVABLES
luego se emplea la hipótesis de inducción 𝑘! > 3𝑘−2 , a continuación se considera que (𝑘 + 1) > 3, puesto
que k parte de 3; finalmente se aplica propiedad de producto de potencias de igual base y se expresa
convenientemente a 𝑘 − 1 como 𝑘 + 1 − 2.
Bibliografía
Courant R, & Robbins, H., ¿Qué son las Matemáticas? FCE, México 2002.
Grimaldi, R., Matemáticas Discretas y Combinatoria. Una introducción con aplicaciones; 3ra edición,
Addison- Wesley Iberoamericana, 1997.
Ruiz Benjumeda, F., Demostrando por Inducción. Revista Tzaloa, año 1, número 3. Disponible en:
www.ommenlinea.org/wp-content/tzaloa/articulos/artic_1_3.pdf
Stewart, J., Redlin, L. & Watson, S., Precálculo Matemáticas para el Cálculo; 6ta edición, Cengage Learning,
2012.
Swokowski, E. & Cole, J. Álgebra y Geometría Analítica. Cengage Learning, 13ava edición, 2011.