UNA MQUINA PARA INFINITAS DEMOSTRACIONES

David Palomino Alva

Ministerio de Educacin

La induccin es un proceso de razonar por el cual se extraen conclusiones a partir del anlisis de casos particulares. La deduccin,
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 observacin infiere que todas las sustancias tienen dicho
comportamiento, est haciendo uso del proceso de induccin, sin embargo el anlisis de algunos casos no permite saber a ciencia
cierta que la conjetura sea vlida, por ejemplo el agua cuando pasa de 0C a 4C, se contrae no se dilata.

En matemtica, disciplina deductiva por excelencia, el razonamiento inductivo slo es utilizado en el proceso de la invencin, en
la creacin de las propiedades matemticas. Cuando un matemtico encuentra ciertos patrones y regularidades al manipular los
objetos matemticos, utiliza el razonamiento inductivo al proponer una conjetura a partir de los casos que ha analizado, pero para
demostrar dicha conjetura deber utilizar necesariamente mtodos deductivos.

Aclaremos esto con un ejemplo, supongamos que un alumno ha sumado los tres primeros nmeros impares, obteniendo 1+3+5=
9, observa adems que 9 es el cuadrado de tres. Toma ahora un nmero mayor de sumandos, digamos 6, y obtiene 1+3+5+7+9+11=
36, observa ahora que 36, es el cuadrado de 6. Esto no puede ser casualidad, el alumno sospecha que debe existir algn patrn
general, al parecer siempre se obtienen cuadrados perfectos al sumar los primeros nmeros impares. El alumno inicia una
comprobacin 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 nmeros cuadrados perfectos, adems tenemos que cada cuadrado est en relacin con el
nmero 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 , enuncindola verbalmente sera: La suma de los n primeros impares es igual al cuadrado del nmero de
trminos.
Preguntamos ahora bastar la comprobacin de unos cuantos casos particulares para asegurar la validez de esta proposicin? Es
evidente que no, hemos comprobado la proposicin para n = 1,2,3,4; pero nada nos asegura que el patrn se siga manteniendo.
Para poder afirmar categricamente que la propiedad se verifica para cualquier valor de n deberamos comprobarla para cada uno
de estos valores. Es decir, un proceso infinito, o inventar un conjunto de pasos que nos garanticen la comprobacin para infinitos
casos.

Es aqu que acude en nuestra ayuda un mtodo de demostracin conocido con el nombre de mtodo de induccin matemtica.
Aunque su nombre haga referencia al proceso inductivo de razonamiento, este mtodo es deductivo. Fue el matemtico francs
Blas Pascal, quien en el siglo XVII, lo us por primera vez de manera sistemtica logrando demostrar con su ayuda numerosas
propiedades numricas. El mtodo goza hoy de gran prestigio entre los matemticos, y ha servido para demostrar teoremas en
geometra, en teora de grafos, teora de nmeros y otros campos de la matemtica.

EL EFECTO DOMIN

Veamos cules son las ideas tras el mtodo, aplicndolo a la

demostracin de la conjetura que nuestro alumno elabor.
Supongamos que hemos colocado una hilera infinita de domins, 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. Conclusin: todas las fichas caern.

Este modelo fsico nos muestra las ideas bsicas del mtodo de induccin matemtica, considera a los nmeros enteros positivos
como fichas de domin. Supn que demuestras que si una propiedad se cumple para uno de ellos (digamos k), tambin se cumple
para el siguiente k+1. A continuacin verificas que la propiedad se cumple para el primer nmero. Conclusin: la propiedad se
cumple para todos los nmeros enteros positivos.

