Praštevilski dvojček: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
Addbot (pogovor | prispevki)
m Bot: Migracija 32 interwikija/-ev, od zdaj gostuje(-jo) na Wikipodatkih, na d:q110863
m m/slog/+p/-p:letnice
Vrstica 1:
'''Práštevílski dvójček''' v [[matematika|matematiki]] predstavljata dve [[praštevilo|praštevili]] katerih razlika je enaka [[2 (število)|2]]. Razen pri paru (2, 3) je to najmanjša možna razlika med dvema prašteviloma. PrimeriZgledi praštevilskih dvojčkov so (5, 7), (11, 13) in (821, 823).
 
Vprašanje ali obstaja [[neskončnost|neskončno]] mnogo praštevilskih dvojčkov je že vrsto let eno od velikih [[nerešeni matematični problemi|odprtih vprašanj]] v [[teorija števil|teoriji števil]]. O tem govori [[domneva praštevilskih dvojčkov]]. Stroga oblika te domneve, [[Hardy-Littlewoodova domneva]], obravnava [[porazdelitev|porazdelitveni]] zakon, podoben zakonu iz [[praštevilski izrek|praštevilskega izreka]]. Leta 2004 je [[Richard Arenstorf]] z [[Vanderbiltova univerza|Vanderbiltove univerze]] v [[Nashville, Tennessee|Nashvilleu]], [[Tennessee]], ki je pred tem delal za [[NASA|Naso]], v članku na 38. straneh podal [[matematični dokaz|dokaz]], da obstaja neskončno mnogo praštevilskih dvojčkov, vendar je mesec dni kasneje [[Michel Balazard]] z [[Univerza v Bordeauxu|Univerze v]] [[Bordeaux]]u pokazal na napako v [[lema|lemi]] 8, in Arenstorf je moral umakniti dokaz.
 
S pomočjo svojega sejalnega postopka je norveški matematik [[Viggo Brun]] pokazal, da je število praštevilskih dvojčkov, manjše od ''x'' enako << ''x''/(log ''x'')<sup>2</sup>. Ta rezultat kaže na to, da [[vsota]] [[obratna vrednost|obratnih vrednosti]] vseh praštevilskih dvojčkov [[konvergenca|konvergira]] ([[Brunova konstanta]]). To je velika razlika od vsote obratnih vrednosti vseh praštevil, ki [[divergenca|divergira]]. Brun je tudi pokazal, da lahko vsako število predstavimo na neskončno mnogo načinov kot razliko dveh števil, ki imata največ 9 [[prafaktor]]jev. [[Čenov izrek|Izrek]] [[Čen Jingrun|Čena Jingruna]] iz leta 1966 pravi, da za vsako sodo število ''m'' obstaja neskončno mnogo praštevil, ki se razlikujejo za število z največ dvema prafaktorjema ([[polpraštevilo]]). Preden je Brun napadel problem praštevilskih dvojčkov, ga je tudi [[Jean Merlin]] poskušal rešiti s pomočjo sejalnega postopka, vendar so ga na žalost med [[druga svetovna vojna|2. svetovno vojno]] ubili.
Vrstica 7:
Vsak praštevilski dvojček večji od 3 je oblike (6''n'' - 1, 6''n'' + 1) za [[naravno število]] ''n'', in z izjemo ''n'' = 1, se mora ''n'' končati na 0, 2, 3, 5, 7 ali 8.
 
Clement je leta [[1949]] dokazal, da je par praštevil ''m'', ''m'' + 2 praštevilski dvojček tedaj in le tedaj, če velja:
 
: <math>4((m-1)! + 1) = -m \mod (m(m+2)) \!\, .</math>
Vrstica 13:
To je lep rezultat, vendar skoraj brez praktične vrednosti.
 
Do leta [[2004]] je največji znan praštevilski dvojček 33218925 · 2<sup>169690</sup> ± 1. Leta [[2002]] so ga odkrili Papp in sodelavci s [[prosto programje|prostima programoma]] [[Proth]] in [[NewPGen]]. Število ima 51090 [[števka|števk]].
 
Empirična analiza vseh praštevilskih dvojčkov do 4,35 · 10<sup>15</sup> kaže, da je število takšnih dvojčkov manjše od ''x'' enako ''x''·''f''(''x'')/(log ''x'')<sup>2</sup>, kjer je ''f''(''x'') približno 1,7 za majhne ''x'' in se zmanjša na približno 1,3, ko ''x'' teži proti neskončnosti. Mejna vrednost ''f''(''x'') je domnevno enaka vrednosti, zapisani s [[konstanta praštevilskih dvojčkov|konstanto praštevilskih dvojčkov]]:
Vrstica 19:
: <math> 2 \prod_{\textstyle{ p \ge 3 \atop p \in \mathbb{P}}} \left(1 - \frac{1}{(p-1)^2} \right) = 1,3203236\ldots \!\, . </math>
 
Ta domneva bi vsebovala domnevo praštevilskih dvojčkov, vendar ostaja [[nerešeni matemaični problemi|nerazrešena]].
 
== Prvih 100 praštevilskih dvojčkov ==
Vrstica 49:
== Viri ==
 
* {{navedi revijo|last= Drnovšek|first= Roman|authorlink= Roman Drnovšek|title= Praštevilski dvojčki in procesor Pentium|journal= [[Presek (revija)|Presek]]|year= 1997|volume= 25|issue= 3|pages= 162-166|url= http://www.dlib.si/?URN=URN:NBN:SI:DOC-3TPWNTWN|accessdate= 2012-07-12}}{{cobiss|id=7866457}}
 
== Zunanje povezave ==