Teoremas y demostraciones

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

. . . si me invento un enunciado rtmicamente sincopado claramente estoy lejos de inventar un teorema.

--------------------------------------Pero sucede que si me invento un enunciado rtmicamente sincopado del orden de Los ngulos interiores de un tringulo suman noventa grados claramente estoy lejos de inventar un teorema. Lo primero que hay que decir es que ese enunciado es falso, pues todos sabemos que los ngulos interiores de un tringulo suman ciento ochenta grados1 . En efecto, haga el escptico lector el ejercicio de construir un tringulo arbitrario y vericar que sus ngulos no suman noventa grados. De esta manera, con slo un ejemplo que no cumple el enunciado que invent hemos demostrado que es falso. Pero qu pasa con el que arma que suman ciento ochenta? Sin tener en cuenta una discusin que quizs realicemos en futuros artculos sobre si la medicin arroja como resultado 178, 180 181 grados, el hecho de que el enunciado sea verdadero para un tringulo dado no nos da el derecho de armar que vale para cualquier tringulo. De este ltimo prrafo concluimos dos cosas. La primera es que demostrar que algo es falso es mucho ms fcil que demostrar que algo es verdadero. Esto no debera asustarnos si tenemos en cuenta que de todas las cosas que un objeto matemtico o no puede ser, ciertamente es una sola, mientras que no es muchas otras cosas. Mostrar que el cielo no es rojo o verde es ms fcil que mostrar que es azul, como dice la vieja copla, si es que en verdad es azul. La segunda y ms importante es que no podemos demostrar un teorema slo mostrando ejemplos donde el enunciado se
1

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-

Suman ciento ochenta grados? 1

A ciencia cierta nmero 6, mayo 2007

cumple. Los ejemplos no demuestran nada. Ni un teorema, ni una teora econmica ni la contaminacin de una papelera. Nada.

Las demostraciones formales

Hemos dicho que no vale construir tringulos y medirlos para demostrar el teorema de los ngulos interiores. Cmo podemos entonces estar seguros de que es verdad? La respuesta es que es posible razonar lgica y matemticamente a partir de unos postulados que llamaremos hiptesis y concluir que necesariamente el enunciado debe ser verdadero. Esto es, si nos creemos que los postulados que no se pueden demostrar son ciertos, entonces el teorema es verdadero. En el caso de los ngulos como tambin en el teorema de Pitgoras necesitamos de los cinco postulados de Euclides sobre la geometra plana. Otra vez, si nos creemos estas cinco verdades a priori, entonces es posible demostrar que todos los tringulos tienen esta interesante propiedad. Sin embargo, el hecho de que los postulados llamados tambin axiomas no puedan ser demostrados habr despertado las sospechas de los revoltosos del fondo. Efectivamente, si uno parte de otro conjunto de axiomas y trabaja con una geometra diferente a la euclidiana por ejemplo con geometra hiperblica el enunciado deja de ser verdadero, y los ngulos interiores ya no suman uno plano. As de simple y as de frustrante. ---------------------------------------

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.

Tarea para el hogar

Adems de la ya propuesta construccin de tringulos arbitrarios, quisiera proponer dos pequeas tareas ms para ejercitar el razonamiento lgico en los amables lectores de esta columna. La primera consiste en demostrar por reduccin al absurdo que la raz cuadrada de dos es un nmero irracional, esto es, que no puede ser escrito como el cociente de dos nmeros naturales. Ayuda: suponer que s puede ser escrito como un cociente y concluir que uno de los dos nmeros debe ser par e impar a la vez. La segunda tarea est ms relacionada con la investigacin. Se trata de buscar razonamientos falaces la televisin puede ser un recurso muy til que el sujeto que los realiza confunda con una demostracin, y tratar de decidir si el error se debe a intereses ocultos o a genuina estupidez. A modo de ejemplo, recuerdo que la demostracin de que el agua en Ezeiza contena ms uranio que los niveles permitidos por organizaciones internacionales consista en un periodista cmara a espalda y micrfono en mano que le preguntaba a un chico de seis aos As que hay uranio en el agua?. Claro, quin puede ser tan ignorante y remitirse a los resultados de los anlisis qumicos realizados en diversos laboratorios del pas y del extranjero cuando tenemos la respuesta en la caja boba. Espero que me cuenten los resultados de ambos ejercicios por correo elctronico. Nos vemos en la prxima.

. . . no vale construir tringulos y medirlos para demostrar el teorema de los ngulos interiores.
---------------------------------------

Los innitos primos

Para ilustrar este cuento de las demostraciones, prestemos atencin al teorema de los innitos nmeros primos y a su demostracin formal por el notable mtodo de reduccin al absurdo, propuesta original y casualmente por el mismo Euclides. El lacnico enunciado dice: Existen innitos nmeros primos2 . Una forma sorprendente de demostrar que
2

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