Pista Patrik

A Mersenne-prím probléma.
A prímszámeloszlással kapcsolatos
új meg figyelések

Bevezető

Kutatói munkám témája a prímszámokkal kapcsolatos problémák

tanulmányozása, lehetőleg megoldása, valamint új szemszögből való
megközelítése. A prímszámokon belül a Mersenne-prím-probléma
megoldását tűztem ki célként.1 A prímszámok nagy szerepet játszanak
a matematika számelmélet területén, és egészen a középiskolától a felső
matematikáig végig kísérnek minket. Gyakorlatias alkalmazásuk
megfigyelhető főleg a törtekkel végzett műveleteknél, a felső
matematikában pedig a prímszámokkal kapcsolatos problémák olyan
híres tudósok nevéhez is köthetők, mint Friedrich Riemann,2 akinek
a nevéhez fűződik a híres zéta-függvény. Összességében elmondható,
hogy a prímszámok a matematika különböző területein fellelhetőek,
így például az analízis területén is.
A prímszámok felfedezése után, a 16. században és azt követően
megjelentek különböző matematikai problémák, melyek mai napig
megoldatlanok maradtak, így például a Mersenne-prím-probléma,
vagy a Fermat-prím-probléma.3 A felsorolt problémák azért is nagyon
érdekesek, mert megmutatták, hogy a prímszámok mint számok
különböző, speciális alakokban írhatók fel. Ezek a speciális alakú

1
Marin Mersenne (15881648) francia szerzetes, matematikus, fizikus. Nevéhez
fűződnek a Mersenne-prímek, és az ehhez köthető Mersenne-prím probléma.
2
Georg Friedrich Bernhard Riemann (18261866) német matematikus, úttörő munkát
végzett a számelmélet, analitikus számelmélet, és egyéb matematikai területeken.
3
Pierre de Fermat (16071665) francia jogász és matematikus, hozzá köthető a Fermat-
prímek, és a Fermat-prím probléma, valamint különböző prímtesztek is.

12_Pista Patrik.indd 227 2023. 07. 14. 18:06:10

 228 Pista Patrik

prímszámok kielégítik a prímszámok definícióját és tulajdonságait,

számuk viszont nem meghatározott.
Munkám 4 fejezetből áll. Az első fejezet a kutatásom definitív és
elméleti interpretációját mutatja be, átfogó betekintést nyújt
a prímszámok témakörébe. Itt ismertetem magát a prímszám
definícióját, értelmezését, a különböző speciális prímszámokat, ami
elengedhetetlen a továbbiak megértéséhez. A második fejezet
a prímszám-tétellel foglalkozik, mely a prímszámok eloszlásáról szól,
ami szintén nagyon lényeges a számelmélet területén, és ebben
a fejezetben mutatom be saját megfigyeléseimet is. A harmadik
fejezetben már a Mersenne-prím problémával fogunk foglalkozni,
ahol azt ismertetem, hogyan tudjuk megoldani a problémát. Ennek
megoldását indirekt módon próbálom elvégezni, valamint különböző
logikai következtetésekkel. Végül a negyedik fejezetben bemutatom
a prímszámokkal kapcsolatos, máig megoldatlan problémákat.
Külön szeretnék köszönetet mondani vezetőtanáromnak Gecse
Ferencnek, akinek ösztönzése és segítsége nagyban hozzájárult a téma
megértéséhez és elsajátításához, valamint mentoromnak Traski
Viktornak, akinek tapasztalata segített a probléma megoldásának
helyes megközelítéséhez, és annak különböző módszerekkel történő
megoldásához.

1. Bevezetés a prímszámok világába

A prímszámok kutatása a matematika számelmélet területéhez

tartozik. A számok tulajdonságaival már korábban, az ókori
Görögországban is foglalkoztak.

1. Definíció: Prímszámnak, törzsszámnak vagy röviden prímnek

nevezzük azokat a természetes számokat, melynek kizárólag két osztójuk
van: 1 és önmaguk.

Felsorolhatunk néhány prímszámot:

ʹǡ͵ǡͷǡ͹ǡͳͳǡͳ͵ǡͳ͹ǡͳͻǡ Ǥ ǤǤ

12_Pista Patrik.indd 228 2023. 07. 14. 18:06:13

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 229

Feltevődik a kérdés, hogy a 0 és 1 miért nem tartozik prímszámok

körébe. A 0 esetében a számnak végtelen sok osztója van, így
ellentmondásra jutunk a prímszám definíciójával, tehát a 0 nem lehet
prímszám. Az 1 minden természetes szám osztója, viszont két
prímszámnak nincs közös osztója, emiatt az 1 nem tekinthető
prímnek.

2. Definíció: Mindazokat az egynél nagyobb természetes számokat,

melyek nem prímszámok, összetett számnak nevezzük.

Például:
Ͷǡ ͸ǡ ͺǡ ͻǡ ͳͲǡ ͳʹǡ ͳͶǡ ͳͷǡ ͳ͸ǡ ǥ

Az is könnyen belátható, hogy a természetes számok halmaza

