🔢 mathematics

Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

Dit artikel presenteert een gecertificeerd bewijs dat de afsluiting van de vijf minimale priem-takken ( $q=5,7,11,13,17$ ) voor oneven perfecte getallen vaststelt door exacte $q$ -adische waarderingsbeperkingen te combineren met vermijding van lagere priemgetallen, geverifieerd via een specifieke bevroren certificaatpublicatie, terwijl expliciet wordt opgemerkt dat het bestaan van oneven perfecte getallen onbewezen blijft en andere priemgetal-takken onbehandeld blijven.

Oorspronkelijke auteurs: Marco Mantovanelli

Gepubliceerd 2026-07-07

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Marco Mantovanelli

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

De Grote Priemgetaljacht: De Deuren Sluiten voor "Oneven Volmaakte Getallen"

Stel je voor dat je een detective bent die probeert een zeer specifiek, mythisch wezen te vinden genaamd een Oneven Volmaakt Getal.

In de wereld van de wiskunde is een "volmaakt getal" als een perfect evenwichtige weegschaal. Als je een getal neemt, alle kleinere getallen vindt die er gelijkmatig in delen (de delers), en ze allemaal bij elkaar optelt, dan moet het totaal precies gelijk zijn aan twee keer het oorspronkelijke getal.

Voorbeeld: Het getal 6 is volmaakt. De delers zijn 1, 2 en 3. $1 + 2 + 3 = 6$ . En $6 \times 2 = 12$ ? Nee, wacht—de regel is dat de som van de delers gelijk is aan 2 keer het getal. Dus voor 6: $1+2+3+6 = 12$ . Ja!
Het Mysterie: We weten dat evene volmaakte getallen bestaan (zoals 6, 28, 496). Maar eeuwenlang heeft niemand ooit een Oneven Volmaakt Getal gevonden. Niemand heeft zelfs bewezen dat ze niet bestaan. Ze zijn de "eenhoorns" van de getaltheorie.

Dit artikel, door Marco Mantovanelli, bewijst niet dat eenhoorns niet bestaan. In plaats daarvan doet het iets heel specifieks: het sluit de deuren van vijf specifieke kamers waar een eenhoorn zich zou kunnen verstoppen.

Het "Kleinste Priemgetal" Detectivewerk

Elk getal is gebouwd uit "priemgetal-stenen" (zoals 2, 3, 5, 7, 11, enz.).

Als een getal oneven is, kan het de steen "2" niet gebruiken.
Het artikel richt zich op de kleinste steen die wordt gebruikt om het getal te bouwen. Laten we dit de "Sleutelsteen" noemen.

De auteur vraat: "Wat als de Sleutelsteen 5 is? Wat als het 7 is? Wat als het 11, 13 of 17 is?"

De Analogie van het Hotel:
Stel je een groot hotel voor waar elke kamer een mogelijk Oneven Volmaakt Getal vertegenwoordigt.

De Sleutelsteen bepaalt op welke verdieping je bent.
Als de Sleutelsteen 3 is, ben je op de 3e verdieping.
Als de Sleutelsteen 5 is, ben je op de 5e verdieping.
Als de Sleutelsteen 7 is, ben je op de 7e verdieping.

Het artikel zegt niet dat het hotel leeg is. Het geeft toe dat we de 3e verdieping (Sleutelsteen = 3) niet hebben gecontroleerd of de verdiepingen boven de 17.

Echter, het artikel beweert de 5e, 7e, 11e, 13e en 17e verdieping volledig doorzocht en de deuren ervan te hebben vergrendeld. Het bewijst dat als je probeert een volmaakt getal te bouwen met 5 als je kleinste steen, de wiskunde simpelweg uit elkaar valt. Hetzelfde geldt voor 7, 11, 13 en 17.

Hoe Hebben Ze Het Gedaan? (De "Weegschaal" en de "Verboden Lijst")

De auteur gebruikt twee hoofdinstrumenten om te bewijzen dat deze verdiepingen leeg zijn:

