Ejemplos de demostraciones por el método de Inducción Matemática

Principio de Inducción Matemática completa (PIM2). Sea h un número natural.

La proposición P(n) es cierta para todo número natural n ≥ h si, y sólo si:
Premisa 1) P(h) es cierta; y
Premisa 2) para cada número natural n > h, P(n) es cierta siempre que
P(m) sea cierta para todo número natural m tal que h ≤ m < n.
La expresión P(m) cierta se denomina “Hipótesis de Inducción” y se indicará por (HI).

Ejemplo 1. Demuestre por Inducción Matemática que la sumatoria de los primeros números
naturales es el semiproducto del último número por su sucesor.
Demostración.
Sea h = 1. P(h) = P(1) = Σ(k; k=1..1) = 1 = 1*(1+1)/2. Así, la Premisa 1) es válida.
Sea m un número natural, 1 ≤ m < n, tal que P(m) sea cierta; (HI): Σ(k; k=1..m) = m(m+1)/2.
Desarrollo de la implicación.
Sea n= m+1 Σ(k; k=1..n) =Σ(k; k=1..m+1)
Por asociativa de la sumatoria: = Σ(k; k=1..m) + (m+1)
Por (HI) aplicada al primer sumando: = m(m+1)/2 + (m+1)
Por amplificación fraccionaria del otro sumando: = m(m+1)/2 + 2(m+1)/2
Por factorización del factor común (m+1)/2: = (m+2)(m+1)/2
Por asociativa de la adición del primer factor: = [(m+1) + 1](m+1)/2
Al sustituir m+1=n: = [n +1]n/2
Por la conmutativa del producto: = n(n+1)/2
Por la validez de las Premisas 1) y 2), y en virtud del PIM2, la proposición es cierta para todo n≥ 1.

Ejemplo 2. Demuestre por Inducción Matemática que la sumatoria de los predecesores de los triples
de los primeros números naturales es el semiproducto del último número por el sucesor de su triple.
Demostración.
Sea h = 1. P(h)=P(1)=Σ(3k-1; k=1..1)= 2 = 1*(3*1+1)/2. Así la Premisa inicial 1) es válida.
Sea m un número natural, 1 ≤ m < n, tal que P(m) sea cierta; (HI): Σ(3k-1; k=1..m) = m(3m+1)/2.
Desarrollo de la implicación.
Sea n= m+1 Σ(3k-1; k=1..n) = Σ(3k-1; k=1..m+1)
Por asociativa de la sumatoria: = Σ(3k-1; k=1..m) + 3(m+1)-1
Por (HI) aplicada al primer sumando: = m(3m+1)/2 + 3(m+1)-1
Por amplificación fraccionaria del otro sumando: = m(3m+1)/2 + 2[3(m+1)-1]/2
Por distributiva del producto sobre la adición: = (3m2 + 7m+4)/2
Por factorización = (m+1)(3m+4)/2
Por asociativa de la adición en el segundo factor: = (m+1)[3(m+1)+1]/2
Al sustituir m+1=n: = n(3n +1)/2
Por la validez de las Premisas 1) y 2), y en virtud del PIM2, la proposición es cierta para todo n≥ 1.
Ejemplo 3. Demuestre por Inducción Matemática que la potencia de 2 elevado a cualquier
número natural es menor o igual al factorial del sucesor de ese número natural.
Demostración.
Sea h = 0. P(h)=P(0)= 20 = 1 ≤ 1! = (0+1)! . Así la Premisa inicial 1) es válida.
Sea m un número natural, 0 ≤ m < n, tal que P(m) sea cierta; (HI): 2m ≤ (m+1)!.
Desarrollo de la implicación.
Sea n= m+1 2n =2m+1
Adición de exponentes en potencias de igual base: = (2m)(2)
Por (HI) en el primer factor: = (m+1)!(2)
Por ser 2 ≤ m+2, y por monotonía multiplicativa: ≤ (m+1)!(m+2)
Por recursividad del factorial: = (m+2)!
Por asociativa de la adición: = [(m+1) +1]!
Al sustituir m+1=n: = (n + 1)!
Por la validez de las Premisas 1) y 2), y en virtud del PIM2, la proposición es cierta para todo n≥ 0.