egyértelműen felbontható két halmaz, és az 1-es elemű halmaz
uniójaként. E két halmaz a prímszámok és az összetett számok
halmaza. Vagyis legyen Ⴂ-prímszámok halmaza, valamint ࣦ-összetett
számok halmaza, ࣢ ൌ ሼͳሽ, ekkor:
Գൌ࣢‫׫ࣦ׫‬Զ

1. Tétel (A számelmélet alaptétele): Bármilyen egynél nagyobb

természetes számot egyértelműen felírhatunk prímszámok szorzataként
(kanonikus alak).

Matematikailag ez a következőt jelenti:

Legyen ܽ ൐ ͳ, ahol ܽ ‫ א‬Գ, ekkor felbontható prímtényezős alakban:

ఈ ఈ ఈ
ܽ ൌ ‫݌‬ଵ భ ‫݌ ڄ‬ଶ మ ‫ ڄ‬ǥ ‫݌ ڄ‬௡ ೙

ahol ߙଵ ǡ ߙଶଵ ǥ ǡ ߙ௡ ‫ א‬Գǡ ‫݌‬ଵ ǡ ‫݌‬ଶ ǡ ǥ ǡ ‫݌‬௡ -prímek.

Például: ʹ͵ʹͶͶ ൌ ʹଶ ‫ͳ ڄ ͵ͳ ڄ ͵ ڄ‬Ͷͻ.

12_Pista Patrik.indd 229 2023. 07. 14. 18:06:13

 230 Pista Patrik

1.1.A prímszámok végtelensége

Amikor felfedezték és definiálták a prímszámokat, akkor

felmerülhetett a kérdés, hogy mennyi is létezik belőlük. A választ erre
a kérdésre Euklidész görög matematikus adta meg az Elemek című
művében bizonyításával, mely egyben a legrégibb bizonyítás
a prímszámokkal kapcsolatosan. Euklidész indirekt módon
bizonyította mindezt, mely azért is forradalmi jelentőséggel bír, mivel
ez a legrégibb alkalmazása az indirekt bizonyításnak.
A bizonyítás pedig a következő:
Feltételezzük, hogy ݊ darab prímszám van, vagyis véges számban van
jelen. Ekkor alkotunk egy olyan ࣛ számot, melyet úgy állítunk elő,
hogy összeszorozzuk az összes ݇ darab prímszámot, majd hozzá adunk
egyet, vagyis:

ࣛ ൌ ‫݌‬ଵ ‫݌ ڄ‬ଶ ‫݌ ڄ‬௡ ൅ ͳ

Teljesen egyértelmű, hogy az újonnan kapott szám különbözik az

összes többi prímszámtól. Ugyanakkor felhasználva a számelmélet
tételeit, tudjuk, hogy ha egy egynél nagyobb természetes szám nem
prímszám, akkor összetett szám, és mint összetett szám, kell, hogy
legyen prímosztója. Legyen ez a prímosztó valamely ‫݌‬௜ ‫א‬
ሼ‫݌‬ଵ ǡ ‫݌‬ଶ ǡ ǥ ǡ ‫݌‬௡ ሽ, ekkor:

ࣛ ‫݌‬ଵ ‫݌ ڄ‬ଶ ‫ ڄ‬ǥ ‫݌ ڄ‬௡ ͳ

ൌ ൅
‫݌‬௜ ‫݌‬௜ ‫݌‬௜
Világos, hogy az első tört a jobb oldalon egész szám lesz, a második
viszont már törtszám lesz, mindezekből azonban az következik, hogy
ࣛ ‫ ב‬Ժ, tehát nem osztódik egy prímszámra se, viszont ez
ellentmondás, vagyis az ࣛ nem összetett, hanem prím. Ez pedig azt
jelenti hogy végtelen sok prímszám létezik.

12_Pista Patrik.indd 230 2023. 07. 14. 18:06:13

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 231

1.2. Speciális alakú prímszámok

1.2.1. Mersenne-prímek

Ha konkrét prímszámokról akarunk beszélni, akkor elengedhetetlen,

hogy megemlítsük a talán legérdekesebbet, a Mersenne-prímeket.
Nevét a francia szerzetes, matematikusról, Marin Mersenne-ről kapta,
aki a következőképp definiálta:

1.2.1. Definíció: Mersenne-prímnek nevezzük azokat a prímszámokat,

melyek felírhatóak a következő alakban:
‫ܯ‬௣ ൌ ʹ௣ െ ͳ
ahol ‫ ݌‬szintén prím.

A számelméletben, ahogy azt már a bevezetőben is

említettem, azért is van a speciális alakú prímszámoknak jelentősége,
mert megmutatta, hogy a prímszámok soraiban is vannak különleges
alakú prímszámok, melyeket különböző képlettel állíthatunk elő,
ugyanakkor bizonyos, máig megoldatlan problémákat tesznek le
a matematikusok elé.
Ilyen Mersenne-prímszámok a következők:

͵ǡ ͹ǡ ͵ͳǡ ͳʹ͹ǡ ͺͳͻͳǡ ǥ

12_Pista Patrik.indd 231 2023. 07. 14. 18:06:13

 232 Pista Patrik

A fenti ábra mutatja az adott évben felfedezett legnagyobb Mersenne-

