Dixonova domněnka je číselně teoretický předpoklad vytvořený Linordem Dixonem v roce 1904, který uvádí, že pro jakoukoli konečnou množinu lineárních forem s , existuje nekonečně mnoho přirozených čísel n , pro které budou všechny hodnoty forem zároveň prvočísla , pokud neexistuje srovnání s nějakým primárním modulem, které tuto možnost okamžitě vylučuje.
Nechť k je přirozené číslo, uvažujme k aritmetické posloupnosti s celými čísly a . Dixonova domněnka naznačuje, že existuje nekonečně mnoho přirozených čísel n , takže pro každé takové n je všech k prvočísel . Z úvahy je vyloučen pouze triviální případ, kdy existuje prvočíslo p takové, že pro libovolné n je alespoň jedno číslo násobkem p . Toto omezení lze přeformulovat následovně: není pravda, že pro jakékoli n se srovnání provádí . V druhém případě lze jak několik posloupností pro různá n , tak jednu progresi pro všechna n vydělit p . Například pro 2 posloupnosti vždy a pro 2 další posloupnosti pro sudé n a pro liché - , takže ve dvojicích posloupnosti a počet jednoduchých dvojic není nekonečný.
Poznamenáváme také, že formulace hypotézy se stává přirozenější, pokud se její rozsah rozšíří z přirozených čísel na všechna celá čísla, konkrétně nejen kladná čísla jsou považována za prvočísla , ale také záporná čísla (což jsou skutečně prvočísla v kruhu) . obvyklý smysl). V tomto případě není potřeba vyžadovat kladnost všech hodnot všech progresí , a proto lze stav oslabit na a ten zcela odstranit, protože jinak se nejedná o aritmetickou progresi.
Nechť je počet srovnávacích řešení . Podle předpokladu hypotézy a následně podle heuristického uvažování ve prospěch Bateman-Hornovy hypotézy získáme, že hustotu čísel n nepřesahujících x , pro která jsou všechna čísla prvočísla, odhadneme hodnotou
zde součin přebírá všechna prvočísla p a je přirozeným logaritmem čísla. Hodnota je asymptoticky ekvivalentní , ale 1. výraz by měl být přesnější. Když , je snadné zkontrolovat, že koeficient bude roven , což odpovídá Dirichletově větě (zde je Eulerova funkce ).
Dixonův dohad byl později zobecněn Schinzelem na Schinzelovu domněnku .
Hypotézy o prvočíslech | |
---|---|
Hypotézy |