Universidad de Sonora

Departamento de Fsica

Ensayo
Demostraci
on matem
atica

Mara Fernanda Moreno Lopez

19 de octubre de 2015

Demostracion matematica
El estudio de las matematicas se remonta a epocas antiqusimas. En estas epocas sabios filosofos aportaron, plasmando sus conocimientos e ideas, a futuras genereaciones para
ayudar al progreso intelectual de la humanidad. Si estos cimientos se hubieran dado tiempo
despues, los avances tecnologicos modernos estaran atrasados en tiempo considerable. En
cambio, de haberse dado antes, el avance y el material intelectual de ahora estara avanzado
a lmites incrompendidos.
Pitagoras fue un filosofo y matematico griego que construyo la base de la fundamentacion
matematica y, gracias a ella, la matematica moderna, por su famoso teorema del triangulo
rectangulo. Este teorema lo demostro en su tiempo con logica irrefutable y hasta ahora sigue
siendo una verdad absoluta.
Existe una diferencia entre la demostracion matematica y la cientfica. Aunque se cree
que la ciencia es precisa, esta se basa en la experimentacion, observacion y percepcion. Una
hipotesis no es comprobada hasta que se pone a prueba y se obtienen evidencias a su favor. La hipotesis no debe solo explicar un fenomeno fsico, si no que tambien debe hacer
predicciones. Cuando se tienen bastantes evidencias sin que ni una observacion haya puesto
en contradiccion la hipotesis, entonces se da como teorema valido. Pero esta validez no es
mas que una aproximacion a la realidad y en cualquier momento existe la posibilidad de que
alguna observacion posterior refute una teora que se daba por completamente cierta.
Una demostracion matematica se fundamenta de la logica; se parte de axiomas o afirmaciones que son ciertos por que ya se han demostrado con anterioridad. La idea se desarrolla
con argumentacion logica y progresiva, cuidando hasta el u
ltimo minucioso detalle para llegar finalmente a una conclusion. Si al final del proceso se encuentra que los axiomas son
correctos y que la logica es impecable, entonces la conclusion es innegablemente absoluta
hasta el fin de los tiempos.
Fermat fue uno de los principales matematicos de la primera mitad del siglo XVII, de
origen frances apodado como prncipe de los anficionados. Descubrio el calculo diferencial
antes que Newton y Leibniz entre otras aportaciones.
Hablando de Fermat, un problema matematico que estuvo sin demostrar por unos trecientos a
nos, desde 1637, fue el u
ltimo teorema de Fermat. Este hombre haba escrito en los
margenes de un libro de matematicas algunas curiosidades provenientes de sus pensamientos. En una de estas notas, se encuentra el teorema mas famoso de la historia, no por que
representara una verdad para alg
un hecho fsico; si no por que su demostracion haba sido
imposible por matematico tras matematico a lo largo de la historia desde que se formulo.
Este teorema a la vista se vea de una sencillez admirable y lo interesante es que tiene un
parecido con el teorema de Pitagoras.
Pitagoras dice el cuadrado de la hipotenusa de un triangulo rectangulo es igual a la suma de

los cuadrados de los catetos:

c2 = a2 + b2
Y Fermat dice: si n es un n
umero entero mayor que 2, entonces no existen n
umeros enteros
positivos tales que se cumpla la igualdad:
cn = an + bn
En 1995, el matematico Andrew Wiles, despues de 7 a
nos de arduo trabajo, logro lo
impensable: demostrar el u
ltimo teorema de Fermat. El mismo cuenta la lucha que fue conseguir ese exito. Cuando era peque
no, se encontro en un libro de matematicas la sencilla
expresion facil de entender aun para su corta edad, desde entonces el se fijo la meta de alg
un
da llegar a demostrala. La demostracion de este teorema se logro gracias a las ideas de un
numeroso grupo de matematicos que directa e indirectamente aportaron sus conocimientos
de tal forma que un solo hombre se dedico por a
nos para unificarlos y darles un sentido tal
que se lograra demostrar el famoso u
ltimo teorema de Fermat. Las matematicas utilizadas
para demostrar esta sencilla expresion son de un nivel tan complejo y moderno en su tiempo que eran impensables en epocas pasadas, tiempo en el cual muchos matematicos vieron
frustrados sus intentos por el fracaso.
A grandes rasgos, Wiles logro la desmotracion a partir de la conexion la conjetura
Taniyama-Shimura la cual establece que cada curva elptica puede asociarse unvocamente con un objeto matematico denominado forma modular. La relacion entre esta conjetura y
el u
ltimo teorema de Fermat fue demostrada por Ribet, del cual se hablara mas adelante. Si el
u
ltimo teorema de Fermat fuese falso, entonces existira una curva elptica de caractersticas
tan peculiares que no podra asociarse a ninguna forma modular y por lo tando la conjetura Taniyama-Shimura sera falsa. Por lo tanto, esta conjetura demuestra este famoso teorema.
As son las demostraciones matematicas, empezar por un camino que se ve logico, seguir hasta encontrarse en un callejon sin salida; regresar y darse cuenta que se debe de
empezar desde el principio y tomar una ruta diferente, ya que no se llego a lo que se pretenda. Esto no solo es propio del u
ltimo teorema de Fermat, si no que tambien es valido
para los ejercicios en los libros de estudio de los alumnos de carreras afines a las matematicas.
Para demostrar un teorema, se sigue una estructura secuencial comparable a la que se
sigue en el metodo cientfico, pero basada en la logica formal y rigurosa que caractersa a las
matematicas.
En el proceso de demostracion se parte de un axioma, se conoce as a una proposicion
cuya verdad es evidente y no requiere demostracion puesto que se justifica por s misma;
sobre ella se empiezan a contruir los postulados que se usan para la deduccion de teoremas
que seran demostrados o refutados por los mismos axiomas y postulados. Como ejemplo,
la geometra euclidiana tradicionalmente se presenta en formato axiomatico, en el que todas las declaraciones verdaderas derivan de un peque
no n
umero de axiomas; Uno de ellos
menciona la existencia de un infinito de puntos, infinitas rectas e infinos planos. Otro hace mencion a que el todo es igual a la suma de las partes, siendo as mayor a cada una de ellas.

