Congettura dei numeri primi gemelli

La congettura dei numeri primi gemelli è un famoso problema irrisolto della teoria dei numeri che riguarda i numeri primi. Essa fu proposta per la prima volta da Euclide intorno al 300 a.C. e afferma:

Esistono infiniti numeri primi  tali che anche  sia un numero primo.

Due numeri primi che differiscono di 2 sono chiamati primi gemelli. Molti teorici dei numeri hanno tentato di dimostrare questa congettura. La maggior parte dei matematici ritiene che questa congettura sia vera, basandosi principalmente sull'evidenza numerica e su ragionamenti euristici che riguardano la distribuzione probabilistica dei numeri primi.

Nel 1849 de Polignac enunciò una congettura più generale: per ogni numero naturale  esistono infinite coppie di numeri primi che differiscono di  Il caso  corrisponde esattamente alla congettura dei primi gemelli.

Nel corso degli anni sono stati raggiunti alcuni risultati parziali, il più recente dei quali (2013) mostra che esistono infiniti numeri primi tali che la loro distanza sia un numero minore o uguale a 264.

Risultati parziali 
Nel 1915 Viggo Brun dimostrò che la somma dei reciproci dei primi gemelli è convergente. Questo famoso risultato fu la prima applicazione del crivello di Brun e fu una pietra miliare per lo sviluppo della moderna teoria dei crivelli.

Nel 1940, Erdős dimostrò che esiste una costante  e infiniti numeri primi  tali che

dove  indica il numero primo successivo a 

Questo risultato fu in seguito migliorato; nel 1986 Helmut Maier dimostrò che può essere usata una costante  Nel 2004 Daniel Goldston e  Cem Yıldırım dimostrarono che la costante può essere migliorata a  Nel 2005 Goldston, Pintz e Yıldırım mostrarono che si può scegliere  arbitrariamente piccola; infatti, se si assume la congettura di Elliott-Halberstam, essi dimostrano che esistono infiniti  tali che almeno due tra  siano primi.

Nel 1966, Chen Jingrun dimostrò che esistono infiniti numeri primi  tali che  è o un primo o un semiprimo (cioè il prodotto di due primi). L'approccio che adottò è tipico della teoria dei crivelli e gli consentì di trattare la congettura dei primi gemelli e la congettura di Goldbach in maniere simili.

Definendo un numero primo di Chen un numero primo  tale che  sia un primo o un semiprimo, Terence Tao e Ben Green dimostrarono nel 2005 che esistono infinite triplette di primi di Chen in progressione aritmetica.

Zhang Yitang, un matematico sino-statunitense attivo nel campo della teoria dei numeri, nell'aprile del 2013 ha pubblicato un articolo sulla rivista Annals of Mathematics in cui dimostra che esistono coppie infinite di numeri primi distanti tra loro meno di 70 milioni. Il successivo lavoro di matematici come Terence Tao, Scott Morrison e Andrew Sutherland, unito al nuovo approccio di James Maynard, ha portato all'affinamento della dimostrazione, riducendo la distanza tra i primi da 70 milioni a 246.

Congettura di Hardy-Littlewood
Vi è anche una generalizzazione della congettura dei gemelli, chiamata congettura di Hardy-Littlewood (da G. H. Hardy e John Littlewood), che riguarda la distribuzione dei primi gemelli, analogamente al teorema dei numeri primi. Indichiamo con  il numero di primi  tali che  è primo. Definiamo la costante dei numeri primi gemelli  come

dove il prodotto si estende su tutti i numeri primi  Allora la congettura afferma che

nel senso che il quoziente delle due espressioni tende a  quando  tende a 

Questa congettura si può giustificare (ma non dimostrare) assumendo che  descriva la funzione di densità della distribuzione dei primi, assunzione suggerita dal teorema dei numeri primi. L'evidenza numerica della congettura di Hardy-Littlewood è piuttosto forte.

Note

Voci correlate 
 Costante di Brun
 Congettura di Goldbach
 Dimostrazione matematica
 Numero primo gemello
 Problemi di Landau

Collegamenti esterni
 
 There Are Infinitely Many Prime Twins - R. Arenstorf - La dimostrazione di Arenstorf, ritrattata l'8 giugno 2004.

Numeri primi
Numeri primi gemelli, congettura dei