Hipoteza Riemanna

Co się właśnie stało?

Zwiększyłeś zakres N do 10 000. Z bliska liczby pierwsze (2, 3, 5, 7, 11, 13, 17…) nadal wyglądają na rozrzucone chaotycznie — nie ma prostego wzoru dającego n-tą liczbę pierwszą. Ale ich globalna liczba, funkcja $\pi(x)$, rośnie krzywą gładką i w przybliżeniu przewidywalną.

Funkcja licząca liczby pierwsze:

Już pod koniec XIX w. udowodniono twierdzenie o rozkładzie liczb pierwszych: $\pi(x) \sim \dfrac{x}{\ln x}$ — proste wyrażenie dobrze przybliżające chaotyczną z pozoru funkcję. To pierwszy ślad ukrytego porządku.

Funkcja dzeta Riemanna:

W listopadzie 1859 r. Bernhard Riemann opublikował artykuł „Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse" — zaledwie sześć stron, które zmieniły teorię liczb. Rozszerzył znaną wcześniej Eulerowi funkcję dzeta na liczby zespolone:

i pokazał, że jej „zera" (miejsca, w których $\zeta(s)=0$) są ściśle powiązane z dokładnym rozkładem liczb pierwszych.

Sama hipoteza:

Riemann postawił hipotezę, że wszystkie „nietrywialne" zera funkcji dzeta leżą dokładnie na jednej prostej — tzw. prostej krytycznej:

Do dziś nikt tego nie udowodnił ani nie obalił — mimo sprawdzenia numerycznego dla ponad 10 bilionów zer bez ani jednego kontrprzykładu. To jeden z 7 Problemów Milenijnych ogłoszonych przez Instytut Matematyczny Claya w 2000 r., za którego rozwiązanie czeka nagroda 1 mln USD.

Dlaczego to ważne?

Dowód hipotezy Riemanna dałby najdokładniejsze możliwe oszacowanie błędu przybliżenia $\pi(x) \approx x/\ln x$ i fundamentalnie pogłębił wiedzę o tym, jak dokładnie rozłożone są liczby pierwsze — co ma znaczenie m.in. dla kryptografii (system RSA opiera bezpieczeństwo na trudności faktoryzacji, ściśle powiązanej z własnościami liczb pierwszych) i całej współczesnej teorii liczb.

Po co Ci to na maturze:

Liczby pierwsze i sito Eratostenesa to standardowy temat szkolny — hipoteza Riemanna pokazuje, że za pozornie prostym pojęciem kryje się jeden z najtrudniejszych, wciąż otwartych problemów całej matematyki.

Zapamiętaj: liczb pierwszych jest nieskończenie wiele (dowód Euklidesa, ok. 300 r. p.n.e.), ale ich gęstość wśród liczb naturalnych systematycznie maleje wraz ze wzrostem zakresu — rzednieją, mimo że nigdy się nie kończą.