1. De Weegschaal (De Waardering-balans)
Denk aan de vergelijking $\sigma(N) = 2N$ als een weegschaal.

Aan de ene kant heb je de som van alle delers.
Aan de andere kant heb je twee keer het getal.
Om de weegschaal in evenwicht te houden, moet het "gewicht" bijgedragen door de kleinste priem (de Sleutelsteen) perfect worden gematcht door de andere priemgetallen.
De auteur berekent exact hoeveel "gewicht" de Sleutelsteen nodig heeft. Vervolgens kijkt hij naar de andere stenen om te zien of zij dat gewicht kunnen leveren.

2. De Verboden Lijst (Vermijden van Lagere Priemgetallen)
Dit is het slimme gedeelte.

Als de Sleutelsteen 5 is, dan kan het getal niet gebouwd worden met de steen 3. (Omdat 3 kleiner is dan 5, en 5 de bedoelde kleinste moet zijn).
Dus, wanneer de auteur controleert of de andere stenen de weegschaal in evenwicht kunnen houden, heeft hij een strikte regel: "Geen 3'en toegestaan!"
Hij probeert een getal te bouwen met alleen stenen 5 en hoger. Hij probeert elke mogelijke combinatie.
Het Resultaat: Elke keer dat hij probeert de weegschaal in evenwicht te brengen zonder een 3 te gebruiken, breekt de wiskunde. Of de weegschaal slaat te ver door, of hij wordt gedwongen een verboden steen te gebruiken, of hij raakt door stenen heen.

Het "Certificaat"-Systeem: Een Digitale Audit

Het artikel is niet alleen een verhaal; het is een massale, door de computer gecontroleerde audit.

Stel je een gigantisch spreadsheet voor (een "Certificaat") die elke mogelijke manier opsomt om een getal op de 5e verdieping te bouwen.
De auteur schreef een computerprogramma om elke regel van dat spreadsheet te controleren.
Voor elke regel zegt het programma: "Dit faalt omdat het een 3 nodig heeft," of "Dit faalt omdat de getallen te groot worden," of "Dit faalt omdat de wiskundige vergelijking geen oplossing heeft."
Het artikel levert de digitale "bonnen" (bestanden en code) zodat iedereen het programma kan draaien en dezelfde resultaten kan zien. Het is als een bankaudit waarbij elke transactie door een machine wordt geverifieerd.

Wat Betreft de Andere Verdiepingen?

De auteur is zeer voorzichtig om niet te veel te claimen.

De 3e Verdieping (Sleutelsteen = 3): Dit is een speciaal geval. Omdat 3 het kleinste oneven priemgetal is, is er geen "Verboden Lijst" onder de 3. De regels zijn anders, dus dit artikel raakt het niet aan.
Verdieping 19 en hoger: Er zijn te veel combinaties om met deze specifieke methode te controleren op dit moment. De auteur zegt: "We hebben de eerste vijf moeilijke verdiepingen gesloten. De rest is overgelaten aan toekomstige detectives."

De Kern van het Verhaal

Dit artikel is een gecertificeerd bewijs dat Oneven Volmaakte Getallen niet kunnen bestaan als hun kleinste priemfactor 5, 7, 11, 13 of 17 is.

Het bewijst niet dat Oneven Volmaakte Getallen helemaal niet bestaan. Het bewijst alleen dat als ze bestaan, ze gebouwd moeten zijn met een kleinste priemgetal van 3 (wat een ander, onopgelost puzzelstuk is) of een zeer groot priemgetal (19 of hoger).

Zie het als de auteur die vijf specifieke, volle zolders in een spookhuis heeft leeggeruimd, waarbij hij met een zaklamp en een checklist heeft bewezen dat er in die specifieke kamers geen spoken schuilen. Het huis kan nog steeds spookachtig zijn, maar die vijf kamers zijn zeker leeg.

Technische Samenvatting: Gecertificeerde Minimal-Prime Branch Closures voor Oneven Volmaakte Getallen