prím számjegyeinek számát.
A mai napig megoldatlan probléma, hogy véges, vagy végtelen sok
Mersenne-prím létezik-e. Mersenne 1644-ben megadta a Mersenne-
prímek listáját, ahol ‫ ݌‬൑ ʹͷ͹. Szerinte ‫݌‬ൌ
ʹǡ ͵ǡ ͷǡ ͹ǡ ͳ͵ǡ ͳ͹ǡ ͳͻǡ ͵ͳǡ ͸͹ǡ ͳʹ͹ǡ ʹͷ͹ prímek esetén kapunk
Mersenne-prímeket, más esetben összetett szám lesz, ezt azonban
később megcáfolták ‫ ݌‬ൌ ͸͹ǡ ʹͷ͹ prímeknél. Jelenleg a legnagyobb
ismert Mersenne-prím az 51-ik.

1.2.1. Fermat-prímek
A soron következő fontos speciális alakú prímszámok a Fermat-
prímek. Tekintsük a ʹ௞ ൅ ͳ alakú számokat, ahol ݇ ൒ ͳ, nézzük meg
az első 8 ilyen szám közül melyek lesznek prímek:

݇ ൌ ͳǡ ʹଵ ൅ ͳ ൌ ͵‫ݎ݌‬À݉ǡ݇ ൌ ʹǡ ʹଶ ൅ ͳ ൌ ͷ‫ݎ݌‬À݉
݇ ൌ ͵ǡ ʹଷ ൅ ͳ ൌ ͻ݊݁݉‫ݎ݌‬À݉ǡ݇ ൌ Ͷǡ ʹସ ൅ ͳ ൌ ͳ͹‫ݎ݌‬À݉
݇ ൌ ͷǡ ʹହ ൅ ͳ ൌ ͵͵݊݁݉‫ݎ݌‬À݉ǡ݇ ൌ ͸ǡ ʹ଺ ൅ ͳ ൌ ͸ͷ݊݁݉‫ݎ݌‬À݉
݇ ൌ ͹ǡ ʹ଻ ൅ ͳ ൌ ͳʹͻ݊݁݉‫ݎ݌‬À݉ǡ݇ ൌ ͺǡʹ଼ ൅ ͳ ൌ ʹͷ͹‫ݎ݌‬À݉

12_Pista Patrik.indd 232 2023. 07. 14. 18:06:13

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 233
೙
1.2.1. Definíció: Az ‫ܨ‬௡ ൌ ʹଶ ൅ ͳ alakú számokat, ahol ݊ ൒ Ͳ Fermat-
számoknak, az ilyen alakú prímeket pedig Fermat-prímeknek nevezzük.

Összesen 5 ismert Fermat-prím létezik:

‫ܨ‬଴ ൌ ͵ǡ ‫ܨ‬ଵ ൌ ͷǡ ‫ܨ‬ଶ ൌ ͳ͹ǡ ‫ܨ‬ଷ ൌ ʹͷ͹ǡ ‫ܨ‬ସ ൌ ͸ͷͷ͵͹

A Fermat-prímek gyakorlatias alkalmazása megfigyelhető Gauss egyik

nevezetes tételében. 4

1.2.1. Tétel: Egy ݊ oldalú szabályos sokszög akkor, és csak akkor

szerkeszthető meg, ha az ݊ felírható, mint:

݊ ൌ ʹ௞ ‫ܨ ڄ‬௡

Például: Ha ݊ ൌ ͵, akkor ݊ ൌ ʹ଴ ‫ܨ ڄ‬଴ ൌ ͳ ‫ ͵ ڄ‬ൌ ͵, viszont már ݊ ൌ ʹ

esetén nem tudjuk ezt megtenni, és valóban, hiszen nincs kétoldalú
szabályos sokszög.
Lényegében a Mersenne-prímek és Fermat-prímek a jelentősebb és
említésre méltó speciális alakú prímszámok, természetesen léteik még
nagyon sok ilyen prímszám, mint például az ikerprímek és még mások.

2. Prímszám -tétel

A prímszám-tétel a számelmélet egyik fontos tétele, amely

a prímszámok eloszlását mutatja be, vagyis hogy egy adott
intervallumon hány prímszám van. Erre a célra egy számelméleti
függvényt vezetett be két matematikus Hadamard és de la Vallée
Poussin egymástól függetlenül 1896-ban, a tétel pedig a következő:


4
Carl Friedrich Gauss (17771855) német matematikus, csillagász. Munkássága oly
mértékben jelentős, hogy a „matematika fejedelme” névvel illetik. A matematika számos
területének fejlődéséhez hozzájárult, mint a számelmélet, differenciálgeometria, analízis.
Szóba hozzák többek között a híres Bolyai Farkas magyar matematikussal, kinek nevéhez
a nem-euklideszi, a Bolyai-Lobacsevszkij féle geometria fűződik.

12_Pista Patrik.indd 233 2023. 07. 14. 18:06:13

 234 Pista Patrik

௫
2.Tétel: A ߨሺ‫ݔ‬ሻ számelméleti függvényt megadhatjuk a
௟௡ሺ௫ሻ
hányadossal.

Matematikailag precízen a következőt értjük ezalatt:

