🔢 mathematics

On Carmichael numbers of the form $2^np^m+1$

Het artikel bewijst dat voor elke vaste oneven integer $m \ge 5$ , er slechts eindig veel Carmichael-getallen van de vorm $2^np^m+1$ bestaan waarbij $n$ een positieve integer is en $p$ een priemgetal is.

Oorspronkelijke auteurs: Florian Luca

Gepubliceerd 2026-06-30

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Florian Luca

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 voor dat je een detective bent die een mysterie probeert op te lossen over een zeer specifiek type "impostor" getal. In de wereld van de wiskunde zijn er speciale getallen die Carmichael-getallen worden genoemd. Dit zijn verraderlijke getallen omdat ze zich voordoen als priemgetallen (de bouwstenen van de wiskunde) wanneer je ze met bepaalde regels test, ook al zijn ze eigenlijk samengesteld uit kleinere priemgetallen vermenigvuldigd met elkaar.

Het papier dat je hebt verstrekt, is een wiskundig onderzoek geleid door Florian Luca. Het doel was om een specifieke vraag te beantwoorden: Als we deze impostor-getallen bouwen met een zeer specifiek recept, hoeveel van hen kunnen er dan bestaan?

Hier is de uitsplitsing van het onderzoek met behulp van eenvoudige analogieën:

1. Het Recept: De " $2^n p^m + 1$ " Taart

De wiskundigen kijken naar Carmichael-getallen die een strikt recept volgen:
$N = 2^n \times p^m + 1$
Beschouw dit als het bakken van een taart waarbij:

$p$ een specifiek priem ingrediënt is (zoals "bloem").
$m$ een vaste hoeveelheid van dat ingrediënt is (zoals "5 koppen").
$n$ een variabele hoeveelheid van een ander ingrediënt is (zoals "suiker") die kan veranderen.
$2^n$ een speciale vermenigvuldiger is (zoals "gist" die de grootte verdubbelt).

De vraag is: Als we de hoeveelheid bloem ( $m$ ) vastzetten op een oneven getal van ten minste 5, en we blijven de suiker ( $n$ ) en het type bloem ( $p$ ) veranderen, hoeveel van deze taarten kunnen dan daadwerkelijk "impostor" Carmichael-getallen worden?

2. De Grote Ontdekking: De "Eindige" Conclusie

Het papier bewijst een zeer sterk resultaat: Er zijn slechts een eindig aantal van deze taarten.

In andere woorden: zelfs al zou je theoretisch de suiker ( $n$ ) en het type bloem ( $p$ ) eeuwig kunnen blijven veranderen, zul je uiteindelijk een tekort aan combinaties tegenkomen die werken. Je zult geen oneindige voorraad van deze specifieke impostor-getallen vinden. Zodra je een bepaald punt passeert, bestaan er geen nieuwe meer.

3. Hoe Ze Het Opgelost Hadden: De "Zeef" en de "Val"

Het bewijs is als een meerfasig detectiveverhaal:

