El próximo viernes 21 de febrero el matemático peruano Harald Helfgott dará una charla sobre la conjetura débil de Goldbach en el ICMAT. El evento se encuadra dentro de la serie de coloquios que organiza el ICMAT junto con la Universidad Autónoma de Madrid.
Aunque en Gaussianos ya hemos hablado sobre el tema (de hecho el propio Harald Helfgott publicó en este blog un extenso post en el que explicaba las líneas generales de su demostración), creo que es interesante volver a recordar algunos de los detalles más importantes de la historia de este resultado y de otros relacionados con él. Por ello, a continuación podréis encontrar un resumen de esta historia realizado por Javier Cilleruelo (que ya ha colaborado en otras ocasiones en Gaussianos, por ejemplo con este post sobre su resolución del problema de los conjuntos generalizados de Sidon) en el que también se incluyen enlaces a los artículos de Gaussianos que han hablado sobre esta conjetura.
Harald Helfgott y la conjetura débil de Goldbach
En una carta dirigida a Euler y fechada en 1742, Goldbach decía haber observado que “todo número par mayor que 2 es suma de dos primos” y que “todo número impar mayor que 5 es suma de tres primos”.
La sencillez y belleza del primer enunciado lo han convertido en uno de los problemas más codiciados de las matemáticas.
Conjetura de Goldbach: Todo número par mayor que 2 es suma de dos primos.
La segunda observación de la carta es la conjetura débil de Goldbach (también llamada problema ternario de Goldbach) y ha pasado a la categoría de teorema al haber sido demostrada en tres artículos, de 79 páginas cada uno, por Harald Helfgott, 271 años después de la misiva dirigida a Euler.
Teorema (Harald Helfgott, 2013): todo número impar mayor que 5 es suma de tres primos.
Harald Helfgott es el conferenciante del próximo Colloquium (21 de febrero a las 11:30 en el Aula Naranja del ICMAT) que organizan conjuntamente el ICMAT y el Departamento de Matemáticas de la UAM. Con el título “La conjetura débil de Goldbach”, Harald Helfgott nos contará de primera la mano las estrategias seguidas para la resolución de este problema histórico.
Harald Helfgott (1977, Lima) es investigador CNRS en la École normale supérieure (Paris). Sus intereses matemáticos son tan variados como profundos sus resultados. Ha sido invitado a dar una conferencia en el próximo ICM y ha recibido varios premios por sus contribuciones a la teoría de números, la combinatoria aritmética y la teoría de grupos.
La conjetura de Goldbach
La teoría de números, a la que Gauss denominó “la reina de las matemáticas”, destaca sobre otras áreas de las matemáticas por la sencillez y belleza de sus enunciados. Algunos han sido ya resueltos, como el último Teorema de Fermat, pero otros han resistido a todos los intentos, como la conjetura de Goldbach que hoy nos ocupa.
¿Es cierto que todo par mayor que 2 se puede escribir como suma de dos primos?
Si probamos a mano con los primeros pares, vemos que efectivamente todos ellos se pueden escribir como suma de dos primos. Además observando la tabla parece que según va creciendo el número par también va aumentando el número de representaciones que tiene como suma de dos primos:
El siguiente argumento heurístico puede convencernos de que la conjetura de Goldbach debería de ser cierta. El Teorema de los números primos afirma que el número de primos menores que es aproximadamente
. Así que si elegimos un impar al azar menor que
, la probabilidad de que sea primo será aproximadamente
. Por otra parte, cada
par tiene
representaciones como suma de dos enteros impares. La “probabilidad” de que los dos enteros impares involucrados en una representación dada sean primos debería ser
y el número de representaciones de
como suma de dos primos debería de un orden de magnitud comparable con
. Por supuesto está muy lejos de ser una demostración (ni ser primo es un suceso aleatorio ni el modelo probabilístico es del todo correcto) pero explica bien el por qué va aumentando el número de representaciones.
La conjetura de Goldbach se ha comprobado numéricamente hasta (y ha sido utilizado por Harald Helfgott para comprobar la conjetura débil hasta
).
Entre las aproximaciones a la conjetura de Goldbach hay que destacar que se ha demostrado que ésta era cierta para casi todos los números pares. Es decir, que aquellos para los que no es cierta ocupan una proporción muy pequeña (que tiende a cero) en la sucesión de todos los números pares.
Otro resultado teórico importante respecto a esta conjetura se debe a Chen Jing-run.
Teorema (Chen Jing-run, 1966): Todo par suficientemente grande se puede escribir como un primo más otro número que es primo o es producto de dos primos.
Quizás el lector se acuerde del libro “El tio Petros y la conjetura de Goldbach”, de Apostolos Doxiadis. Era una lectura entretenida centrada en la obsesión por demostrar esta conjetura. La editorial, como gancho, ofreció un millón de dólares a quien demostrase la conjetura en un plazo de dos años. Nadie lo consiguió, como era previsible, aunque fueron muchos los aficionados que reclamaron el premio con demostraciones erróneas.
La conjetura débil de Goldbach
Se denomina así porque sería una consecuencia sencilla de conjetura de Goldbach. Efectivamente, si la conjetura de Goldbach fuese cierta y es un número impar mayor que 5, entoncs
es un par mayor que 2, y por tanto sería suma de dos números primos,
. Y en ese caso
, con lo que
es suma de tres números primos.
A principios del siglo XX, Hardy y Littlewood inventaron “el método del círculo” para hallar fórmulas asintóticas para el número de representaciones de un entero como suma de elementos de una sucesión determinada.
Consiste en expresar dicho número mediante una integral en el intervalo [0,1] y luego calcular esa integral a trocitos, donde los trocitos que más contribuyen y que se denominan “arcos mayores” son aquellos intervalos (muy pequeños) cercanos a racionales de denominador pequeño. No es éste el lugar para explicar con detalle este método, pero de esta manera y asumiendo la Hipótesis Generalizada de Riemann (un conocimiento muy preciso de la distribución de los primos en progresiones aritméticas) Hardy y Littlewood demostraron que la conjetura débil era cierta para todo impar “suficientemente grande”.
En 1937 Vinogradov consiguió una demostración sin necesidad de asumir la Hipótesis Generalizada de Riemann.
Teorema (Vinogradov, 1937): Todo número impar suficientemente grande se puede escribir como suma de tres primos.
En la demostración original de Vinogradov el “suficientemente grande” no era efectivo. Es decir, no se sabía hasta qué impar habría que comprobar la conjetura a mano o de otra manera.
Aunque se consiguió finalmente dar una constante explícita y ésta fue disminuyendo en diferentes trabajos, la constante más pequeña que se había conseguido era . Así que la conjetura débil de Goldbach quedaría demostrada si se pudiese comprobar que es cierta para todos los impares menores que esa cantidad.
En el artículo de divulgación “La conjetura débil de Goldbach” que el mismo Harald Helfgott ha escrito para la sección “El diablo de los Números” de la Gaceta de la RSME, el autor dice:
Incluso
sería demasiado: como
es más grande que el producto del número estimado de partículas subatómicas del universo por el número de segundos desde el Big Bang, no habría ninguna esperanza de comprobar cada caso hasta
por ordenador (aun asumiendo que uno fuera un dictador alienígena usando el universo entero como una computadora muy altamente paralela).
Harald ha introducido unas innovaciones teóricas en el método del círculo que le han permitido rebajar esa constante hasta . Comprobar la conjetura débil de Goldbach hasta esa cantidad sí que está al alcance de los ordenadores y él, junto con D. Platt, lo han hecho utilizando aritmética de intervalos (la precisión exigida para dar rigurosidad matemática a los cálculos con ordenador).
Termino con una cita de Euler sobre los números primos, al que sin duda también le hubiera gustado conocer la demostración de la conjetura débil de Goldbach:
Los matemáticos han intentado en vano descubrir algún orden en la sucesión de los números primos pero tenemos muchos motivos para creer que hay algunos misterios en los que la mente humana nunca podrá penetrar.
Leonhard Euler, 1770
Para finalizar, agradezco enormemente a Javier Cilleruelo que me haya enviado este texto, que como comenté antes es muy oportuno teniendo en cuenta la visita de Harald Helfgott con ocasión del coloquio que se anuncia al principio de este artículo.
Y también quiero aprovechar esta ocasión para dejarlos enlaces a los artículos relacionados con la conjetura de Goldbach y la conjetura débil de Goldbach que han aparecido en Gaussianos durante estos años:
- La conjetura de Goldbach.
- Algunos resultados camino de la conjetura de Goldbach, escrito por Rafael Tesoro.
- Harald Andrés Helfgott nos habla sobre su demostración de la conjetura débil de Goldbach, escrito por Harald Andrés Helfgott.
- ¿Quién no tiene una demostración de la conjetura de Goldbach?.
- ¿Una demostración de la conjetura de Goldbach? Pues va a ser que no.
- Un nuevo intento «serio» de demostración de la conjetura de Goldbach…que tampoco se sostiene.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com
Valora en Bitacoras.com: El próximo viernes 21 de febrero el matemático peruano Harald Helfgott dará una charla sobre la conjetura débil de Goldbach en el ICMAT. El evento se encuadra dentro de la serie de coloquios que organiza el ICMAT junto co…
Interesante, ¿hay alguna posibilidad de poder seguir la conferencia online o de poder bajarla a posteriori?
El ICMAT transmitirá la conferencia del profesor Harald Helfgott en «streaming» a través de su página web. También se grabará y se pondrá en la página del ICMAT.
He descubierto una propiedad más de los números primos, que me sirve para demostrar la infinitud de los primos gemelos,que es cierta y la conjetura fuerte de Goldbach, la cual también es cierta, no sé como publicar estos descubrimientos, podrían ayudarme. Soy compatriota de Harald Helfgott, esto no es una broma. Gracias de antemano.
claro que si la Conjetura Fuerte de Goldbach es cierta, también lo es la Conjetura Débil.
Quien se haya perdido la charla y tenga interés la puede ver en el siguiente enlace:
https://150.244.223.31/videos/recent/page1/
Como referencia de la imagen: http://xkcd.com/1310/
@Nilton Raúl Olivares Ramírez, si eres capaz de decir que propiedad te ayudaremos encantados 😉
Muy interesante, como siempre. Hay una pequeña errata, el retrato que se atribuye a Christian Goldbach en realidad es el del también matemático Hermann Grassmann. Suele ser un error muy común cuando se realizan estos tipos de artículos con perspectiva histórica de la conjetura.
Les envio algo para reflexionar: Harald Helfgott ha demostrado que: “todo número impar mayor que 5 es suma de tres primos”, es decir la Conjetura débil de Goldbach. Supongamos que q1, q2 y q3 son números primos, tales que q1 ≤ q2 ≤ q3; pues entiendo que podrían haber repeticiones, como por ejm: 15=5+5+5=2+2+11; y que además N es un impar cualquiera mayor de 5. H. Helfgott a demostrado que: N = q1+q2+q3 Muy interesante; restemos “1” a la expresión anterior: N-1= q1+q2+(q3-1) Entonces el numero M=q3-1 es un numero “par” (q3 es diferente de “2”, realmente es q3>2) y… Lee más »
Le hago una pequeña mejora al planteamiento. La resta del “1”, es decir la expresión (q3-1), podría ser a cualquiera de los primos “qk”; es decir (q1-1), (q2-1) o (q3-1); siempre que qk sea diferente de “2”. N = q1+q2+q3; q1 ≤ q2 ≤ q3 (Impar=N>5; qk=numeros primos) Es posible que solo uno de los qk sea igual a “2” (q1=2)? De ser asi, la suma de los otros “qk” (primos impares) seria par y N seria par. Luego la resp. es NO. Pero 2 de ellos si pueden ser iguales a 2: q1=q2=2; por ejm: 17=2+2+13 Veamos algunos ejms… Lee más »
Buenos dias , como puedo contarme con Harald Helfgott
Nilton Raul; soy de Chincha A., Peru (familia). me parece haber leído que estabas convencido de q habias demostrado (sencilla) el UTF; es asi?? (a mi me ha sucedido lo mismo, pero …)
Te pido que por favor leas mis últimos mensajes. Es la demostración de la Conjetura de Goldbach?
Saludos, Rodolfo
Rodolfo, en si lo q dices es que dado dado P numero par arbitrario lo puedo expresar como P= (N-1) – (q3-1) para algún N impar ademas q3 es tq N=q1+q2+q3 donde los qk son primos … como puedes estar seguro que para todo P exista ese N?????? de hecho existirá N y q (primo) tq. P = (N-1) – (q-1) pero no se puede asegurar que «q» pertenezca a la descomposicion de N en primos O tmbn puedes pensarlo como que dado cualq impar N, se puede hacer N=q1+q2+q3 donde los q_k son primos… defines el cjto X={N-a /… Lee más »
Andree; si es verdad que: N = q1+q2+q3; siendo N un impar cualquiera y los qk números primos, entonces:
(N-1) – (q3-1) = q1+q2 = P
Se cumple evidentemente que P es un PAR cualquiera, debido a q N es un impar cualquiera; es asi o no? (considerando, como ya dije que el q3 podria ser cualquiera de los otros primos, q2 o q1; haciendo el cambio adecuado)
Es decir P (un par cualquiera) es la suma de 2 números primos!!
Saludos
Rodolfo, en tu último comentario admites que N es un impar cualquiera. Elegido este, P no es un par cualquiera sino uno concreto entre,a lo sumo, tres pares concretos según utilices q1, q2 o q3 de su descomposición para obtenerlo. Podría haber pares que no estuvieran nunca en esa posible terna. Tienes que demostrar que eso no ocurre.
Buenos días JJGJJG.
Llevo un tiempo realizando un estudio de la conjetura de Goldbach y creo haber obtenido algún resultado interesante. Me gustaría poder enviartelo para conocer tu opinión. Este es mi correo por si quieres contactar conmigo: ensnnet@gmail.com. En cualquier caso, muchas gracias por tu atención. Un saludo.
Las criticas constructivas hay que aceptarlas. Tienes razón
Saludos
Rodolfo
Rodolfo si tengo una demostración sencilla del UTF, cabe en pocas hojas. Me da gusto que tambien séas peruano. No se si me equivóco pero para que tu planteamiento sea el correcto (sobre la demostración de la conjetura fuerte de Goldbach) lo que debes demostrar antes es que todo número impar mayor que 5 es el resultado de la suma de tres números primos mayores que 2 (es decir sería parecido a la Conj. débil pero sin tomatr el 2 como parte de la suma.
Saludos.
[…] 2) http://images.slideplayer.com.br/3/382572/slides/slide_5.jpg, 3) https://gaussianos.com/la-conjetura-debil-de-goldbach-coloquio-de-harald-helfgott-en-el-icmat/, 4) […]