Se puede pensar en el mtodo de induccin matemtica como en una mquina automtica que verifica enunciados, la cual
comienza con P(1) y contina sobre la lista de manera progresiva demostrando cada proposicin. Veamos cmo trabaja,
encendemos la mquina verificando que P(1) es verdadero. A continuacin introducimos P(1) en la mquina. sta utiliza el hecho
de que P(1) es verdadero y automticamente demuestra que P(2) es verdadero. Entonces tomamos P(2) y lo introducimos en la
mquina. De nuevo ella utiliza el hecho de QUE P(2) es verdadero para obtener la conclusin de que P(3) es verdadero, y as
sucesivamente. Observemos que cuando la mquina va a demostrar que P(k+1) es verdadero, ella ya habr demostrado que P(k) es
verdadero( en el paso anterior) As al disear la mquina podemos suponer que P(k) es verdadero, y nuestro trabajo consiste en
asegurar que P(k+1) tambin sea verdadero. No olvidemos que para empezar el proceso, debemos verificar que P(1) sea
verdadero.
Podemos ahora formalizar el mtodo. La demostracin de: P(n) es verdadero para todo n Z+ por induccin matemtica 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 proposicin P(n) es vlida para cualquier valor de n, entero positivo.

Apliquemos este mtodo a la conjetura de nuestro alumno.

La proposicin 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 proposicin se verifica para un entero positivo k

1+3+5+7+...+(2k-1) = k2
Si a esta expresin 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 proposicin P(k+1) tambin se verifica. Entonces por el mtodo de induccin matemtica deducimos que la
conjetura del alumno es valida para cualquier entero positivo.

Como hemos visto slo cuando se ha realizado el mtodo de induccin matemtica podemos elevar la conjetura al nivel de teorema
o propiedad.

ACCIDENTES INDUCTIVOS

Sera errado que el alumno plantee la validez del enunciado slo porque verific algunos casos particulares, sin embargo la historia
de la matemtica 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 nmero 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 obtendra un nmero primo, pero posteriormente observ que con n= 40, obtenemos 40 2 + 40 +
41= 1681= 41x 41.

G.W. Leibniz, eminente matemtico alemn del siglo XVII y uno de los fundadores del clculo, demostr que cualquiera que sea el
entero positivo n el nmero n3-n es divisible por 3, el nmero n5 n es divisible por 5 y el nmero n 7 n es divisible por 7. De aqu
supuso que para todo k impar y cualquier n natural el nmero n k-n es divisible por k, pero pronto observ que 2 9 2 = 510 no es
divisible por 9.

Veamos otro ejemplo de carcter muy instructivo. Si evaluamos 991n 2 + 1 para n= 1,2,3.. . no obtendremos el cuadrado de un
nmero por muchos tiempo que dediquemos a ello. Sin embargo, sera errneo deducir de aqu que ningn nmero de este tipo es
un cuadrado. Usando un programa de computo podemos encontrar entre los nmeros de tipo 991n 2 + 1 cuadrados perfectos; el
valor mnimo de n para el cual 991n2 + 1 es un cuadrado es n= 12055735790331359447442538767.

FALACIAS PARA DIVERTIRSE

A continuacin, para comprender mejor el uso del mtodo, revisaremos algunos equvocos en el uso del proceso.

Teorema 1: Todo nmero entero positivo es igual al nmero entero positivo siguiente.

Apliquemos el mtodo de induccin matemtica.

Supongamos que k= k+1
Si sumamos uno a ambos miembros obtenemos k+1 = k+2
De aqu podemos inferir que la proposicin n = n+ 1 es vlida para cualquier n entero positivo.
Dnde radica el error? En que no hemos verificado la proposicin para el primer elemento es decir para n= 1. Veamos. si la
proposicin la establecamos como P(n): n=n+1, con nZ+, tenemos que P(1): 1 = 1+1, lo cual es evidentemente falso. Es decir,
obviar la parte (1) del mtodo de induccin nos llev al error sealado.

Teorema 2: Al tomar n puntos distintos sobre una circunferencia y luego unirlos dos a dos, se obtienen 2 n-1 regiones.
En la figura observamos que la frmula se cumple para n= 2,3,4,5.

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

Del anlisis de estos casos inferimos que el nmero de regiones es 2 n-1.

Sin embargo, si tomamos seis puntos el nmero de regiones es 31, y no 32 como se obtiene usando la frmula.

