Verificador da Conjectura de Goldbach

Bem-vindo ao Verificador da Conjectura de Goldbach, uma ferramenta interativa que confirma um dos problemas abertos mais antigos da teoria dos números para qualquer número inteiro par maior que 2. Insira seu número e veja instantaneamente cada par de primos que resulta em sua soma, o valor da função de partição de Goldbach g(n) e o famoso gráfico do cometa de Goldbach. O diagrama de ponte e o gráfico do cometa tornam a estrutura por trás da conjectura de 1742 visualmente intuitiva.

O que é a Conjectura de Goldbach?

A conjectura de Goldbach é uma afirmação na teoria dos números proposta pelo matemático prussiano Christian Goldbach em uma carta a Leonhard Euler em 7 de junho de 1742. Em sua forma moderna, ela afirma:

Por exemplo: \(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\).

Apesar de sua afirmação simples, a conjectura permanece sem prova por quase três séculos. Ela foi verificada computacionalmente para cada número inteiro par até \(4 \times 10^{18}\) em esforços recentes de larga escala, mas uma prova geral ainda escapa aos matemáticos.

A Função de Partição de Goldbach g(n)

Para um número inteiro par \(n\), o número de pares não ordenados distintos de primos que somam \(n\) é denotado por \(g(n)\), a função de partição de Goldbach:

A conjectura de Goldbach é equivalente à afirmação de que \(g(n) \ge 1\) para todo \(n > 2\) par. Quando plotados contra \(n\), os valores de \(g(n)\) formam uma figura visualmente impressionante conhecida como cometa de Goldbach — uma faixa densa e brilhante de pontos que se abre conforme \(n\) cresce. Faixas horizontais distintas aparecem dentro do cometa: números divisíveis por 6 tendem a ficar em posições mais altas do que números divisíveis apenas por 2, porque mais primos pequenos estão disponíveis como parcelas.

Como Usar Este Verificador

1. Insira um número inteiro par maior que 2. Clique em um exemplo rápido (100, 1.000, 10.000, 123.456, 1.000.000) ou digite o seu próprio.
2. Clique em "Verificar Goldbach". A ferramenta encontra cada par de primos que soma o seu número usando o crivo de Eratóstenes.
3. Leia o veredito. O banner verde confirma que a conjectura é válida para o seu número, e o painel principal informa \(g(n)\).
4. Estude o diagrama de ponte. Cada par de primos é desenhado como dois segmentos coloridos em uma linha de 0 a \(n\), com o marcador central vermelho em \(n/2\). Pares perto do centro são mais equilibrados.
5. Explore o cometa. O gráfico de dispersão mostra \(g(m)\) para \(m\) par próximo à sua entrada, destacando seu número em vermelho para que você possa ver onde ele se situa no padrão do cometa.
6. Analise a tabela completa de pares. Cada par \((p, q)\) é listado com a diferença \(q - p\). Copie todos os pares com um clique.

O Que Torna um Par Especial?

• Par com menor p — O par que utiliza o menor número primo \(p\). Frequentemente, este é \(3\) ou \(5\) para um \(n\) moderado. Quando \(n\) é uma potência de 2 mais 2, pode ser o próprio \(2 + (n-2)\).
• Par mais equilibrado — O par com \(p\) mais próximo de \(n/2\). Quando ambos os primos são iguais a \(n/2\), \(n\) deve ser o dobro de um primo (ex: \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Par com maior p — O par com o maior \(p\) tal que \(p \le q\). Este é o "mais equilibrado do outro lado" e fornece um limite visual de quão perto de \(n/2\) os primos se agrupam.

Goldbach em Números

Contagens de partições clássicas

Comportamento assintótico

Argumentos heurísticos da conjectura de Hardy–Littlewood sugerem que \(g(n)\) cresce aproximadamente como

onde \(C_2 \approx 0,66016\) é a constante de números primos gêmeos. O produto extra reflete por que números pares com muitos fatores primos pequenos (múltiplos de 6, 30 e assim por diante) tendem a ter desproporcionalmente muitos pares de Goldbach — a origem das faixas horizontais no cometa.

Goldbach Fraca vs Forte

• Conjectura forte (binária) de Goldbach — todo \(n > 2\) par é uma soma de dois primos. Ainda em aberto.
• Conjectura fraca (ternária) de Goldbach — todo \(n > 5\) ímpar é uma soma de três primos. Provada por Harald Helfgott em 2013, completando um programa de décadas iniciado por Vinogradov em 1937.

A forma forte implica a forma fraca: se todo \(n\) par é uma soma de dois primos, então todo \(n > 5\) ímpar é essa soma mais um \(3\) extra. O inverso, infelizmente, não é conhecido como verdadeiro.

Resultados Parciais Famosos

• 1923 — Hardy & Littlewood: assumindo a Hipótese de Riemann Generalizada, quase todo número inteiro par é uma soma de dois primos.
• 1937 — Ivan Vinogradov: provou a conjectura ternária para todos os números inteiros ímpares suficientemente grandes.
• 1973 — Chen Jingrun: todo número inteiro par suficientemente grande é a soma de um primo e um número que é ou primo ou o produto de dois primos (Teorema de Chen).
• 1995 — Olivier Ramaré: cada número inteiro par é a soma de no máximo 6 primos.
• 2013 — Harald Helfgott: provou a conjectura fraca de Goldbach incondicionalmente.
• 2014 — Oliveira e Silva, Herzog & Pardi: a conjectura forte verificada para todo \(n \le 4 \times 10^{18}\) par.

Perguntas Frequentes

O que é a conjectura de Goldbach?

A conjectura de Goldbach afirma que todo número inteiro par maior que 2 pode ser escrito como a soma de dois números primos. Foi formulada pela primeira vez por Christian Goldbach em 1742 e foi verificada para números astronomicamente grandes, mas nunca provada de forma geral.

A conjectura de Goldbach foi provada?

Não. Até 2026, a conjectura forte de Goldbach permanece um problema em aberto. A versão fraca (ternária) — todo número inteiro ímpar maior que 5 é a soma de três primos — foi provada por Harald Helfgott em 2013.

O que é a função de partição de Goldbach g(n)?

\(g(n)\) é o número de pares não ordenados de primos que somam \(n\). Por exemplo, \(g(10) = 2\) porque \(10 = 3 + 7 = 5 + 5\). A conjectura de Goldbach é a afirmação de que \(g(n) \ge 1\) para todo \(n > 2\) par.

Por que a conjectura de Goldbach só se aplica a números inteiros pares?

Todo número primo, exceto \(2\), é ímpar. Ímpar + ímpar = par, portanto, as somas de dois primos ímpares são sempre pares. Os números inteiros ímpares são tratados pela conjectura ternária de Goldbach, que questiona sobre somas de três primos.

O que é o cometa de Goldbach?

O cometa de Goldbach é um gráfico de dispersão de \(g(n)\) versus \(n\). Ele possui uma famosa forma de cauda com faixas. Faixas horizontais aparecem porque números pares com muitos divisores primos pequenos tendem a ter proporcionalmente mais partições.

Quantos pares de primos somam 100?

Existem seis: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Assim, \(g(100) = 6\). Tente 100 no verificador acima para ver cada par visualizado.

Recursos Adicionais

• Conjectura de Goldbach — Wikipedia
• Cometa de Goldbach — Wikipedia
• Goldbach Conjecture — MathWorld