Demostración por inducción

Por: Hernando Manuel Quintana Ávila

Algunos estudiantes con los que he tenido la oportunidad de conversar

sobre el artículo ¿por qué menos por menos es más?, me han
manifestado su interés de conocer algunos métodos de demostración
utilizados en las matemáticas. Este interés es el motivo que he tenido
para consultar y escribir algo al respecto.

Deducción e inducción

Las ciencias experimentales siguen un modelo Inductivo (basándose en

la observación de la naturaleza y utilizando un razonamiento de tipo
inductivo para formular teorías generales), las matemáticas siguen un
modelo deductivo. Una teoría matemática parte de un conjunto dotado
de relaciones u operaciones, para la cual se suponen ciertas algunas
proposiciones. A las proposiciones que se suponen ciertas se les
denominan axiomas y a partir de ellas se deducen otras denominadas
teoremas. Los teoremas son entonces sentencias relativas a objetos
matemáticos formados por hipótesis (condiciones que se suponen
satisfechas) y tesis (lo que se afirma que se cumple en dichas
condiciones)

Para lograr una prueba correcta de un teorema es esencial conocer bien

las reglas de deducción (razonamientos válidos) y el lenguaje
matemático así como tener un poco de intuición que desarrollaremos
generalmente con la práctica.

El ejercicio de la demostración de proposiciones matemáticas como el de

la solución de problemas implica tal riqueza de actividades que es
imposible unas normas generales que las abarquen. Sin embargo es
conveniente el estudio de algunos tipos de demostración utilizados a
menudo en las matemáticas.

Los métodos de demostración utilizados con más frecuencia en las

matemáticas son:

➢ Demostraciones directas, también denominadas “marcha adelante”

➢ Demostraciones indirectas
➢ Demostraciones por contraposición o contra recíproco
➢ Demostraciones por contraejemplos
➢ Demostración por reducción al absurdo
➢ Demostración por casos
1
➢ Demostración por inducción.

Dedicaremos nuestra atención al último método, demostración por

inducción.

Se podría establecer cierto paralelismo entre la demostración de un

teorema y el juego de ajedrez.
AJEDREZ:
MATEMÁTICA:
Posiciones
Sentencias
Posición
Jaque
Hipótesis
Tesis
inicial
mate
intermedias
de
las
de fichas
las fichas

Demostración por inducción

Comencemos recordando el siguiente hecho histórico: estaba Johann Carl

Friedrich Gauss1 allá por el año 1787 en la escuela. Tenía unos 10 años de
edad. Un día cuando llego el profesor al aula, encontró a los niños
tirándose papeles, tizas, etc. Con esa edad paso lo que tenía que pasar.
El profesor ordenó a todos los niños que, como castigo, le sumaran
todos los números del 1 al 100. El profesor pudo haber pensado:
durante un buen rato me dejarán todos estos mocosos en paz.

A los pocos minutos, el pequeño genio de Gauss se levantó del pupitre, y

entregó la respuesta correcta: 5050. El profesor, asombrado, debió
pensar que había puesto un número al azar, y se dispuso él mismo a
hacer la interminable suma. Al cabo de un buen rato, comprobó que,
efectivamente, la suma pedida era 5050.
No es que Gauss fuera un calculador extraordinario, capaz de hacer
sumas a la velocidad de un ordenador moderno como los que
conocemos hoy en día. Gauss llegaría a ser uno de los mejores
matemáticos de la historia, y los matemáticos no solo calculan:
piensan…
Lo que hizo Gauss fue lo siguiente:

1Johann Carl Friedrich Gauss matemático, astrónomo y físico alemán

considerado el príncipe de las matemáticas y uno de los matemáticos
más grandes e influyentes de toda la historia por sus amplias
contribuciones en muchos campos de esta ciencia, nació en Brunswick,
Baja Sajonia el 30 de abril de 1777.(vía wikipedia)
2
Tenía que sumar los siguientes números:
1+2+3+4+5+6+7+8+9+⋯+100
Pero nadie le obligaba a sumarlos por orden. Gauss se percató de un
hecho singular: si agrupaba los números por parejas, tomando el
primero y el último, el segundo y el penúltimo, etc., tenía lo siguiente:
1+100=101 ; 2+99=101 ;3+98=101 ;4+97=101 ; etc.
Es decir, todos los pares de números sumaban 101. Como entre el uno y
el 100 podía hacer 50 pares con esa propiedad, 50×101=5050
Más tarde, aplicaría este mismo principio para hallar la suma de la serie
geométrica y muchas otras series.
Con los dos ejemplos siguientes ilustraremos la demostración por
inducción.
Ejemplo 1. El cálculo de la suma de los 100 primeros números
naturales, realizada en forma ingeniosa por Gauss, se puede extender a
cómo encontrar la suma de los n primeros números naturales (n∈N).
De la observación de casos
1=1=11+12
1+2=3=22+12
1+2+3=6=33+12
1+2+3+4=10=44+12
1+2+3+4+5=15=55+12
⋯⋯⋯=⋯⋯⋯
Parece posible conjeturar que para cualquier n∈Z+ se cumple
1+2+3+⋯⋯+n=n(n+1)2
Que escrita utilizando el símbolo de sumatoria sería:
1+2+3+⋯⋯+n=k=0nk=n(n+1)2 (1)
La mera observación de un número finito de casos no establece la
verdad para todos los casos (infinitos). En matemática se requiere una
prueba deductiva.

