Verificador de la Conjetura de Goldbach

Bienvenido al Verificador de la Conjetura de Goldbach, una herramienta interactiva que confirma uno de los problemas abiertos más antiguos de la teoría de números para cualquier número entero par mayor que 2. Ingrese su número y vea instantáneamente cada par de primos que suma a él, el valor de la función de partición de Goldbach g(n) y el famoso gráfico del cometa de Goldbach. El diagrama de puente y el gráfico del cometa hacen que la estructura detrás de la conjetura de 1742 sea visualmente intuitiva.

¿Qué es la conjetura de Goldbach?

La conjetura de Goldbach es una afirmación en teoría de números propuesta por el matemático prusiano Christian Goldbach en una carta a Leonhard Euler el 7 de junio de 1742. En su forma moderna establece:

Por ejemplo: \(4 = 2 + 2\), \(6 = 3 + 3\), \(8 = 3 + 5\), \(10 = 3 + 7 = 5 + 5\), \(100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53\).

A pesar de su enunciado simple, la conjetura ha permanecido sin demostrar durante casi tres siglos. Ha sido verificada computacionalmente para cada número entero par hasta \(4 \times 10^{18}\) según esfuerzos recientes a gran escala, pero una prueba general aún elude a los matemáticos.

La función de partición de Goldbach g(n)

Para un número entero par \(n\), el número de pares no ordenados distintos de primos que suman \(n\) se denota como \(g(n)\), la función de partición de Goldbach:

La conjetura de Goldbach es equivalente a la afirmación de que \(g(n) \ge 1\) para todo \(n\) par \(> 2\). Al graficarlos frente a \(n\), los valores de \(g(n)\) forman una figura visualmente impactante conocida como el cometa de Goldbach: una banda densa y brillante de puntos que se abre en abanico a medida que \(n\) crece. Aparecen bandas horizontales distintas dentro del cometa: los números divisibles por 6 tienden a situarse más arriba que los números divisibles solo por 2, porque hay más primos pequeños disponibles como sumandos.

Cómo usar este verificador

1. Ingrese un número entero par mayor que 2. Haga clic en un ejemplo rápido (100, 1,000, 10,000, 123,456, 1,000,000) o escriba el suyo propio.
2. Haga clic en "Verificar Goldbach". La herramienta encuentra cada par de primos que suma su número utilizando una criba de Eratóstenes.
3. Lea el veredicto. El banner verde confirma que la conjetura se cumple para su número, y el panel principal informa g(n).
4. Estudie el diagrama de puente. Cada par de primos se dibuja como dos segmentos de colores en una línea de 0 a \(n\), con el marcador central rojo en \(n/2\). Los pares cerca del centro están más equilibrados.
5. Explore el cometa. El gráfico de dispersión muestra \(g(m)\) para m pares cercanos a su entrada, resaltando su número en rojo para que pueda ver dónde se sitúa en el patrón del cometa.
6. Examine la tabla completa de pares. Cada par \((p, q)\) se enumera con la diferencia \(q - p\). Copie todos los pares con un solo clic.

¿Qué hace que un par sea especial?

