Regularno praštevilo: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m m/-p:l
m m/dp/slog
Vrstica 1:
'''Regulárna práštevíla''' so v [[matematika|matematiki]] določena vrsta [[praštevilo|praštevil]]. Regularno število ''p'' je število, ki ne [[deljivost|deli]] [[razredno število|razrednega števila]] [[ciklotomski obseg|ciklotomskega obsega]], to je [[obseg algebrskih števil|obsega algebrskih števil]], ki se ga dobimodobi, če se [[racionalno število|racionalnim številom]] dodamododa ''p''-ti [[koren enote]]. Nemški [[matematik]] [[Ernst Eduard Kummer]] je prvi uvedel in opisal regularna števila. Enakovredna in dostopnejša Kummerjeva definicija regularnih števil pravi, da je ''p'' regularno število, če ne deli [[števec|števcev]] [[Bernoullijevo število|Bernoullijevih števil]] ''B''<sub>''k''</sub> za ''k'' &isin; {2, 4, 6, ..., ''p'' &minus; 3}. [[Zaporedje]] Bernoullijevih števil je precej nepravilno. ''B''<sub>1</sub> = -1/2, za druge [[liho število|lihe]] ''k'' je ''B''<sub>''k''</sub> = 0.
 
Prva regularna praštevila so {{OEIS|id=A007703}}:
Vrstica 5:
: [[3 (število)|3]], [[5 (število)|5]], [[7 (število)|7]], [[11 (število)|11]], [[13 (število)|13]], [[17 (število)|17]], [[19 (število)|19]], [[23 (število)|23]], [[29 (število)|29]], [[31 (število)|31]], [[41 (število)|41]], [[43 (število)|43]], [[47 (število)|47]], [[53 (število)|53]], [[61 (število)|61]], ...
 
DomnevamoDomneva se, da obstaja [[neskončnost|neskončno]] mnogo regularnih praštevil. PričakujemoPričakuje se, da bo razmerje med praštevili in regularnimi praštevili v asimptotskem smislu [[naravna gostota|naravne gostote]] enako približno:
 
: <math>e^{-1/2} \approx 0,60653 \!\, . </math>
 
Tu je ''e'' [[e (matematična konstanta)|osnova]] [[naravni logaritem|naravnih logaritmov]]. Samuel Wagstaff je leta 1976 z računalnikom preveril regularnost vseh praštevil, manjših od 125.000. Njegov rezultat se je ujemal z zgornjo oceno.
 
Kummer je leta 1847 raziskoval regularna praštevila zaradi reševanja [[Fermatov veliki izrek|Fermatovega velikega izreka]]. Uspelo mu je [[matematični dokaz|dokazati]], da izrek velja za vse [[eksponent]]e, ki so liha regularna praštevila in za vse njihove [[mnogokratnik]]e. To je bil edini dokaz pred nedavnim dokončnim [[Andrew John Wiles|Wiles]]ovim za tako širok razred eksponentov.