ߨሺ‫ݔ‬ሻ ‫ݔ‬
݈݅݉ ‫ ݔ‬ൌ ͳǡߨሺ‫ݔ‬ሻ̱ ݈݊ሺ‫ݔ‬ሻ
௡՜ஶ
݈݊ሺ‫ݔ‬ሻ

A következő táblázat bemutatja a képlet és a valódi eloszlás

eredményeit összehasonlítva:

x ߨሺ‫ݔ‬ሻ ‫ݔ‬
݈݊ሺ‫ݔ‬ሻ
10 4 4,3429…
ͳͲଶ 25 21,7147…

… … …
ͳͲଶସ 18,435,599,767,349,200,867, 18,095,603,412,635,492,818,
866 797

Jól látható, hogy a számelméleti függvény eléggé szépen közelíti a

prímszámok tényleges eloszlását

2.1. Saját meg figyelések

௫
A fentiekben tehát meghatároztuk, hogy ߨሺ‫ݔ‬ሻ̱ . Viszont ha
௟௡ሺ௫ሻ
megfigyeljük, hogy a táblázatban ez a megközelítés hogyan adja meg
a prímszámok eloszlását feltevődik a kérdés, hogy nem létezik-e jobb
megközelítés. Tapasztalataim és számításaim szerint biztosan
állíthatom, hogy igen, létezik.
Vegyünk figyelembe egy másik számelméleti függvényt, mégpedig
a következő megadással:

12_Pista Patrik.indd 234 2023. 07. 14. 18:06:13

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 235
‫ݔ‬
߱ሺ‫ݔ‬ሻ ൌ
݈‫݃݋‬ఋ ሺ‫ݔ‬ሻ
ahol ߜ ൌ ʹǡ͹͸ͻͺ͵ͺͳ͸ͳͳͶͶ͸͹͵ͺǤ Arra a kérdésre, hogy miért pont
ezt a számot alkalmazom, a következő eredmények adnak választ:

‫ݔ‬ ߨሺ‫ݔ‬ሻ ‫ݔ‬ ߱ሺ‫ݔ‬ሻ

݈݊ሺ‫ݔ‬ሻ
ͳͲ Ͷ Ͷǡ͵ͶʹͻǤ ǤǤ ͶǡͶʹͶͷǤ ǤǤ
ͳͲଶ ʹͷ ʹͳǡ͹ͳͶ͹Ǥ ǤǤ ʹʹǡͳʹʹ͹Ǥ ǤǤ
ͳͲଷ ͳ͸ͺ ͳͶͶǡ͹͸ͶͺǤ ǤǤ ͳͶ͹ǡͶͺͶ͹Ǥ ǤǤ
… … … …
ͳͲଶ଴ ʹǡʹʹͲǡͺͳͻǡ͸Ͳʹǡͷ͸Ͳǡ Ǥ ʹǡͳ͹ͳǡͶ͹ʹǡͶͲͻǡͷͳ͸ǡ Ǥ ʹǡʹͳʹǡʹ͹ͳǡͻ͹ʹǡͲͺͳǡ Ǥ
… … …
ͳͲଶସ ͳͺǡͶ͵ͷǡͷͻͻǡ͹͸͹ǡ͵Ͷͻǡ ͳͺǡͲͻͷǡ͸Ͳ͵ǡͶͳʹǡ͸͵ͷǡ ͳͺǡͶ͵ͷǡͷͻͻǡ͹͸͹ǡ͵Ͷͻǡ

Jól látható, hogy a megközelítésem nagyobb spektrumot figyelembe

véve mennyire pontos, az utolsó sorban szinte teljes egészében egybe
esnek az adatok.
A ߜ szám gyakorlatilag 2 szám közé redukálódik:

ʹǡ͹͸ͻͺ͵ͺͳ͸ͳͳͶͶ͸͹͵ͺ ൑ ߜ ൏ ʹǡ͹͸ͻͺ͵ͺͳ͸ͳͳͶͶ͸͹͵ͻ

Lényegében elmondható, hogy a ߜ szám gyakorlatilag egy

irracionális szám, ugyanakkor figyelembe kell venni, hogy
a ʹǡ͹͸ͻͺ͵ͺͳ͸ͳͳͶͶ͸͹͵ͺ számot választva sokkal egyszerűbb
a számítás, míg a jobb szélső határ nem ad pontos eredményeket,
hanem a tényleges adatoknál nagyobbat ad.

12_Pista Patrik.indd 235 2023. 07. 14. 18:06:13

 236 Pista Patrik

A fenti grafikon az eredeti, és az általam megalkotott függvények

összehasonlítását mutatja. A piros az új becslés, a zöld az eredeti.
Most pedig egy bizonyítással megnézzük, hogy helyes e az új becslésre
megadott képlet.

Bizonyítás:

Lemma:
1. Ha ‫ ݔ‬൐ ݁, akkor az ‫݈݊ݔ‬ሺ‫ݔ‬ሻ szigorúan monoton növekszik.
2. Ha ‫ ݔ‬՜ λ, akkor ‫݈݊ݔ‬ሺ‫ݔ‬ሻ ՜ λ.
3. Ha ‫ ݔ‬՜ λ, akkor minden ߜ ൐ Ͳ esetén ‫݈݊ݔ‬ሺ‫ݔ‬ሻ ൌ ሺ‫ ݔ‬൅
ߜሻ݈݊ሺ‫ ݔ‬൅ ߜሻ.
4.
‫ݔ‬
݈݊ሺ‫ݔ‬ሻ
݈݅݉ ൌͳ
௡՜ஶ ‫ݔ‬൅ߜ
݈݊ሺ‫ ݔ‬൅ ߜሻ