Hemos realizado un viaje al reino de la induccin matemtica a travs de su historia y de algunos ejemplos muy instructivos. A
continuacin te proponemos unos ejercicios para entrenarte en su utilizacin.

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 nmero impar de
apretones de manos, es par.
5. Demuestra que la frmula 2+4+6+....2n = n2 +n+2 cumple con el segundo paso del principio de induccin matemtica. Esto
es, si la frmula es verdadera para n=k, tambin lo es para n= k+1. Sin embargo, esta frmula no es vlida para n=1. Qu
deduces de esto?
6. El teorema del mapa de dos colores: Si se traza en un plano lneas rectas que empiezan y terminan en un borde de la hoja,
este mapa puede ser coloreado con slo dos colores sin que ninguna regin adyacente tenga el mismo color.
7. Demuestra que cualquier conjunto de nmero naturales, con un nmero finito de elementos, contiene un nmero natural
mximo.
8. Demuestra que la derivada de f(x)= xn es nxn-1 para cualquier entero positivo n.
9. Adecua el mtodo de induccin matemtica para demostrar proposiciones que son validas a partir de un valor n 0.
n
n 1
10. Demuestra que para n >1 es vlida la desigualdad n!
2

BIBLIOGRAFA
De Guzmn, Miguel Aventuras matemticas, Ed. Pirmide,1997
Dorofeiev, G Potapov,M Rozov, N, Temas selectos de matemticas elementales, Editorial Mir,1973
Golovin,L.I Yaglom, I.M. Induccin en la geometra, , Editorial MIR, 1976
Polya, George, Matemticas y razonamiento plausible, , Editorial Tecnos, 1966
Sominski, I.S. Mtodo de la induccin matemtica, Editorial MIR, 1985
 FICHAS REPRODUCIBLES

A continuacin te presentamos un conjunto de fichas con las cuales puedes elaborar una actividad de aprendizaje que puede ser
utilizada para introducir los principios de conteo bsicos de la combinatoria. Como observars, las fichas estn enfocadas al logro
de la capacidad: Aplica el principio de la suma y la multiplicacin en la solucin de problemas de contexto real.

USO DE LAS FICHAS

Una buena combinacin
Los alumnos se asocian en parejas y el profesor presenta la situacin problemtica: Una buena combinacin, la cual describe una
situacin comnmente presentada en las cartas de comidas de restaurantes de Lima. El trabajo se realiza en parejas, por espacio de
diez minutos. Luego de esto pasamos a entregar la gua: Estrategias de solucin, la cual contiene pequeas preguntas
jerarquizadas que permitirn contestar la cuestin y desencadenar procesos mentales.
Se realiza ahora una plenaria para comentar lo ocurrido en la sesin ( anlisis retrospectivo) y formalizar dos principios bsicos de
conteo:
El principio de la suma.
El principio de la multiplicacin.
El profesor, con los alumnos, hace una reflexin sobre la resolucin de la situacin problemtica e introduce algunos diagramas
tiles en el conteo de casos posibles.
Diagramas de cajas
Diagramas de rbol.

Contando y recontando
Para trabajar en con esta ficha los alumnos se asocian en grupos de cuatro. La ficha Contando y recontando, contiene ocho
problemas para cada grupo. El proceso es el siguiente cada uno resuelve dos de los problemas. Las soluciones son intercambiadas
para evaluarlas. Finalmente los alumnos debern elaborar en conjunto un solucionario de los problemas, en una hoja que estar
firmada por todos los integrantes en seal de consenso.
En una fase final, el profesor hace que algunos estudiantes resuelvan los problemas en la pizarra y comenta sus soluciones.

Literatura ldico matemtica

