🔢 mathematics

Lines in the prime number graph

Dit artikel onderzoekt de meetkundige eigenschappen van het priemgetallengrafiek door nieuwe boven- en ondergrenzen vast te stellen voor het minimumaantal lijnstukken dat nodig is om de punten ervan te bedekken en voor het maximumaantal collineaire punten, inclusief resultaten die onder de Riemann-hypothese gelden en een recente conjectuur van Sloane verfijnen.

Oorspronkelijke auteurs: Carl Pomerance, Patrick Solé

Gepubliceerd 2026-05-22

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Carl Pomerance, Patrick Solé

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een gigantisch spreidingsdiagram voor op een vel ruitjespapier. Op de horizontale as (de x-as) schrijf je de telgetallen: 1, 2, 3, 4, en zo verder. Op de verticale as (de y-as) schrijf je de corresponderende priemgetallen: 2, 3, 5, 7, 11, enzovoort.

Het eerste punt is dus (1, 2), het tweede is (2, 3), het derde is (3, 5), en zo verder. Deze verzameling stippen noemen wiskundigen de Priemgetallengrafiek.

Dit artikel, geschreven door Carl Pomerance en Patrick Solé, stelt twee leuke vragen over deze stippen:

De "Snoer"-vraag: Als je alle eerste $n$ stippen wilde verbinden met zo min mogelijk rechte lijnen (alsof je met een liniaal tekent), hoeveel lijnen zou je dan nodig hebben? Zij noemen dit getal $L(n)$ .
De "Drukte"-vraag: Wat is het maximale aantal stippen dat je kunt vinden dat allemaal perfect op één rechte lijn ligt? Zij noemen dit getal $B(n)$ .

Het grote plaatje: Waarom is dit moeilijk?

Priemgetallen lijken een beetje op een schaarse menigte op een enorm feest. Ze worden steeds verder uit elkaar naarmate de getallen groter worden. Omdat ze zo verspreid liggen, is het onmogelijk om één enkele lijn te tekenen die elk priemgetal voor altijd raakt. Uiteindelijk zal de lijn de volgende stip missen.

De auteurs proberen de regels van dit spel voor zeer grote getallen te achterhalen.

Vraag 1: Hoeveel lijnen hebben we nodig? ( $L(n)$ )

Stel je voor dat je een pad van stapstenen (de priempunten) probeert te bedekken met planken van hout (rechte lijnen). Je wilt zo weinig mogelijk planken gebruiken.

De oude gok: Een wiskundige genaamd Sloane gokte dat het aantal benodigde planken zeer langzaam groeit, ongeveer als het aantal stenen gedeeld door het natuurlijke logaritme van dat getal.
Het nieuwe resultaat: De auteurs hebben niet helemaal bewezen dat Sloane's gok exact juist was, maar ze kwamen zeer dicht in de buurt. Ze bewezen dat het aantal benodigde lijnen ongeveer evenredig is met het aantal punten, gedeeld door de logaritme van het getal, maar dan met een klein extra "wazig" factor (wiskundig geschreven als $n \log \log n / \log n$ ).
De "onhandige" priemgetallen: Het artikel spreekt ook over "onhandige" priemgetallen. Dit zijn de specifieke punten waar je een nieuwe lijn moet toevoegen omdat de huidige lijnen ze niet kunnen bereiken. De auteurs bewijzen dat deze onhandige momenten voorkomen, maar dat ze zeldzaam genoeg worden dat als je de "reciprocals" (1 gedeeld door het getal) van al deze onhandige priemgetallen optelt, de totale som een eindig getal zou zijn.

Vraag 2: Hoeveel stippen kunnen er op één lijn? ( $B(n)$ )

Nu, stel je voor dat je op je grafiek op zoek bent naar de "hotteste" lijn – diegene die de meeste stippen raakt.

