La Conjetura de Goldbach Por Adrin Paenza Estoy seguro de que a ustedes les habr pasado alguna vez, que

se tropezaron con una idea, pero no estaban tan seguros de que fuera cierta y se quedaron un rato pensndola. Si no les ocurri nunca, empiecen ahora, porque nunca es tarde. Pero lo maravilloso es poder entretener en la cabeza de uno algn problema cuya solucin sea incierta. Y darle vueltas, mirarlo desde distintos ngulos, dudar, empezar de nuevo. Enfurecerse con l. Abandonarlo para reencontrarlo ms tarde. Es una experiencia inigualable: se las recomiendo. En la historia de la ciencia, de las distintas ciencias, hay muchos ejemplos de situaciones como las que expuse en el prrafo anterior. En algunos casos, los problemas planteados pudieron resolverse sencillamente. En otros, las soluciones fueron mucho ms difciles, llevaron aos (hasta siglos). Pero, como ustedes ya sospechan a esta altura, hay muchos, de los que todava no se sabe si son ciertos o falsos. Es decir: hay gente que ha dedicado la vida a pensar que cierto problema tena solucin, pero no la pudieron encontrar. Y otros muchos que pensaron que era falso, pero no pudieron encontrar un contraejemplo para exhibir. De todas formas, resolver alguno de los que an permanecen abiertos traera fama, prestigio y tambin dinero al autor. Quiero hablar sobre una conjetura conocida con el nombre de La Conjetura de Goldbach. El 7 de junio de 1742 (piensen entonces que ya pasaron casi 264 aos), Christian Goldbach le escribi una carta a Leonhard Euler (uno de los ms grandes matemticos de todos los tiempos), sugirindole que pensara una demostracin para la siguiente afirmacin porque a l no se le ocurra: Todo nmero par positivo, mayor que dos, se puede escribir como la suma de dos nmeros primos. Qu es un nmero primo? Es aquel que slo es divisible por s mismo y por uno. Por ejemplo, 2, 3, 5, 7 y 11 son nmeros primos. Pero 6 y 15 no lo son. Seis no es primo porque es divisible por 2 y por 3, mientras que 15 no lo es porque es divisible por 3 y por 5 (adems de 1 y 15). Ah, adems, el nmero uno no se considera primo.

Pero volviendo a Goldbach, veamos algunos ejemplos en donde es muy fcil comprobar que la conjetura es cierta 4=2+2 6=3+3 8=3+5 10 = 5 + 5 12 = 5 + 7 14 = 7 + 7 = 3 + 11 16 = 5 + 11 18 = 7 + 11 = 5 + 13 20 = 3 + 17 = 7 + 13 22 = 11 + 11 24 = 11 + 13 = 7 + 17 ..... 864 = 431 + 433 866 = 3 + 863 868 = 5 + 863 870 = 7 + 863,

y as podramos seguir. Al principio, Euler no le prest demasiada atencin al problema porque le pareci trivial. Bueno, trivial o no, Euler no pudo encontrar la demostracin y, en realidad, luego de ms de dos siglos y medio todava no pudo ser resuelto por ningn humano. La novela Uncle Petros & Goldbachs Conjecture del escritor de origen australiano y criado en Grecia, Apostolos Doxiadis publicada en 1992 en griego y traducida a diversos idiomas en el ao 2000 es la que promovi que las compaas editoras Faber y Faber de Gran Bretaa y Bloomsbury Publishing de Estados Unidos ofrecieran un milln de dlares a quien pudiera resolver la Conjetura de Goldbach. El premio se lo poda llevar cualquier persona que diera una demostracin durante los aos 2000 y 2002. Nadie la encontr. Pero tampoco nadie encontr que fuera falsa. Doxiadis es tambin reconocido como uno de los iniciadores de las novelas con trama matemtica y, adems, ha dirigido varias obras de teatro as como algunas pelculas. Pero lo que importa en este caso es que la popularidad alcanzada por la novela devino en la oferta (que nadie pudo reclamar an) de los editores. Ser acaso el turno de alguno de los lectores de Pgina/12? Desde 1742 hasta hoy nadie pudo resolver el problema, pero tampoco nadie pudo demostrar que fuera falso. En 1855 se saba que los primeros 10.000 nmeros la cumplan y en 1940 se lleg a los 100.000. Hasta hoy (enero del 2006), se sabe que la conjetura es cierta para todos los nmeros pares que sean menores que 4 x 1013, o sea menores que un nmero 4 seguido de trece ceros! De todas formas, por ms que las computadoras sigan avanzando, nunca llegarn a probarlo para todos los nmeros. Para ello, se necesita una prueba abstracta, una teora matemtica que sea capaz de demostrar que Goldbach, profesor de matemtica en San Petersburgo, tena razn. El desafo que present en su momento la empresa Faber fue un intento de conseguir la mayor publicidad posible para su ltimo libro El to Petros y la Conjetura de Goldbach. Igualmente, yo perdera las esperanzas: se calcula que en todo el mundo hay slo 20 personas que podran resolver esta conjetura. Y no me queda claro que sea ni quien esto escribe. Ni quien lo lee.

Para terminar, quiero dejar planteada otra conjetura tambin sugerida por Goldbach, conocida con el nombre de La Conjetura Impar de Goldbach, que dice que todo nmero impar mayor que cinco se escribe como la suma de tres nmeros primos. Al da de hoy tambin permanece como un problema abierto de la matemtica, aunque se sabe que es cierta hasta nmeros impares de siete millones de dgitos. Si bien toda conjetura puede resultar falsa, la opinin educada de los expertos en teora de nmeros es que lo que pens Goldbach es cierto y slo es una cuestin de tiempo hasta que aparezca la demostracin.