Esta ficha describe un pequeo proyecto que puede ser planteado para que los alumnos lo resuelvan fuera de clase en pequeos
grupos. Est dirigido a lograr conexiones con otras disciplinas, literatura en este caso. Existen numerosos escritores que han
explorado las posibilidades ldicas de la matemtica y han incluido descripciones de objetos matemticos o adoptado estructuras
matemticas para la elaboracin de sus trabajos. Entre ellos podemos contar a Jorge Luis Borges, Julio Cortzar, Juan Jos Arreola
Guillermo Cabrera Infante y el mago de la modernidad Raymond Queneau; precisamente en este proyecto se describe un poemario
de su autora que utiliza la combinatoria para crear sonetos. El libro est conformado por diez sonetos de catorce versos cada uno.
La cuestin es saber cuantos sonetos contiene el libro, sabiendo que uno puede formar un soneto tomando el verso correspondiente
de cada uno de los diez presentados. Es decir, podemos formar un soneto tomando el primer verso de cualquier soneto, luego
debemos tomar el segundo verso de cualquiera de los segundos versos que pertenecen a cualquiera de los diez sonetos que Quenau
presenta, y as sucesivamente, hasta formar un soneto de catorce versos. Los alumnos luego deben leer el cuento de Borges
Examen de la obra de Herbert Quain, en el cual se describe las estructuras de los ensayos de este autor ficticio. Partiendo de esto,
los alumnos debern crear una situacin problemtica que luego compartirn con sus compaeros en la clase. El proyecto finaliza
motivando a los alumnos en la bsqueda de otros cuentos y novelas que exploten la combinatoria para la creacin de nuevos textos.
UNA BUENA COMBINACIN
Sofa Loarte deseaba competir de una mejor forma con los restaurantes vecinos, que ofrecan
menes diarios. Un amigo le comunic que ella podra vender cientos de menes diferentes
preparando poca variedad de platos. El sistema era sencillo: se ofrecera una variedad de
entradas, segundos, postres y bebidas; el cliente podra formar su men, eligiendo a su antojo
una opcin de cada una de las categoras.
La cartilla muestra el men que Sofa ofrece en una semana tpica a sus comensales.

RESTAURANTE BUEN APETITO

LUNES MARTES MIERCOLES JUEVES VIERNES
Entrada Entrada Entrada Entrada Entrada
Papa rellena Ocopa Tiradito Ocopa Tamalito verde
Ensalada mixta Humita Huevo a la rusa Atn Ensalada Rancho
Cebiche Salpicn de pollo Ensalada Csar Causa Choros a la chalaca
Segundos Segundos Segundos Segundos Segundos
Lomo saltado Bisteck c/arroz Tacu tacu Lechn al horno Patita c/ man
Carapulcra Cau Cau Aj de gallina Jalea Tallarines rojos
Postres Postres Postres Arroz c/pollo Seco de res
Gelatina Pia en almbar Suspiro limeo Postres Suprema c/ papas
Flan Cocada Pie de chirimoya Duraznos Postres
Helado Bebidas Cheesecake Manzana al horno Arroz c/leche
Budn Chicha morada Chifn de naranja Bebidas Arroz zambito
Bebidas Limonada Bebidas Chicha morada Bebidas
Chicha morada T Chicha morada Limonada Chicha morada
Limonada Caf Limonada T
T T Caf
Cuntos mens diferentes puede ofrecer Jorge el da Lunes? y el da Martes? y durante la semana?
Caf Caf
---------------------------------------------------------------------------------------------------------------------------------

ESTRATEGIAS DE SOLUCIN

Resuelve con un compaero el cuestionario que te mostramos. Traten de sealar en cada fase las estrategias heursticas que
utilizaron. Al final de la sesin debern presentar un informe que muestre la solucin, con grficos y propuestas de generalizacin
del mtodo utilizado.

a. Un alumno seala que el nmero de menes diferentes que Sofa puede ofrecer el da lunes es: 3+2+4+4 = 13 es esto correcto?
Expliquen.
b. Supn que el da lunes el men slo te ofrece
Entrada: Papa rellena, Ensalada mixta, Cebiche
Segundos: lomo saltado, carapulcra.
- Haz una lista que muestre todos los posibles mens que Sofa puede ofrecer ese da
- Haz un grfico que muestre cmo contar el nmero de posibles menes.
c. Ahora considera el men con sus cuatro categoras. Cuntos menes diferentes puedes contar?
d. Utiliza el mtodo anterior para saber cuntos mens diferentes se puede ofrecer el da martes.
e. Entre el lunes y el martes cuntos menes diferentes ha ofrecido el restaurante de Sofa?
f. Realiza una explicacin de los mtodos que has utilizado, tanto grficos como numricos. Traten de expresar estos mtodos en
un prrafo de no ms de 10 lneas.
g. Apliquen los mtodos explicados para responder Cuntos diferentes menes ofrece el restaurante de Sofa en la semana?
h. Existen dos principios de conteo sumamente tiles en combinatoria: el principio de la suma y el de la multiplicacin. Lee en tu
libro estos principios y contesta Qu similitudes y qu diferencias encuentras entre estos dos principios de conteo?
i. Inventa un problema que pueda ser resuelto utilizando el principio de la multiplicacin, y otro que pueda ser resuelto
utilizando el principio de la suma.
j. En la situacin inicial, si el restaurante de Sofa ofreciera el da jueves las opciones siguientes:
Entrada: Ocopa, humita, atn.
Segundo: Bistec c/ arroz- Cau cau.
Postre: Pia en almbar, cocada.
Bebidas: Chicha morada, limonada, naranjada.
Cuntos menes diferentes puede ofrecer a la semana?

