El Arte de las Demostraciones

La Ciencia tiene la fama de ser aburrida y fria, pero claro, solo por aquellos que no hacen Ciencia, la realidad es muy diferente, esta llena de emocion, de creatividad, de humanidad, uno de los elementos más creativos es la Teoria de Demostraciones.

Hacer una Demostracion, es un acto de creatividad, ciertamente que se basa en una fria teoria matematica, en sus axiomas y sus teoremas, pero es una construccion creativa, tan unica, que hasta se puede decir a que autor pertenece, no hay dos demostraciones iguales.

Como una obra de arte, una Demostracion puede analizarse desde el punto de vista estetico, hay Demostraciones elegantes y contundentes, la maestria del autor puede apreciarse desde los planteamientos y argumentaciones, un gran genio puede hacer una en un parrafo, o bien un alumno de primer semestre puede dar vueltas y vueltas y termina haciendo una cantinfleada.

Es un Arte que se aprende, usualmente practicando y viendo a los genios, ver al Dr Graef haciendo una Demostración era como ver pintar a Da Vinci, al termnar una demostración de Relatividad, daban ganas de levantarse y aplaudir, en ese sentido, cuando somos alumnos, somos simples aprendices del Arte de Demostrar.

Y tenemos grandes artistas a imitar, estudiamos con cuidado la gran Tecnica de Sears o Courant, podria decirse que aprendemos trazo a trazo, a tomar el cincel mental, a pulir el marmol de los Teoremas, esculpimos simples copias para aprender a esculpir, pero nuestras herramientas son la abstraccion y los conocimientos, cada semestre mejoramos, hasta llegar a donde nuestras habilidades nos permiten,

Autores: Mat Josefina Santiago Muñoz y Cap. Sergio Tellez USN (Ret)

Axioma

Un axioma se define como una verdad tan evidente, que no es necesario demostrarla, en cierto sentido son los ladrillos basicos sobre los que construimos toda la teoria, en particular los axiomas son simples, claros y evidentes, o bien se elaboran como un acuerdo entre los diferentes miembros de la comunidad.

Esto es, primero se establecen una serie de definiciones basicas, comunes a todos, con una nomenclatura comun, de tal forma que todos los miembros de la comunidad matematica puedan comunicarse entre si, comprender lo que estan haciendo y basar sus construcciones teoricas en conocimiento comun.

En cierto sentido, utilizar los axiomas mas utiles a lo largo de una demostracion es un arte, y esta relacionado a poder comprender muy bien lo que estamos haciendo para saber en que momento nos es util algun axioma, como cuando se esta ensamblando un modelo para armar y decides que es momento de agregar o pintar alguna pieza.

Uno de los errores mas comunes en el aprendizaje de la Teoria de Demostraciones es que se puede cometer el error de intentar demostrar un axioma, por ejemplo ax0=0, como no hay argumentos mas basicos para hacerlo, suele caerse en una Cantinfleada, para intentar demostrarlo.

Un Axioma no siempre es una Definicion, de esta hablare mas tarde.

Autor: Sergio Tellez