http://www.pagina12.com.ar/diario/contratapa/13-61579-2006-01-12.html
Jueves, 12 de enero de 2006

La conjetura de Goldbach
Aunque en internet se puede encontrar mucha informacin sobre este tema y en Gaussianos ha sido nombrado alguna vez, todava no tena artculo propio. Hoy es el da.

Introduccin
Seguro que a muchos de vosotros os ha ocurrido que ha aparecido en vuestra cabeza alguna posible relacin entre nmeros naturales que no sabais si era cierta o no, si haba sido estudiada ya o era totalmente nueva. A veces esto ocurre porque nos paramos a pensar a partir de algn resultado obtenido o al desarrollo de algn problema que consultamos; otras la propiedad surge de pronto, sin previo aviso, sin motivo aparente. Por desgracia la mayora de las veces la relacin entre nmeros que se nos ocurre est estudiada ya, por lo que se sabe si es cierta o no. Pero hay ocasiones en las que no ocurre ninguna de estas dos cosas, es decir, hemos encontrado una relacin entre nmeros que no se ha estudiado con anterioridad, por lo que no se sabe nada sobre la certeza o falsedad de la misma. Bajo mi punto de vista esa es la forma en la que surgen las conjeturas en matemticas. Todas ellas son resultados que quien formula cree ciertos, aunque no tiene una demostracin formal del mismo. Para algunas se desvel su resultado con cierta facilidad, otras exigieron ms esfuerzo y en otros casos

todava no sabemos nada, ni hacia un lado ni hacia el otro. La conjetura de Goldbach es una de ellas.

La conjetura de Goldbach
El resultado conocido como conjetura de Goldbach (aunque posiblemente es ms acertado denominarla conjetura fuerte de Goldbach) fue propuesto por Christian Goldbach a travs de una carta (que podis ver aqu) enviada a Euler en 1742. Su formulacin es la siguiente: Todo nmero par mayor que 2 puede escribirse como suma de dos nmeros primos. Enunciado enormemente sencillo que, como ocurre en muchas otras ocasiones (por ejemplo, el UTF), nos llevan a estudios muy complicados. Algunos ejemplos (se puede repetir el nmero primo):

En esta pgina podemos obtener la representacin de un nmero par como suma de dos nmeros primos simplemente introduciendo el mismo (no he encontrado qu lmite de cifras tiene el programa). El gran matemtico suizo (Euler) no consigui demostrar ni refutar el resultado (por no dedicarle el tiempo suficiente o por no dar con la tecla correcta). Y en la actualidad, casi 300 aos despus, seguimos igual. Nadie ha dado una demostracin formal totalmente concluyente sobre la veracidad del resultado y tampoco se ha encontrado ningn contraejemplo (es decir, un nmero par que no pueda ponerse como suma de dos nmeros primos). En los ltimos tiempos, gracias al desarrollo tecnolgico, se ha podido comprobar con la ayuda de los ordenadores que la conjetura es cierta para todo nmero par menor que . Es decir, se sabe con total seguridad que todo nmeros par menor que un seguido de 18 ceros puede escribirse como suma de dos nmeros primos. Pero ya sabemos que eso no nos sirve como demostracin (recuerdo el artculo sobre la conjetura de Polya, donde tambin se comentaba algo de la conjetura de Goldbach). Utilizando la tecnologa podremos continuar con las comprobaciones, aumentaremos la cantidad de nmeros pares comprobados, pero no podremos concluir que el resultado es cierto (no podemos llegar al final de los nmeros). S podramos determinar que la conjetura es falsa

si se encontrara un contraejemplo con este mtodo, pero segn los expertos es poco probable que este hecho ocurra. Y es poco probable por una razn muy sencilla: se cree firmemente que la conjetura es cierta. Hay algn argumento que pueda convencernos de ello? Pues s, uno muy simple: cuanto mayor es un nmero par mayor es el nmero de formas en las que podemos expresarlo como suma de dos nmeros. Por tanto mayor es la probabilidad de que exista una forma de escribirlo en la que los dos nmeros sean primos. No nos sirve de demostracin, pero puede servirnos de idea para enfocar nuestros estudios sobre el tema. Si hemos dicho que sera ms acertado llamar conjetura fuerte a este resultado ser por algo, no? Pues s. La razn es que hay otra conjetura de Goldbach, denominada dbil, que dice lo siguiente: Todo nmero impar mayor que primos impares. puede escribirse como suma de 3 nmeros

Esta conjetura tampoco est resuelta, pero se ha avanzado mucho en su demostracin. En la actualidad (hasta donde s), se ha conseguido demostrar que para todo nmero impar mayor que la conjetura es cierta. Por tanto slo tendramos que comprobar nmero a nmero que todo impar menor que puede ponerse como suma de 3 nmeros primos impares. El problema es que esa cota todava es demasiado grande para nuestra tecnologa. Tendremos que esperar algn avance de la misma o que se pueda rebajar formalmente ese nmero. Para terminar os comento que para darle algo ms de inters al tema se sabe que esta conjetura est relacionada en cierta forma tanto con la conjetura de los primos gemelos (aqu podis consultar un artculo sobre el tema) y la hiptesis de Riemann. No poda ser de otra forma con un resultado como ste.

http://gaussianos.com/la-conjetura-de-goldbach/