El postulado es la proposicion fundamental de un sistema deductivo que no es evidente

por si mismo, pero no es posible llegar a demostrarse. Los postulados suelen ser las proposiciones iniciales de una ciencia, tanto que los axiomas son las proposiciones iniciales de
un sistema deductivo. Regresando con la geometra euclidiana, los postulados de Euclides
hacen referencia al tratado denominado Los elementos, escrito hacia el a
no 300 a.C en el cual
expona los conocimientos geometricos de la Grecia clasica deduciendolos a partir de cinco
postulados; el primero de ellos asegura que dos puntos cualesquiera determinan un segmento
de recta. Uno segundo, dice que un segmento de recta se puede extender indefinidamente en
una lnea recta. El tercero garantiza que se puede trazar una circunferencia dados un centro
y un radio cualquiera. El cuarto, todos los angulos rectos son iguales entre si. Por u
ltimo,
el postulado de las paralelas, por un punto exterior a una recta, se puede trazar una u
nica
paralela.
Teorema es la proposicion demostrable o refutable aplicando la logica formal, partiendo
de axiomas, postulados y de otros teoremas demostrados previamente. En todo teorema se
distinguen tres partes: hipotesis, que evoca a supuestos o datos conocidos; tesis, la proposicion que se quiere demostrar y la demostracion, la cual es el proceso en el que se utilizan
los conocimientos previos para mostrar la verdad o la falsedad de un teorema. Un teorema
no llega a ser tal hasta que finalmente se demuestra o se refuta, durante el lapso de tiempo
para que eso suceda, se le conoce como conjetura; mientras tanto, se supone cierta. Como
ejemplo de conjetura, se menciona al teorema de Ribet, antes conocido como conjetura epsilon, enunciado por Jean-Pierre Serre y demostrado por Ken Ribet. Su prueba fue un paso
significativo hacia la demostracion del u
ltimo teorema de Fermat.
Posterior a la demostracion corolario es la afirmacion logica que es consecuencia inmediata de un teorema, esta afirmacion puede ser demostrada usando las propiedades del teorema
previamente probado. Un caso de corolario es la afirmacion de que la suma de los angulos
interiores de un triangulo es igual a 180 a la cual le sigue la afirmacion: en un triangulo
rectangulo, la suma de los dos angulos contiguos a la hipotenusa es igual a 90 .
Existen muchos metodos de demostracion, entre los mas usuales esta la demostraci
on
vaca, que consiste en establecer que el valor verdadero de la hipotesis es falso. Un ejemplo
de esto puede ser la conjetura epsilon. Esta proposicion evocaba a que podra haber una
combinacion de n
umeros enteros positivos que fueran solucion a la expresion de Fermat, la
cual deca que no exista solucion alguna.
Otro metodo es la demostracion trivial que consiste en probar que el valor verdadero de
la conclusion es verdad. Esta, personalmente, la considero como mas intuitiva que la anterior,
puesto que lo primero que se llega a pensar es en encontrar un procedimieto que nos asegure
que la hipotesis es cierta.
Un tercer camino es la demostracion directa, esta asume que la hipotesis es verdad y
despues se hace uso de cualquier informacion disponible para probar que la conclusion es
correcta.

Bibliografa
Francisco Jose Gonzalez Gutierrez. Apuntes de logica matematica. Razonamientos y demostraciones, Universidad de Cadiz, Abril de 2005.
Luis Vega. Axioma, Universidad Nacional de educacion a distancia.
Felix Redondo Quintela, Roberto C. Redondo Melchor y M. Margarita Redondo Melchor.
Concepto de axioma, Universidad de Salamanca, WSP Group, marzo de 2009.
Pagina web. Definicion de postulado, axioma, teorema. Febrero de 2009, consultado el 15
de octubre de 2015. Enlace:
http://desafio05.blogia.com/2009/021402-definicion-de-postulado-axioma-teorema..php
Pagina web. Sobre conjeturas matematicas, octubre de 2010, consultado el 15 de octubre
de 2015. Enlace:
http://ies.rosachacel.colmenarviejo.educa.madrid.org/dpto-matematicas/?p=419
Pagina web. Corolario, diciembre de 2010, consultado el 15 de octubre de 2015. Enlace:
http://diccio-mates.blogspot.mx/2010/12/corolario.html
Pagina web. Euclides, Francisco Javier Garca Capitan, 2000. Consultado el 15 de octubre
de 2015. Enlace:
http://www.euclides.org/menu/elements_esp/definiciones.htm#AXIOMA
El enigma de Fermat