Documentos de Académico
Documentos de Profesional
Documentos de Cultura
jeremy theler
Con algo de demora y pidiendo las disculpas del caso al editor y a los amigos lectores, llegamos a la prometida nota sobre pruebas y demostraciones. En el lenguaje coloquial suelen utilizarse estas dos palabras como sinnimos, y efectivamente uno puede encontrar en las publicaciones indistintamente . . . con esto demostramos que. . . o . . . con esto probamos que. . . . Y aunque a lo largo de aos plagados de arduos cursos de matemtica, rigurosos libros de texto e implacable profesores a la hora de corregir exmenes, se me ha ocurrido que una demostracin tiene ms que ver con lo estrictamente matemtico mientras que una prueba puede ser ms general, la verdad es que nalmente es lo mismo una prueba que una demostracin. Este pattico prolegmeno no es ms que una excusa para hablar un rato sobre las relaciones de causa y efecto que la ciencia trata de buscar, y sobre las falacias ms comunes que debemos evitar a la hora de razonar sobre un asunto. nados como Quinto teorema de Cauchy. . . , sino que todos se llaman Teorema de Cauchy referidos al clculo en el plano complejo. Continuamente estn siendo propuestos nuevos teoremas para agregar a la vasta literatura matemtica. ---------------------------------------
Teoremas
Un teorema no es ms que un simple enunciado que de ser posible debera dar informacin sobre propiedades tiles, cosas que no son denitivamente posibles o si tenemos mucha suerte simplicar un clculo. Por ejemplo, el teorema de Pitgoras que todos conocemos adems de atormentar a los estudiantes ms interesados en curvas que en tringulos facilita enormemente clculos geomtricos que a primera vista parecen muy complicados. Otros teoremas tal vez menos conocidos, como el de PoincarBendixon expresan que hay ciertas cosas que son son posibles, por lo que nos ahorran adentrarnos en caminos que no llevan a ningn lado. Por supuesto, existen otros teoremas que dicen que siempre es posible hacer algo aunque no digan cmo hacerlo, siendo un ejemplo claro el teorema fundamental de la aritmtica utilizado justamente ms adelante que arma que siempre es posible expresar a un nmero natural como producto de primos. Sobre teoremas que dan propiedades tiles podemos citar a todos los de Cauchy que para mejor confundir, ni siquiera estn orde-
cumple. Los ejemplos no demuestran nada. Ni un teorema, ni una teora econmica ni la contaminacin de una papelera. Nada.
esto debe ser necesariamente cierto es suponer que el teorema es falso e intentar lograr un contradiccin lgica insuperable. De esta forma, la suposicin de que el enunciado es falso resulta falsa y, por doble negacin, el teorema queda demostrado. En efecto, supongamos que existe una cierta cantidad nita de nmeros primos. Entonces podemos construir el producto de todos estos nmeros, que llamamos P. Si prestamos atencin al nmero N = P + 1, vemos que el resto de dividir N por cualquier nmero natural que siempre puede expresarse como productos de primos siempre es uno. Entonces N debe ser primo, puesto que slo es divisible por s mismo y por la unidad. Pero N no es primo ya que no es igual a ninguno de los nmeros que componen el producto P. Esto es un absurdo que proviene de suponer que existe una cantidad nita de nmeros primos, por lo que el teorema queda demostrado.
. . . no vale construir tringulos y medirlos para demostrar el teorema de los ngulos interiores.
---------------------------------------
Asumimos que si un lector se ha adentrado en la lectura hasta este punto, conoce perfectamente lo que un nmero primo es. A ciencia cierta nmero 6, mayo 2007