12 variaciones sobre un mismo tema o una demostracin de cmo demostrar: o o Francisco Rivero

Resumen Se da en este art culo, de carcter educativo, un conjunto de doce demostraciones a sobre una misma proposicin. Se comparan las distintas maneras de demostrar desde la o perspectiva de la lgica y los mtodos utilizados. Tambin se incluyen algunas reexiones o e e de tipo histrico sobre la evolucin del pensamiento matemtico, para que puedan servir o o a de motivacin para los docentes. o

Introduccin o
La Matemtica trata acerca de las operaciones consideradas en s mismas, a independientemente de los distintos objetos a los que puedan aplicarse. Boole. En este art culo se discute acerca de las dicultades que presentan los estudiantes de los cursos de lgebra a nivel universitario, para comprender el proceso de demostracin a o en matemticas. Una alternativa posible para remediar esto ser dar ms de una prueba a a a para una misma proposicin. Esto amerita un esfuerzo mayor por parte de los docentes, o pero el proceso de aprendizaje se benecia considerablemente, al disponer el estudiante de informacin adicional sobre un tema. o Se analiza la matemtica como un hecho comunicacional, en donde la claridad y la esttica a e en la presentacin de los resultados, adquiere relevancia. Se da una panormica de las o a tcnicas de demostracin ms conocidas, mediante 12 pruebas de un ejemplo sencillo de e o a proposicin sobre los nmeros enteros. Cada demostracin se puede interpretar como una o u o pequea muestra del estilo de trabajo de los matemticos en las distintas pocas. n a e

Para qu sirven las demostraciones? e

Ningn resultado en matemticas se puede considerar vlido, hasta tanto no sea deu a a mostrado de manera formal. La solucin de un problema debe pasar a travs del tamiz o e indefectible de la lgica, si se quiere elevar a la categor de un hecho verdadero. Una o a pequea falla o argumento errneo en el proceso de demostracin anula toda posibilidad n o o de xito en el paso de las hiptesis hacia la tesis. e o Los matemticos son muy metdicos, anal a o ticos e inexibles en cuanto a la vericacin o de los resultados. La formalidad es un ingrediente fundamental en el trabajo. Todo debe estar sucientemente justicado. Esto quizs sea motivo de incomprensin y rechazo haa o cia la matemtica por parte de las personas ajenas a esta ciencia. Porqu tanto celo en a e cuanto al formalismo? Qu se gana con esta prctica tan meticulosa? En la vida real e a podemos emitir juicios basados en nuestra experiencia que pueden ser o no conrmados por otras personas: Esta fruta est sabrosa. La joven es bella. El tiempo est nublado. a a 1

Este tipo de juicios no requiere de pruebas formales. En matemticas se trata justamente de buscar y probar verdades eternas aceptadas por a todos. La bsqueda de la verdad es parte esencial de esta ciencia. Una ciencia de lo u verdadero en el sentido ms amplio de la palabra. Qu cosa ms hermosa es descubrir a e a la verdad ! Cuando se descubre una frmula se siente un placer esttico semejante al del o e msico al terminar de componer una pieza musical o al del pintor cuando logra plasmar u los colores de un paisaje sobre el lienzo. Las demostraciones son importantes para garantizar la validez de los teoremas de la matemtica, aparte del placer esttico que nos proporcionan. Al quedar demostrada una a e frmula, ella se convierte en una herramienta conable suseptible de aplicaciones en otras o ciencias. Pensemos en lo que suceder si los ingenieros o arquitectos usarn frmulas a a o errneas en sus proyectos. Los edicios se derrumbar o an, los trenes no podr moverse, an los aviones no volar an,...etc. Otro aspecto an ms importante desde el punto de vista terico es que, dentro del proceso u a o de la demostracin, surgen nuevas ideas que enriquecen a la matemtica. o a

Tautolog as
La lgica es la forma correcta de razonar en matemticas para demostrar proposiciones. o a Una proposicin es un juicio en donde se arma o se niega alguna propiedad acerca de o algo. Por ejemplo cuando decimos 6 es un nmero par. Estamos armando que el 6 tiene u la propiedad de ser par o que es un mltiplo de 2. Tambin podemos decir que 6 no u e es par. Este tambin es un juicio en lgica, aunque sea falso. Un principio general que e o debe respetarse es el del Tercer excluido el cual arma lo siguiente: Toda proposicin o o bien es verdadera o bien es falsa. Las proposiciones del tipo Hoy es un d bonito, no a pertenecen al campo de la lgica pues no se puede determinar su valor de verdad. o En lgica usamos variables para escribir en forma simblica las proposiciones. Por ejemplo o o la proposicin Todo gato es un mam o fero, se simboliza as P Q donde P representa la armacin es un gato, y Q es un mam o fero. Diremos que P Q es una proposicin simblica . Esta puede ser verdadera o falsa, o o dependiendo de las sustituciones que uno haga para los s mbolos P y Q . Por ejemplo , si hacemos P = Gatos y Q = aves. La proposicin dir Los gatos son aves , lo cual o a es falso. El s mbolo P Q signica que se tienen las proposiciones P y Q simultneamente. El a s mbolo P signica la negacin de la proposicin P . o o Una Tautolog es una proposicin simblica, la cual es verdadera en todos los casos a o o posibles de sustitucin de las variables. Por ejemplo [P (P Q)] Q es una o proposicin siempre verdadera, para cualquier valor de P y Q y por lo tanto es una tauo tolog Esta tautolog se llama La regla del Modus Ponens. a. a La negacin de una tautolog es una Contradiccin, es decir una proposicin que siemo a o o pre resulta falsa. Por ejemplo la proposicin simblica P P es una contradiccin pues o o o no puede ser la proposicin P falsa y verdadera simultneamente. o a

