Verificatore della Congettura di Goldbach

Benvenuti nel Verificatore della congettura di Goldbach, uno strumento interattivo che conferma uno dei più antichi problemi aperti nella teoria dei numeri per qualsiasi intero pari maggiore di 2. Inserisci il tuo numero e visualizza istantaneamente ogni coppia di primi che lo somma, il valore della funzione di partizione di Goldbach g(n) e il famoso grafico della cometa di Goldbach. Il diagramma a ponte e il grafico della cometa rendono la struttura dietro la congettura del 1742 visivamente intuitiva.

Cos'è la congettura di Goldbach?

La congettura di Goldbach è un'affermazione della teoria dei numeri proposta dal matematico prussiano Christian Goldbach in una lettera a Leonhard Euler del 7 giugno 1742. Nella sua forma moderna afferma:

Ad esempio: \(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\).

Nonostante la sua semplice formulazione, la congettura è rimasta non dimostrata per quasi tre secoli. È stata verificata computazionalmente per ogni intero pari fino a \(4 \times 10^{18}\) grazie a recenti sforzi su larga scala, ma una dimostrazione generale sfugge ancora ai matematici.

La funzione di partizione di Goldbach g(n)

Per un intero pari \(n\), il numero di coppie non ordinate distinte di numeri primi che sommano a \(n\) è indicato con \(g(n)\), la funzione di partizione di Goldbach:

La congettura di Goldbach è equivalente all'affermazione che \(g(n) \ge 1\) per ogni \(n\) pari \(> 2\). Tracciati rispetto a \(n\), i valori di \(g(n)\) formano una figura visivamente sorprendente nota come cometa di Goldbach — una densa e luminosa banda di punti che si allarga con la crescita di \(n\). All'interno della cometa appaiono distinte bande orizzontali: i numeri divisibili per 6 tendono a posizionarsi più in alto rispetto ai numeri divisibili solo per 2, poiché sono disponibili più numeri primi piccoli come addendi.

Come usare questo verificatore

1. Inserisci un intero pari maggiore di 2. Clicca su un esempio rapido (100, 1.000, 10.000, 123.456, 1.000.000) o digita il tuo.
2. Clicca su "Verifica Goldbach". Lo strumento trova ogni coppia di primi che somma al tuo numero utilizzando un crivello di Eratostene.
3. Leggi il verdetto. Il banner verde conferma che la congettura è valida per il tuo numero e il pannello principale riporta \(g(n)\).
4. Studia il diagramma a ponte. Ogni coppia di primi è disegnata come due segmenti colorati su una linea da 0 a \(n\), con il marcatore centrale rosso a \(n/2\). Le coppie vicino al centro sono più bilanciate.
5. Esplora la cometa. Il grafico a dispersione mostra \(g(m)\) per m pari vicino al tuo input, evidenziando il tuo numero in rosso per vedere dove si colloca nel pattern della cometa.
6. Scorri la tabella completa delle coppie. Ogni coppia \((p, q)\) è elencata con la differenza \(q - p\). Copia tutte le coppie con un solo clic.

Cosa rende speciale una coppia?

