Pozor! Používáte zastaralý prohlížeč, stránka se nemusí zobrazovat správně. Aktualizujte jej a zlepšete tak svůj uživatelský zážitek.

Matfyz.cz

Matykání V: Tajemný svět prvočísel

Dnes nás čeká malá expedice do hájemství jednoho z nejzajímavějších živočichů matematické džungle – do světa prvočísel.

V roce 1900 předložil německý matematik David Hilbert svým kolegům 23 pečlivě vybraných problémů, ve kterých nastínil nejdůležitější směry budoucího vývoje matematiky. To, že je dnes většina z těchto problémů více méně vyřešena, dokládá bouřlivý rozvoj královny věd v uplynulém století. Existuje však jedna oblast, která jako by zamrzla v čase. Nejde o žádné ezoterické vymyšlenosti, ale o objekty, které si většina z nás pamatuje ze základní školy. Prvočísla.

Jen několik let po Hilbertovi, v roce 1912, vyjmenoval jiný německý matematik Edmund Landau čtyři problémy dotýkající se právě prvočísel. Dodnes se ani jeden z nich nepodařilo vyřešit. Ironické na tom je, že zatímco Hilbertovy problémy jsou technicky komplikované a pochopit, co se po vás vlastně chce, vyžaduje poměrně hlubokou znalost vyšší matematiky, problémy nastíněné Landauem jsou na první pohled zcela elementární a jejich zadání můžete bez obtíží vysvětlit průměrnému gymnazistovi. Přesto si s nimi lidstvo už více než sto let neví rady. A vlastně ještě déle. Některé se datují až ke starým Řekům.

Prvočíslo je číslo dělitelné pouze jedničkou a sebou samým. Příklady: 2, 3, 5, 7, 11, 13 … (pro další mrkněte na tuto tabulku a nebo ještě lépe na tento obrázek).

V dnešním Matykání se těmto čtyřem Landauovým problémům podíváme hezky zblízka na zoubek. Každý z nich představuje poměrně jednoduché a srozumitelné tvrzení týkající se prvočísel. Přestože empirická data jasně naznačují, že všechna tvrzení pravděpodobně platí, ani pro jedno se zatím nepodařilo najít solidní logický důkaz.

1. Goldbachova hypotéza


Každé sudé číslo větší než 2 se dá vyjádřit jako součet dvou prvočísel.

Poznámka: Všimněte si, že toto je podstatně silnější tvrzení, než kdybychom řekli, že sudých čísel s takovým rozkladem je nekonečně mnoho (to samozřejmě platí také a můžete si to dokázat za domácí úkol – není to nijak obtížné). Goldbachova hypotéza však tvrdí podstatně víc, a to že všechna sudá čísla se dají takto zapsat. Podívejme se nejdříve na pár příkladů (občas se takových rozkladů dá najít i víc).


S vyššími čísly rozkladů samozřejmě přibývá:


Ještě lépe je to vidět graficky. Na následujícím obrázku si pro každé sudé číslo (na ose x) vyneseme (na osu y), kolik prvočíselných rozkladů se dá najít. Z předchozí tabulky například vidíme, že pro 26 se takové rozklady dají najít 3, a proto do grafu v tomto případě zaneseme bod se souřadnicemi (26, 3). A podobně pro ostatní sudá čísla. Protože už z tabulky vidíte, že počet rozkladů se celkem chaoticky mění, nedostaneme spojitou křivku, ale zvláštní graf, kterému se říká Goldbachova kometa.


Z tohoto grafu vidíte, že jakmile sudé číslo překročí 100 000, rozkladů se dá najít řádově kolem 500. Přesto stále neumíme dokázat, že pro každé sudé číslo existuje alespoň jeden jediný (!). Důvodem je příslovečná vrtošivost prvočísel.