12_Pista Patrik.indd 236 2023. 07. 14. 18:06:13

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 237

Ugyanez bizonyítható, ha:

‫ݔ‬
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ
݈݅݉ ൌͳ
௫՜ஶ ‫ݔ‬൅ߜ
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ

Először deriváljuk a függvényt:

ௗ ௫
(1) ൬ ൰ൌ
ௗ௫ ௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻ
௫ᇱ௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻି൫௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻ൯ᇱ௫
మ ൌ
൫௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻ൯
௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻି଴ǡଽ଼ଵହ଺ǤǤǤ
మ
൫௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻ൯

Nyilván a nevező mindig pozitív, vagyis a számláló csak akkor lesz

pozitív, ha ‫ ݔ‬൐ ʹǡ͹͸ͻͺ͵ͺͳ͸ͳͳͶͶ͸͹͵ͺ, ebből következik, hogy
௫
a monoton növekvő, ha ‫ݔ‬൐
௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻ
ʹǡ͹͸ͻͺ͵ͺͳ͸ͳͳͶͶ͸͹͵ͺ.
௫
(2) Figyelembe vesszük az határértékét, ha
௟௢௚మǡళలవఴయఴభలభభరరలళయఴ ሺ௫ሻ
ஶ
‫ ݔ‬՜ λ. Mivel az eredmény , emiatt használható a L’Hospital szabály,
ஶ
vagyis:
݀
‫ݔ‬ ሺ‫ݔ‬ሻ
݈݅݉ ൌ ݈݅݉ ݀‫ݔ‬
௫՜ஶ ݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ ௫՜ஶ ݀
൫݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ൯
݀‫ݔ‬
ͳ
ൌ ݈݅݉ ൌλ
௫՜ஶ Ͳǡͻͺͳͷ͸Ǥ Ǥ Ǥ
‫ݔ‬

(3) Legyen ߜ ൐ Ͳ tetszőlegesen kicsi pozitív szám. Figyelembe

vesszük a:
‫ݔ‬
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ
݈݅݉
௫՜ஶ ‫ݔ‬൅ߜ
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ
határt, ehhez pedig átalakítva a törteket, kapjuk:

12_Pista Patrik.indd 237 2023. 07. 14. 18:06:13

 238 Pista Patrik

‫ݔ‬
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ ‫݃݋݈ݔ‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ
ൌ
‫ݔ‬൅ߜ ሺ‫ ݔ‬൅ ߜሻ݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ
ஶ
Mivel alakú, ezért használva a L’Hospital szabályt:
ஶ
‫݃݋݈ݔ‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ
݈݅݉
௫՜ஶ ሺ‫ ݔ‬൅ ߜሻ݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ
݀
൫‫݃݋݈ݔ‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ൯
ൌ ݈݅݉ ݀‫ݔ‬
௫՜ஶ ݀
ቀሺ‫ ݔ‬൅ ߜሻ݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻቁ
݀‫ݔ‬
Ͳǡͻͺͳͷ͸Ǥ Ǥ Ǥ ‫ݔ‬
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ ݔ‬൅ ߜሻ ൅ λ
ൌ ݈݅݉ ‫ݔ‬൅ߜ ൌቂ ቃ
௫՜ஶ Ͳǡͻͺͳͷ͸Ǥ Ǥ Ǥ ‫ݔ‬ λ
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ ൅
‫ݔ‬൅ߜ
Ͳǡͻͺͳͷ͸Ǥ Ǥ Ǥ ‫ ݔ‬൅ ͳǡͻ͸͵͸ͻǤ Ǥ Ǥ ߜ
ሺ‫ ݔ‬൅ ߜሻଶ
ൌ ݈݅݉ ൌͳ
௫՜ஶ Ͳǡͻͺͳͷ͸Ǥ Ǥ Ǥ ‫ ݔ‬൅ ͳǡͻ͸͵͸ͻǤ Ǥ Ǥ ߜ
‫ݔ‬ଶ

Vagyis bebizonyítottuk, hogy az ߱ሺ‫ݔ‬ሻ prímeloszlás helyes.

2.2. Relatív hiba

Most pedig megvizsgáljuk, hogy mennyire tér el az új számítás az

eredetitől. Ehhez pedig alkalmazzuk a következő képletet:

οܺ
ܴ௛ ൌ
ܺ
ahol οܺ ൌ หܺ௜௚௔௭௜ െ ܺ௠±௥௧ ห-abszolút hiba.

Először vesszük az eredeti prímszámtételt, a:

‫ݔ‬
ߨሺ‫ݔ‬ሻ̱
݈݊ሺ‫ݔ‬ሻ

Ha ‫ ݔ‬ൌ ͳͲଶସ , akkor néhány számítás után az alábbit kapjuk:

ܴ௛ ൎ ͳǡͺͶΨ

