Hace unos días, Terence Tao hizo público un resultado que representa un paso importante para acercarse a la demostración de la conjetura de Goldbach. Aprovechando la ocasión Rafael Tesoro se ha ofrecido para resumirnos varios resultados relacionados con el estudio de este famoso problema.
Multiplicando los números primos se forman todos los números enteros positivos, pero, ¿qué ocurre si los sumamos?
Leonhard Euler mantuvo una extensa correspondencia con Christian Goldbach. Con fecha 30 de junio de 1742 escribe:
[…] que todo número que es resoluble como [suma] de dos primos puede [a su vez] ser representado como [suma] de tantos primos como se quiera, puede ser ilustrado y confirmado por una observación, misma que usted me comunicó formalmente, concretamente, que todos los números pares son suma de dos primos […] Sin embargo que todo número par sea la suma de dos números primos, lo que considero un teorema correcto, es algo que no puedo demostrar.
Estas palabras de Euler marcan el inicio de las referencias a lo que hoy se conoce como conjetura de Goldbach. El tío Petros, protagonista de la novela de Apostolos Doxiadis (v. referencia [D] más abajo) descarta intentar tanto la hipótesis de Riemann como el último teorema de Fermat y elige esforzarse durante toda una vida por desentrañar la elusiva dificultad de este problema.
Conjetura 1 (Goldbach, Euler, Descartes, Waring):
Todo entero par mayor o igual que 4 es la suma de 2 primos.
Se conjetura que la cantidad de representaciones se aproxima con la fórmula
en donde (a) el símbolo significa similitud entre los dos miembros siempre y cuando
sea suficientemente grande, (b)
es un número fijo (conocido como «la constante de los primos gemelos») y (c)
denota el valor de cierto producto en el que intervienen los factores primos del entero
. Como ejemplo, notamos que
comprobando así que
, es decir, el número par
se representa de dos maneras con 2 sumandos primos. Esta ciberpágina ayuda a encontrar las representaciones de cualquier número concreto.
Parafraseando a Euler, hoy se «considera correcta» la conjetura 1, aunque no se podido demostrar…todavía. En el ascenso hacia la cumbre sí se han alcanzado varias cotas impresionantes como el
Teorema 2 (Vinogradov, 1937):
Todo entero impar y suficientemente grande es la suma de 3 primos.
En este caso sí se sabe aproximar la cantidad de representaciones:
en donde es una cierta función de
con
. ¡Salta a la vista la similitud con la fórmula de la conjetura 1 anterior!
¡No podrá probar la conjetura de Goldbach con judías, amigo! – dijo en tono áspero y zafio, evidentemente parodiando a Littlewood. (v. [D, página 143])
Aparte del incierto «método de las judías» del tío Petros, hay dos líneas de aproximación principales con las que diversos matemáticos han conseguido arduos éxitos parciales.
(1) Los métodos de criba han cosechado importantes avances entre los que destacan los dos teoremas siguientes.
Teorema 3 (Chen Jing-Run, 1966):
Todo entero par, mayor o igual que 4, es la suma de un primo y un casiprimo.
Esto se parece mucho a la Conjetura 1, salvo que el segundo sumando casi es un primo. Se llama casiprimo a un entero que es o bien un primo auténtico o bien el producto de dos primos (por ejemplo 10 y 14 son casiprimos).
Teorema 4 (Ramaré, 1995):
Todo entero par es la suma de a lo más 6 primos.
(2) El método del círculo de Hardy-Littlewood, completado con otras técnicas apropiadas que él añadió, permitió a Ivan Vinogradov conseguir el Teorema 2 sobre ternas de primos. Esta «caja de herramientas» se ha usado con importantes éxitos también en otros problemas de teoría de números. Sin embargo, actualmente parece inverosímil que con esta línea de ataque se alcance la cumbre de la Conjetura 1. Ahora bien, no ha perdido todo su fuelle. Apoyándose en el método del círculo, Terence Tao ha elevado el listón muy recientemente.
Teorema 5 (Tao, 2012):
Todo entero impar mayor que 1 es la suma de a lo más 5 primos.
Tao resume este trabajo en su blog: Every odd integer larger than 1 is the sum of at most five primes.
El método del círculo
El método del círculo de Hardy-Littlewood aprovecha la máxima ‘divide y vencerás’. Intentaremos dar una idea sucinta acerca de cómo se pone a rodar para el caso particular de tres sumandos primos.
El objeto de deseo es aproximar el valor de . En primer lugar se cambia el escenario del juego consiguiendo recuperar esta función como una integral
lo que nos pone en la ventajosa situación de tener que estimar integrales, un terreno relativamente conocido. Ahora se parte el intervalo de integración en dos trozos denominados arcos mayores y arcos menores
con el propósito de utilizar en cada trozo estrategias distintas.
Dentro de se encuentra una segunda función parecida a
y fácil de integrar. Al integrarla se obtiene una contribución que (siempre y cuando
sea suficientemente grande) es mayor que una constante positiva (en el Teorema 2 se trata de
).
En la otra parte y para el caso de sumas de tres primos Vinogradov consiguió demostrar que la contribución de la integral tomada sobre esta parte se esfuma al compararla con la parte principal que emergió tras el estudio de los arcos mayores. De modo que los arcos menores hacen honor a su apellido. En lenguaje matemático la conclusión es
en donde el factor de la derecha del todo, entre paréntesis, tiende a cuando
.
Para más detalles se puede consultar Hardy–Littlewood circle method o bien el capítulo 2 de la ref. [T].
* * *
Concluimos exhibiendo otro resultado de carácter más estadístico. Previamente mencionamos un valor que permite comparar cuantitativamente subconjuntos infinitos. Se trata del concepto de densidad asintótica de un subconjunto de los enteros positivos, y se define como el siguiente límite (si existe)
en donde cuenta los elementos de
que son menores o iguales que
. La densidad de cualquier conjunto finito es
. En los conjuntos de infinitos enteros positivos la densidad toma valores entre
y
. Por ejemplo, la densidad de(l conjunto de todos) los cuadrados es
, la de los pares (y también la de los impares) es
. Más enjundia tiene el hecho de que la densidad del conjunto de los primos es
.
Pues bien, denotemos ahora por a la cantidad de enteros pares menores o iguales que
que incumplen la condición de la Conjetura 1. Usando el método del círculo se ha demostrado
Teorema 6 (Chudakov, van der Corput, Estermann):
La densidad del conjunto de excepciones a la Conjetura 1 es nula
Esto es:
lo que cabe interpretar en el sentido de escasez de incumplimientos: o bien las excepciones son una cantidad finita o son tan escasamente infinitas como los cuadrados o como los primos. Si la Conjetura 1 es cierta sólo habría una excepción: , i.e.
.
Algunas referencias en español
[G-O] Guevara Bravo, J. y Ojeda Uresti, J. ¿Formuló Goldbach la conjetura de Goldbach?
Ciencias, enero-marzo, número 081, 2006.
[D] Doxiadis, Apóstolos El tío Petros y la conjetura de Goldbach. ZETA www.zetabolsillo.com, 4ª reimpresión 2011.
[T] T. , R. Sumando primos…¿hay tres sin dos? 2011, que se resume en esta presentación.
Rafael Tesoro es licenciado en Matemáticas por la Universidad Autónoma de Madrid y ha completado el «Máster de Matemáticas y Aplicaciones» de la propia UAM. Su trabajo de fin de máster estuvo relacionado con el teorema de los tres primos de Vinogradov, supervisado por Fernando Chamizo. En la actualidad es estudiante de doctorado en la UAM bajo la supervisión de Javier Cilleruelo (sí, «nuestro» Javier Cilleruelo).
Rafael Tesoro fue, como yo, uno de los que presentaron un desafío RSME-El País, concretamente el desafío 33: Una azarosa taba.
La foto de Vinogradov la he tomado de aquí y la de Jingrun de aquí (Rafael, gracias por los enlaces).
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
[…] "CRITEO-300×250", 300, 250); 1 meneos Algunos resultados camino de la conjetura de Goldbach gaussianos.com/algunos-resultados-camino-de-la-conjetura-… por Kabu_ki hace […]
Información Bitacoras.com…
Valora en Bitacoras.com: No hay resumen disponible para esta anotación…
Una duda, entonces la presunta demostración que me mandaste en un pdf, ¿no era tal? A mí me sonó raro que no hubiese salido a la luz a bombo y platillo.
Me ha encantado este post. 🙂
Qué futuro brillante el de Terence Tao! Buenísimo el post.
161803398874, pues no, no era correcta :).
Gracias por la respuesta. Por cierto, una entrada brillante, me ha encantado, en serio.
El mérito es de Rafael Tesoro, que es quien la ha escrito :).
Acerca del tema de la suma de números primos tengo este resultado:
p= un número primo
Q(p) = la suma de todos los primos desde 2 hasta p.
Entonces
P(p+1)/ Ln(p(p+1)/2) se aproxima a Q(p)
[…] septiembre de 2011. Terminé los estudios de máster en matemáticas. Mi trabajo fin de máster titulado Sumando primos ¿hay tres sin dos? recoge una demostración del teorema de Vinogradov (que está relacionado con la conjetura de Goldbach). Resumen para no iniciados, presentación con detalles técnicos y fe de erratas. Sobre este mismo tema escribí en febrero de 2012 una entrada en el blog Gaussianos con ocasión de un resultado de T. Tao que se publicó en esas fechas, v. Algunos resultados camino de la conjetura de Goldbach. […]
Me ha resultado muy curioso el teorema 6: admitir como un avance el demostrar que las excepciones puedan ser «escasamente infinitas», parece que da una idea de lo alejado que aún estamos de desmostrar la conjetura de Goldbach.
Felicitar a gaussianos por su gran labor.
[…] septiembre de 2011. Terminé los estudios de máster en matemáticas. Mi trabajo fin de máster titulado Sumando primos ¿hay tres sin dos? recoge una demostración del teorema de Vinogradov (que está relacionado con la conjetura de Goldbach). Resumen para no iniciados, presentación con detalles técnicos y fe de erratas. Sobre este mismo tema escribí en febrero de 2012 una entrada en el blog Gaussianos con ocasión de un resultado de T. Tao que se publicó en esas fechas, v. Algunos resultados camino de la conjetura de Goldbach. […]
¿Me podrían decir que utilidad tiene la conjetura de goldbach?
Lara, define «utilidad».
buenos dias me gustaria comunicarle la siguiente proposición sobre numeros primos. Sea p irreducible de Z entonces: i) p=x^2-c*y^2 donde c=-1 si p congruente ocn 1 mod 4 c=-2 si p congruente con 3 mod 8 c=+2 si p congruente con 7 mod 8 ii) no existe x´distinto a (+-)x e y´ distinto a (+-)y tales que p=x´^2-c*y´^2 x impar siempre y par si y solo si p congruente con 1 mod 8 iii) además p irreducible si y solo si existe un elemento k comprendido en el intervalo (1,p-1) tal que (+-k)^2 es congruente con c (mod p) por… Lee más »
tanta bulla por algo que no sirve de nada 😀 ni para nada…
no es ‘antimatematicas’ porque yo soy FISICO pero es una pena que no se centren en problemas mas importantes….
[…] Parece ser que ha caído una de las grandes conjeturas de teoría de números que quedaban sin demostrar: la conjetura débil de Goldbach. Y el encargado de cargársela es el matemático peruano Harald Andrés Helfgott mediante su trabajo Major arcs for Goldbach’s theorem (http://arxiv.org/abs/1305.2897), que complementa su anterior trabajo Minor arcs for Goldbach’s theorem (http://arxiv.org/abs/1205.5252). La conjetura débil de Goldbach (o conjetura ternaria de Goldbach) dice que todo número impar mayor que 5 es suma de tres números primos (puede repetirse alguno), y hasta ahora el mejor acercamiento a su demostración correspondía a Terence Tao, que el pasado año… Lee más »
Jose, los esfuerzos de un matemático por resolver un enigma reflejan la lucha infinita del ser humano por conquistar lo imposible. Las matemáticas son tan importantes como la física, y el hombre no debe detenerse ante ningún problema, aunque parezcan innecesarias.
[…] septiembre de 2011. Terminé los estudios de máster en matemáticas. Mi trabajo fin de máster titulado Sumando primos ¿hay tres sin dos? recoge una demostración del teorema de Vinogradov (que está relacionado con la conjetura de Goldbach). Resumen para no iniciados, presentación con detalles técnicos y fe de erratas. Sobre este mismo tema escribí en febrero de 2012 una entrada en el blog Gaussianos con ocasión de un resultado de T. Tao que se publicó en esas fechas, v. Algunos resultados camino de la conjetura de Goldbach. […]
¿Alguien ha demostrado ya que un número impar mayor que 3 puede ser escrito como la suma de un par y un número primo?
Jugando con la conjetura de Goldbach he visto que: 1- Los números pares que más número de combinaciones tienen (comparándolos con los números a su alrededor) son los que resultan de multiplicar los sucesivos números primos. Es decir: 30, 210, 2310, 30030, …. 2- Dado un número par 2N, como todos los números múltiplos m menores o iguales que 2N tienen como uno de sus factores alguno de los primos p menores o iguales que sqrt(2N), si buscamos los números 2N cuyos pares aparecen para valores de p mayores que sqrt(2N), resulta que entre 4 y 100.000 sólo aparecen 72… Lee más »
Conjetura de Goldbach (Demostrada por Andri Lopez)
Aplicando la lógica matematica en base a los dos conjuntos (primos y no primos).
Si aplicamos la descomposición de todo par tenemos.
Siendo
el menor de los impares no primos, entonces.
A su vez si:
será.
con lo cual de nuevo tenemos que.
y, así sucesivamente.
Por lo tanto todo:
Publicado: http://www.hrpub.org/journals/jour_info.php?id=24 Vol 3 (3) 2015
José no lo entenderás porque eres físico; como tal intentas dar a los planteamientos matemáticos una aplicación realista, las matemáticas son abstractas, no tienen porque dar necesariamente un concreto valor en lo que se refiere en teoría de números. Muchas de las cosas que ayer se descubrían por ocio hoy son la base de las computadoras, la tecnología, los sistemas.
Las matemáticas trascienden en ese campo del desconocimiento de sus aplicaciones, lo que hoy no jugamos por descubrir mañana puede ser la llave para el futuro. Esa es la diferencia.