Demostraciones a la carta
Algunos teoremas famosos necesitaron cientos de aos para ser demostrados formalmente, n como por ejemplo el Teorema Fundamental del Algebra, el cual establece que todo polinomio con coecientes complejos P (x) = an xn + an1 xn1 + + a1 x + a0 posee una ra compleja. El teorema fue propuesto por vez primera por Albert Girard z en 1629. Posteriormente DAlembert di una demostracin incompleta en 1746. En 1801 o o Carl Friedrich Gauss di una prueba absolutamente rigurosa del mismo en su clebre obra o e Disquisitiones arithmeticae. En el proceso de demostracin del mismo se logr entender o o la naturaleza de los nmeros complejos, como puntos del plano y se gener una nueva u o rea de la matemtica: La Topolog a a a. Existen al menos media docena de pruebas de este teorema, todas ellas de naturaleza distinta. El hecho de contar con una demostracin no impidi que se buscaran otras. o o El mismo Gauss di cuatro pruebas diferentes. Desde entonces han aparecido nuevas o demostraciones usando distintas herramientas. En esto vemos que la matemtica es una a actividad muy humana, susceptible de ser inuenciada por los gustos y tendencias de la poca. e Las tcnicas de demostracin son bsicamente : Directa, indirecta, desmostracin por e o a o el absurdo e induccin. Sin embargo, esto no agota todas las posibilidades. Hay mtodos o e constructivos que resuelven los problemas dando expl tamente la solucin. Tambin exo e isten mtodos poco usados como el descenso al innito. Hoy en d con el avance de las e a, computadoras se pueden desarrollar algoritmos para probar proposiciones. Otra forma de probar un teorema o resolver un problema P consiste en plantear un problema equivalente en otro campo de la matemtica, distinto al lugar donde se originaron. a Llamemos a este otro problema P. Entonces si resolvemos P , nos regresamos de nuevo al contexto original y nuestro problema P quedar resuelto. Podemos plantearnos un a problema de tipo geomtrico, como por ejemplo hallar la interseccin de una parbola e o a con una recta y luego trasladarlo al campo del lgebra, en donde el mismo se transforma a en buscar las soluciones de una ecuacin de segundo grado. Este mtodo de traslacin o e o horizontal ha dado grandes resultados en la matemtica. a Tambin es factible probar un resultado P, mediante una generalizacin P. Esto es, elee o vando el nivel de abstraccin, pero dentro del mismo campo de accin. Se puede llamar o o a esta tcnica traslacin vertical. e o Como vemos entonces, hay todo un men de posibilidades para dar una demostracin. u o Mezclando un poco de ingenio con el conocimiento de las tcnicas clsicas podremos hallar e a nuevas demostraciones. Para ilustrar todo lo dicho hasta ahora, proponemos un problema elemental de aritme tica de nmeros enteros y para el cual daremos 12 demostraciones diferentes. El problema u es el siguiente:

Problema: Demostrar que el producto de tres enteros consecutivos n(n + 1)(n + 2) es divisible entre 6.

Comencemos, pues, a dar un recorrido por las distintas variantes de pruebas. Aqu las hay para todos los gustos. Espero que sean de su agrado.

Prueba 1. Eletica. a

Reduccin al absurdo. o

Profundamente

El mtodo de demostracin por reduccin al absurdo ha sido uno de los ms usados por e o o a los matemticos de todas las pocas. Apareci en el siglo V antes de Cristo en la obra del a e o matemtico y lsofo griego Zenn de Elea. Zenn us este tipo de razonamiento para a o o o o probar la tesis de su maestro Parmnides de que era imposible demostrar el movimiento de e los cuerpos. Es famosa su paradoja de Aquiles y la Tortuga en donde demuestra mediante un razonamiento muy lgico que Aquiles, el ms rpido de todos los hombres, nunca puede o a a alcanzar a la Tortuga, cuando le da una pequea ventaja en la carrera. n La reduccin al absurdo es un arma poderosa que puede derribar a un gigante con un o pequeo toque dado en el lugar preciso. Consiste en negar la tesis y trabajar en forma n lgico - deductiva hasta llegar a una contradiccin. Una contradiccin es es un juicio o o o donde se arma la veracidad de una cierta proposicin P y su negacin . o o A veces es difcil intuir desde el inicio de la prueba a qu tipo de contradiccin llegaremos. e o Las pruebas al absurdo son bastante cortas y espectaculares en la mayor de los casos. a Es justo reconocer que su carcter existencial, las hace dif a ciles de entender para los que se inician en las matemticas. Son como los actos de magia en donde aparecen cosas de a la manera ms inesperada para llenar de asombro a la audiencia. a Las pruebas al absurdo se limitan solamente a constatar la veracidad o falsedad de la tesis, sin aportar elementos de tipo constructivo que nos permitan llegar a la solucin o de los problemas. Una prueba al absurdo es como un cajero de un banco que nos da el saldo de nuestra cuenta de ahorros, pero nunca nos entrega el dinero. Son denitivamente booleanas : slo saben responder con un un s o un no ante una pregunta. Ellas no aportan o mtodos ni algoritmos de solucin. Por ejemplo, la famosa demostracin de Euclides e o o sobre la innidad de los nmeros primos, aunque es muy inteligente, incre u blemente corta y elegante, no dice nada sobre cmo se obtienen los nmeros primos. o u Para simplicar los clculos, de ahora en adelante usaremos la notacin a o A(n) = n(n + 1)(n + 2) Probaremos una proposicin un poco ms dbil que la original. o a e Proposicin Existen innitos A(n) que son divisibles entre 6. o La demostracin la iniciamos negando lo que queremos probar. Cul es la negacin de la o a o 4 (1)

tesis ? Negar la tesis signica aceptar que slo un nmero nito de los A(n) son divisibles o u entre 6. Muy bien, si aceptamos esto, entonces en ese conjunto o lista nita de nmeros u enteros, que llamaremos L, debe haber un elemento mximo. Digamos que A(k) es el a mximo de ellos, para algn k entero positivo. a u Consideremos el nmero siguiente: m = A(k) + 3(k + 1)(k + 2) Claramente este nmero u u es divisible entre 6, pues tanto A(k) como 3(k + 1)(k + 2) lo son ( es un hecho muy fcil de a vericar que si dos nmeros son divisibles entre 6, su suma tambin los es). Sin embargo u e A(k + 1) = (k + 1)(k + 2)(k + 3) = k(k + 1)(k + 2) + 3((k + 1)(k + 2 = A(k) + 3(k + 1)(k + 2) Hemos conseguido otro nmero m en la lista L y que adems, es mayor que el mximo! u a a Esto, por supuesto, es una contradiccin. La contradiccin viene de suponer la nitud de o o la lista L. Por lo tanto vale lo contrario, es decir, la lista L es innita.

Prueba 2. Demostracin por negacin o o

Una demostracin por negacin, o mtodo indirecto como tambin se le llama, consiste o o e e en negar la tesis para concluir la negacin de la hiptesis. Es claro que al hacer esto o o estaramos probando que de la hiptesis se deriva la tesis. Una manera inversa de razo o namiento y por ello su nombre de mtodo indirecto. Por ejemplo cuando decimos e Maana no es sbado, puesto que hoy no es viernes. n a es equivalente a decir Si hoy es viernes entonces maana ser sbado. n a a Este tipo de pruebas se basa en la tautolog [(P Q) Q] P , llamada Modus a Tollens. Vamos a demostrar la proposicin negativa de la original. Recordemos que al negar un o cuanticador universal, se obtiene un cuanticador existencial. Por ejemplo la negacin o de la proposicin Todos los hombres son valientes es Existe al menos un hombre o cobarde. Habiendo aclarado este punto, pasemos a expresar, la negacin de la tesis: A(n) no o es divisible entre 6 para algn n u Qu ocurre entonces si A(n) no es divisible entre 6? Pues que a partir de este n, todos los e dems trminos en la sucesin innita A(n + 1), A(n + 2), . . . tampoco van a ser divisibles a e o entre 6. En efecto, usando la relacin de recurrencia ya deducida en el apartado anterior, o tenemos que A(n + 1) = A(n) + 3(n + 1)(n + 2) (2) De aqu se deduce lo siguiente: si n es un entero, entonces A(n+1) tampoco es divisible entre 6. Podemos usar el mismo argumento, tantas veces como queramos para concluir que en la sucesin o A(n + 1), A(n + 2), . . .

ningn trmino es divisible entre 6. Luego la lista L de los A(i) divisibles entre 6 ser u e a nita, cosa que es completamente falsa. Por lo tanto algo anda mal en nuestro razonamiento basado en la ecuacin ??, bajo la asuncin de que A(n) no es divisible entre 6. o o Luego n no es un entero. Observacin El paso al innito dado en esta prueba no est formalmente justicado o a del todo. Esperemos llegar al siglo XX, con el mtodo de induccin, para darle el matiz e o de formalidad que esta prueba requiere.

Prueba 3. Visualizacin. A la manera china o

Los matemticos saben muy bien, desde hace varios siglos, que los dibujos, grcos y dia a agramas son smbolos que encierran mucho signicado. El lenguaje visual es facilmente percibido y asimilado por la mente humana, mediante un proceso cognitivo distinto a la lectura tradicional de una secuencia de palabras y s mbolos. Es posible entonces hablar de demostraciones visuales, basadas en dibujos que ponen en clara evidencia alguna propiedad de carcter general. Estas pruebas tienen la ventaja de ser bastante pedaggicas, pues pera o miten ir de lo concreto hacia lo abstracto. Para los matemticos del lejano oriente la comunicacin de ideas mediante dibujos era a o algo comunmente aceptado. La matemtica china se desarroll muy temprano y alcanz a o o resultados sorprendentes para su poca, anticipndose en algunos casos a la matemtica e a a de sus colegas de occidente. Uno de los textos ms conocidos de Chou Pei contiene dea mostraciones visuales del teorema de geometr plana sobre los tringulos rectngulos, a a a conocido en occidente como el Teorema de Pitgoras. a Hoy en da la visualizacin ha cobrado nueva fuerza en la matemtica debido al aumento o a de las capacidades grcas de los computadores. Gracias a estos avances tecnolgicos tena o emos en las pantallas imgenes y animaciones ms n a a tidas, de alta resolucin, que pero miten representar funciones, grcas, curvas, supercies,...etc. En el pasado los grandes a matemticos no disponan de estos recursos y los clculos se hac a mano. Los procesos a a an para ejecutar los algoritmos eran sumamanete lentos. Si bien la visualizacin de imgenes es una valiosa herramienta para el matemtico, su o a a valor como conocimiento formal est todava en duda. El problema es que los dibujos cona tienen mucha informacin y pueden interpretados de mil maneras distintas. Solamente o se aceptan dibujos muy sencillos en donde no se presenten ambiguedades a la hora de interpretar la informacin. o Seguidamente daremos algunas demostraciones visuales muy convincentes sobre los nmeros enteros, a manera de prembulo, antes de pasar a ver la demostracin de nuestra u a o proposicin sobre los nmeros A(n). o u Supondremos que a, b y c son nmeros enteros positivos y que el producto de dos enteros u ab es equivalente al rea de un rectngulo cuyos lados miden a y b. Con esta consideracin a a o se pueden aceptar las dos pruebas visuales que damos abajo. La primera demuestra la propiedad distributiva para la multiplicacin. La segunda demuestra una frmula para o o elevar al cuadrado una suma.

Figure 1: Dos frmulas o A continuacin damos una demostracin visual de: o o Lema 1 Todo nmero entero positivo n se expresa de una y slo una de las tres maneras: u o n = 3k n = 3k +1. n = 3k +2. En el diagrama de abajo el nmero n se representa mediante n cuadraditos. Los cuadrados u se colocan ordenadamente en las de tres elementos que se van apilando unas sobre otras, comenzando desde el fondo. El dibujo nos muestra las tres posibilidades para n.

Figure 2: Tres posibilidades para n Usando un razonamiento muy similar al anterior se puede probar lo siguiente: Lema 2 Todo nmero entero positivo es par o su sucesor es par. u

Finalmente estamos en condiciones de demostrar nuestra proposicin. Es cierto que o hemos recorrido un camino algo largo, pero vali la pena, pues, nos permiti estudiar o o mtodos de demostracin alternativos. e o Proposicin Si n es un entero positivo A(n) = n(n + 1)(n + 2) es divisible entre 6. o Demostracin Por el lema 2, n n + 1 es par, luego A(n) es divisible entre 2. Por el o o lema 3, alguno de los factores n, n + 1 n + 2 es divisible entre 3. Por lo tanto, A(n) es o divisible entre 6.

Usaremos un razonamiento basado en lo visual para probar la siguiente proposicin o relativa a los nmeros enteros: u Proposicin Si n es cualquier entero positivo, entonces se satisface la relacin: o o n(n + 1) (3) 2 DemostracinPara ver la demostracin notemos que podemos ordenar dos sumas como o o la del lado derecho, dentro de un rectngulo de lados n y n+1 . Ver la gura: a 1 + 2 + 3 + 4 + ... + n =

Figure 3: suma de los primeros n nmeros u De acuerdo a la gura tendremos que 2T (n) = n(n+1), de donde se obtiene la frmula o 3. Con esto termina la demostracin. o

Prueba 4 . Geomtrica. Maravillosamente Pitagrica e o

Para los pitagricos los nmeros tenan propiedades mgicas y religiosas. El nmero uno o u a u se representaba como un punto en el espacio, el dos como dos puntos,... y as sucesiva mente. Cada nmero representaba una cierta gura del plano. Entre los ms estudiados u a estaban los nmeros triangulares. Un nmero triangular es aquel cuya representacin u u o geomtrica viene dada por un tringulo equiltero. El primer nmero triangular es el 1 y e a a u se denota por T(1), el segundo es T(2) = 3, el tercero T(3) = 6,...etc. En el dibujo de abajo representamos los primeros 5. 8

Figure 4: Nmeros Triangulares u Los nmeros triangulares se construyen siguiendo la sencilla relacin o frmula recuru o o siva: T (n) = n + T (n 1) (4) Podemos entonces generar mediante esta frmula la sucesin de los nmeros triangulares: o o u 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, ... Existe otra relacin para los nmeros triangulares, que se deriva de la frmula ?? o u o T (n) = 1 + 2 + 3 + . . . + n (5)

Luego, usamos la relacin ?? para obtener otra frmula ms que nos da los nmeros o o a u triangulares n(n + 1) T (n) = (6) 2 Podemos observar, en la sucesin de los nmeros triangulares, que muchos de ellos o u son divisibles entre 3. Esto se deduce directamente de la frmula ??. En efecto, si n es o divisible entre 3, entonces n es de la forma n = 3.k. Luego T (n) = 3k(3k + 1) 2

Como 2 y 3 son nmeros primos distintos, al simplicar la fraccin, el 3 permanece en el u o numerador. Por lo tanto T (n) es mltiplo de 3. u Otra observacin importante es la siguiente: no slo T (n) es divisible entre 3, para n o o mltiplo de 3, sino que, Tambin T (n 1) lo es ! Luego si T (n) es un nmero triangular, u e u entonces se puede armar que l o su sucesor en la lista es mltiplo de 3. Por lo tanto e u concluimos que 2/3 de todos los nmeros triangulares son mliplos de 3. u u

Qu relacin existe entre los nmeros triangulares y los nmeros de la forma A(n) = e o u u n(n + 1)(n + 2) ? La relacin entre estos nmeros y los triangulares viene dada por la o u frmula o 4T (n)T (n + 1) = (7) A(n) = (n + 1)

la cual es fcil de probar. Y por lo tanto, podemos hacer a A(n) = 2nT(n+1), 2T(n)(n+2), o bien ; . (8)

Con esto se demuestra que A(n) es divisible entre 6, pues 2T (n) 2T (n + 1), lo es. o

Prueba 5. Algor tmica. Denitivamente rabe a

El mtodo de demostracin algortmico es esencialmente constructivo. Se da un mtodo e o e para llegar a la solucin paso a paso. Es un mtodo enriquecedor, pues aporta tcnicas o e e de clculo para aplicar la matemtica en situaciones reales. Fue muy usado por los a a matemticos rabes de la edad media. a a La palabra algoritmo se deriva del nombre Al-Kwarizmi, uno de los grandes hombres que contribuyeron al desarrollo del lgebra. Los rabes descubrieron algoritmos para todas a a las operacones aritmticas en el sistema de numeracin en base 10. La manera como e o sumamos, multiplicamos y dividimos se debe a ellos. Usando una tabla para la sucesin de los A(n) podemos sacar muchas conclusiones. o n 1 2 3 4 5 6 7 A(n) 6 24 60 120 210 336 504 6.bn 6.1 6.4 6.10 6.20 6.35 6.56 6. 84 bn 1 4 10 20 35 56 84 bn+1 bn 3 6 10 15 21 28

En primer lugar todos los A(n) son mltiplos de 6. En segundo lugar, en la ultima u columna aparecen unos trminos que nos son familiares. Son los nmeros triangulares e u T(n)! Ellos cumplen la relacin: o bn+1 bn = T (n) Ahora bien, podemos hacer bn+1 = [bn+1 bn ] + [bn bn1 ] + . . . [b2 b1 ] + b1 = T (n) + T (n 1) + . . . T (2) + T (1) y por lo tanto hemos descubierto una relacin maravillosa entre nuestros nmeros A(n) o u y los nmeros triangulares, que se expresa: u T (1) + T (2) + T (3) + . . . + T (n) = n(n + 1)(n + 2) = A(n)/6. 6 (9)

Como una bonicacin adicional hemos probado, de manera informal, que A(n) es divisible o entre 6, para todo n entero. 10

Prueba 6. Constructiva - Poderosamente Newtoniana.

Las pruebas de tipo constructivo son muy apetecidas por la posibilidad de obtener algoritmos de clculo. Son pruebas en donde el ingenio y la habilidad en la manipulacin de los a o s mbolos nos llevan directamente hacia la solucin de los problemas planteados. Ellas nos o dan expl citamente las propiedades que buscamos en los objetos. Muchos matemticos de los siglos XVII y XVIII como Newton, Leibniz, Euler y Laa grange usaron tcnicas constructivas en sus teor e as. Son pruebas contundentes en donde se usan los mtodos poderosos del clculo diferencial e integral. Newton demostr siempre e a o un buen manejo de las sumatorias y con ello derivaba frmulas sobre funciones y series. o Las pruebas constructivas generan algoritmos de clculo que, al ser implementados en el a computador, nos dan una idea ms clara de los procesos matemticos. Clculos que antes a a a eran muy lentos y dif ciles de realizar.

Para cada n entero positivo, denamos el entero an = n(n + 1)(n + 2) Queremos modicar esta expresin de tal forma que sea evidente su divisibilidad entre 6. o Esto es, necesitamos una frmula que nos de directamente una condicin del tipo an = 6bn o o donde bn es otro entero. Notemos en primer lugar que an+1 = (n + 1)(n + 2)(n + 3) = an + 3(n + 1)(n + 2) de donde an+1 an = 3(n + 1)(n + 2) Luego
n

an+1 6 =
i=1 n

ai+1 ai 3(i + 1)(i + 2)

i=1

Por lo tanto, se obtiene la frmula deseada o

n

an+1 = 6
i=1

i+1 2

(i + 2) +
i=2

(i + 1)

i+2 2

+1

donde i en la primera sumatoria recorre los enteros impares y en la segunda los pares. Luego, an+1 es divisible entre 6.

11

Prueba 7. Descenso al innito (Misteriosamente Fermatiana)

El Teorema de Fermat, demostrado formalmente en 1995, despus de varios siglos de e mucho trabajo por parte de los matemticos, establece que no existen ternas de nmeros a u enteros ( x,y, z), tales que satisfagan la Ecuacin de Fermat: o xn + y n = z n , con n 3. Pierre de Fermat desmostr el caso especial n = 4 usando un razonamiento algo especial o denominado descenso al innito. Es una variante del mtodo de reduccin al absurdo e o donde la contradiccin proviene de demostrar que un conjunto nito de nmeros naturales o u puede ser innito. El descenso al innito es un artilugio de la lgica que se asemeja mucho o al tipo de razonamiento de Zenn en sus paradojas. Podemos demostrar que al lanzar una o moneda dentro de un vaso lleno de agua, la moneda desciende innitamente, pues antes de llegar al fondo del vaso, debe haber llegado a la mitad, luego debe recorrer la mitad de lo que le falta para llegar al fondo, es decir, una cuarta parte de la distancia total. Luego una octava parte,....etc. Pareciera que nunca llegar la moneda al fondo, pues debe a recorrer una cantidad innita de distancias. He aqu la semejanza con la paradoja de Zenn. o Supngase que para algn entero positivo n, la expresin A(n) = n(n + 1)(n + 2) no o u o es divisible entre 6. Claramente , A(n) debe ser mayor que 6, pues A(1) = 6. Tenemos entonces. A(n) = A(n 1) + 3(n + 1)(n + 2) De esta ecuacin se deduce lo siguiente: Si A(n) no es divisible entre 6 entonces A(n 1) o tampoco lo es. Hay que hacer notar lo siguiente: 3(n + 1)(n + 2) es divisible entre 6, pues (n + 1) o (n + 2) es un nmero par. Podemos entonces formar una sucesin innita u o decreciente de nmeros enteros positivos A(n), A(n 1), A(n 2), . . . que nunca llega a u alcanzar el 1 y que adems est contenida en el intervalo [1, A(n)]. Esto se llama un a a descenso al innito.

Prueba 8. Directa. Majestuosamente Gaussiana

Una desmostracin directa es aquella en la cual se aceptan las hiptesis como verdades y o o a partir de ellas se deduce la veracidad de la tesis mediante un proceso lgico deductivo. o Est basada en la tautologa [(P Q) P ] Q conocida como Modus Ponens. Las a demostraciones directas tienen la gran virtud de ser muy transparentes en cuanto a su dinmica interna. Estn guiadas por un principio muy bsico de apuntar hacia la tesis en a a a todo momento siguiendo el camino ms corto posible, y de emplear en caso de necesidad, a los teoremas y axiomas que tengamos a la mano. La notacin de congruencias para los nmeros enteros fue creada por Karl Friedrich o u Gauss. Si n es un nmero entero positivo jo, diremos que dos enteros a y b son conu gruentes mdulo n, si n divide a la diferencia a - b . La notacin dada por Gauss y que o o todava hoy se utiliza es a b mod n. 12

Sea n un entero positivo. Entonces probaremos que la expresin o A(n) = n(n + 1)(n + 2) es divisible entre 6.

Tenemos entonces A(n) = n3 + 3n2 + 2n Podemos plantearnos la misma ecuacin usando congruencias mdulo 2 y 3. As se obtiene o o A(n) n3 + n2 mod 2 n2 (n + 1) mod 2 0 mod 2 Por otro lado, mirando a A(n) como un entero mdulo 3 se tiene: o A(n) n3 + 2n mod Pero, por el pequeo Teorema de Fermat, obtenemos n n3 n mod Por lo tanto A(n) n + 2n mod Combinando ambos resultados nos da A(n) 0 mod 6 3 0 mod 3 3 3

Prueba 9. Combinatoria. A la manera de Erds o

Algunas proposiciones matemticas se pueden trasladar hacia un contexto distinto al cual a las expresamos. Se establece entonces una equivalencia tautolgica [(P Q)Q] P o que proporciona un mtodo de demostracin. En otras palabras, si la proposicin P se e o o puede plantaer en forma equivalente como Q, y demuestro que Q es verdadera, entonces P debe ser verdadera. En este caso, daremos una prueba de tipo combinatorio a nuestro problema. La combinatoria es el arte de contar cosas. Las demostraciones en combinatoria tienen mucho de retrica: El objetivo es lograr convencer a la audiencia con explicaciones verbales, como o por ejemplo las distintas maneras de sacar bolitas de un cofre. Muchas proposiciones en combinatoria no tienen equivalentes simblicos, pero esto no le quita autenticidad a los o razonamientos. Por su carcter ldico la combinatoria nos proporciona unas demostraa u ciones fciles de entender para la mayora de las personas. A todo el mundo le gustan las a aguas poco profundas, mansas y cristalinas del mundo de la combinatoria. Paul Erds fue uno de los matemticos ms distinguidos del siglo XX. De una manera o a a 13

sorprendente, resolvi muchos problemas de teor de los nmeros, geometr y combio a u a natoria. Se interesaba en ofrecer demostraciones alternativas llenas de claridad, ingenio y esttica. Es famosa su demostracin elemental del Teorema de los Nmeros Primos. e o u Buscaba este matemtico de origen hungaro, pruebas hermosas de los problemas que otros a haban resuelto. Tambin propon problemas elementales a sus colegas, en las charlas e a que dictaba por todo el mundo, ofreciendo recompensas en metlico. Se trataba de problea mas que, al ser resueltos, abrieron nuevos horizontes a la matemtica. El dec que Dios a a tena un libro en donde estaban todas las demostraciones perfectas de los problemas de la matemtica. Lo llamaba simplemente El Libro. Muchas de las demostraciones dadas a por Erds quizs aparezcan en El Libro. o a Sea n un entero positivo. Consideremos el cociente n(n + 1)(n + 2) 6 Entonces nos preguntamos:Qu signicado tiene esta expresin? Podemos pensar que e o tenemos n+2 bolitas encerradas en un cofre y queremos sacar tres al azar. De cuantas maneras podemos hacerlo? Pues bien: para elegir la primera hay n+2 posibilidades, para la segunda n+1 y para la tercera n. Debemos eliminar las repeticiones en nuestro conteo. Es fcil darse cuenta que cada terna de bolitas as elegidas se repite 6 veces. a Luego el nmero total de maneras de extraer las tres bolitas, sin repeticin, es igual al u o nmero de arriba. Por lo tanto, 6 divide al numerador de la fraccin. En realidad, hemos u o probado que dicha fraccin es un entero. Con esto termina la demostracin. o o

Prueba 10. Induccin matemtica. Innitamente Cano a toriana

El concepto del innito en matemticas era manejado de una manera misteriosa, con poco a rigor, y no fue bien sustentado hasta nales del siglo XIX. Es con la aparicin de los trabao jos de Georg Cantor en 1883, La Naturaleza y el significado de los numeros cuando se da este paso tan importante en la matemtica. All Cantor desarroll una teor a o a sobre nmeros cardinales transnitos, basada en un tratamiento sistemtico del innito. u a Cantor, como San Agustn, cre en el innito como un concepto absoluto. Esto le a trajo serios inconvenientes e incomprensin por parte de otros matemticos, como Leopold o a Kronecker, de la escuela de Berln, para quien el innito era slo un proceso. o Gracias a los trabajos de Cantor y de Richard Dedekind se logr formalizar la teor o a de conjuntos sobre bases slidas, y a partir de all construir todos los conceptos de la o matemtica en forma clara y lgica. Es lo que se conoce como la Aritmetizacin de a o o la Matemtica. Es un nuevo enfoque mediante el cual se reduce toda la matemtica a a a un juego regido por las reglas de la lgica donde se parte de unos axiomas y , a partir de o stos, se demuestran las proposiciones y teoremas. e Este proceso de refundar la matemtica fue impulsado por dos corrientes loscas distina o tas: La Formalista defendida por los seguidores de Cantor y la Intuicionista iniciada por

14

Kronecker. La diferencia entre ambas escuelas radica en la aceptacin del innito. Kroo necker planteaba en su sistema que todas las proposiciones se pueden reducir a cuestiones sobre los nmeros naturales. De all su clebre frase sobre la matemtica Dios creo u e a los numeros, todo lo demas es obra del hombre . El aceptaba una proposicin o matemtica solamente si sta se vericaba mediante un nmero nito de pasos. a e u Finalmente se impuso la corriente Formalista en las matemticas y gracias a ello contamos a con una disciplina bastante lgica y coherente. Como una consecuencia de la formalizao cin se di el proceso de axiomatizacin de los nmeros enteros. Uno de los resultados o o o u fundamentales es la incorporacin de las ideas de Cantor sobre el innito a travs del o e Principio de Iinduccin Matemtica. Con este principio se pueden dar demostraciones o a formales a muchas frmulas cuya vericacin hab quedado en suspenso con expresiones o o a como ...y as sucesivamente. El mtodo de induccin se basa en el axioma del m e o nimo elemento para los nmeros u enteros. Es parte de los axiomas de Giuseppe Peano para la construccin de los nmeros o u naturales, a partir de la teora de conjuntos. Peano public sus axiomas en una obra en o latn Arithmetices principia, nova methodo exposita en 1889. Este matemtico a introduce muchos conceptos de lgica en su exposicin en un lenguaje moderno y fcil de o o a comprender. Su razonamiento es claro y transparente. Su sistema de s mbolos es igual al que usamos actualemente en la teor de conjuntos. A l tambin se deben los s a e e mbolos matemticos y , para denotar pertenencia e inclusin. a o Las demostraciones por induccin se pueden hacer en aquellos casos en que la tesis o viene dada por una proposicin que dependa de un nmero entero positivo cualquiera. Es o u un mtodo de tipo existencial en el cual se verica la tesis trabajando en forma directa e siguiendo una cadena de inferencias lgicas del tipo modus ponens. La induccin est o o a basada en la tautolog [p(1) (p(k) p(k + 1))k] p(n)n a Sea P(n) la proposicin El entero positivo A(n) = n(n + 1)(n + 2) es divisible entre o 6. Claramente P(1) es cierta , pues A(1) = 6. Supngase que para un k cualquiera P(k) es cierta: esto es A(k) es dvisible entre 6. o Probaremos que P(k +1) tambin es cierta, para lo cual: e A(k + 1) = (k + 1)(k + 2)(k + 3) = k(k + 1)(k + 2) + 3(k + 1)(k + 2) = A(k) + 3(k + 1)(k + 2) Por hiptesis de induccin A(k) es divisible entre 6. Claramente, el segundo sumando o o tambin lo es. Luego A( k+1) es divisible entre 6 y con esto termina la prueba. e

Prueba 11. Exhaustiva. Variada y colorida

En una prueba exhaustiva se atacan todos los casos posibles para las variables P y Q, de de una proposicin del tipo P Q. Si en todos ellos la proposicin parcial es verdadera o o entonces la proposicin general resulta verdadera. Es como armar un gran mosaico de o variados colores en donde el efecto nal depende de cada una de las partes. Es un proceso 15

que a veces, resulta largo y laborioso puesto que se realizan muchas pruebas individuales. Un buen ejemplo de prueba exhaustiva es la demostracin del famoso Teorema de los o Cuatro Colores. En octubre de 1852 un joven matemtico, Francis Guthrie, estaba coloreando un mapa a en el que aparec todos los condados de Inglaterra, cuando hizo una notable observacin. an o El nmero mximo de colores requeridos era 4. La condicin necesaria para poder colorear u a o un mapa, es que dos regiones vecinas, que compartan la misma l nea de frontera, sean coloreadas en forma diferente. El teorema de los cuatro colores, como se le conoci desde o entonces, pas a ocupar un lugar importante entre los famosos problemas sin resolver de o la matemtica, segundo en importancia despus del Teorema de Fermat. Es un problema a e cuyo enunciado es sencillo y que ,en apariencia, no tiene relacin con la matemtica, o a pues all no se trata de calcular nmeros o guras geomtricas. Quizs un antecedente u e a cercano sea el Problema de los 7 puentes de Konisberg, resuelto por Leonhard Euler. El teorema fue demostrado en 1976 por dos matemticos de la Universidad de Illinois: a Kenneth Appel y Wolfgang Haken. La idea de la demostracin consiste en utilizar la o teora de grafos. Cada regin se representa como un punto en el plano. Si dos regiones o comparten una misma frontera, entonces los puntos estarn unidos mediante un lado. De a esta forma podemos representar un mapa como un conjunto de puntos y segmentos rectilneos en el plano, lo cual es una simplicacin considerable. Este tipo de diagramas es o lo que se conoce como un grafo. El problema es que debemos considerar todos los posibles mapas y ello representa estudiar miles y miles de grafos. Por supuesto que se pueden hacer reducciones, pues muchos mapas tienen asociado el mismo grafo, y con esto disminuye el nmero de casos a considerar. u La demostracin de 1976 es del tipo de prueba exhaustiva que requiere de una fuerza o bruta para poder chequear las 1476 conguraciones nales de grafos. La prueba es cuestionable pues es casi imposible para una persona seguir todos los detalles y adems, para a vericar algunas partes se requiere del uso del computador. Inclusive los algortimos son bastante complejos. En 1994 otro equipo de matemticos produjo una nueva demostracin, simplicando la a o prueba original, al reducir a 633 los casos a chequear. Adems el nuevo algoritmo de a computacin redujo el tiempo de mquina considerablemente. Pero an para muchos o a u matemticos la custin no quedaba zanjada, pues permanec la duda sobre las operaciones a o a del computador. Todos sabemos que los computadores cometen errores al redondear los clculos y otro tipo de debilidades en la ejecucin de los comandos. La pregunta crucial a o era: El computador haca realmente lo que los matemticos quer a an? En diciembre de 2005, durante una reunin cient o ca en Francia, el matemtico a Georges Gonthier, despej las serias dudas sobre la demostracin usando una tcnica o o e computacional conocida como el Asistente Matematico. Esto es un programa de computacin en donde los matemticos pueden interactuar con el computador que verica o a la prueba. Algo as como un computador, asistente de un matemtico, supervisando a a otro computador. Esto parece ser una solucin aceptable que ha sido bien acogida por la o comunidad matemtica. a Sea n un entero positivo. Entonces, al dividir n entre 6, los posibles restos son 0, 1, 2, 16

3, 4, y 5. As pues tenemos n = 6k + p, donde p es uno de los posibles restos. Por lo tanto A(n) = (6k + p)(6k + p + 1)(6k + p + 2) = 6t + p(p + 1)(p + 2)

para algn entero positivo t. u Probaremos la proposicin demostrando que para todos los posibles valores de p, la exo presin p(p + 1)(p + 2) es un mltiplo de 6. Esto se hace en forma exhaustiva mediante o u la siguiente tabla

p 0 1 2 3 4 5

p+1 p+2 1 2 2 3 3 4 4 5 5 6 6 7

p(p+1)(p+2) 0 6 12 60 120 210

Vemos que en todos los casos la expresin p(p + 1)(p + 2) es divisible entre 6. Con o esto damos n a la demostracin. o

Prueba 12. Principio del palomar. Formalista y Hilbertiana

David Hilbert fue uno de los grandes matemticos del siglo XX, creador de los Espacios a de Hilbert. Son espacios de funciones de dimensin innita de muchas aplicaciones en la o ica cuntica,dentro de lo que se conoce como el Anlisis Funcional. Hilbert tambin fue s a a e uno de los grandes defensores de la ideas de Cantor sobre el innito y la axiomatizacin o de la matemtica. Fue un formalista decidido, que jug un papel muy importante en lo a o que se ha llamado la crisis de los fundamentos de la matemtica. a Veamos de qu se trataba esta crisis. La teor de conjuntos desarrollada por Cantor y e a Dedekind, fue puesta en tela de juicio por la aparicin de una serie de paradojas. Es decir, o proposiciones que eran a la vez verdaderas y falsas. Entre stas es famosa la paradoja e de Russel sobre el Conjunto de todos los conjuntos que no se contienen a s mismos. 17

Ciertamente fue un duro golpe para los formalistas. Adems de esto, la aceptacin de a o los axiomas de la teor de conjuntos implicaba algunas otras situaciones que chocaban a contra la intuicin. Se hicieron esfuerzos muy serios para salvar esta teor implemeno a, tando otros sistemas de axiomas que fuesen inmunes ante el ataque de estos virus de la lgica. Hilbert y otros asumieron entonces la matemtica desde una perspectiva totalo a mente abstracta, limitando su accionar a un sistema de s mbolos sometido a unas reglas de manipulacin y renunciando as a la intuicin. Para los matemticos cualquier cosa o o a era mejor que renunciar a sus principios. Hilbert dec Nadie podra expulsarnos a del para que Cantor ha creado para nosotros. so La situacin en aquellos 30 aos de crisis era de una profunda decepcin. Adems de o n o a las paradojas estaba el problema de algunas proposiciones que eran indemostrables. Cmo o era posible que la matemtica, una ciencia guiada por la razn y la lgica presentara estas a o o incongruencias? Pero ahora nos reguntamos Qu relacin hay entre un matemtico tan serio como e o a David Hilbert y los palomares? El principio de los palomares de Hilbert establece que si tenemos n+1 palomas para colocar en un palomar con n celdas, entonces en alguna celda colocaremos ms de una paloma. a Es un principio bastante sencillo e intuitivo que nos da otro mtodo de demostracin. e o Probaremos una proposicin ms general que la de rutina, con lo cual sta se deduce o a e como un caso particular. Usaremos la notacin [a] para indicar la aparte entera de un o nmero real a. u Proposicin Sea p un nmero primo cualquiera. Entonces el producto de p enteros o u consecutivos es divisible entre 2 p, donde = [ p ]. 2 En efecto, sea n un entero positivo y A(n) = n(n + 1)(n + 2) . . . (n + p 1)
p

(10)

En este producto nos encontramos con [ p ] factores pares y por lo tanto 2[ 2 ] divide a 2 A(n). Por otro lado, sea A el conjunto formado por las clases de equivalencia mod p A = {[n], [n + 1], . . . [n + p 1]}. Probaremos que todas clases de congruencia mod p son distintas. En efecto, si para algunos i, j , con 1 i, j, p se tiene [n + i] = [n + j] , entonces se obtiene n + i n + j mod p Por lo tanto, despus de cancelar n se tendr i j mod p, con lo cual p divide a i j. e a Pero entonces i j es un mltiplo de p, lo cual es imposible, pues i j < p. u Por otra parte, el conjunto de todas las clases de equivalencia mod p, tiene exactamente p elementos, a saber: Zp = {[0], [1], . . . [p 1]}. Entonces al colocar las p clases de A en Zp debe haber una clase de A asignada a [0]. Esto es, para algn 0 j p 1 se tiene u [n + j] = [0] y por lo tanto n + j es divisible entre p. Luego A(n) es divisible entre p.

18

Demostraciones Automticas a
Como hemos podido observar, la demostracin de una proposicin en matemticas, es un o o a proceso lgico que depende del sistema de axiomas en que se fundamenta la teor Hemos o a. visto tambin el problema de las contradicciones que surgen en estas teor e as. Esto es parte importante de una nueva disciplina llamada Metamatemtica. a Uno de los problemas serios que presenta la metamatemtica es la decibilidad de a un sistema de axiomas. Dada cualquier proposicin derivada de los axiomas, decidir si o es verdadera o falsa. Es decir, si tenemos un sistema de axiomas independientes ser a posible que a partir de ellos se derive una teora que contenga contradicciones? En 1931 Kurt Gdel demostr que toda teora no contradictoria que contenga a los axiomas de o o la aritmtica no es completa. En otras palabras en dicha teor siempre habrn proposie a a ciones indecidibles. En particular, la teora de conjuntos y la aritmtica no estn exentas e a de proposiciones que no se pueden demostrar, a menos que se incorporen nuevos axiomas. Esta imposibilidad de alguna manera puso n al proceso de la crisis de los fundamentos. Uno de los objetivos de la metamatemtica es el de encontrar un procedimiento univera sal para demostrar proposiciones en un lenguaje formalizado. Es decir, un mecanismo o mtodo infalible, que mediante un nmero nito de pasos nos permita determinar si e u cualquier proposicin es falsa o verdadera. Dicho de otra forma, quizs en el estilo de las o a novelas de ciencia ccin: Podr existir una mquina para probar teoremas? o a a En 1936 Alan Turing construy una mquina virtual, llamada Mquina de Turing que o a a poda probar proposiciones en forma automtica. As pues, sin proponrselo, cre un a , e o ancestro de las modernas computadoras que pueden hacer operaciones programadas por el hombre. En realidad las computadoras en s mismas no son inteligentes, pero s lo es el hombre que las programa. En 1936 todava no se hab inventado el computador. Turing a lo que desarroll fueron las instrucciones o el software para correr la mquina. o a El problema de la mquina de Turing es que no se sabe cundo hay que detenerla para a a obtener la solucin. Por este motivo es poco prctica. Un proceso puede durar horas o o a quizs aos! a n Una evidencia computacional puede ser un elemento valioso a la hora de conjeturar una cierta proposicin en matemticas. Una evidencia no es una prueba pero es una o a tcnica de comprobacin muy conable. Es un fuerte indicio en la bsqueda de la verdad. e o u Tomemos un lenguaje de programacin de alto nivel. Por un ejemplo Python, el cual o es muy fcil de usar. Construyamos un algoritmo que nos de, para los primeros 100 valores a de n, el valor de n(n + 1)(n + 2) A(n)/6 = 6 . El cdigo fuente para el algoritmo es el siguiente o >>> a, b = 1, 0 ... WHILE a<100: b = a*(a+1)*(a+2) c= b/6 print b, 19

print c a = a+1 Al ejecutar el programa nos aparecen en pantalla los primeros cien valores de n y de A(n)/6. Observamos que para los cien casos todos los valores de bn son enteros. Una evidencia realmente convincente de la verdad de la proposicin. o

Conclusin o
Las demostraciones son una parte esencial de las matemticas. Existen distintas formas a de probar una misma proposicin. Cada demostracin destaca un aspecto importante o o del problema y su relacin con las distintas reas de la matemtica. En los procesos de o a a demostracin surgen ideas que pueden ser innovadoras y susceptibles de producir nuevos o conocimientos. En la actualidad, la matemtica se considera una ciencia formal que utiliza un lenguaje a expresado en s mbolos en donde las proposiciones deben ser demostradas con todo rigor. Esto no impide, sin embargo, la bsqueda de relaciones y frmulas mediantes otros u o mtodos como los visuales o computacionales. e Las demostraciones en matemticas son procesos cognitivos que dependen de la complejia dad de las proposiciones. No existen mtodos universales de demostracin. Sin embargo e o hay una condicin sine qua non que no debe faltar en el proceso: Para demostrar un teoo rema hay que tener una buena comprensin de los conceptos involucrados. No se puede o demostrar algo sobre lo cual tenemos un conocimiento incompleto o muy vago.

Agradecimiento
Quisiera agradecer a los profesores Olga Porras, Ar stides Arelln y Dimedes Brcenas, a o a todos del Departamento de Matemticas de la Universidad de Los Andes, por su valiosa a colaboracin en las correcciones y sugerencias sobre el texto. o

References
[1] Aigner, Martin - Gnter M. Ziegler. (2004) Pros from the THE BOOK. u Berlin. Springer-Verlag. [2] Appel, K. and Haken, W.(1977) Every planar graph is four colorable. Part I. Dischargin Illinois J. Math. 21. [3] Bourbaki, Nicolas . (1972)Elementos de historia de las matemticas a Madrid. Alianza Universidad. [4] Chaitin.G.J. (2000) Un siglo de controversia sobre los Fundamentos de la Matemtica Conferencia. a

20

[5] Fritsch. Rudolf, Fritsch Gerda (2000) The four color theorem. New York, Springer-Verlag. [6] Robertson, N.D, Sanders,P. Seymour, P.D. and Thomas, R. (1996) A new proof of the four color theorem Electron. Res. Announc. Amer. Math. Soc. 2. [7] Rowe, David, McCleary, John . ( 1988) The History of Modern Mathematics vol. I Boston. Academic Press. [8] Struik, Dirk J. (1967), A concise history of mathematics. Dover Publications New York. [9] Walicki, Michael . (2005) Introduction to Logic.

Francisco Rivero Mendoza Departamento de Matemticas a Facultad de Ciencias Universidad de Los Andes Mrida, Venezuela e lico@ula.ve

21