De ondergrens (de minimale garantie): De auteurs bewezen dat, hoe ver je ook gaat, je altijd een lijn kunt vinden die minstens een bepaald aantal stippen raakt. Specifiek: voor een groot aantal punten $n$ kun je garanderen dat je een lijn vindt die minstens een klein fractie van de logaritme van $n$ stippen raakt. Zie het als het vinden van een "gelukkige reeks" stippen die toevallig op één lijn liggen.
De bovengrens (het limiet): Ze bewezen ook dat je niet te veel stippen op één lijn kunt vinden. Het aantal stippen op de beste lijn wordt beperkt door hoe "golvend" de priemgetallen zijn.
De "Riemann-hypothese"-twist: Er is een beroemd, onopgelost wiskundig mysterie genaamd de Riemann-hypothese (RH). Het is als een "super-accuraat" regelboek voor hoe priemgetallen zijn verdeeld.
- Als we aannemen dat RH waar is: De auteurs kunnen veel strakkere grenzen geven. Ze tonen aan dat onder deze aanname de "drukte lijn" niet meer dan ongeveer $n^{3/4}$ stippen kan hebben (ongeveer de vierkantswortel van de vierkantswortel van $n$ , vermenigvuldigd met enkele factoren).
- Het gevolg: Als de lijn niet te druk kan zijn, betekent dit dat je meer lijnen nodig hebt om alles te bedekken. Dus, onder RH moet het minimale aantal lijnen ( $L(n)$ ) minstens een bepaalde grootte hebben (ongeveer $n^{1/4}$ ).

De hulpmiddelen die ze gebruikten

Om dit op te lossen, gokten de auteurs niet zomaar; ze gebruikten een krachtig wiskundig hulpmiddel genaamd de Priemgetalstelling met Restterm.

Zie de Priemgetalstelling als een zeer goede kaart die voorspelt waar de priemgetallen zouden moeten zijn. Het "restterm"-gedeelte is de foutmarge op die kaart. De auteurs gebruikten een zeer nauwkeurige kaart (met een kleine foutmarge) om "parallellogrammen" (schuine dozen) om de stippen te tekenen. Ze toonden aan dat als je lijnen tekent met specifieke hellingen (gebaseerd op een wiskundige rij genaamd de Farey-rij), deze lijnen veel van de stippen binnen die dozen zullen vangen.

De conclusie

Het artikel sluit af met de volgende punten:

We hebben een goede bovengrens voor hoeveel lijnen we nodig hebben om de priemgetallen te bedekken.
We hebben een goede ondergrens voor hoeveel priemgetallen op één lijn kunnen zitten.
Er is echter nog steeds een "kloof" tussen het beste mogelijke antwoord en het antwoord dat we momenteel kunnen bewijzen. De auteurs geven toe dat hun schattingen nog niet perfect zijn en dat er nog werk moet worden verzet om de kloof tussen het "minimale aantal benodigde lijnen" en het "maximale aantal stippen op een lijn" te dichten.

Kortom, ze hebben een betere omheining rond het probleem gebouwd, maar ze hebben de exacte vorm van de tuin er nog niet helemaal gevonden.

Technische Samenvatting: Lijnen in het priemgetalendiagram

Probleemstelling
Het artikel onderzoekt de meetkundige eigenschappen van het "priemgetalendiagram", gedefinieerd als de verzameling punten $(n, p_n)$ in het vlak, waarbij $p_n$ het $n$ -de priemgetal is. De centrale focus ligt op twee specifieke functies:

$L(n)$ : Het minimumaantal rechte lijnstukken dat nodig is om de eerste $n$ priempunten te bedekken.
$B(n)$ : Het maximumaantal priempunten $(k, p_k)$ met $k \le n$ dat door één enkele rechte lijn kan worden bedekt.

Het onderzoek wordt gemotiveerd door recente numerieke waarnemingen en een conjectuur van Sloane, die stelde dat $L(n) = O(n / \log n)$ . De auteurs beogen rigoureuze asymptotische grenzen voor deze functies te leveren met behulp van analytisch getaltheorie, specifiek de Hoofdstelling van de priemgetallen (PNT) met resttermen.

Methodologie
De auteurs maken gebruik van een combinatie van combinatorische argumenten en diepgaande resultaten uit de analytische getaltheorie.