• Par con p más pequeño — El par que utiliza el número primo \(p\) más pequeño. A menudo es \(3\) o \(5\) para \(n\) moderados. Cuando \(n\) es una potencia de 2 más 2, puede ser el propio \(2 + (n-2)\).
• Par más equilibrado — El par con \(p\) más cercano a \(n/2\). Cuando ambos primos son iguales a \(n/2\), \(n\) debe ser el doble de un primo (por ejemplo, \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Par con p más grande — El par con el \(p\) más grande tal que \(p \le q\). Este es el "más equilibrado desde el otro lado" y proporciona un límite visual sobre qué tan cerca de \(n/2\) se agrupan los primos.

Goldbach en números

Recuentos de partición clásicos

Comportamiento asintótico

Los argumentos heurísticos de la conjetura de Hardy–Littlewood sugieren que \(g(n)\) crece aproximadamente como

donde \(C_2 \approx 0.66016\) es la constante de los primos gemelos. El producto adicional refleja por qué los números pares con muchos factores primos pequeños (múltiplos de 6, 30, etc.) tienden a tener desproporcionadamente muchos pares de Goldbach, el origen de las bandas horizontales en el cometa.

Goldbach Débil vs Fuerte

• Conjetura fuerte de Goldbach (binaria) — todo \(n\) par \(> 2\) es una suma de dos primos. Todavía abierta.
• Conjetura débil de Goldbach (ternaria) — todo \(n\) impar \(> 5\) es una suma de tres primos. Demostrada por Harald Helfgott en 2013, completando un programa de décadas iniciado por Vinogradov en 1937.

La forma fuerte implica la forma débil: si cada \(n\) par es una suma de dos primos, entonces cada \(n\) impar \(> 5\) es esa suma más un \(3\) extra. A la inversa, lamentablemente, no se sabe que se cumpla.

Resultados Parciales Famosos

• 1923 — Hardy & Littlewood: asumiendo la Hipótesis de Riemann Generalizada, casi todos los números enteros pares son una suma de dos primos.
• 1937 — Ivan Vinogradov: demostró la conjetura ternaria para todos los números enteros impares suficientemente grandes.
• 1973 — Chen Jingrun: todo número entero par suficientemente grande es la suma de un primo y un número que es primo o el producto de dos primos (Teorema de Chen).
• 1995 — Olivier Ramaré: todo número entero par es la suma de como máximo 6 primos.
• 2013 — Harald Helfgott: demostró la conjetura débil de Goldbach incondicionalmente.
• 2014 — Oliveira e Silva, Herzog & Pardi: la conjetura fuerte verificada para todos los \(n\) pares \( \le 4 \times 10^{18}\).

Preguntas frecuentes

¿Qué es la conjetura de Goldbach?

La conjetura de Goldbach establece que todo número entero par mayor que 2 puede escribirse como la suma de dos números primos. Fue declarada por primera vez por Christian Goldbach en 1742 y ha sido verificada para números astronómicamente grandes pero nunca probada en general.

¿Se ha demostrado la conjetura de Goldbach?

No. A partir de 2026, la conjetura fuerte de Goldbach sigue siendo un problema abierto. La versión débil (ternaria) —todo número entero impar mayor que 5 es la suma de tres primos— fue probada por Harald Helfgott en 2013.

¿Qué es la función de partición de Goldbach g(n)?

\(g(n)\) es el número de pares no ordenados de primos que suman \(n\). Por ejemplo \(g(10) = 2\) porque \(10 = 3 + 7 = 5 + 5\). La conjetura de Goldbach es la afirmación de que \(g(n) \ge 1\) para todo \(n\) par \(> 2\).

¿Por qué la conjetura de Goldbach solo se aplica a números enteros pares?

Todos los primos excepto el \(2\) son impares. Impar + impar = par, por lo que las sumas de dos primos impares son siempre pares. Los números enteros impares son manejados por la conjetura ternaria de Goldbach, que pregunta sobre sumas de tres primos.

¿Qué es el cometa de Goldbach?

El cometa de Goldbach es un gráfico de dispersión de \(g(n)\) frente a \(n\). Tiene una famosa forma bandeada similar a una cola. Las bandas horizontales aparecen porque los números pares con muchos divisores primos pequeños tienden a tener proporcionalmente más particiones.

¿Cuántos pares de primos suman 100?

Hay seis: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Por lo tanto \(g(100) = 6\). Pruebe el 100 en el verificador de arriba para ver cada par visualizado.

Recursos adicionales

• Conjetura de Goldbach — Wikipedia
• Cometa de Goldbach — Wikipedia
• Conjetura de Goldbach — MathWorld