Primtalssætningen: Definition, formel (n/ln n) og historisk overblik
Primtalssætningen: klar introduktion til definition, formlen n/ln(n) og historien fra Gauss til 1896-beviset — intuitiv forklaring og illustrative eksempler.
Primtalssætningen er en sætning fra talteorien, som beskriver, hvordan Primtal fordeler sig for store tal. Mere præcist angiver sætningen, at antallet af primtal ≤ x vokser omtrent som x / ln x, hvor ln er den naturlige logaritmefunktion. Det betyder, at tæthed eller sandsynligheden for, at et tilfældigt valgt helt tal omkring størrelsen n er prim, er omtrent 1 / ln(n). I tælleformel skrives ofte
π(x) ~ x / ln x som x → ∞,
hvilket også kan formuleres ved grænseværdien
limx→∞ π(x) ln x / x = 1.
Formel og praktiske eksempler
Begrebet kan bruges i to sammenhænge: antallet af primtal ≤ x og sandsynligheden for, at et tal omkring x er prim. Hvis der er omtrent x/ln x primtal op til x, så er sandsynligheden for at et enkelt tal omkring x er prim omtrent (x/ln x) / x = 1/ln x.
Som konkret eksempel: blandt positive heltal med højst 1000 cifre (dvs. tal ≤ 101000) er andelen af primtal cirka 1 / ln(101000) = 1 / (1000·ln 10) ≈ 1 / 2302,6. For tal med højst 2000 cifre er andelen cirka 1 / (2000·ln 10) ≈ 1 / 4605,2. Derfor fordobling af antallet af cifre halverer groft set sandsynligheden for at være prim.
Bedre approksimationer og restled
Den simple form x / ln x giver et brugbart første estimat, men en endnu bedre approksimation er den såkaldte logaritmiske integral Li(x), som ofte ligger tættere på π(x) for store x. Man kan derfor skrive
π(x) = Li(x) + o(Li(x)).
Der findes også præcise estimater for fejlleddet: beviset af primtalssætningen bygger på komplekse analytiske egenskaber af Riemann-zeta-funktionen ζ(s). Hvis man antager den stærkere Riemann-hypotese, følger et betydeligt bedre bound for fejlen (kort fortalt: en fejl af størrelsesordenen omtrent √x·ln x i stedet for de svagere bounds, som man kan bevise uden denne hypotese).
Historisk overblik
Den 15-årige Carl Friedrich Gauss havde i 1793 mistanke om, at der var en sammenhæng mellem primtal og logaritmer. Gauss formulerede sine observationer ud fra empiriske tabeller over primtal og foreslog en forbindelse til den logaritmiske integral. Adrien‑Marie Legendre havde også tidligt mistanke om en sådan forbindelse og foreslog senere en formel af typen x / (ln x − B) med en passende konstant B som approximation.
Det krævede imidlertid mere end empiriske observationer at få et fuldgyldigt bevis. Jacques Hadamard og Charles‑Jean de La Vallée Poussin beviste uafhængigt primtalssætningen i 1896 ved hjælp af komplekse analytiske metoder, især ved at vise, at ζ(s) ≠ 0 på linjen Re(s) = 1. Dette fjernede de sidste tvivl om den asymptotiske adfærd π(x) ~ x / ln x.
Konsekvenser og bemærkninger
- Gennemsnitligt er afstanden mellem to på hinanden følgende primtal blandt de første N heltal cirka ln(N).
- Primtalssætningen forklarer, hvorfor primtal bliver sjældnere, når man går mod større tal: tætheden aftager langsomt som 1/ln x.
- Beviset og videre forbedringer af fejlleddet er tæt forbundet med egenskaberne af Riemann‑zeta‑funktionen; dermed knytter primtalssætningen sig til nogle af de dybeste problemer i moderne talteori.
Primtalssætningen er både et klassisk resultat og et udgangspunkt for videre studier af primtalsfordelinger, for eksempel i arbejdet med primtal i aritmetiske følgesætninger, korte intervaller og i sammenhænge, hvor man ønsker mere præcise fejlestimater end hvad x / ln x giver.
Spørgsmål og svar
Q: Hvad er primtalssætningen?
A: Primtalssætningen er en sætning fra talteorien, der forklarer, hvordan primtal er fordelt over talområdet.
Q: Er primtal jævnt fordelt over talrækken?
A: Nej, primtal er ikke jævnt fordelt over talområdet.
Q: Hvad formaliserer primtalssætningen?
A: Primtalssætningen formaliserer ideen om, at sandsynligheden for at ramme et primtal mellem 1 og et givet tal bliver mindre, når tallene vokser.
Q: Hvad er sandsynligheden for at ramme et primtal mellem 1 og et givent tal?
A: Sandsynligheden for at ramme et primtal mellem 1 og et givent tal er ca. n/ln(n), hvor ln(n) er den naturlige logaritmefunktion.
Q: Er sandsynligheden for at ramme et primtal med 2n cifre større end sandsynligheden for at ramme et primtal med n cifre?
A: Nej, sandsynligheden for at ramme et primtal med 2n cifre er cirka halvt så stor som sandsynligheden for at ramme et primtal med n cifre.
Q: Hvem beviste primtalssætningen?
A: Jacques Hadamard og Charles-Jean de La Vallée Poussin beviste primtalssætningen i 1896, over et århundrede efter at Gauss i 1793 fik mistanke om en forbindelse mellem primtal og logaritmer.
Q: Hvad er den gennemsnitlige afstand mellem på hinanden følgende primtal blandt de første N heltal?
A: Den gennemsnitlige afstand mellem på hinanden følgende primtal blandt de første N heltal er omtrent ln(N).
Søge