Bruns teorem säger att summan av tvillingarnas reciproka ( primtalpar som skiljer sig med endast 2) konvergerar till ett ändligt värde som kallas Bruns konstant , som betecknas B 2 (sekvens A065421 i OEIS ). Bruns teorem bevisades av Viggo Brun 1919, och den har historisk betydelse för siktmetoder .
Konvergensen av summan av reciproka till tvillingtal följer av begränsningen av tätheten av sekvensen av tvillingtal. Låt beteckna antalet primtal för vilka p + 2 också är primtal (dvs. är antalet tvillingar som inte överstiger x ). Då för vi har
Det vill säga tvillingtal är sällsyntare än primtal med nästan en logaritmisk faktor. Det följer av denna begränsning att summan av tvillingarnas reciproka konvergerar, eller, med andra ord, tvillingarna bildar en liten mängd . Explicit belopp
har antingen ett ändligt antal termer, eller har ett oändligt antal termer men konvergerar till ett värde som kallas Brun-konstanten.
Det faktum att summan av reciproka av primtal divergerar innebär att det finns oändligt många primtal. Eftersom summan av de reciproka tvillingtalen konvergerar, är det omöjligt att dra slutsatsen från detta resultat att det finns oändligt många tvillingtal. Brun-konstanten är irrationell endast i fallet med ett oändligt antal tvillingar.
När han beräknade tvillingtal upp till 10 14 (och hittade ett Pentium FDIV-fel längs vägen ), uppskattade Thomas R. Nicely heuristiskt Brun-konstanten till ungefär 1,902160578 [1] . Förlängde fint beräkningen till 1,6⋅10 15 till den 18 januari 2010, men det var inte den största beräkningen av denna typ.
2002 använde Pascal Seba och Patrick Demichel alla tvillingtal upp till 10 16 och fick uppskattningen [2]
B2 ≈ 1,902160583104 .Uppskattningen är baserad på en uppskattning av summan av 1,830484424658... för tvillingtal mindre än 10 16 . Dominic Clive visade (i ett opublicerat sammandrag) att B 2 < 2,1754 under antagandet att den utökade Riemann-hypotesen [3] är sann .
Det finns också en Bruns konstant för tvillingfyrlingar . En prime quadruplet är ett par av två primtal tvillingar åtskilda med ett avstånd på 4 (minsta möjliga avstånd). Flera fyrlingar - (5, 7, 11, 13), (11, 13, 17, 19), (101, 103, 107, 109). Bruns konstant för fyrlingar, betecknad B 4 , är summan av reciproka av alla fyrlingar:
Och detta belopp är
B 4 \u003d 0,87058 83800 ± 0,00000 00005, felet har en konfidensnivå på 99% (enligt Nicely) [4] .Denna konstant ska inte förväxlas med Brun-konstanten för besläktade primtal , par av primtal av formen ( p , p + 4), eftersom denna konstant också skrivs som B 4 .
Låt (sekvens A005597 i OEIS ) vara en konstant av tvillingprimtal . Det finns en hypotes som
Särskilt,
för alla tillräckligt stora x .
Många av de ovan nämnda specialfallen har bevisats. Nyligen visade Jie Wu att för tillräckligt stor x ,
,där 4,5 motsvarar fallet ovan.
Bruns konstanta siffror användes i ett bud på $1 902 160 540 på Nortels patentauktion . Applikationen publicerades av Google och var en av tre Google-applikationer baserade på matematiska konstanter [5] .