Dixons formodning er en talteoretisk antagelse lavet af Linord Dixon i 1904, der siger, at for ethvert endeligt sæt lineære former med , er der uendeligt mange naturlige tal n , for hvilke alle værdier af formerne vil være prime på samme tid, medmindre der er en sammenligning med hensyn til et eller andet primært modul, der umiddelbart udelukker denne mulighed.
Lad k være et naturligt tal, overvej k aritmetiske forløb med heltal , og . Dixons formodning antyder, at der er uendeligt mange naturlige tal n , således at for hver sådan n er alle k tal primtal. Kun det trivielle tilfælde er udelukket fra overvejelse, når der eksisterer et primtal p , således at for enhver n er mindst ét tal et multiplum af p . Denne begrænsning kan omformuleres som følger: det er ikke sandt, at sammenligningen udføres for nogen n . I sidstnævnte tilfælde kan både flere progressioner for forskellige n og én progression for alle n divideres med p . For eksempel for 2 progressioner altid , og for 2 andre progressioner for lige n , og for ulige - , så i par af progressioner og antallet af simple par er ikke uendeligt.
Vi bemærker også, at formuleringen af hypotesen bliver mere naturlig, hvis dens omfang udvides fra naturlige tal til alle heltal, især ikke kun positive tal betragtes som primtal , men også negative tal (som faktisk er primelementer i ringen i sædvanlig fornuft). I dette tilfælde er det ikke nødvendigt at kræve positiviteten af alle værdier af alle progressioner , og derfor kan tilstanden svækkes til , og sidstnævnte kan fjernes helt, da det ellers ikke er en aritmetisk progression.
Lad være antallet af sammenligningsløsninger . I henhold til hypotesens antagelse, og derefter i henhold til heuristisk ræsonnement til fordel for Bateman-Horn-hypotesen, opnår vi, at tætheden af tal n , der ikke overstiger x , for hvilke alle tal er primtal, estimeres ved værdien
her overtages produktet alle primtal p , og er tallets naturlige logaritme . Værdien er asymptotisk ækvivalent, men det 1. udtryk bør være mere præcist. Når , er det let at kontrollere, at koefficienten vil være lig med , hvilket svarer til Dirichlet-sætningen (her er Euler-funktionen ).
Dixons formodning blev senere generaliseret af Schinzel til Schinzels formodning .
Hypoteser om primtal | |
---|---|
Hypoteser |