12_Pista Patrik.indd 238 2023. 07. 14. 18:06:13

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 239

Most pedig figyelembe véve az új eloszlásképletet:

‫ݔ‬
߱ሺ‫ݔ‬ሻ ൌ 
݈‫݃݋‬ଶǡ଻଺ଽ଼ଷ଼ଵ଺ଵଵସସ଺଻ଷ଼ ሺ‫ݔ‬ሻ
ekkor a relatív hiba a következő:
ܴ௛ ൎ ͲǡͲͲͲͲͲͲͲͲͲͲͲͲͲͲͶ͹Ψ

Tehát könnyen belátható, hogy a számítások alapján az új

eloszlásképlet sokkal jobban közelíti a prímek valós eloszlását.

3.A Mersenne-prímekkel kapcsolatos eddigi eredmények

A bizonyítás meglehetősen nehéz, ugyanis találnunk kell

valamilyen értelmes logikai utat a megoldáshoz. Hosszas
megfigyelések alapján a prímszámok, és a Mersenne-prímek között
próbáltam valamilyen kapcsolatot létrehozni. Mivel a prímszámokról
elég sok mindent tudunk, valamint hogy végtelen sok van belőlük,
ezért logikusnak tűnik kapcsolatot keresni közöttük. A bizonyítást
direkt módon végezzük.
Vegyük figyelembe a prímszámok, és Mersenne-prímek sorozatát:

‫ܯ‬௞ ǣ͵ǡ ͹ǡ ͵ͳǡ ͳʹ͹ǡ ͺͳͻͳǡ Ǥ ǤǤ

‫݌‬௞ ǣʹǡ ͵ǡ ͷǡ ͹ǡ ͳͳǡ Ǥ ǤǤ

Logikusan kijelenthetők a következők:

‫ ݌‬൅ ‫݌‬ଵ ൏ ‫ܯ‬ଶ ൅ ‫ܯ‬ଵ

൜ ଶ
‫݌‬ଷ െ ‫݌‬ଶ ൏ ‫ܯ‬ଷ െ ‫ܯ‬ଶ

Összeadva mindkét sort, kapjuk:

‫݌‬ଷ ൅ ‫݌‬ଵ ൏ ‫ܯ‬ଷ ൅ ‫ܯ‬ଵ

Mindezt pedig ha tovább folytatjuk, akkor általánosan igaz lesz

a következő reláció:
‫݌‬௡ାଶ ൅ ‫݌‬௡ ൏ ‫ܯ‬௡ାଶ ൅ ‫ܯ‬௡

12_Pista Patrik.indd 239 2023. 07. 14. 18:06:14

 240 Pista Patrik

Most pedig mindkét oldalt összegezzük a következőképp:

ே ே

෍ሺ‫݌‬௜ାଶ ൅ ‫݌‬௜ ሻ ൏ ෍ሺ‫ܯ‬௜ାଶ ൅ ‫ܯ‬௜ ሻ (1)

௜ୀଵ ௜ୀଵ

Ahhoz, hogy bizonyítsuk a Mersenne-prímek végtelenségét, elég

bizonyítanunk az 1 relációt, hiszen utána nagyobb ܰ-ek esetén könnyű
levonni a következtetéseinket.
A bizonyítást a matematikai indukcióval próbáljuk elvégezni:
Megfigyeljük, hogy ݊ ൌ ͳ esetén teljesül e a reláció.
1. ݊ ൌ ͳ esetén teljesül az egyenlőtlenség, hiszen ‫݌‬ଷ ൅ ‫݌‬ଵ ൏
‫ܯ‬ଷ ൅ ‫ܯ‬ଵ .
2. ݊ ൌ ݇ esetén a következőt kapjuk:
(2)
ሺ‫݌‬ଷ ൅ ‫݌‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫݌‬௞ାଶ ൅ ‫݌‬௞ ሻ ൏ ሺ‫ܯ‬ଷ ൅ ‫ܯ‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫ܯ‬௞ାଶ ൅ ‫ܯ‬௞ ሻ
3. ݊ ൌ ݇ ൅ ͳ esetén a következőre jutunk:
ሺ‫݌‬ଷ ൅ ‫݌‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫݌‬௞ାଶ ൅ ‫݌‬௞ ሻ ൅ ሺ‫݌‬௞ାଷ ൅ ‫݌‬௞ାଵ ሻ
൏ ሺ‫ܯ‬ଷ ൅ ‫ܯ‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫ܯ‬௞ାଶ ൅ ‫ܯ‬௞ ሻ ൅ ሺ‫ܯ‬௞ାଷ
൅ ‫ܯ‬௞ାଵ ሻ

Mindezekből azonban nem egyértelmű, hogy ݊ ൌ ݇ ൅ ͳ-re is