Farey-rijen en intervaldissectie: Om $L(n)$ te begrenzen, maken de auteurs gebruik van de Farey-rij van niveau $k$ . Zij dissecteren het interval $(e^k, e^{k+1}]$ op basis van opeenvolgende termen $a/b$ en $a'/b'$ van de Farey-rij. Dit stelt hen in staat specifieke intervallen $I = (u, u']$ te construeren waarbij de helling van lijnen die de priemverdeling benaderen, gecontroleerd wordt.
Hoofdstelling van de priemgetallen met restterm: De bewijzen maken zwaar gebruik van de foutterm in de benadering van de priemtelfunctie $\pi(x)$ door de logaritmische integraal $\text{li}(x)$ . De auteurs gebruiken de onvoorwaardelijke bovengrens $|\pi(x) - \text{li}(x)| \le x \exp(-c(\log x)^{3/5}(\log \log x)^{-1/5})$ en de voorwaardelijke bovengrens onder de Riemann-hypothese (RH), $|\pi(x) - \text{li}(x)| \le x^{1/2} \log x$ .
Meetkundige beperkingen: Om $B(n)$ te begrenzen, analyseren de auteurs de doorsnede van een rechte lijn met het gebied gedefinieerd door $|y - \text{li}(x)| \le R(x)$ , waarbij $R(x)$ de foutgrens voorstelt. Door gebruik te maken van de concaviteit van $\text{li}(x) \pm R(x)$ , bepalen zij het maximumaantal keren dat een lijn dit gebied kan snijden, waardoor het aantal priempunten dat een enkele lijn kan bedekken, wordt beperkt.
Combinatorische relatie: Een fundamentele ongelijkheid $L(n)B(n) \ge n$ wordt gebruikt om ondergrenzen voor de ene functie af te leiden op basis van bovengrenzen voor de andere.

Belangrijkste bijdragen en resultaten

Bovengrens voor $L(n)$ :
De auteurs bewijzen dat $L(n) = O\left(\frac{n \log \log n}{\log n}\right)$ . Dit resultaat komt dicht in de buurt van Sloane's conjectuur van $O(n / \log n)$ , maar bevat een extra factor $\log \log n$ . Het bewijs omvat het sommeren van het aantal roosterlijnen dat nodig is om inverse priempunten $(p_n, n)$ te bedekken over intervallen die zijn gedefinieerd door Farey-dissecties.
Ondergrens voor $B(n)$ :
Er wordt vastgesteld dat $B(n) \ge c \log n$ voor een zekere constante $c > 0$ en alle voldoende grote $n$ . Dit wordt afgeleid door het gemiddelde aantal punten per lijn te analyseren in het specifieke interval $(e^k, e^{k+1/k}]$ dat wordt gebruikt in het bewijs voor $L(n)$ .
Voorwaardelijke resultaten onder de Riemann-hypothese (RH):
Onder de aanname van RH leveren de auteurs strakkere grenzen:
- $B(n) = O(n^{3/4} (\log n)^{1/2})$ .
- $L(n) \ge c' n^{1/4} (\log n)^{-1/2}$ voor een zekere constante $c' > 0$ .
  Deze resultaten benadrukken de kloof tussen de onvoorwaardelijke ondergrens voor $L(n)$ en de voorwaardelijke bovengrens voor $B(n)$ , en omgekeerd.
Ongemakkelijke priemgetallen:
Het artikel definieert een "ongemakkelijk priemgetal" $p_n$ als een priemgetal waarvoor $L(n) > L(n-1)$ . De auteurs bewijzen dat het aantal van dergelijke priemgetallen tot $n$ exact gelijk is aan $L(n)$ . Bijgevolg is de reciproque som van ongemakkelijke priemgetallen eindig, aangezien de telfunctie $O(\pi(x) \log \log x / \log x)$ is.

Beteekenis en beperkingen
Het artikel levert de eerste rigoureuze asymptotische grenzen voor het bedekkingsgetal $L(n)$ en het collineariteitsgetal $B(n)$ in het priemgetalendiagram. De auteurs stellen expliciet dat hun schattingen "ver weg lijken van optimaal", en wijzen op een aanzienlijke kloof tussen hun afgeleide grenzen en de geconjectureerde waarden (bijvoorbeeld tussen Stelling 3 en Corollarium 2 voor $L(n)$ , en tussen Stelling 5 en Corollarium 2 voor $B(n)$ ).

Het werk dient om numerieke waarnemingen uit eerdere literatuur (zoals [5] en [6]) te formaliseren en verbindt de meetkundige verdeling van priemgetallen met de fouttermen van de Hoofdstelling van de priemgetallen. De auteurs besluiten door de verkleining van de kloven tussen hun bovengrenzen en ondergrenzen te identificeren als een uitdagend open probleem voor toekomstig onderzoek.

Het grote plaatje: Waarom is dit moeilijk?

Vraag 1: Hoeveel lijnen hebben we nodig? (L(n)L(n)L(n))

Vraag 2: Hoeveel stippen kunnen er op één lijn? (B(n)B(n)B(n))

De hulpmiddelen die ze gebruikten

De conclusie

Technische Samenvatting: Lijnen in het priemgetalendiagram

Meer zoals dit

Vraag 1: Hoeveel lijnen hebben we nodig? ( $L(n)$ )

Vraag 2: Hoeveel stippen kunnen er op één lijn? ( $B(n)$ )