UA MÁQUIA PARA IFIITAS DEMOSTRACIOES

David Palomino Alva

Consultor en Educación Matemática
dapalomin @yahoo.es

La inducción es un proceso de razonamiento 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.
Cuando un experimentador observa que varias sustancias se dilatan al aumentar su temperatura, y de esta
observación infiere que todas las sustancias tienen dicho comportamiento, está haciendo uso del proceso de
inducción, sin embargo el análisis de algunos casos no permite saber a ciencia cierta si la conjetura es válida en todos
los casos, por ejemplo el agua cuando pasa de 0°C a 4°C, se contrae no se dilata.

En matemática, disciplina deductiva por excelencia, el razonamiento inductivo sólo es utilizado en el proceso de la
invención, en la creación de las propiedades matemáticas. Cuando un matemático encuentra ciertos patrones y
regularidades al manipular los objetos matemáticos, utiliza el razonamiento inductivo para proponer una conjetura a
partir de los casos que ha analizado, pero para demostrar dicha conjetura y elevarla a la categoría de teorema, deberá
utilizar necesariamente métodos deductivos.

Aclaremos esto con un ejemplo, supongamos que un alumno ha sumado los tres primeros números impares,
obteniendo 1+3+5= 9, observa además que 9 es el cuadrado de tres. Toma ahora un número mayor de sumandos,
digamos 6, y obtiene 1+3+5+7+9+11= 36, observa ahora que 36, es el cuadrado de 6. El alumno piensa que esto no
puede ser casualidad, y sospecha que debe existir algún patrón general, al parecer siempre se obtienen cuadrados
perfectos al sumar los primeros números impares. El alumno inicia una comprobació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

Sucede que en cada caso se obtienen números cuadrados perfectos, además tenemos que cada cuadrado está en
relación con el número de sumandos, observemos esto.

Con un sumando 1= 12
Con dos sumandos 1+3=4= 22
Con tres sumandos 1+3+5 = 9 = 32
Con cuatro sumandos 1+3+5+7= 16 = 42

El alumno ahora utiliza el razonamiento inductivo para elaborar una conjetura sobre la suma de los n primeros
impares: 1+3+5+7+...+ (2n-1) = n2, enunciándola verbalmente sería: La suma de los n primeros impares es igual al
cuadrado del número de términos.

Preguntamos ahora ¿bastará la comprobación de unos cuantos casos particulares para asegurar la validez de esta
proposición? Es evidente que no, hemos comprobado la proposición para n = 1, 2, 3, 4; pero nada nos asegura que
el patrón se siga manteniendo. Para poder afirmar categóricamente que la propiedad se verifica para cualquier valor
de n deberíamos comprobarla para cada uno de estos valores. Es decir, un proceso infinito, o inventar un conjunto
de pasos que nos garanticen la comprobación para infinitos casos.

Es aquí que acude en nuestra ayuda un método de demostración conocido con el nombre de método de inducción
matemática. Aunque su nombre haga referencia al proceso inductivo de razonamiento, este método es deductivo.
Fue el matemático francés Blas Pascal, quien en el siglo XVII, lo usó por primera vez de manera sistemática
logrando demostrar con su ayuda numerosas propiedades numéricas. El método goza hoy de gran prestigio entre los
matemáticos, y ha servido para demostrar teoremas en geometría, en teoría de grafos, teoría de números y otros
campos de la matemática.
EL EFECTO DOMIÓ

Veamos cuáles son las ideas tras el método, aplicándolo a la

demostración de la conjetura que nuestro alumno elaboró.
Supongamos que hemos colocado una hilera infinita de
dominós, de pie, de modo que la distancia entra cada uno de
ellos es menor que la longitud de una ficha. Alguien empuja
la primera ficha y cae. Conclusión: todas las fichas caerán.

