“La conjetura débil de Goldbach”, coloquio de Harald Helfgott en el ICMAT

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.

Christian Goldbach a la izquierda y Leonhard Euler a la derecha. En el centro, la carta que envió el primero al segundo.

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 N es aproximadamente N \over log(N). Así que si elegimos un impar al azar menor que N, la probabilidad de que sea primo será aproximadamente 2 \over log(N). Por otra parte, cada N par tiene N/4 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 4 \over log^2(N) y el número de representaciones de N como suma de dos primos debería de un orden de magnitud comparable con N \over log^2(N). 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 4 \cdot 10^{18} (y ha sido utilizado por Harald Helfgott para comprobar la conjetura débil hasta 10^{29}).

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 n es un número impar mayor que 5, entoncs n-3 es un par mayor que 2, y por tanto sería suma de dos números primos, n-3=p+q. Y en ese caso n=3+p+q, con lo que n 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.

Hardy (izquierda) y Littlewood (derecha)

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 10^{1346}. 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 10^{100} sería demasiado: como 10^{100} 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 10^{100} 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 10^{27}. 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:

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

18 Comentarios

  1. Interesante, ¿hay alguna posibilidad de poder seguir la conferencia online o de poder bajarla a posteriori?

    Publica una respuesta
  2. 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.

    Publica una respuesta
  3. 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.

    Publica una respuesta
  4. claro que si la Conjetura Fuerte de Goldbach es cierta, también lo es la Conjetura Débil.

    Publica una respuesta
  5. @Nilton Raúl Olivares Ramírez, si eres capaz de decir que propiedad te ayudaremos encantados 😉

    Publica una respuesta
  6. 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.

    Publica una respuesta
  7. 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 (N-1) un par cualquiera; luego:
    (N-1) – (q3-1)= q1+q2; P= q1+q2
    P es la resta de 2 pares, es decir P es “par”
    Debido a que (N-1) es un par cualquiera, P es un par cualquiera.
    Es decir un par cualquiera “P” es la suma de 2 numeros primos
    Esta es la Conjetura de Goldbach. Demostrado??
    Amigos, si estoy equivocado, convénzanme de ello
    Rodolfo

    Publica una respuesta
  8. 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 numéricos:
    7=2+2+3; 7-1=2+2+(3-1); (7-1)-(3-1)=2+2; 4=2+2
    9=3+3+3; 9-1=3+3+(3-1); (9-1)-(3-1)=3+3; 6=3+3
    11=3+3+5; 11-1=3+(3-1)+5; (11-1)-(3-1)=3+5; 8=3+5
    13=3+5+5; 13-1=(3-1)+5+5; (13-1)-(3-1)=5+5; 10=5+5
    15=3+5+7; 15-1=(3-1)+5+7; (15-1)-(3-1)=5+7; 12=5+7
    17=3+3+11; 17-1=(3-1)+3+11; (17-1)-(3-1)=3+11; 14=3+11
    19=3+5+11; 19-1=(3-1)+5+11; (19-1)-(3-1)=5+11; 16=5+11
    21=3+7+11; 21-1=(3-1)+7+11; (21-1)-(3-1)=7+11; 18=7+11
    23=3+7+13; 23-1=(3-1)+7+13; (23-1)-(3-1)=7+13; 20=7+13
    … … …
    71=7+23+41; 71-1=(7-1)+23+41; (71-1)-(7-1)=23+41; 64=23+41
    81=11+29+41; 81-1=(11-1)+29+41; (81-1)-(11-1)=29+41; 70=29+41; … etc.
    Saludos, Rodolfo

    Publica una respuesta
  9. 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

    Publica una respuesta
  10. 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 / N impar y N=a+b+c con a,b,c primos} ahora la pregunta ¿como puedes estar seguro que X es igual al conjunto de todos los numeros pares?

    Publica una respuesta
  11. 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

    Publica una respuesta
  12. 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.

    Publica una respuesta
    • 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.

      Publica una respuesta
  13. Las criticas constructivas hay que aceptarlas. Tienes razón
    Saludos
    Rodolfo

    Publica una respuesta
  14. 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.

    Publica una respuesta

Trackbacks/Pingbacks

  1. Bitacoras.com - Información Bitacoras.com Valora en Bitacoras.com: El próximo viernes 21 de febrero el matemático peruano Harald Helfgott dará una charla…
  2. Question related to the legitimacy of a certain portrait of Christian Goldbach | CL-UAT - […] 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) […]

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *