🔢 mathematics

Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

Dit artikel biedt een volledige karakterisering van 2-bijna-perfecte getallen met precies twee priemfactoren door het bewijzen van het niet-bestaan van zulke oneven getallen en het classificeren van alle even gevallen van de vorm $2^kp^m$ (met $m \ge 3$ ) in een specifieke familie.

Oorspronkelijke auteurs: Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

Gepubliceerd 2026-05-26

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

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 gigantische puzzel voor die bestaat uit getallen. In de wereld van de wiskunde is er een speciaal soort puzzelstuk dat een Perfect Getal wordt genoemd. Een perfect getal is een getal waarbij, als je al zijn "bouwstenen" (zijn delers) optelt, de som precies gelijk is aan tweemaal het getal zelf. Bijvoorbeeld, het getal 6 is perfect omdat zijn delers 1, 2 en 3 zijn, en $1+2+3 = 6$ (wat de helft is van 12, of $2 \times 6$ ).

Maar wat als de som van de bouwstenen bijna tweemaal het getal is, maar net een beetje afwijkt? Daar komt dit artikel om de hoek kijken.

Het concept "Bijna Perfect"

De auteurs bestuderen 2-bijna perfecte getallen. Denk hierbij aan getallen die "bijna" perfect zijn, maar die precies twee specifieke bouwstenen missen uit de uiteindelijke som.

Als je een getal $n$ neemt, al zijn delers optelt, en de som gelijk is aan $2n$ plus twee extra delers ( $d_1$ en $d_2$ ), dan is $n$ een 2-bijna perfect getal.

De Analogie: Stel je voor dat je probeert een emmer te vullen die precies $2n$ liter water kan bevatten. Je giet al het water van de delers erin, maar de emmer loopt over met precies twee specifieke koppen water ( $d_1$ en $d_2$ ). Het artikel vraagt: "Welke getallen veroorzaken dit specifieke soort overlopen?"

Het Specifieke Mysterie: Twee PriemIngrediënten

Het artikel richt zich op een zeer specifiek type getal: die welke bestaan uit precies twee verschillende priem-ingrediënten.

Het ene ingrediënt is het getal 2 (het "even" deel).
Het andere ingrediënt is een oneven priemgetal (zoals 3, 5, 7, enz.), verheven tot een bepaalde macht.

De auteurs wilden weten: Als we een getal hebben dat bestaat uit 2 en een oneven priemgetal, en het is 2-bijna perfect, hoe ziet het er dan uit?

De Grote Ontdekking

Vorige onderzoekers hadden de puzzel opgelost voor gevallen waarin het oneven priemgetal slechts één of twee keer voorkwam (zoals $2^k \times p$ of $2^k \times p^2$ ). Zij vonden een paar specifieke getallen.

Echter, er was een aanhoudende gok (een conjectuur) dat als het oneven priemgetal drie of meer keer voorkwam (zoals $2^k \times p^3$ ), er helemaal geen dergelijke getallen zouden zijn, of slechts een klein, eindig handjevol.

Dit artikel bewijst die gok onjuist.

Hier is de eenvoudige uiteenzetting van hun bevindingen:

De "Oneindige" Familie: Zij ontdekten dat er eigenlijk een hele familie van deze getallen is die oneindig doorgaat (als een bepaalde beroemde wiskundige mysterie over "Mersenne-priemgetallen" waar is).
Het Recept: Elk enkel 2-bijna perfect getal met twee priemfactoren (waarbij het oneven priemgetal 3 of meer keer voorkomt) volgt dit exacte recept:
- Het bestaat uit een macht van 2 ( $2^k$ ).
- Het wordt vermenigvuldigd met een specifiek type oneven priemgetal dat een Mersenne-priemgetal wordt genoemd (een priemgetal dat eruitziet als $2^{k+1} - 1$ ).
- Het oneven priemgetal moet gekuberd zijn (verheven tot de macht 3).
- De Formule: Het getal is $2^k \times (2^{k+1}-1)^3$ .
De Ontbrekende Stukken: Voor deze getallen om te werken, zijn de twee "extra" delers die het overlopen veroorzaken altijd het priemgetal zelf ( $p$ ) en het priemgetal in het kwadraat ( $p^2$ ).

