You are on page 1of 8

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 Con dos sumandos Con tres sumandos Con cuatro sumandos 1 =1 1+3 = 4 1+3+5 = 9 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 Con dos sumandos Con tres sumandos Con cuatro sumandos 1= 12 1+3=4= 22 1+3+5 = 9 = 32 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. 2. 3. 4. 5. 6. 7. 8. Demuestra que 1 +2n < 3n para cualquier entero positivo. Demuestra que si un conjunto A tiene n elementos, entonces P(A) tiene 2n elementos. Demuestra que 3n - 1 es divisible por 2 para todos los enteros positivos n. 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. 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? 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. Demuestra que cualquier conjunto de nmero naturales, con un nmero finito de elementos, contiene un nmero natural mximo. 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 Postres Gelatina Pia en almbar Suspiro limeo Suprema c/ papas Flan Cocada Pie de chirimoya Duraznos Postres Bebidas Helado Cheesecake Manzana al horno Arroz c/leche Budn Chicha morada Chifn de naranja Bebidas Arroz zambito Bebidas Bebidas Bebidas Limonada Chicha morada Chicha morada T Chicha morada Limonada Chicha morada Limonada Caf Limonada T T T Caf Caf Caf Cuntos mens diferentes puede ofrecer Jorge el da Lunes? y el da Martes? y durante la semana? ---------------------------------------------------------------------------------------------------------------------------------

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. i. j.

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? 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. 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. 2. 3. 4. 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? Cuntas placas de automvil de cinco smbolos pueden hacerse si las dos primeras son vocales y los tres ltimos son nmeros? Un examen de matemtica consta de diez preguntas de tipo verdadero (V) o falso (F) de cuntas maneras distintas puede ser resuelto? 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? 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?

6.

7. 8.

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? 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.

You might also like