2000 David Palomino A.

Contando y recontando
Renete en grupo para resolver el conjunto de problemas que te presentamos. Al final escriban un texto que ilustre las
posibilidades de los principios de la suma y la multiplicacin en el conteo de casos.

1. En un pueblo donde los telfonos son de cinco cifras se reservan las series 25 y 33 como las nicas a emplear. Si no se emplea
la cifra 4 cuntos nmeros se podrn tener?

2. Cuntas placas de automvil de cinco smbolos pueden hacerse si las dos primeras son vocales y los tres ltimos son
nmeros?

3. Un examen de matemtica consta de diez preguntas de tipo verdadero (V) o falso (F) de cuntas maneras distintas puede ser
resuelto?

4. Observa la figura que se presenta a continuacin. De cuntas maneras diferentes se puede ir de A hacia B, sin retroceder en
algn momento?

5. Un testigo de un asalto inform a la polica que el auto utilizado por los ladrones para la fuga tena una placa de 6 smbolos,
que los dos primeros eran vocales, que los cuatro ltimos eran dgitos mayores que cuatro, y que no haba dos smbolos iguales
Cuntos autos deber investigar la polica?

6. Una persona puede viajar de Kauai, hasta Hawai como indica el grfico. De cuntas formas podr ir de Kauai hasta Hawaii
pasando por Oahu? , de cuntas formas podr ir de Kauai hasta Hawaii, y regresar a Kauai, ambos viajes pasando por Oahu,
si al regreso no puede usar la misma ruta que utiliz de ida?
7. De cuntas formas pueden ordenarse diez personas para una foto, si deben colocarse en dos filas de cinco personas cada una.
La fila delantera sentados y la trasera de pie?

8. Una mquina produce lapiceros de tres colores: azul, rojo y negro. La lnea de produccin se detiene cuando salen dos
lapiceros del mismo color en forma consecutiva, cuando salen tres colores distintos en forma consecutiva o cuando ya han
salido cuatro lapiceros. Cuntas combinaciones de produccin tiene la mquina?

PROYECTO MATEMTICO

LITERATURA LDICO MATEMTICA

En el ao 1961, el poeta francs Raymond Queneau public el libro de sonetos Cent mille milliards de pomes
(cien mil millardos de poemas); sin embargo, el libro slo contena diez sonetos de catorce versos cada uno.

Consultado el autor sobre esta aparente contradiccin, dijo que para leer ms sonetos uno debera crearlos a
partir de los publicados, de la siguiente manera: se elige un verso de cualquiera de los iniciales de los sonetos, el
segundo verso es tambin elegido de entre los diez segundos versos, y as sucesivamente hasta obtener catorce
versos.
Investiga cules son las caractersticas de un soneto.
Calcula cuntos sonetos distintos se pueden formar siguiendo las normas de Queneau.
Investiga sobre el nombre de los rdenes de numeracin.
Describe la estructura del libro de Queneau. Escriban una versin reducida del libro considerando cuatro
sonetos generadores.
Lee el cuento Examen de la obra de Herbert Quain de Jorge Luis Borges. Inventa una situacin
problemtica a partir de este relato.
Investiga sobre los libros de la serie Elige tu aventura. En ellos al trmino de cada captulo se plantean
varias alternativas para continuar su lectura. Elaboren una situacin problemtica partiendo de la
estructura de uno de estos libros.
Investiga con tus profesores de Literatura otros cuentos y novelas en los cuales la combinatoria toma parte
activa.
2000, David Palomino A.