Waarom Dit Belangrijk Is (In Wiskundige Termen)

De auteurs vonden niet slechts één of twee voorbeelden; zij bewezen dat dit de enige manier is waarop deze getallen kunnen bestaan.

Als je probeert een 2-bijna perfect getal te bouwen met twee priemfactoren waarbij het oneven priemgetal 3 of meer keer voorkomt, moet het noodzakelijkerwijs in dit specifieke patroon passen.
Als er oneindig veel Mersenne-priemgetallen zijn (een algemeen geloofde maar onbewezen feit in de wiskunde), dan zijn er oneindig veel van deze 2-bijna perfecte getallen.

Het "Oneven" Geval

Het artikel behandelt ook kort getallen die bestaan uit twee oneven priemgetallen (zonder 2). Zij bewezen een eenvoudig feit: Je kunt geen 2-bijna perfect getal maken met twee oneven priemgetallen. Het is wiskundig onmogelijk, net als het proberen om een vierkante cirkel te bouwen.

Samenvatting

Denk aan de auteurs als detectives die een zaak oplossen van "Bijna Perfecte Getallen".

De Verdachten: Getallen gemaakt van 2 en een oneven priemgetal.
De Misdaad: "2-bijna perfect" zijn (som van delers = $2n$ + 2 extra stukken).
Het Vonnis: Als het oneven priemgetal 3 of meer keer voorkomt, moet de verdachte noodzakelijkerwijs de vorm $2^k \times p^3$ hebben, waarbij $p$ een speciaal Mersenne-priemgetal is. De "ontbrekende stukken" zijn altijd $p$ en $p^2$ .

Ze hebben ook de "tekortkoming" versie van het probleem gecontroleerd (waarbij de som minder is dan $2n$ door twee stukken) en vonden een andere, eenvoudigere set regels voor die gevallen.

Kortom, ze sloten het boek over dit specifieke type getal, waarbij ze aantoonden dat hoewel de lijst oneindig kan zijn, het patroon stijf en voorspelbaar is.

Technische Samenvatting: Volledige Karakterisering van 2-Bijna Perfecte Getallen met Precies 2 Priemfactoren

Probleemstelling
Het artikel behandelt de classificatie van 2-bijna perfecte getallen, gedefinieerd als positieve gehele getallen $n$ die voldoen aan $\sigma(n) = 2n + d_1 + d_2$ , waarbij $d_1$ en $d_2$ verschillende positieve delers van $n$ zijn. Waar de gevallen voor $k=1$ (1-bijna perfect) en $k \ge 4$ ( $k$ -bijna perfect) goed begrepen zijn, blijven de gevallen voor $k=2$ en $k=3$ meer open. Specifiek richten de auteurs zich op getallen van de vorm $n = 2^k p^m$ , waarbij $p$ een oneven priemgetal is en $m \ge 3$ . Dit werk voltooit de classificatie voor alle 2-bijna perfecte getallen met precies twee verschillende priemfactoren, voortbouwend op eerdere resultaten die de gevallen $m \in \{1, 2\}$ behandelden.

Methodologie
De auteurs hanteren een rigoureuze getaltheoretische aanpak die algebraïsche manipulatie van de delersomfunctie $\sigma(n)$ , pariteitsargumenten en $p$ -adische waarderinganalyse combineert. De bewijsstrategie is verdeeld in twee primaire regimes op basis van de relatie tussen $2^{k+1}$ en $p$ :