Probleemstelling
Het artikel behandelt het klassieke openstaande probleem van het bestaan van oneven volmaakte getallen (OVG's), gedefinieerd als positieve oneven gehele getallen $N$ die voldoen aan $\sigma(N) = 2N$ , waarbij $\sigma$ de som-van-deeltjesfunctie is. Hoewel uitgebreide literatuur globale ondergrenzen voor $N$ en het aantal priemfactoren heeft vastgesteld, blijft een volledig bewijs van niet-bestaan ongrijpbaar. Dit werk richt zich specifiek op het "minimal-prime branch"-probleem: het bepalen of een OVG kan bestaan waarbij de kleinste priemfactor $q = \min\{p : p \mid N\}$ specifieke kleine waarden aanneemt.

Het artikel isoleert en probeert de takken (branches) te sluiten voor $q \in \{5, 7, 11, 13, 17\}$ . Het verduidelijkt expliciet dat dit minimal-prime beweringen zijn; het sluiten van de $q=5$ tak bewijst bijvoorbeeld dat er geen OVG bestaat met 5 als de kleinste priemfactor (wat impliceert dat $3 \nmid N$ ), maar sluit geen OVG's uit die deelbaar zijn door 5 als 3 ook een factor is (wat onder de $q=3$ tak zou vallen). De gevallen $q=3$ en $q \ge 19$ worden expliciet uitgesloten van de reikwijdte van dit werk.

Methodologie
De aanpak maakt gebruik van een "branch-and-bound" certificeringsstrategie, gedreven door lokale $q$ -adische valentie en restricties op het vermijden van lagere priemgetallen. De methodologie verloopt via de volgende logische lagen:

Valentiebalans: Gebaseerd op de Euler-vorm $N = \pi^\alpha M^2$ (waarbij $\pi$ de Euler-priem is), stelt het artikel een $q$ -adische valentiebalansvergelijking vast. Voor een minimale priem $q$ moet de valentie $v_q(\sigma(N)) = v_q(2N) = v_q(N)$ volledig worden geleverd door de delersommen van andere priemmachten in $N$ , aangezien $\sigma(q^{e_q}) \equiv 1 \pmod q$ .
Vermijden van Lagere Priemen (Lower-Prime Avoidance): Omdat $q$ de minimale priem is, kan geen priem $\ell < q$ een deler van $N$ zijn. Bijgevolg moet voor elke priemmacht $p^e$ in de factorisatie van $N$ de conditie $v_\ell(\sigma(p^e)) = 0$ gelden. Dit creëert een strikte "avoidance"-filter die veel potentiële configuraties elimineert.
Input Witnesses en Coverage Splits: Het bewijs identificeert "input witnesses"—priemen $p \neq q$ in de ondersteuning van $N$ die bijdragen aan de $q$ -adische valentiebalans. Het artikel classificeert deze witnesses op basis van hun orde modulo $q$ (aangeduid als $d = \text{ord}_q(p)$ ). Dit leidt tot een eindige "coverage split" van de tak in subgevallen (bijv. niet-Euler witnesses van specifieke orden, of de Euler-priem die als witness fungeert).
Gereduceerde Cofactoren en Gedwongen Priemen: Voor elk subgeval analyseert het artikel de "gereduceerde cofactor" (de cyclotomische factor $\Phi_d(p)$ $Φ_{d} (p)$ gedeeld door de noodzakelijke macht van $q$ $q$ ).
- Als de cofactor een priemdivisor $\ell < q$ heeft, wordt de tak weerlegd door de lower-prime avoidance.
- Als de cofactor een priemdivisor $r > q$ heeft, wordt deze priem "gedwongen" (forced) in de ondersteuning van $N$ . Dit dwingt een nieuwe beperking op de structuur van $N$ af.
- Als de cofactor een "zuiver" geval is (bijv. een macht van 2), wordt deze afgehandeld via specifieke Diophantische filters of tail certificates.
Tail Control en Certificaten: Voor takken die niet direct worden weerlegd of gedwongen in een tegenstrijdigheid, gebruikt het artikel "tail envelopes". Deze gebruiken de ongelijkheid $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$ , waarbij $H$ het product van de priemfactoren $(p/(p-1))$ is, $B$ een ondergrens is voor de resterende priemgetallen, en $M$ een bovengrens is op het aantal resterende priemgetallen. Als dit product minder dan 2 is, kan de tak geen OVG bevatten.

Het bewijs is hybride: het logische kader (lemma's, coverage splits en stellingen) is handgeschreven, terwijl de uitputtende verificatie van de eindige takken wordt uitgevoerd door machine-leesbare certificaten (JSONL-bestanden en Python-verificateurs).

Belangrijkste Bijdragen

Formele Certificering van Vijf Takken: Het artikel biedt een volledige, machine-verifieerbare afsluiting van de minimal-prime takken voor $q = 5, 7, 11, 13, 17$ .
Uniform Mechanisme: Het vestigt een uniform "forced-or-pure" mechanisme voor het afhandelen van deze takken, waarbij complexe rekenkundige problemen worden teruggebracht tot eindige coverage splits en tail-control ongelijkheden.
Reproduceerbare Certificaat-release: De auteur brengt een bevroren set certificaten ( $C_{small}$ ) uit die de specifieke gegevens (factorisaties, orde-records, tail-counts) bevatten die nodig zijn om de afsluitingen te verifiëren. Dit omvat een "verifier contract" dat de handgeschreven wiskundige logica scheidt van de machine-gecontroleerde rekenkundige gegevens.
Gedetailleerd Audit-model: De $q=5$ tak wordt gepresenteerd als een gedetailleerd audit-model, dat de volledige afleiding laat zien van de initiële split tot de uiteindelijke tail-control certificaten, dienend als sjabloon voor de andere takken.

Resultaten
De hoofdstelling (Stelling 1.1 en Stelling 14.1) stelt dat, relatief aan de certificaat-release $C_{small}$ , er geen oneven volmaakt getal $N$ bestaat zodanig dat $\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$ .

Specifiek:

$q=5$ : De tak wordt gesplitst in drie kinderen ( $Q5E2, Q5E1, Q5N$ ) op basis van de residu van de Euler-priem en de aanwezigheid van niet-Euler witnesses. Alle sub-takken worden gesloten via eindige window-checks, parametrische tail-certificaten en pure-family uitsluitingen.
$q=7, 11, 13, 17$ : Deze takken worden gesloten door te verifiëren dat hun respectieve "strict frontier" bladeren (de terminale knopen van de coverage splits) ofwel worden weerlegd door lower-prime avoidance, ofwel worden gedwongen in een tail-controlled staat, ofwel worden geëlimineerd door pure Diophantische schermen (bijv. het oplossen van vergelijkingen zoals $\Phi_5(x) = 11^c$ ).

Betekenis en Reikwijdte
Het artikel claimt betekenis als een "certificaat-stelling" in plaats van een nieuwe globale ondergrens voor $N$ . Het bewijst niet dat oneven volmaakte getallen niet bestaan; het bewijst alleen dat ze niet kunnen bestaan met 5, 7, 11, 13 of 17 als hun kleinste priemfactor.

De auteur benadrukt de modulariteit van het resultaat:

Het isoleert het minimal-prime probleem van het volledige OVG-probleem.
Het biedt een reproduceerbaar, machine-auditeerbaar kader voor het verifiëren van specifieke rekenkundige obstructies.
Het laat de $q=3$ tak (die een gebrek aan lower-prime avoidance beperkingen heeft) en de $q \ge 19$ tak (die aparte behandeling van input-ordes vereist) als openstaande problemen voor toekomstig werk.

Het werk vertrouwt op bestaande globale filters (bijv. de ondergrenzen van Nielsen op het aantal priemfactoren) enkel als consistentiecontroles, terwijl de feitelijke afsluitingen worden gedreven door de met valentie gelabelde cyclotomische input en de eindige certificaten die in de release worden meegeleverd.