matematická funkce udávající počet prvočísel From Wikipedia, the free encyclopedia
Prvočíselná funkce je funkce udávající počet prvočísel menších nebo rovných zadanému reálnému číslu x [1][2]. Bývá značena pomocí řeckého písmeneme π jako (ovšem nesouvisí nijak přímo se známějším Ludolfovým číslem) a je předmětem studia v matematice, v teorii čísel.
Rozložení prvočísel mezi přirozenými čísly je předmětem zájmu číselných teoretiků již dlouho. Na konci 18. století vyslovili Carl Friedrich Gauss a Adrien-Marie Legendre domněnku, že prvočíselná funkce přibližně odpovídá funkci
tedy že
Tento výsledek, známý jako prvočíselná věta, se podařilo dokázat až v roce 1896, kdy jeho důkaz podali nezávisle na sobě Jacques Hadamard a Charles de la Vallée Poussin za použití Riemannovy funkce.
Pro malé hodnoty je nejsnazší explicitně zjistit všechna prvočísla menší než (například pomocí Eratosthenova síta) a sečíst je.
Legendre vymyslel propracovanější způsob výpočtu : Pro dané reálné číslo a různá prvočísla , , …, je počet přirozených čísel nesoudělných se všemi a menších než roven
Pokud za , , …, zvolíme všechna prvočísla menší než odmocnina z , je toto číslo rovno:
Ještě lepší algoritmy od té doby vymysleli například Ernst Meissel nebo Derrick Henry Lehmer.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.