Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
5Activity
0 of .
Results for:
No results containing your search query
P. 1
UNA MÁQUINA PARA INFINITAS DEMOSTRACIONES

UNA MÁQUINA PARA INFINITAS DEMOSTRACIONES

Ratings: (0)|Views: 1,637 |Likes:
Published by DAVIDPALOMINO
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 AlvaConsultor en Educación Matemáticadapalomin @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 estaobservación infiere que todas las sustancias tienen dicho comportamiento, está haciendo uso del proceso deinducción, sin embargo el análisis de algunos casos no permite saber a ciencia cierta si la conjetura es válida en todoslos 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 lainvención, en la creación de las propiedades matemáticas. Cuando un matemático encuentra ciertos patrones yregularidades 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 =1Con dos sumandos 1+3 = 4Con tres sumandos 1+3+5 = 9Con cuatro sumandos 1+3+5+7=16Sucede que en cada caso se obtienen números cuadrados perfectos, además tenemos que cada cuadrado está enrelación con el número de sumandos, observemos esto.Con un sumando 1= 1
2
 Con dos sumandos 1+3=4= 2
2
Con tres sumandos 1+3+5 = 9 = 3
2
 Con cuatro sumandos 1+3+5+7= 16 = 4
2
El alumno ahora utiliza el razonamiento inductivo para elaborar una conjetura sobre la suma de los n primerosimpares: 1+3+5+7+...+ (2n-1) = n
2
, 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 queel 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 conjuntode 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ónmatemá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áticalogrando demostrar con su ayuda numerosas propiedades numéricas. El método goza hoy de gran prestigio entre losmatemáticos, y ha servido para demostrar teoremas en geometría, en teoría de grafos, teoría de números y otroscampos de la matemática.
 
 
EL EFECTO DOMIÓ
Veamos cuáles son las ideas tras el método, aplicándolo a lademostración de la conjetura que nuestro alumno elaboró.Supongamos que hemos colocado una hilera infinita dedominós, de pie, de modo que la distancia entra cada uno deellos es menor que la longitud de una ficha. Alguien empujala primera ficha y cae. Conclusión: todas las fichas caerán.Este modelo físico nos muestra las ideas básicas del métodode 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 (digamosk), 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. Veamoscómo trabaja, encendemos la máquina verificando que P(1) es verdadero. A continuación introducimos P(1) en lamá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) esverdadero( en el paso anterior) Así al diseñar la máquina podemos suponer que P(k) es verdadero, y nuestro trabajoconsiste en asegurar que P(k+1) también sea verdadero. No olvidemos que para empezar el proceso, debemosverificar 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ónmatemática consiste en dos pasos: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) = n
2
, para todo n entero positivo.Verifiquemos la validez de P(1), evidentemente 1 = 1
2
 Supongamos ahora que la proposición se verifica para un entero positivo 1+3+5+7+...+(2k-1) = k 
2
 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) = k 
2
+ 2(k+1)-11+3+5+7+...+(2k-1) + ( 2(k+1)-1) = k 
2
+ 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 deducimosque 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 alnivel de teorema o propiedad.
1.
 
Demostrar la validez del enunciado P(1).2.
 
Suponiendo que el enunciado P(k) es verdadero, demostrar que el enunciadoP(k+1) es verdadero.
 
 
ACCIDETES IDUCTIVOS
Sería errado que el alumno plantee la validez del enunciado sólo porque verificó algunos casos particulares, sinembargo la historia de la matemática nos cuenta algunos casos de errores famosos del uso inadecuado del procesoinductivo, por ejemplo consideremos el trinomio n
2
+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ó queal sustituir n por cualquier entero positivo se obtendría un número primo, pero posteriormente observó que con n=40, obtenemos 40
2
+ 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ó quecualquiera que sea el entero positivo n el número n
3
-n es divisible por 3, el número n
5
–n es divisible por 5 y elnúmero n
7
– n es divisible por 7. De aquí supuso que para todo k impar y cualquier n natural el número n
-n esdivisible por k, pero pronto observó que 2
9
–2 = 510 no es divisible por 9.Veamos otro ejemplo de carácter muy instructivo. Si evaluamos 991n
2
+ 1 para n= 1,2,3.. . no obtendremos elcuadrado de un número por mucho tiempo que dediquemos a ello. Sin embargo, sería erróneo deducir de aquí queningún número de este tipo es un cuadrado. Usando un programa de computo podemos encontrar entre los númerosde tipo 991n
2
+ 1 cuadrados perfectos; el valor mínimo de n para el cual 991n
2
+ 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+1Si sumamos uno a ambos miembros obtenemos k+1 = k+2De 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 esevidentemente 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
n-1
 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 regionesDel análisis de estos casos inferimos que el número de regiones es 2
n-1
. Sin embargo, si tomamos seis puntos elnú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 muyinstructivos. A continuación te proponemos unos ejercicios para entrenarte en su utilización.

Activity (5)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Tania Aragon liked this
Eder José liked this
Mafaldo liked this

You're Reading a Free Preview

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