teljesül az 1 reláció, ezért még néhány megfigyelést kell tennünk.
A fenti egyenlőtlenség bal oldalán szereplő ሺ‫݌‬ଷ ൅
‫݌‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫݌‬௞ାଶ ൅ ‫݌‬௞ ሻ a 2-ben szerepel. A 2 reláció bal és jobb
oldalához hozzá adjuk az ‫݌‬௞ାଷ ൅ ‫݌‬௞ାଵ tagot, így: (3)
ሺ‫݌‬ଷ ൅ ‫݌‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫݌‬௞ାଶ ൅ ‫݌‬௞ ሻ ൅ ሺ‫݌‬௞ାଷ ൅ ‫݌‬௞ାଵ ሻ ൏ ሺ‫ܯ‬ଷ ൅
‫ܯ‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫ܯ‬௞ାଶ ൅ ‫ܯ‬௞ ሻ ൅ ሺ‫݌‬௞ାଷ ൅ ‫݌‬௞ାଵ ሻ
A folytatáshoz elég bizonyítanunk, hogy ‫݌‬௞ାଷ ൅ ‫݌‬௞ାଵ ൏ ‫ܯ‬௞ାଷ ൅
‫ܯ‬௞ାଵ , mert ha ez teljesül, akkor:
ሺ‫ܯ‬ଷ ൅ ‫ܯ‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫ܯ‬௞ାଶ ൅ ‫ܯ‬௞ ሻ ൅ ሺ‫݌‬௞ାଷ ൅ ‫݌‬௞ାଵ ሻ ൏ ሺ‫ܯ‬ଷ ൅ (4)
‫ܯ‬ଵ ሻ൅Ǥ Ǥ Ǥ ൅ሺ‫ܯ‬௞ାଶ ൅ ‫ܯ‬௞ ሻ ൅ ሺ‫ܯ‬௞ାଷ ൅ ‫ܯ‬௞ାଵ ሻ
A 4 sor bal oldala viszont a 3 sor jobb oldala, így hát be lehetne
bizonyítani az 1 sort.
További célom, hogy erre választ tudja adni, hiszen ha a ‫݌‬௞ାଷ ൅
‫݌‬௞ାଵ ൏ ‫ܯ‬௞ାଷ ൅ ‫ܯ‬௞ାଵ bizonyított, akkor lényegében kész is
a bizonyítás.

12_Pista Patrik.indd 240 2023. 07. 14. 18:06:14

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 241

3.1. A Mersenne-prímek eloszlása

A Mersenne-prímek eloszlásának meghatározása sokkal nehezebb,

mint a prímszámoké, hiszen egy adott ሾܽǡ ܾሿ intervallumon
a Mersenne-prímek sokkal ritkábban fordulnak elő, mint maguk
a prímszámok, így sokkal kiszámíthatatlanabbak is. Az előzőekben,
mikor felsoroltunk néhány Mersenne-prímet, észre vehettük, hogy
a számok nagyon hirtelen nőnek. Hogy kiküszöböljem az esetleges
hibákat, arra a megoldásra jutottam, hogy például egy ሺͲǡ λሻ
intervallumot részintervallumokra bontok, és ahhoz igazítva alakítok
ki egy eloszlásfüggvényt.
Ezen az intervallumon meghatározok egy ߖሺ‫ݔ‬ሻ
intervallumfüggvényt
a következőképp:

య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൌ
݈‫݃݋‬ఝ ሺ‫ݔ‬ሻ
ahol ߮ ൌ ܿ‫ݐݏ݊݋‬, és ߮ függ a megválasztott intervallumtól.

A ߖሺ‫ݔ‬ሻ meg lesz határozva egy ߉ ൌ ߪଵǡ ǡ ߪଶ ǡ ߪଷ ǡ Ǥ ǤǤ értelmezési

tartományon. Ezzel az értelmezési tartománnyal kapcsolatban még
nem tisztázott ugyanakkor, hogy véges, vagy végtelen, erre a választ
a fenti bizonyítás fogja megadni.
Számításaim alapján a következő eredményeket értem el:

Intervallum Függvény
ߪଵ ൌ ሾͲǡ ͳͲଷ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵହ ሺ‫ݔ‬ሻ
ߪଶ ൌ ሺͳͲଷ ǡ ͳͲସ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵଵ ሺ‫ݔ‬ሻ
ߪଷ ൌ ሺͳͲସ ǡ ͳͲହ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ସǡଷ ሺ‫ݔ‬ሻ
ߪସ ൌ ሺͳͲହ ǡ ͳͲ଺ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଶǡ଼ ሺ‫ݔ‬ሻ

12_Pista Patrik.indd 241 2023. 07. 14. 18:06:14

 242 Pista Patrik

ߪହ ൌ ሺͳͲ଺ ǡ ͳͲ଺ǡହ ሿ ξ‫ݔ‬

