P. 1
UNA MÁQUINA PARA INFINITAS DEMOSTRACIONES

UNA MÁQUINA PARA INFINITAS DEMOSTRACIONES

|Views: 1.687|Likes:
Publicado porDAVIDPALOMINO
Una introducción lúdica al metodo de inducción matemática.
Una introducción lúdica al metodo de inducción matemática.

More info:

Published by: DAVIDPALOMINO on Dec 11, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/19/2012

pdf

text

original

U A MÁQUI A PARA I FI ITAS DEMOSTRACIO ES

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

ACCIDE TES I DUCTIVOS 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. 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-1

n= 2, 2 regiones

n=3, 4 regiones

n= 4 , 8 regiones
n-1

n= 5 , 16 regiones

Del análisis de estos casos inferimos que el número de regiones es 2 número de regiones es 31, y no 32 como se obtiene usando la fórmula.

. Sin embargo, si tomamos seis puntos el

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. 2. 3. 4. 5.

6.

7. 8. 9.

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 número impar de apretones de manos, es par. 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? 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. Demuestra que cualquier conjunto de número naturales, con un número finito de elementos, contiene un número natural máximo. Demuestra que la derivada de f(x)= xn es nxn-1 para cualquier entero positivo n. 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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->