Fase 1: De Groottebeperking (De Zeef)
Eerst lieten de auteurs zien dat als een dergelijk getal bestaat, de hoeveelheid suiker ( $n$ ) niet willekeurig groot kan zijn. Het wordt begrensd door de grootte van de bloem ( $p$ ). Dit verkleint het zoekveld aanzienlijk. Het is alsoals beseffen dat als een taart te groot is, hij zal instorten, dus de bakker kan ze niet oneindig groot blijven maken.
Fase 2: De "Multiplicatieve Onafhankelijkheid" Val
Ze keken naar de priemfactoren (de ingrediënten binnenin de taart). Ze bewezen dat voor deze getallen te werken, de ingrediënten op een specifieke wiskundige manier "onafhankelijk" moeten zijn. Als dat niet het geval zou zijn, zou de wiskunde instorten (zoals een taart die uit elkaar valt). Dit dwong hen tot de conclusie dat de "orde" van de ingrediënten (hoe ze cycleren) een macht van 2 moet zijn.
Fase 3: Het Polynoom Puzzelstuk (De Laatste Val)
Dit is het meest complexe deel. De auteurs vertaalden het probleem naar een taal van polynomen (vergelijkingen met variabelen zoals $x$ en $y$ ).
- Ze stelden zich voor dat als er oneindig veel van deze getallen zouden zijn, het zou betekenen dat een specifieke polynoomvergelijking oneindig veel oplossingen heeft.
- Vervolgens gebruikten ze een krachtig instrument uit een andere tak van de wiskunde (de Schmidt's Subspace Theorem, vermeld in het papier) om deze vergelijking te analyseren.
- De Analogie: Stel je voor dat je steeds probeert een vierkante pen in een rond gat te passen. De auteurs toonden aan dat als zij aannemen dat er oneindig veel oplossingen zijn, de "pennen" (de wiskundige eigenschappen van de getallen) perfecte cirkels zouden moeten zijn. Maar toen ze beter keken, bleken de "pennen" eigenlijk vierkantjes te zijn.
- De Tegenstrijdigheid: Ze bewezen dat de wiskundige "wortels" (de oplossingen) van deze vergelijkingen "wortels van eenheid" (getallen die terugkeren naar 1) zouden moeten zijn. Echter, de specifieke structuur van hun recept maakte dit onmogelijk. De wiskunde kon simpelweg niet in balans blijven als er oneindig veel oplossingen waren.

4. De Kanttekening: "Ineffectief" Bewijs

Het papier geeft een beperking toe. Hoewel ze bewezen hebben dat het aantal van deze Carmichael-getallen eindig is, kunnen ze je niet precies vertellen waar het laatste getal zich bevindt.

De Analogie: Het is als een detective die zegt: "Ik weet dat de moordenaar na een bepaalde datum gestopt is met misdaden plegen, maar ik weet niet het exacte jaar, en ik kan je geen lijst geven van de laatste paar misdaden."
Het bewijs steunt op diepe, abstracte stellingen die garanderen dat er een limiet bestaat, maar die geen rekenmachine bieden om die limiet te vinden.

Samenvatting

Het papier van Florian Luca is een wiskundig bewijs dat zegt: "Als je probeert Carmichael-getallen te bouwen met de formule $2^n p^m + 1$ met een vaste oneven $m \ge 5$ , zul je uiteindelijk een tekort aan geldige combinaties hebben. Er is een harde stop; de lijst van deze getallen is niet oneindig."

Ze losten dit op door te laten zien dat het aannemen van een oneindige lijst leidt tot een wiskundige tegenstrijdigheid, vergelijkbaar met het bewijzen dat een brug niet kan bestaan omdat de wetten van de fysica zouden breken als dat wel zo zou zijn.

Technische Samenvatting: Over Carmichael-getallen van de vorm $2^n p^m + 1$

Probleemstelling
Het artikel onderzoekt de distributie van Carmichael-getallen binnen een specifieke rekenkundige progressie. Een Carmichael-getal $N$ is een samengesteld getal dat voldoet aan $a^N \equiv a \pmod N$ voor alle gehele getallen $a$ . Dergelijke getallen zijn noodzakelijkerwijs oneven, vrij van kwadraten en voldoen aan de voorwaarde dat $p-1 \mid N-1$ voor elke priemfactor $p$ van $N$ . Bijgevolg kan elk Carmichael-getal geschreven worden als $N = 2^n k + 1$ voor een positieve gehele $n$ en een oneven gehele $k$ .

De verzameling $K$ wordt gedefinieerd als de collectie oneven gehele getallen $k$ waarvoor $2^n k + 1$ een Carmichael-getal is voor een bepaalde $n$ . Eerder onderzoek heeft vastgesteld dat $K$ geen priemgetallen, geen kwadraten van priemgetallen en alleen de derde macht $3^3$ bevat. Dit artikel richt zich op het geval waarbij $k = p^m$ , waarbij specifiek de volgende vraag wordt behandeld: Bestaan er voor een vastgelegde oneven gehele $m \ge 5$ oneindig veel priemgetallen $p$ waarvoor $p^m \in K$ ?

Methodologie
Het bewijs verloopt in twee hoofdfasen, waarbij elementaire getaltheorie wordt gecombineerd met diepgaande resultaten uit de Diophantische meetkunde.

Elementaire Grenzen en Reductie:
De auteurs stellen eerst een bovengrens vast voor de exponent $n$ in termen van $p$ en $m$ . Voortbouwend op resultaten uit [3], tonen zij aan dat als $N = 2^n p^m + 1$ een Carmichael-getal is, dan $n < 25m^4 \log p$ .
Gebruikmakend van deze grens, analyseren de auteurs de priemfactorisatie van $N$ . Zij ontbinden $N$ in factoren van de vorm $q_i = 2^{a_i} p^{b_i} + 1$ . Een cruciale stap is het analyseren van de multiplicatieve afhankelijkheid van de termen $2^n p^m$ en $2^{a_i} p^{b_i}$ . De auteurs bewijzen dat voor voldoende grote $p$ (specifiek $p > 500m^5 \log m$ ), de orde van $2$ modulo elke priemfactor $q_i$ van $N$ een macht van 2 moet zijn. Dit beperkt de structuur van de priemfactoren aanzienlijk.
Toepassing van de Subspace-stelling:
Onder de aanname dat er oneindig veel dergelijke priemgetallen bestaan, leiden de auteurs een polynoomidentiteit af. Door de structurele parameters te fixeren (het aantal factoren $k$ , de exponenten $a_i, b_i$ , en de oneven delen van $n$ en $a_i$ ), construeren zij een polynoomvergelijking $P(X, Y) = 0$ waarbij $X = 2^{2\beta'}$ en $Y = p^{\beta'}$ .
Het bestaan van oneindig veel oplossingen $(X, Y)$ waarbij $Y$ een macht van een priemgetal is, impliceert dat de polynoom $P(X, Y)$ identiek nul moet zijn op een specifieke algebraïsche curve. De auteurs maken gebruik van een resultaat van Corvaja en Zannier [4], dat steunt op de Subspace-stelling van Schmidt, om de structuur van de betrokken polynomen te analyseren.
Specifiek demonstreren zij dat de polynomen afgeleid van de factorisatie van $N$ gerelateerd moeten zijn aan cyclotomische polynomen. Door de graden en wortels van deze polynomen te vergelijken, leiden zij een tegenspraak af: de wortels van de afgeleide van de resulterende polynoom zouden strikt binnen de eenheidscirkel moeten liggen, wat in strijd is met het feit dat de wortels algebraïsche gehele getallen zijn (via de stelling van Kronecker).

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1:

Als $m \ge 5$ een oneven getal is, dan zijn er slechts eindig veel priemgetallen $p$ waarvoor $p^m \in K$ .

Met andere woorden, voor elke vastgelegde oneven $m \ge 5$ zijn er slechts eindig veel Carmichael-getallen van de vorm $2^n p^m + 1$ .

Het bewijs vestigt dat hoewel de verzameling van dergelijke priemgetallen eindig is, het bewijs ineffectief is. De auteurs geven expliciet aan dat zij geen expliciete bovengrens kunnen bieden voor het grootste dergelijke priemgetal $p$ afhankelijk van $m$ . De eindigheid wordt afgeleid van het niet-bestaan van oneindig veel oplossingen van de geconstrueerde Diophantische vergelijking, in plaats van uit een expliciete enumeratie of begrenzing.

Betekenis en Claims
Het artikel draagt bij aan de classificatie van de verzameling $K$ door de bekende restricties op de vorm van de elementen in $K$ uit te breiden. Terwijl eerder werk priemgetallen, kwadraten van priemgetallen en specifieke derdemachten uitsloot, generaliseert dit werk het resultaat naar hogere oneven machten $p^m$ voor $m \ge 5$ .

De auteurs benadrukken dat het bewijs niet-effectief is, omdat het steunt op de Subspace-stelling van Schmidt via het werk van Corvaja en Zannier. Bijgevolg, hoewel het artikel de eindigheid van dergelijke Carmichael-getallen voor een vaste $m$ bevestigt, biedt het geen methode om de specifieke eindige verzameling uitzonderingen te berekenen. Het resultaat vormt een theoretische beperking op de dichtheid van Carmichael-getallen binnen deze specifieke familie van rekenkundige progressies.

1. Het Recept: De "2npm+12^n p^m + 12npm+1" Taart

2. De Grote Ontdekking: De "Eindige" Conclusie

3. Hoe Ze Het Opgelost Hadden: De "Zeef" en de "Val"

4. De Kanttekening: "Ineffectief" Bewijs

Samenvatting

Meer zoals dit

1. Het Recept: De " $2^n p^m + 1$ " Taart