Demostraremos la formula (1) utilizando una demostración por

inducción, la cual se basa en el principio de inducción matemática,
que se expresa así:

Si S⊂Z+ tal que

i. 1∈S
ii. Para todo x∈S se cumple x+1∈S, esto es, ∀x∈Sx+1∈S

Entonces S=Z+
3
Para aplicar el principio de inducción y demostrar que la formula (1) es
verdadera para todos los n∈Z+, se va a construir el conjunto
S=k∈Z+la formula 1es verdadera

Luego se tiene que probar que S satisface las dos condiciones del
principio de inducción matemática. Al satisfacer S ambas condiciones se
concluye que S=Z+, con lo cual se estaría probando que la formula (1)
es cierta para todo n∈Z+

En la práctica una demostración por inducción consiste en probar sólo

dos casos

1. La validez del enunciado para un número entero inicial, en nuestro

ejemplo para n=1. En efecto, esto es trivialmente verdad ya que

1=1(1+1)2

2. Suponiendo que la afirmación es verdadera para un n cualquiera,

con n≥1 (caso inicial), debemos demostrar la afirmación para el
caso siguiente: n+1

Para nuestro ejemplo, la afirmación a demostrar es la siguiente:

k=1nk=n(n+1)2Hipotesis inductiva⟹k=1n+1k=n+1(n+2)2Tesis

Supongamos verdadera nuestra hipótesis inductiva y demostremos que

la tesis es verdadera. En efecto.
k=1n+1k=k=1nk+n+1 , Propiedad de sumatoria

=n(n+1)2+n+1 , Utilizando la hipótesis inductiva

=n+1(n+2)2 , realizando la suma y factorizando

Que es lo que queríamos demostrar.

Demostrando 1. (Punto de partida) y 2. (Paso inductivo) queda

establecida la verdad de la afirmación.

1+2+3+⋯+n=k=1nk=n(n+1)2 para todo n∈Z+

Ejemplo 2. Sea a∈R , a≠1. De la observación de los siguientes casos:

1-a2=1-a1+a

4
1-a3=1-a(1+a1+a2)

1-a4=1-a(1+a1+a2+a3)

1-a5=1-a1+a1+a2+a3+a4

⋯⋯= ⋯⋯

Parece posible conjeturar que para cualquier n∈Z, n≥0, se cumple

1-an+1=1-a(1+a1+a2+⋯+an)

O en forma equivalente
1+a+a1+a2+a3+⋯+an=1-an+11-a

Que escrita en términos de sumatoria sería:

k=1nak=1-an+11-a (2)

Utilizaremos demostración por inducción para probar la formula (2)

I. La validez del enunciado para un número entero inicial, en nuestro

ejemplo para n=0. En efecto.
k=0n=0ak=a0=1=1-a11-a

II. Suponemos que la afirmación (2) es verdadera para un n

cualquiera, con n≥0 (caso inicial), debemos demostrar para el caso
siguiente, n+1.

Para nuestro ejemplo, la afirmación a demonstrar es la siguiente:

k=0nak=1-an+11-aHipotesis inductiva⟹k=0n+1ak=1-an+21-atesis

En efecto
k=0n+1ak=k=0nak+an+1 , por propiedades de sumatoria

=1-an+11-a+an+1 , utilizando la hipótesis inductiva

=1-an+1+an+11-a1-a , realizando la suma

=1-an+1+an+1-an+21-a , realizando el producto

=1-an+21-a , simplificando

Que es lo que queríamos demostrar

Demostrando I. (punto de partida) y II. (Paso inductivo) queda

establecida la verdad de la afirmación.

5
k=0nak=1-an+11-a para todo entero n≥0

Para entretenerse un rato, te invito que utilices demostración por

inducción, para probar que las siguientes formulas son verdaderas para
todos los números naturales
1. 12+22+32+⋯+n2=nn+1(2n+1)6
2. 13+23+33+⋯+n3=n2(n+1)24
3. 1+3+⋯+2i-1+⋯+2n-1=n2
4. 11∙2+12∙3+13∙4+⋯+1n(n+1)=nn+1

Se puede también utilizar demostración por inducción, para probar las

siguientes desigualdades:

5. n-2<n2-412para todo natural n>0

6. 2n<n! para todo natural n>3
7. n2<2n para todo natural n>4
8. (Binomio de Newton)Sean a, b∈R. Para todo n∈Z,
n≥0. Se cumple
(a+b)n=k=0nnkan-kbk
Donde nk=n!k!(n-k)!, demostrar por inducción.