Ejemplo 4. Demuestre por Inducción Matemática que la suma entre 6 y un número natural es tal que su
cuadrado resulta menor o igual que la potencia de 2 elevado a dicha suma.
Demostración.
Sea h = 0. P(h)=P(0)=(6+0)2 =36 ≤ 64 = 2(6+0). Así la Premisa inicial 1) es válida.
Sea m un número natural, 0 ≤ m < n, tal que P(m) sea cierta; (HI): (6+m)2 ≤ 2(6+m).
Desarrollo de la implicación.
Sea n= m+1 [6+ n]2 = [6+ (m+1)]2
Por asociativa de la adición: = [(6+ m) +1]2
Por desarrollo del cuadrado del binomio: = (6+ m)2 + 2(6+m) +12
Por (HI) aplicado al primer sumando: ≤ 2(6+m) + 2(6+m) +1
(Lema previo) 2(6+m) +1 ≤ 2(6+m) para todo m ≥ 0: ≤ 2(6+m) + 2(6+m)
Por adición: = (2(6+m))(21)
Por exponentes en una misma base: = 2(6+m) +1
Por asociativa de la adición en los exponentes: = 26+ (m +1)
Al sustituir m+1=n: = 2(6+ n)
Por la validez de las Premisas 1) y 2), y en virtud del PIM2, la proposición es cierta para todo n≥ 0.
Ejemplo 5. Demuestre por Inducción Matemática que la sumatoria de los primeros productos
entre los números naturales que forman las primeras parejas de sucesivos es igual al tercio del
producto formado por los tres sucesores consecutivos del último número.
Demostración.
Sea h = 0. P(h)=P(0)=(0+1)(0+2) = 2= [(0+1)(0+2)(0+3)]/3. Así la Premisa inicial 1) es válida.
Sea m un número natural, 0 ≤ m < n, tal que P(m) sea cierta;
(HI):Σ[(k+1)(k+2); k=1..m] = (m+1)(m+2)(m+3)/3.
Desarrollo de la implicación.
Sea n= m+1 Σ[(k+1)(k+2); k=1..n] =Σ[(k+1)(k+2); k=1..m+1]
Por asociativa de la sumatoria: = Σ[(k+1)(k+2); k=1..m] + (m+1+1)(m+1+2)
Por (HI): = (m+1)(m+2)(m+3)/3 + (m+1+1)(m+1+2)

Σ[(k+1)(k+2); k=1..m] + (m+1+1)(m+1+2) = ;

(m+1)(m+2)(m+3)/3+(m+1+1)(m+1+2)=(m+1)(m+2)(m+3)/3+3(m+1+1)(m+1+2)/3; amplificación.
(m+1)(m+2)(m+3)/3+3(m+1+1)(m+1+2)/3 = (m+2)(m+3)[(m+1)+3]/3; por factorización y asociativa.
(m+2)(m+3)[(m+1)+3]/3= [(m+1)+1][(m+1)+2][(m+1)+3]/3; por asociativa de la adición.
[(m+1)+1][(m+1)+2][(m+1)+3]/3 = (n+1)(n+2)(n+3)/3 al sustituir m+1=n.
Así, la Premisa 2) es válida. Por PIM2 la proposición es cierta para todo número natural n≥ 0.

Ejemplo 6. Demuestre por Inducción Matemática que la sumatoria de los cuadrados de las primeras
combinaciones de un número natural es igual a la combinatoria del doble de ese número natural con
dicho número.
Demostración.
Sea h = 1. P(h)=P(1)=Σ{[C(1,k)]2; k=0..1}= 12+12 = 2 = C(2*1, 1). Así la Premisa inicial 1) es válida.
Sea m un número natural, 1 ≤ m < n, tal que P(m) sea cierta;
(HI): Σ{[C(m,k)]2; k=0..m} = C(2*m, m).
Desarrollo de la implicación. Sea n= m+1.
Σ{[C(m+1,k)]2; k=0..m+1} =