Přestože jsou definována zcela přesně a rigorózně, prvočísla se v mnoha ohledech chovají jako náhodná čísla. Na dalším obrázku uvidíte malý pokus, kdy jsem si pro dané sudé číslo místo prvočísel vzal náhodně vybraná lichá čísla (tak aby jejich počet odpovídal počtu skutečných prvočísel), a pak jsem si položil otázku, kolika způsoby se dá dané sudé číslo vyjádřit jako součet těchto „fejkových“ prvočísel. A protože náhodný výběr lze opakovat, udělal jsem to pro každé sudé číslo 500×. Výsledný průměrný počet (červená křivka) jsem pak porovnal se zprůměrovanou verzí skutečné Goldbachovy komety – tedy pro každé sudé číslo jsem vzal průměr počtu prvočíselných rozkladů pro deset předcházejících a deset následujících sudých čísel (modrá křivka). Vidíte, že chování skutečných prvočísel a náhodně vybraných lichých čísel se prakticky neliší (jedna křivka překrývá druhou).


2. Hypotéza prvočíselných dvojčat


Existuje nekonečně mnoho prvočíselných dvojčat.

Poznámka: Prvočíselná dvojčata jsou dvě prvočísla, mezi kterými je rozdíl 2 (například 41 a 43). To je v podstatě nejmenší možný rozdíl – jediná prvočísla, která následují hned po sobě, jsou 2 a 3.

Mezi prvními 11 prvočísly (2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31) je dvojčat celkem 5 (zkuste si je najít). To je zhruba 45 %. Jak ale začnete zkoumat víc a víc prvočísel, procentuální podíl dvojčat klesá. Opět se na to podíváme graficky. Na ose x nanesu, kolik prvočísel budu uvažovat, a na ose y pak uvidíme, kolik procent z nich jsou dvojčata (tedy přesněji, kolik procent z těch prvočísel p má tu vlastnost, že p-2 je taky prvočíslo). Vidíte, že procento poměrně rychle klesne na hodnotu 10 % a pak velmi pomalu klesá dál.


3. Legendrova domněnka


Mezi dvěma po sobě jdoucími čtverci vždy existuje prvočíslo.

Poznámka: Dvěma po sobě jdoucími čtverci se základnou N rozumím dvojici N2 a (N+1)2.

Česky se to dá říci takto: Představte si posloupnost čtverců: 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121… Legendrova domněnka říká, že mezi každými dvěma čísly této posloupnosti najdete alespoň jedno prvočíslo. Pokud si vezmeme základnu třeba 7, tak dva po sobě jdoucí čtverce jsou 49 a 64 a mezi nimi existuje ne jedno, ale hned tři prvočísla: 53, 59 a 61. Zda to tak ale funguje až do nekonečna, nevíme.

Samozřejmě pro vyšší hodnoty základny jsou mezery mezi čtverci větší a větší a vejde se do nich prvočísel daleko víc (prvočísel sice obecně ubývá, ale zvětšování mezer mezi čtverci tento proces více než kompenzuje). Podívejme se na to nejprve graficky. Na ose x nanesu základnu N a na ose y uvidíme počet prvočísel mezi N2 a (N+1)2.


Zajímavé je, že ze znalosti statistiky prvočísel umíme (*) poměrně přesně odhadnout, kolik prvočísel mezi danými čtverci bude. Vzdálenost mezi čtverci o základně N je 2N+1, a protože hustota prvočísel kolem čísla N je přibližně 1 / ln(N), můžeme očekávat zhruba N / ln(N) prvočísel. To je ta červená křivka a vidíte, že v průměru funguje docela přesně. I proto si myslím, že z Landauových problémů je tento asi nejschůdnější.

(*) Pokud je vám divné, že ovládáme statistiku prvočísel, ale jejich individuální vlastnosti nám dělají těžkosti, představte si třeba předvolební preference ANO. To, že známe poměrně přesně procentuální zastoupení jejich příznivců v populaci, ještě neznamená, že když čapneme náhodného chodce na ulici, budeme schopni odhadnout, zda je to volič ANO, nebo ne. A s prvočísly je to podobně. 