• Coppia con p minore — La coppia che utilizza il numero primo \(p\) più piccolo. Spesso questo è \(3\) o \(5\) per \(n\) moderati. Quando \(n\) è una potenza di 2 più 2, può essere \(2 + (n-2)\) stesso.
• Coppia più bilanciata — La coppia con \(p\) più vicino a \(n/2\). Quando entrambi i primi sono uguali a \(n/2\), \(n\) deve essere il doppio di un numero primo (es. \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Coppia con p maggiore — La coppia con il \(p\) più grande tale che \(p \le q\). Questa è la coppia "più bilanciata dall'altro lato" e fornisce un limite visivo su quanto i numeri primi si raggruppino vicino a \(n/2\).

Goldbach in numeri

Conteggi classici delle partizioni

Comportamento asintotico

Argomentazioni euristiche dalla congettura di Hardy–Littlewood suggeriscono che \(g(n)\) cresca approssimativamente come

dove \(C_2 \approx 0,66016\) è la costante dei numeri primi gemelli. Il prodotto extra riflette il motivo per cui i numeri pari con molti piccoli fattori primi (multipli di 6, 30 e così via) tendono ad avere un numero sproporzionatamente alto di coppie di Goldbach — la fonte delle bande orizzontali nella cometa.

Goldbach debole vs forte

• Congettura di Goldbach forte (binaria) — ogni \(n\) pari \(> 2\) è somma di due primi. Ancora aperta.
• Congettura di Goldbach debole (ternaria) — ogni \(n\) dispari \(> 5\) è somma di tre primi. Dimostrata da Harald Helfgott nel 2013, completando un programma decennale iniziato da Vinogradov nel 1937.

La forma forte implica la forma debole: se ogni \(n\) pari è somma di due primi, allora ogni \(n\) dispari \(> 5\) è quella somma più un \(3\) extra. Il viceversa, purtroppo, non è noto se sia valido.

Famosi risultati parziali

• 1923 — Hardy & Littlewood: assumendo l'Ipotesi di Riemann Generalizzata, quasi ogni intero pari è somma di due primi.
• 1937 — Ivan Vinogradov: dimostrò la congettura ternaria per tutti gli interi dispari sufficientemente grandi.
• 1973 — Chen Jingrun: ogni intero pari sufficientemente grande è la somma di un primo e di un numero che è o primo o il prodotto di due primi (Teorema di Chen).
• 1995 — Olivier Ramaré: ogni intero pari è la somma di al massimo 6 primi.
• 2013 — Harald Helfgott: ha dimostrato la congettura debole di Goldbach in modo incondizionato.
• 2014 — Oliveira e Silva, Herzog & Pardi: la congettura forte verificata per tutti gli \(n\) pari \(\le 4 \times 10^{18}\).

Domande frequenti

Cos'è la congettura di Goldbach?

La congettura di Goldbach afferma che ogni numero intero pari maggiore di 2 può essere scritto come somma di due numeri primi. È stata enunciata per la prima volta da Christian Goldbach nel 1742 ed è stata verificata per numeri astronomicamente grandi, ma mai dimostrata in generale.

La congettura di Goldbach è stata dimostrata?

No. Al 2026 la congettura forte di Goldbach rimane un problema aperto. La versione debole (ternaria) — ogni intero dispari maggiore di 5 è la somma di tre primi — è stata dimostrata da Harald Helfgott nel 2013.

Cos'è la funzione di partizione di Goldbach g(n)?

\(g(n)\) è il numero di coppie non ordinate di numeri primi che sommano a \(n\). Ad esempio \(g(10) = 2\) perché \(10 = 3 + 7 = 5 + 5\). La congettura di Goldbach è l'affermazione che \(g(n) \ge 1\) per ogni \(n\) pari \(> 2\).

Perché la congettura di Goldbach si applica solo agli interi pari?

Ogni primo eccetto il \(2\) è dispari. Dispari + dispari = pari, quindi le somme di due primi dispari sono sempre pari. Gli interi dispari sono gestiti dalla congettura ternaria di Goldbach, che riguarda le somme di tre primi.

Cos'è la cometa di Goldbach?

La cometa di Goldbach è un grafico a dispersione di \(g(n)\) rispetto a \(n\). Ha una famosa forma a bande, simile a una coda. Le bande orizzontali appaiono perché i numeri pari con molti divisori primi piccoli tendono ad avere proporzionalmente più partizioni.

Quante coppie di primi sommano a 100?

Ce ne sono sei: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Quindi \(g(100) = 6\). Prova 100 nel verificatore sopra per vedere ogni coppia visualizzata.

Risorse aggiuntive

• Congettura di Goldbach — Wikipedia
• Cometa di Goldbach — Wikipedia (Inglese)
• Congettura di Goldbach — MathWorld (Inglese)