Congettura di Goldbach
In matematica, la congettura di Goldbach è uno dei più vecchi problemi irrisolti nella teoria dei numeri. Essa afferma che ogni numero pari maggiore di 2 può essere scritto come somma di due numeri primi (che possono essere anche uguali).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Goldbach-1000000.png/350px-Goldbach-1000000.png)
Per esempio,
- 4 = 2 + 2
- 6 = 3 + 3
- 8 = 3 + 5
- 10 = 3 + 7 = 5 + 5
- 12 = 5 + 7
- 14 = 3 + 11 = 7 + 7
- ecc.
Origini
modificaNel 1742, il matematico prussiano Christian Goldbach scrisse una lettera a Eulero in cui propose la seguente congettura:
- Ogni numero intero maggiore di 5 può essere scritto come somma di tre numeri primi.
Eulero, interessandosi al problema, rispose riformulando il problema nella seguente versione equivalente:
- Ogni numero pari maggiore di 2 può essere scritto come somma di due numeri primi.
La versione di Eulero è la forma nella quale la congettura è formulata attualmente e viene talvolta chiamata anche col nome di congettura forte di Goldbach. La congettura debole di Goldbach, che è implicata dalla congettura forte, asserisce che tutti i numeri dispari maggiori di 5 possono essere scritti come somma di tre primi.
Risultati
modificaLa congettura di Goldbach ha attirato l'attenzione di molti teorici dei numeri. La maggior parte dei matematici ritiene che la congettura sia vera, basandosi principalmente su considerazioni statistiche e probabilistiche ottenute con il teorema dei numeri primi.
Nel 1923 Hardy e Littlewood hanno dimostrato che se l'ipotesi di Riemann generalizzata è vera, allora la congettura debole di Goldbach è vera per tutti gli interi dispari sufficientemente grandi. Nel 1937, Ivan Vinogradov rimosse l'assunzione dell'ipotesi di Riemann generalizzata, mostrando che ogni numero dispari è somma di tre primi. Inoltre, basandosi sulle idee di Vinogradov, Chudakov,[1] van der Corput,[2] e Estermann[3] hanno dimostrato che quasi tutti i numeri pari possono essere scritti come somma di due primi, ossia che la frazione dei numeri che possono essere scritti in tal modo tende a 1. Nel 1975, Hugh Montgomery e Robert Vaughan hanno dato una versione più precisa di questo risultato mostrando che il numero di interi pari minori di N che non sono rappresentabili come somma di due primi è minore di per due costanti .
Diversi altri risultati parziali sono stati dimostrati nel corso degli anni. Nel 1939 L.G. Schnirelmann provò che ogni numero pari n ≥ 4 può essere scritto come somma di al più 20 numeri primi.[senza fonte] Questo numero è stato successivamente abbassato da numerosi matematici; in particolare Olivier Ramaré nel 1995 ha dimostrato che ogni numero pari n ≥ 4 si può scrivere come somma di al più 6 numeri primi. Si noti che la congettura debole di Goldbach implica il medesimo risultato, ma con soli 4 numeri primi.
Nel 1951, Linnik ha dimostrato che esiste un intero k tale che ogni numero pari sufficientemente grande si può scrivere come somma di due primi e al più k potenze di due. Nel 2002 Roger Heath-Brown e Jan-Christoph Schlage-Puchta hanno dimostrato che k = 13 è sufficiente[4] e nel 2003 Pintz e Ruzsa hanno migliorato questo risultato mostrando che si può prendere k = 8.[5]
Un altro risultato importante è quello ottenuto da Chen Jingrun che nel 1966 ha dimostrato che ogni numero pari sufficientemente grande può essere scritto come somma o di due primi, o di un primo e un semiprimo (il prodotto di due primi): per esempio, 100 = 23 + 7·11.[6]
Infine, nel corso degli anni ci sono stati diversi risultati per abbassare il limite menzionato sopra oltre al quale la congettura debole di Goldbach è dimostrata. Tra questi, vi è la dimostrazione di Deshouillers, Effinger, te Riele e Zinoviev che l'ipotesi di Riemann generalizzata implica la congettura debole di Goldbach.[7] Nel 2013 Harald Helfgott ha annunciato di aver dimostrato tale risultato senza l'assunzione dell'ipotesi di Riemann, risolvendo totalmente quindi la congettura debole di Goldbach.[8][9][10][11]
Nella cultura di massa
modifica- Nel 2000, allo scopo di pubblicizzare il libro Zio Petros e la congettura di Goldbach di Apostolos Doxiadis, l'editore britannico Tony Faber offrì un premio di 1 000 000 di dollari per una dimostrazione della congettura. Il premio sarebbe stato assegnato solo per dimostrazioni inviate per la pubblicazione entro aprile 2002, ma non fu mai reclamato.
- La congettura di Goldbach è citata nel film La Bestia con un miliardo di schiene, versione cinematografica della serie animata Futurama, in una scena in cui il professor Farnsworth e il suo rivale-collega prof. Wernstrom affermano di aver trovato "un'altra dimostrazione elementare" della congettura di Goldbach.
- È citata nel libro Il teorema del pappagallo di Denis Guedj.
- È citata nei libri Il marchio del diavolo, Il debito e "La quarta profezia" di Glenn Cooper.
- È citata nel libro Perché io credo in Colui che ha fatto il mondo. Tra fede e scienza di Antonino Zichichi.
- È citata nel film spagnolo La habitación de Fermat.
- È citata nel primo racconto (Milioni di trilioni) de I banchetti dei vedovi neri di Isaac Asimov.
- È citata nel saggio Tre concezioni della scienza umana di Karl Popper.
- È citata nel saggio "Gödel, Escher, Bach: un'eterna ghirlanda brillante" di Douglas Hofstadter, in cui compare in uno dei dialoghi fra Achille e la Tartaruga.
- È citata nell'albo #182 "Il segreto dei numeri primi" del fumetto "Nathan Never", menzionata dall'esperto informatico Sigmund Baginov.
- È citata nell'albo #373 "L'ombra della Yakuza" del fumetto "Nathan Never", dimostrata da Aristotele Slamor/Aristotele Skotos.
- È citata nell'albo #27, "Un Prezzo da Pagare", del fumetto "John Doe", in cui compare lo stesso Goldbach.
- È citata nel racconto “A forma di isola” di Fabio Stassi, contenuto in “Cinquanta in blu”, ed. Sellerio 2019
- Il film Il teorema di Margherita di Anna Novion, presentato al festival di Cannes del 2024, racconta l'ossessione di una dottoranda per la congettura di Goldbach.
Note
modifica- ^ Nikolai G. Chudakov, О проблеме Гольдбаха [On the Goldbach problem], in Doklady Akademii Nauk SSSR, vol. 17, 1937, pp. 335–338.
- ^ J. G. Van der Corput, Sur l'hypothèse de Goldbach, in Proc. Akad. Wet. Amsterdam, vol. 41, 1938, pp. 76–80.
- ^ T. Estermann, On Goldbach's problem: proof that almost all even positive integers are sums of two primes, in Proc. London Math. Soc., 2, vol. 44, 1938, pp. 307–314, DOI:10.1112/plms/s2-44.4.307.
- ^ D. R. Heath-Brown e J. C. Puchta, Integers represented as a sum of primes and powers of two, in Asian Journal of Mathematics, vol. 6, n. 3, 2002, pp. 535–565, arXiv:math.NT/0201299.
- ^ J. Pintz e I. Z. Ruzsa, On Linnik's approximation to Goldbach's problem, I, in Acta Arithmetica, vol. 109, n. 2, 2003, pp. 169–194, DOI:10.4064/aa109-2-6.
- ^ J. R. Chen, On the representation of a larger even integer as the sum of a prime and the product of at most two primes. Sci. Sinica 16 (1973), 157--176.
- ^ Deshouillers, Effinger, Te Riele and Zinoviev, A complete Vinogradov 3-primes theorem under the Riemann hypothesis (PDF), in Electronic Research Announcements of the American Mathematical Society, vol. 3, n. 15, 1997, pp. 99–104, DOI:10.1090/S1079-6762-97-00031-0.
- ^ H.A. Helfgott, Major arcs for Goldbach's theorem, 2013.
- ^ H.A. Helfgott, Minor arcs for Goldbach's problem, 2012.
- ^ Prime numbers: the 271 year old puzzle resolved - Truth Is Cool Archiviato il 7 giugno 2013 in Internet Archive.
- ^ Proof that an infinite number of primes are paired - physics-math - 14 May 2013 - New Scientist
Bibliografia
modifica- Zio Petros e la congettura di Goldbach (1992), di Apostolos Doxiadis, Bompiani (ISBN 88-452-4861-5)
- Le ostinazioni di un matematico, ovvero come morire tre volte per la congettura di Goldbach (2005), di Didier Nordon, Sironi Editore (ISBN 88-518-0047-2)
Voci correlate
modificaAltri progetti
modifica- Wikimedia Commons contiene immagini o altri file sulla congettura di Goldbach
Collegamenti esterni
modifica- (EN) Eric W. Weisstein, Congettura di Goldbach, su MathWorld, Wolfram Research.
- (EN) Goldbach's conjecture, parte delle Prime Pages di Chris Caldwell.
- (EN) A million-dollar maths question. Articolo di Anjana Ahuja in The Times, 16 marzo, 2000.
- (EN) Help verify the Goldbach conjecture, La ricerca distribuita gestita da T. Oliveira e Silva.
- Visualizzatore di coppie di Goldbach, strumento per verificare la congettura di Goldbach su interi che vengono richiesti.
Controllo di autorità | Thesaurus BNCF 14100 · LCCN (EN) sh97007184 · BNF (FR) cb13745227d (data) · J9U (EN, HE) 987007544410505171 |
---|