Este modelo físico nos muestra las ideas básicas del método
de inducción matemática, considera a los números enteros
positivos como fichas de dominó. Supón que demuestras que si una propiedad se cumple para uno de ellos (digamos
k), también se cumple para el siguiente k+1. A continuación verificas que la propiedad se cumple para el primer
número. Conclusión: la propiedad se cumple para todos los números enteros positivos.

Se puede pensar en el método de inducción matemática como en una máquina automática que verifica enunciados,
la cual comienza con P(1) y continúa sobre la lista de manera progresiva demostrando cada proposición. Veamos
cómo trabaja, encendemos la máquina verificando que P(1) es verdadero. A continuación introducimos P(1) en la
máquina. Ésta utiliza el hecho de que P(1) es verdadero y automáticamente demuestra que P(2) es verdadero.
Entonces tomamos P(2) y lo introducimos en la máquina. De nuevo ella utiliza el hecho de que P(2) es verdadero
para obtener la conclusión de que P(3) es verdadero, y así sucesivamente.

Observemos que cuando la máquina va a demostrar que P(k+1) es verdadero, ella ya habrá demostrado que P(k) es
verdadero( en el paso anterior) Así al diseñar la máquina podemos suponer que P(k) es verdadero, y nuestro trabajo
consiste en asegurar que P(k+1) también sea verdadero. No olvidemos que para empezar el proceso, debemos
verificar que P(1) sea verdadero.

Podemos ahora formalizar el método. La demostración de: P(n) es verdadero para todo n∈Z+ por inducción
matemática consiste en dos pasos:

1. Demostrar la validez del enunciado P(1).

2. Suponiendo que el enunciado P(k) es verdadero, demostrar que el enunciado
P(k+1) es verdadero.

De los pasos (1) y (2) se concluye que la proposición P(n) es válida para cualquier valor de n, entero positivo.

Apliquemos este método a la conjetura de nuestro alumno.

La proposición a demostrar es P(n) : 1+3+5 +.....+ (2n-1) = n2 , para todo n entero positivo.

Verifiquemos la validez de P(1), evidentemente 1 = 12

Supongamos ahora que la proposición se verifica para un entero positivo k

1+3+5+7+...+(2k-1) = k2

Si a esta expresión le sumamos a ambos miembros (2(k+1) –1 ) obtenemos:

1+3+5+7+...+(2k-1) + ( 2(k-1)+1) = k2 + 2(k+1)-1

1+3+5+7+...+(2k-1) + ( 2(k+1)-1) = k2 + 2k +1 = ( k+1)2

Como vemos la proposición P(k+1) también se verifica. Entonces por el método de inducción matemática deducimos
que la conjetura del alumno es valida para cualquier entero positivo.

Como hemos visto sólo cuando se ha realizado el método de inducción matemática podemos elevar la conjetura al
nivel de teorema o propiedad.
ACCIDETES IDUCTIVOS

Sería errado que el alumno plantee la validez del enunciado sólo porque verificó algunos casos particulares, sin
embargo la historia de la matemática nos cuenta algunos casos de errores famosos del uso inadecuado del proceso
inductivo, por ejemplo consideremos el trinomio n2+n+41, estudiado por Leonhard Euler, si reemplazamos para n=
0,1,2,3,4,5,6,7,8,9,y 10.

Obtenemos cada vez un número primo (47,53,61,71,83,97,113,131 y 151 respectivamente) de aquí Euler infirió que
al sustituir n por cualquier entero positivo se obtendría un número primo, pero posteriormente observó que con n=
40, obtenemos 402 + 40 + 41= 1681= 41x 41.

Gottfried W. Leibniz, eminente matemático alemán del siglo XVII y uno de los fundadores del cálculo, demostró que
cualquiera que sea el entero positivo n el número n3-n es divisible por 3, el número n5 –n es divisible por 5 y el
número n7 – n es divisible por 7. De aquí supuso que para todo k impar y cualquier n natural el número nk-n es
divisible por k, pero pronto observó que 29 –2 = 510 no es divisible por 9.