య

ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଶǡଶହ ሺ‫ݔ‬ሻ
ߪ଺ ൌ ሺͳͲ଺ǡହ ǡ ͳͲ଻ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǡ଼ ሺ‫ݔ‬ሻ
ߪ଻ ൌ ሺͳͲ଻ ǡ ͳͲ଻ǡସ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǡହ଼ ሺ‫ݔ‬ሻ
ߪ଼ ൌ ሺͳͲ଻ǡସ ǡ ͳͲ଻ǡ଼ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǡସଶ଻ ሺ‫ݔ‬ሻ
ߪଽ ൌ ሺͳͲ଻ǡ଼ ǡ ͳͲ଼ǡଶ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤଷଶ଺ ‫ݔ‬
ߪଵ଴ ൌ ሺͳͲ଼ǡଶ ǡ ͳͲ଼ǡ଺ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤଶଷ଺ଽ ‫ݔ‬
ߪଵଵ ൌ ሺͳͲ଼ǡ଺ ǡ ͳͲଽ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤଵ଻଼଴ଽ଼଼ ‫ݔ‬
ߪଵଶ ൌ ሺͳͲଽ ǡ ͳͲଽǡସ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤଵଷସ ‫ݔ‬
ߪଵଷ ൌ ሺͳͲଽǡସ ǡ ͳͲଽǡ଼ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤଵ ‫ݔ‬
ߪଵସ ൌ ሺͳͲଽǡ଼ ǡ ͳͲଵ଴ ሿǡ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤ଴଻଺ହ ‫ݔ‬
ߪଵହ ൌ ሺͳͲଵ଴ ǡ ͳͲଵ଴ǡଷ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤ଴଻଺ଷ ‫ݔ‬
ߪଵ଺ ൌ ሺͳͲଵ଴ǡଷ ǡ ͳͲଵ଴ǡ଻ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤ଴଺ଵଷ ‫ݔ‬
ߪଵ଻ ൌ ሺͳͲଵ଴Ǥ଻ ǡ ͳͲଵଵǤଶ ሿ య
ξ‫ݔ‬
ߖሺ‫ݔ‬ሻ ൎ
݈‫݃݋‬ଵǤ଴ସ଼ଷ ‫ݔ‬

Mindezt tovább is lehet folytatni.

Hogy jobban érthető legyen, felhozhatunk néhány példát:

య
ξଽ଼଴
i. Ha ‫ ݔ‬ൌ ͻͺͲ, akkor ߖሺͻͺͲሻ ൎ ൎ Ͷ, valóban, ͳͲͲͲ-ig Ͷ
௟௢௚భఱ ሺଽ଼଴ሻ
Mersenne-prím létezik.
య
ξଶସ଴଴଴଴
ii. Ha ‫ ݔ‬ൌ ʹͶͲͲͲͲ, akkor ߖሺʹͶͲͲͲͲሻ ൎ ൎ ͷǡͳ͸ ൎ ͷ,
௟௢௚మǡఴ ሺଶସ଴଴଴଴ሻ
igaz, hiszen ʹͶͲͲͲͲ-ig 5 Mersenne prím létezik.

12_Pista Patrik.indd 242 2023. 07. 14. 18:06:14

 A Mersenne-prím probléma. A prímszámeloszlással kapcsolatos új megfigyelések 243

4.A prímszámokkal kapcsolatos megoldatlan problémák

Ebben a fejezetben a legfontosabb problémákat fogom felsorolni,

melyek bizonyítása véleményem szerintem nagy előre lépés lenne
a számelmélet területén.

4.1. A Mersenne- és Fermat-prím-probléma

A fentiekben már megismerkedhettünk a két speciális alakú prímszám

definícióival. Mindkét ilyen prímszámnál ugyanaz a probléma lényege,
nevezetesen hogy véges, vagy végtelen számú ilyen prímszám létezik-
e. Többszáz éves problémákról beszélünk, és véleményem szerintem
mindkét probléma megoldása rendkívül nehéz.

4.2. Ikerprím probléma

Hogy megértsük a cím lényegét, ahhoz be kell vezetnünk az

ikerprímek definícióját.

4.2.Definíció: Ikerprímeknek nevezzük azokat a prímszámokat,

melyeknek különbsége 2, más szóval:
ȁ‫݌‬௡ െ ‫݌‬௡ାଵ ȁ ൌ ʹ
Máig megoldatlan probléma, hogy hány ilyen prímszám létezik,
vagyis véges vagy végtelen mennyiségben fordulnak-e elő.

Következtetések

Összegezve elmondható, hogy a prímszámok témakörét sokkal

átláthatóbban sikerült átvennünk, valamint megismerhettük a vele
kapcsolatos, máig meg nem oldott problémákat. Fontos ugyanakkor
megemlíteni a saját eredményeimmel kapcsolatban, hogy például
a Mersenne-prím-probléma nincs megoldva, ugyanakkor

12_Pista Patrik.indd 243 2023. 07. 14. 18:06:14

 244 Pista Patrik

véleményem szerint megfigyeléseim és számításaim előrébb hozhatják

a megoldását.
Hosszabb távú céljaim közé tartozik a probléma további
tanulmányozása, valamint bizonyítása.
A munkában említett problémákra külön is ki szeretnék térni,
hiszen megoldásuk szintén mérföldkő lenne a számelmélet
problémáinak bizonyítása perspektívájából, vagy akár a számelmélet
megértésével kapcsolatosan.

Irodalomjegyzék

1. I.N. Bronstejn, K.A. Szemengyajev, G. Musiol, H. Mühlig.

Matematikai kézikönyv. 9. kiadás. Typotex, Budapest, 2009.

2. Пивоварчик В.М., Мартинюк О.М. A számelmélet alapjai,

Odessza 2013.

3. Безущак О.О., Ганюшкін О.Г. A számelmélet elemei, Kijevi

egyetem, 2003.

12_Pista Patrik.indd 244 2023. 07. 14. 18:06:14