Na závěr se podívejme, kde mezi danými čtverci se prvočísla většinou nalézají. Za tím účelem si pozici mezi dvěma následnými čtverci převedu na bezrozměrné jednotky j z intervalu (0,1) a pro prvních 2000 dvojic čtverců najdu všechna prvočísla mezi nimi a vynesu si do grafu, kde se nacházejí (ve formě hustoty pravděpodobnosti veličiny j – tedy v podstatě spojitého histogramu).

Pokud vás bezrozměrné jednotky zajímají, tak pro dva následné čtverce A a B a pro prvočíslo p mezi nimi jsou definovány takto: j = (p-A)/(B-A). Takže pozice prvočísla 41, které leží mezi čtverci 36 a 49, odpovídá bezrozměrné jednotce j = 0,3846.


Hodnota 0 tedy odpovídá prvnímu čtverci, hodnota 1 druhému – v nich samozřejmě prvočíslo být nemůže, proto je tam pravděpodobnost výskytu nula.

Jak vidíte, prvočísla jsou mezi čtverci rozložena naprosto rovnoměrně. Žádná pozice není zvýhodněna. I to svědčí o tom, že se chovají tak trochu jako náhodná čísla. Ale ne úplně. Podívejte se třeba na útvar zvaný Ulamova spirála. Něco takového byste z úplně náhodných čísel nevytloukli.

4. Prvočísla v kvadratických posloupnostech


Existuje nekonečně mnoho prvočísel tvaru n2 + 1.

Poznámka: Toto je speciální případ Bunyakovského domněnky, která se zabývá výskytem prvočísel v polynomiálních posloupnostech.

Jen co lidstvo díky starořeckým matematikům zjistilo, že posloupnost přirozených čísel obsahuje nekonečně mnoho prvočísel, začalo hloubat, které podposloupnosti mají tutéž vlastnost. První padly pochopitelně na řadu aritmetické posloupnosti, které se dají zapsat jednoduchou lineární formulkou a+d*n, kde a a d jsou dvě nesoudělná čísla (a za n si postupně dosadíte všechna přirozená čísla). Jako příklad si můžete zkusit formulku 2+7*n, ze které po dosazení přirozených čísel vyždímáte následující posloupnost: 9, 16, 23, 30, 37, 44, 51, 58, 65, 72, 79 …

Dvě čísla jsou nesoudělná, pokud nemají společného dělitele (např. 2 a 7).

Už od pohledu je jasné, že nějaká prvočísla posloupnost opravdu obsahují, ale zda je jich nekonečně mnoho, se nedá jen tak lehce posoudit. Tento problém vzdoroval úsilí mudrlantů více než dva tisíce let a teprve v roce 1837 německý matematik Johann Peter Gustav Lejeune Dirichlet dokázal, že za podmínky nesoudělnosti a a d obsahují všechny lineární (aritmetické) posloupnosti a+d*n nekonečně mnoho prvočísel. Jeho důkaz však používá poměrně komplikovaný matematický aparát, který je už nad rámec tohoto příspěvku.

Jako další přišly samozřejmě na řadu posloupnosti kvadratické a z nich nejjednodušší je právě n2 + 1. Když si napíšete prvních několik členů (tedy dosadíte za n postupně 1, 2, 3, ..), dostanete:

2, 5, 10, 17, 26, 37, 50, 65, 82, 101, 122, 145, 170, 197, …

I zde je od pohledu jasné, že nějaká ta prvočísla se v této posloupnosti skutečně nalézají, ale zda je jich nekonečně mnoho, nevíme dodnes (to je právě obsahem 4. Landauova problému!). Protože za n dosazujeme přirozená čísla, je celkem jasné, že pro lichá n bude výraz n2 + 1 sudý, a tudíž (s výjimkou n=1) nemá šanci být prvočíslem. Proto stačí omezit se při bádání na sudé hodnoty n. Můžete si sami zkusit, že prvních pár sudých čísel n, pro které naše formulka vyplivne prvočíslo, je:

2, 4, 6, 10, 14, 16, 20, 24, 26, 36, 40, 54, 56, …

