Calculadora Conjetura de Goldbach (Fuerte y Debil)

Calculadora conjetura de Goldbach fuerte y debil: descomposicion de n par en p+q, conteo de pares, estimación Hardy-Littlewood y teorema Helfgott 2013.

Parámetros de cálculo
¿Te ha sido útil esta calculadora?

La conjetura de Goldbach

Formulada en 1742 por Christian Goldbach a Euler. Dos versiones:

  • Fuerte: todo par >= 4 es p+q con p, q primos.
  • Debil: todo impar >= 7 es p+q+r con p, q, r primos.

Fuerte abierta desde 1742. Debil DEMOSTRADA por Helfgott en 2013.

Verificación computacional

Fuerte verificada para todo par hasta 4 * 10^18 (Oliveira e Silva 2014). Sin contraejemplos. r_2(n) = numero decomposiciones oscila pero siempre positivo.

Hardy-Littlewood (1923)

r_2(n) ~ 2 C_2 (n / log^2(n)) * Prod_{p|n, p>2} (p-1)/(p-2). C_2 = 0.660161 constante primos gemelos. Acuerdo empirico excelente (<10% error).

Helfgott (2013)

Combina método círculo Hardy-Littlewood-Vinogradov + computación hasta 8.875 * 10^30 + análisis analitico. 500 CPU anos.

Cinco modalidades

  1. Goldbach fuerte.
  2. Goldbach debil.
  3. Conteo descomposiciones.
  4. Verificación rango [4, N].
  5. Vinogradov-Hardy-Littlewood.

Chen (1973)

Todo par suficientemente grande = p + q con p primo y q primo o semiprimo. Resultado mas fuerte hacia Goldbach. Criba ponderada de Chen.

Estadisticas numericas

  • 4 tiene 1 descomposición: 2+2.
  • 100 tiene 6: (3,97), (11,89), (17,83), (29,71), (41,59), (47,53).
  • 1000 tiene 28 descomposiciones.
  • 10000 tiene 127.
  • 10^6 tiene mas de 6000.

Enfoques y tentativas

  • Método del círculo Hardy-Littlewood-Vinogradov: descomposición en arcos mayores y menores.
  • Método de Linnik (1946): teorema de dispersión, primos casi-equidistribuidos.
  • Cribas combinatorias: Brun, Selberg, Chen.
  • Metodos probabilisticos: densidad primos ~ 1/log(n) sugiere r_2(n) ~ n/log^2(n).
  • Hipótesis de Riemann Generalizada no implica Goldbach pero da herramientas.
  • Computación distribuida en clusters tipo GIMPS.

Aplicaciones

  • Teoría analitica de numeros: método del círculo, fórmulas explicitas.
  • Criptografia: análisis distribución primos pequenos.
  • Complejidad: conexion con SAT y factorización.
  • Didactica: ejemplo accesible de problema abierto fundamental.
  • Historia matemática: Goldbach-Euler, Hardy-Littlewood, Vinogradov, Helfgott.
  • Filosofia de la matemática: simbolo del misterio de primos.

Historia de la conjetura de Goldbach

La conjetura nació de una carta del 7 de junio de 1742, en la que el matemático prusiano Christian Goldbach escribió a Leonhard Euler una observación sobre los números primos. En la formulación original, Goldbach afirmaba que todo entero mayor que 2 puede escribirse como suma de tres primos (usando una convención de la época en que el 1 se consideraba primo). Euler respondió reformulándola en la versión hoy conocida como conjetura fuerte: todo entero par mayor que 2 es la suma de dos primos. Euler la creía ciertamente verdadera aunque no supiera demostrarla, y así ha permanecido durante casi tres siglos. La versión con tres primos, llamada conjetura débil, está en cambio implicada por la fuerte y fue finalmente demostrada en 2013. La correspondencia Goldbach-Euler sigue siendo uno de los intercambios epistolares más célebres de la historia de las matemáticas.

La conjetura de Goldbach en la cultura

Pocos problemas matemáticos han conquistado el imaginario colectivo como la conjetura de Goldbach, gracias a su enunciado elemental, comprensible por cualquiera, y a su resistencia de casi tres siglos. En 1992 el matemático y escritor Apostolos Doxiadis publicó la novela El tío Petros y la conjetura de Goldbach, que narra la obsesión de un matemático por el problema y llevó la conjetura al gran público. Para promocionar el libro en 2000, la editorial Faber and Faber ofreció un premio de un millón de dólares a quien la demostrara en dos años: nadie lo logró. Esta combinación de aparente simplicidad y dificultad abismal sigue fascinando a matemáticos profesionales y aficionados, haciendo de Goldbach un símbolo de los grandes misterios sin resolver de la teoría de números.

Actualizado a julio de 2026

Preguntas frecuentes

¿Qué es la conjetura de Goldbach?

Es la afirmación, conocida como conjetura fuerte, de que todo número entero par mayor que 2 puede escribirse como suma de dos números primos. Por ejemplo 10 = 3+7 = 5+5, y 100 = 3+97 = 11+89 y otras formas. Formulada en 1742 en la correspondencia entre Goldbach y Euler, es uno de los problemas sin resolver más antiguos y célebres de las matemáticas, aún abierto tras casi tres siglos.

¿Cuál es la diferencia entre Goldbach fuerte y débil?

La conjetura fuerte trata los números pares: todo par ≥ 4 es suma de dos primos. La conjetura débil (o ternaria) trata los impares: todo impar ≥ 7 es suma de tres primos. La versión débil está implicada por la fuerte y es más fácil: fue demostrada por Harald Helfgott en 2013. La versión fuerte, en cambio, sigue siendo hoy una conjetura no demostrada.

¿Se ha demostrado la conjetura de Goldbach?

La versión fuerte, sobre los números pares, aún no se ha demostrado: sigue siendo una conjetura abierta. La versión débil, sobre los impares, fue en cambio demostrada por Harald Helfgott en 2013 para todos los impares mayores o iguales que 7. Numéricamente la conjetura fuerte se ha verificado para todos los pares hasta 4×10¹⁸, sin hallar nunca un contraejemplo, pero la verificación por ordenador no es una demostración.

¿Hasta qué número se ha verificado?

Gracias a proyectos de cálculo distribuido, la conjetura fuerte de Goldbach se ha verificado para todos los números pares hasta 4×10¹⁸ (cuatro trillones), un resultado obtenido por Tomás Oliveira e Silva en 2014. En este intervalo enorme cada número par es suma de dos primos. Sin embargo, por convincente que sea, la verificación numérica no constituye una demostración: siempre podría existir un contraejemplo mayor.

¿Qué es la conjetura de Hardy-Littlewood para Goldbach?

Es una estimación cuantitativa del número de formas en que un par n puede escribirse como suma de dos primos. Predice que este número crece como 2·C₂·(n/ln²n) multiplicado por un factor que depende de los factores primos de n, donde C₂ ≈ 0,6601 es la constante de los primos gemelos. La fórmula explica por qué los pares altamente divisibles tienen más descomposiciones de Goldbach, y concuerda muy bien con los datos.

¿Qué es el teorema de Chen?

En 1973 el matemático chino Chen Jingrun demostró un resultado notablemente cercano a la conjetura de Goldbach: todo número par suficientemente grande puede escribirse como suma de un primo y un número que es primo o producto de dos primos (un 'semiprimo'). Es uno de los avances más significativos hacia la conjetura, obtenido con métodos de criba, pero aún no equivale a una demostración completa.

¿Por qué es tan difícil de demostrar?

La dificultad nace de que los números primos, aunque tienen una densidad conocida, están distribuidos de forma irregular e impredecible. Demostrar que todo número par tenga siempre al menos un par de primos que lo componen requiere controlar simultáneamente la estructura aditiva y multiplicativa de los enteros, un tipo de problema para el que las herramientas matemáticas actuales aún no son suficientes.

¿Quién formuló la conjetura de Goldbach?

Fue propuesta por Christian Goldbach en una carta a Leonhard Euler del 7 de junio de 1742. En su forma original trataba de sumas de tres primos; fue Euler quien la reformuló en la versión fuerte sobre los pares, creyéndola verdadera aunque incapaz de demostrarla. Desde entonces la conjetura lleva el nombre de Goldbach y se ha convertido en uno de los símbolos de los grandes problemas abiertos de la teoría de números.

Comentarios (0)

Sin comentarios aún. ¡Sé el primero!