Fundamentele Lemmata: De auteurs stellen vast dat er geen oneven 2-bijna perfecte getallen bestaan met precies twee priemfactoren, waardoor het probleem wordt beperkt tot even getallen $n = 2^k p^m$ . Zij leiden belangrijke identiteiten af, zoals $(2^{k+1} - p)(1 + p + \dots + p^{m-1}) = 1 + d_1 + d_2$ , en analyseren de pariteit van weggelaten delers op basis van de exponent $m$ .
Geval I ( $2^{k+1} \ge p^2 + 1$ ): De auteurs veronderstellen dat deze ongelijkheid geldt en leiden een contradictie af. Zij stellen ondergrenzen vast voor de weggelaten delers, waarbij zij aantonen dat de grotere weggelaten deler $n/2^j$ moet zijn (waarbij $2^j < p < 2^{j+1}$ ). Via een reeks proposities beperken zij de exponent $m$ , bewijzen dat deze oneven moet zijn en dwingen uiteindelijk $m=3$ af. Door 2-adische waarderingen en delbaarheidsbeperkingen te analyseren (specifiek $p^3 \mid 2^{k+1}-1$ ), tonen zij aan dat er in dit regime geen oplossingen bestaan, zelfs niet voor de specifieke kandidaat $n = 2^5 \cdot 3^3$ .
Geval II ( $2^{k+1} < p^2 + 1$ ): In dit regime elimineren de auteurs onmogelijke vormen voor de weggelaten delers. Zij bewijzen dat noch een van de weggelaten delers een macht van 2 kan zijn en dat $p^2$ niet beide delers kan delen. Door de exponenten van $p$ in de weggelaten delers te analyseren, concluderen zij dat de delers de vorm $2^a p$ en $2^c p^d$ moeten hebben. Verdere algebraïsche manipulatie dwingt $d = m-1$ en uiteindelijk $m=3$ . Tot slot bewijzen zij dat $p$ een Mersenne-priemgetal moet zijn van de vorm $2^{k+1}-1$ .

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een volledige classificatie van 2-bijna perfecte getallen van de vorm $n = 2^k p^m$ met $m \ge 3$ . Het hoofdresultaat is Stelling 3, die stelt:

Als $n = 2^k p^m$ $n = 2^{k} p^{m}$ 2-bijna perfect is met $p$ $p$ een oneven priemgetal en $m \ge 3$ $m \geq 3$ , dan:
- $m = 3$ ,
- $p = 2^{k+1} - 1$ (een Mersenne-priemgetal),
- De weggelaten delers zijn $p$ en $p^2$ .

Dit resultaat impliceert dat het bestaan van oneindig veel dergelijke getallen equivalent is aan het bestaan van oneindig veel Mersenne-priemgetallen. Bijgevolg weerlegt het artikel Vermoeden 1 (voorgesteld door Aryan et al.), dat veronderstelde dat er slechts eindig veel 2-bijna perfecte getallen van de vorm $2^k p^m$ bestaan voor $m \ge 3$ .

Gecombineerd met eerdere werken die $m=1$ en $m=2$ behandelden, levert dit een volledige karakterisering op van alle 2-bijna perfecte getallen met precies twee verschillende priemfactoren.

Betekenis
De auteurs stellen dat dit werk het classificatieprobleem voor 2-bijna perfecte getallen met twee priemfactoren oplost, een gat dat door eerdere onderzoeken was achtergelaten. Door het vermoeden van eindigheid te weerleggen (onder de voorwaarde van het algemeen aangenomen oneindige bestaan van Mersenne-priemgetallen), verduidelijkt het artikel de dichtheid en structuur van deze getallen. De auteurs merken ook op dat hun resultaten formeel zijn geverifieerd met de Lean 4 bewijshulp en de Mathlib-bibliotheek, waardoor de correctheid van de complexe algebraïsche afleidingen wordt gewaarborgd.

Toekomstige Richtingen
Het artikel sluit af met een schets van open problemen, waaronder de classificatie van 2-bijna perfecte getallen met drie verschillende priemfactoren, de studie van 3-bijna perfecte getallen en het onderzoek naar "hybride" vormen waarbij delers zowel worden opgeteld als afgetrokken ( $\sigma(n) = 2n + d_1 - d_2$ ).