Legendreova domněnka (Landauův 3. problém) je matematická domněnka z rodiny výsledků a hypotéz o intervalech mezi prvočísly , podle níž pro jakékoli přirozené existuje prvočíslo mezi a . Je to jeden z Landauových problémů . Formuloval Legendre v roce 1808, [1] od roku 2022 není prokázán ani vyvrácen.
Z věty o rozdělení prvočísel vyplývá, že počet prvočísel mezi a [2] asymptoticky směřuje k . Vzhledem k tomu, že toto číslo se zvyšuje s rostoucím , dává to základ pro Legendreovu hypotézu.
Pokud je domněnka pravdivá, interval mezi libovolným prvočíslem a dalším prvočíslem musí být vždy řádu [3] , a v -notaci je interval . Dvě silnější hypotézy, Andritzova domněnka a Oppermanova domněnka, předpokládají stejné chování intervalů. Hypotéza nedává řešení Riemannovy hypotézy , ale posiluje jeden z důsledků, pokud je hypotéza pravdivá.
Je-li Cramerova domněnka pravdivá (že intervaly mají řád ), pak z ní Legendreova domněnka vyplyne pro dostatečně velké . Cramer také ukázal, že slabší mez velikosti největšího intervalu mezi prvočísly vyplývá z Riemannovy hypotézy [4] .
Protipříklad kolem 10 18 by musel mít interval 50 milionkrát větší než průměrný interval.
Z Legendrovy domněnky vyplývá, že v každé půlotočce Ulamské spirály lze nalézt alespoň jedno prvočíslo .
Na počátku 21. století bylo zjištěno, že v intervalu pro všechny velké existuje prvočíslo [5] .
Tabulka maximálních intervalů prvočísel ukazuje [6] , že hypotéza platí až .
Bylo dokázáno, že pro nekonečný počet čísel ,
kde je distribuční funkce prvočísel [7] .
Hypotézy o prvočíslech | |
---|---|
Hypotézy |