Mersenneoviprosti brojevi su prosti brojevi oblika
[1]
Nije poznato ima li ovih brojeva konačno ili beskonačno mnogo.
Naziv su dobili po matematičaruMarinu Mersenneu (8. septembar 1588 - 1. septembar 1648) koji je bio francuskiteolog,filozof,matematičar iteoretičar muzike, koga često nazivaju ocemakustike. Mersenne je bio centar naučnog svijeta i svijetamatematike u prvoj polovini 17. stoljeća. U knjiziCogita Physico–Mathematica iznio je tvrdnju da je broj
za n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257prost, a za sve drugeprirodne brojeve manje od 257 da jesložen broj. Kasnije su provjere pokazale da je Mersenne pogriješio i da brojevi
i
nisu prosti, a da su prosti brojevi
,
i
.[1]
Do danas su poznata 52 Mersenneova broja, a u donjoj tabeli navedeno je nekoliko njih:[1]
| n | broj cifri | godina | otkrio |
|---|
| 1 257 787 | 378632 | 1996. | Slowinski i Gage |
| 1 398 269 | 420 921 | 1996. | Armengaud i Woltman |
| 2 976 221 | 895 932 | 1997. | Spence i Woltman |
| 3 021 377 | 909 526 | 1998. | Clarkson |
| 6 972 593 | 2 098 960 | 1999. | Hajratwala |
Godine 1963. uSjedinjenim Americkim Državama kreiran je poštanski pečat na kojem stoji zapis da je broj
prost. A na memorandumu velikog proizvodača računalaIBM–a neko je vrijeme stajalo zapisano da je broj
prost.[1]
Mersseneova tvrdnja probudila je veliko zanimanje zato što su brojevi toliko veliki da nekoliko stotina godina niko nije mogao potvrditi ni opovrgnuti njegovu tvrdnju. Tadašnjimmatematičarima bilo je jasno da Mersenne nije mogao provjeriti tvrdnju za sve navedene brojeve, ali isto tako nisu mogli ni oni.Leonhard Euler pokazao je 1772. godine da je
prost tako što je provjerio sve proste brojeve do46339 kao moguće djelitelje, ali tu metodu nije mogao upotrijebiti na brojevima
,
i
. Na sličan način jePietro Cataldi 1588. godine pokazao da su
i
prosti brojevi.[2]
Provjera da li je neki broj oblika
Mersenneov ili nije je komplikovana. Broj
vrlo brzo raste pa je neophodno u provjerama koristiti računare. No neki stariji rezultati su uistinu impresivni. Francuski matematičarEdouard Lucas (1842. - 1891.) dokazao je 1876. da je broj

prost broj.[2]
Lucas je pritom razvijao metode kojima bi se postupak provjere što vise pojednostavio, pa ga danas smatraju pionirom modernog numeričkog računa. Važan je rezultat kako broj
uopšte može biti prost samo ako je
prost. Uz traganje za Mersenneovim brojevima vezan je niz detalja. Tako su, primjerice Laura Nickel i Curt Noll, dvoje osamnaestogodišnjih studenata Kalifornijskog sveučilista u Haywardu, otkrili uz pomoć računara da je
prost broj. Taj broj sastoji se od
cifri. Također, devetnaestogodišnji Amerikanac Ronald Clarkson je 1998. na svom kućnom računaru otkrio Mersenneov broj
u čijem je zapisu
cifri.[1]