Veamos otro ejemplo de carácter muy instructivo. Si evaluamos 991n2 + 1 para n= 1,2,3.. . no obtendremos el
cuadrado de un número por mucho tiempo que dediquemos a ello. Sin embargo, sería erróneo deducir de aquí que
ningún número de este tipo es un cuadrado. Usando un programa de computo podemos encontrar entre los números
de tipo 991n2 + 1 cuadrados perfectos; el valor mínimo de n para el cual 991n2 + 1 es un cuadrado es n=
12055735790331359447442538767.

FALACIAS PARA DIVERTIRSE

A continuación, para comprender mejor el uso del método, revisaremos algunos equívocos en el uso del proceso.

Teorema 1: Todo número entero positivo es igual al número entero positivo siguiente.

Apliquemos el método de inducción matemática.

Supongamos que k= k+1
Si sumamos uno a ambos miembros obtenemos k+1 = k+2
De aquí podemos inferir que la proposición n = n+ 1 es válida para cualquier n entero positivo.
¿Dónde radica el error? En que no hemos verificado la proposición para el primer elemento es decir para n= 1.
Veamos. si la proposición la establecíamos como P(n): n=n+1, con n∈Z+, tenemos que P(1): 1 = 1+1, lo cual es
evidentemente falso. Es decir, obviar la parte (1) del método de inducción nos llevó al error señalado.
n-1
Teorema 2: Al tomar n puntos distintos sobre una circunferencia y luego unirlos dos a dos, se obtienen 2
regiones.
En la figura observamos que la fórmula se cumple para n= 2,3,4,5.

n= 2, 2 regiones n=3, 4 regiones n= 4 , 8 regiones n= 5 , 16 regiones

n-1
Del análisis de estos casos inferimos que el número de regiones es 2 . Sin embargo, si tomamos seis puntos el
número de regiones es 31, y no 32 como se obtiene usando la fórmula.

Hemos realizado un viaje al reino de la inducción matemática a través de su historia y de algunos ejemplos muy
instructivos. A continuación te proponemos unos ejercicios para entrenarte en su utilización.
1. Demuestra que 1 +2n < 3n para cualquier entero positivo.
2. Demuestra que si un conjunto A tiene n elementos, entonces P(A) tiene 2n elementos.
3. Demuestra que 3n - 1 es divisible por 2 para todos los enteros positivos n.
4. Demuestra que en cualquier instante de tiempo, la cantidad de hombres en la Tierra que se han dado un número
impar de apretones de manos, es par.
5. Demuestra que la fórmula 2+4+6+....2n = n2 +n+2 cumple con el segundo paso del principio de inducción
matemática. Esto es, si la fórmula es verdadera para n=k, también lo es para n= k+1. Sin embargo, esta fórmula
no es válida para n=1. ¿Qué deduces de esto?
6. El teorema del mapa de dos colores: Si se traza en un plano líneas rectas que empiezan y terminan en un borde
de la hoja, este mapa puede ser coloreado con sólo dos colores sin que ninguna región adyacente tenga el mismo
color.
7. Demuestra que cualquier conjunto de número naturales, con un número finito de elementos, contiene un número
natural máximo.
8. Demuestra que la derivada de f(x)= xn es nxn-1 para cualquier entero positivo n.
9. Adecua el método de inducción matemática para demostrar proposiciones que son validas a partir de un valor n0.
n
 n +1
10. Demuestra que para n >1 es válida la desigualdad n! <  
 2 

BIBLIOGRAFÍA
De Guzmán, Miguel Aventuras matemáticas, Ed. Pirámide,1997
Dorofeiev, G Potapov,M Rozov, N, Temas selectos de matemáticas elementales, Editorial Mir,1973
Goloviná,L.I Yaglom, I.M. Inducción en la geometría, , Editorial MIR, 1976
Polya, George, Matemáticas y razonamiento plausible, , Editorial Tecnos, 1966
Sominski, I.S. Método de la inducción matemática, Editorial MIR, 1985