(této posloupnosti budu říkat „červená posloupnost“ – za chvíli uvidíte proč)

Abyste si udělali obrázek, jak těžký tento problém je, poznamenám, že zatím nejlepšího výsledku dosáhl v roce 1978 polský matematik Henryk Iwaniec, který ukázal, že posloupnost n2 + 1 obsahuje nekonečně mnoho čísel, která jsou buď prvočísla, a nebo mají jen dva prvočinitele (rozmyslete si, že toto je o něco slabší tvrzení než 4. Landauův problém). Profesora Iwaniece jsem jednou v 90. letech potkal na konferenci v New Yorku a když jsem mu řekl, že mě ten problém docela zajímá, dal mi důrazné varování: „Nemarněte svůj čas, mladý muži.“ Takže než se pustíte do jeho řešení, dobře si rozvažte, jestli by nebylo vhodnější raději na zahradě okopávat okurky.

Závěrem se podívejme na jednu zajímavou geometrickou interpretaci čtvrtého problému. Představte si, že budete kreslit kružnice se středem v počátku, a to tak aby procházely bodem o souřadnicích (n, 1), kde n je sudé přirozené číslo – takovým budu říkat sudé body. Na obrázku níže vidíte kružnice procházející sudými body (2, 1), (4, 1), (6, 1) atd. až (60, 1). To je ta spodní řada bodíků.


Všimněte si, že se občas stane, že taková kružnice protne ještě jiný bod s celočíselnými souřadnicemi – tedy průsečíky mřížky (aby to bylo lépe vidět, nakreslil jsem to na milimetrovém papíře). Například kružnice procházející sudým bodem (8, 1) prochází také bodem (4, 7). A samozřejmě také symetrickými body (1, 8) a (7, 4). Nebo kružnice skrz bod (22, 1) prochází také bodem (14, 17). Ale ne vždy se to podaří. Třeba kružnice procházející bodem (10, 1) už žádný jiný celočíselný bod mřížky neprotne – kromě triviálního (1, 10) samozřejmě. Kružnice, které ještě nějaký další celočíselný (mřížkový) bod protnou, jsem obarvil modře (a průsečík jsem zvýraznil) a ty zbylé červeně.

A teď si z obrázku odečteme, jakými sudými body červené kružnice procházejí: 2, 4, 6, 10, 14, 16, 20, 24, 26, 36, 40, 54, 56… To je ale náhodička! To je přesně ta červená posloupnost výše. Jinými slovy, toto jsou přesně ta sudá čísla, pro která nám formulka n2 + 1 vytvoří prvočíslo (až se dostaneme ke komplexním číslům, tak se k této zajímavosti vrátím).

Čtvrtý problém tedy můžeme přeformulovat takto: Mezi všemi kružnicemi procházejícími sudými bodíky na spodní řadě existuje nekonečně mnoho takových, které už žádné jiné mřížkové body neprotnou. Jinými slovy, pokud bychom obrázek prodloužili doprava, tak bychom měli vidět nekonečně mnoho červených kružnic. Jenže zatím nikdo nedokázal, že tomu tak skutečně bude.

Člověk sice umí rozštěpit atom a své bližní poslat na Měsíc, ale o vlastnostech prvočísel toho pořád moc neví.



Článek je redakčně upravenou verzí blogového příspěvku na serveru iDNES.cz. Publikováno s laskavým svolením autora.

Další díly a původní texty jsou dostupné na blogu Jana Řeháčka.


Mohlo by vás také zajímat:

Matykání I: Hudba sfér
Matykání II: Chcete vidět nekonečno?
Matykání III: Jak se dopočítat nekonečna
Matykání IV: Jak se nedopočítat nekonečna

Další obrázky
comments powered by Disqus

Matfyz.cz

Univerzita Karlova
Matematicko-fyzikální fakulta
Ke Karlovu 3
121 16  Praha 2
IČ: 00216208
DIČ: CZ00216208
web fakulty
studuj na Matfyzu