🔢 mathematics

Every natural number is a sum of distinct semiprime unit fractions

Dit artikel bewijst dat elk natuurlijk getal kan worden uitgedrukt als een eindige som van verschillende eenheidbreuken met semiprime noemers door de Butler-Erdős-Graham inductie aan te passen aan de uitdagende $\omega=2$ casus, terwijl het deze resultaten ook uitbreidt naar rationale getallen en het eerste volledige bewijs voor de $\omega=3$ casus levert.

Oorspronkelijke auteurs: Shisheng Li

Gepubliceerd 2026-06-16

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Shisheng Li

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

Het Grote Plaatje: Het "Lego"-probleem

Stel je voor dat je een oneindige voorraad Lego-steentjes hebt. Maar er is een addertje onder het gras: je mag alleen steentjes gebruiken die gemaakt zijn van precies twee verschillende kleuren plastic die samengesmolten zijn. In wiskundige termen zijn dit semiprimen (getallen zoals 6, wat $2 \times 3$ is, of 15, wat $3 \times 5$ is).

Het artikel stelt een vraag over Egyptische breuken. Een Egyptische breuk is een manier om een getal te schrijven als een som van eenvoudige breuken zoals $1/2, 1/3, 1/4$ , enzovoort, waarbij alle noemers (de onderste getallen) verschillend zijn.

De Vraag: Kun je elk geheel getal (1, 2, 3, 100, etc.) bouwen door deze speciale "twee-kleuren" semiprime steentjes op te tellen?

Het Antwoord: Ja. De auteur, Shisheng Li, bewijst dat je elk geheel getal op deze manier kunt bouwen.

De Achtergrond: Een Onopgeloste Puzzel

Dit probleem is niet door Li bedacht. Het komt voort uit een beroemde conjectuur van de wiskundigen Paul Erdős en Ronald Graham. Zij vroegen: "Als we onze steentjes beperken tot getallen die gemaakt zijn van precies $\omega$ (omega) verschillende priemgetallen, kunnen we dan elk getal bouwen?"

$\omega = 3$ (Drie kleuren): In 2015 bewezen andere wiskundigen (Butler, Erdős en Graham) dat dit werkt. Als je steentjes gemaakt zijn van drie kleuren (zoals $2 \times 3 \times 5 = 30$ ), kun je elk getal bouwen.
$\omega = 2$ (Twee kleuren): Zij vermoedden dat dit ook werkt, maar konden het niet bewijzen. Ze stopten daar.

Waarom was het moeilijker?
Denk hierbij aan een bouwploeg.

Wanneer je drie kleuren hebt ( $\omega=3$ ), heb je een enorme, dikke stapel steentjes. Het is makkelijk om de juiste combinatie te vinden om een gat op te vullen.
Wanneer je afdaalt naar twee kleuren ( $\omega=2$ ), wordt de stapel steentjes veel dunner. De "toeleveringsketen" is zwak. De methoden die werkten voor de dikke stapel (drie kleuren) stortten in omdat de dunne stapel (twee kleuren) niet genoeg variatie had om de gaten gemakkelijk op te vullen.

De Oplossing: Een Nieuwe Manier om de Kloof te Overbruggen

Li's artikel is in feite een handleiding over hoe je blijft bouwen, zelfs als de aanvoer van steentjes erg dun is.

1. Het "Voedingsprobleem"
Het bewijs maakt gebruik van een methode genaamd inductie. Stel je voor dat je een muur aan het bouwen bent en je wilt bewijzen dat je er eeuwig een kunt bouwen. Je laat zien dat als je een muur van hoogte $N$ kunt bouwen, je zeker ook een muur van hoogte $N+1$ kunt bouwen.

Om dit te doen, heb je een "voeding" van steentjes nodig om de nieuwe laag te vullen.
Voor $\omega=3$ is de voeding rijk en vol.
Voor $\omega=2$ is de voeding erg dun. De oude methode probeerde de dunne voeding te dwingen zich als een dikke voeding te gedragen, en dat mislukte.

2. De "Window"-truc
Li realiseerde zich dat hij, in plaats van te proberen de dunne voeding dik te laten lijken, het probleem anders kon bekijken.

Stel je een raam voor dat langs de muur schuift.
Li bewees dat voor de $\omega=2$ gevallen dit raam altijd breder is dan de gehele voorraad steentjes.
Omdat het raam zo breed is, moet het de allereerste steen (0) of de allerlaatste steen (de maximale som) wel vangen. Het kan niet door de kieren glippen.
Dit betekent dat je niet een complexe, dikke stapel steentjes nodig hebt; je moet alleen ervoor zorgen dat het "begin" en het "einde" van je stapel steentjes alle noodzakelijke wiskundige "resten" (residuen) dekken.

3. Het Zware Werk (Computatie en Logica)
Om te bewijzen dat dit voor elk getal werkt, moest Li twee dingen doen:

De "Checklist" (Computatie): Hij gebruikte een computer om de eerste 300 stappen van de constructie handmatig te controleren. Het is alsof je de eerste paar verdiepingen van een wolkenkrabber met een vergrootglas controleert om te verzekeren dat het fundament stevig is. Hij verifieerde dat de "dunne voeding" voor deze eerste stappen perfect werkt.
Het "Wiskundige Veiligheidsnet" (Analyse): Voor de rest van de oneindige bouw (stap 300 tot oneindig) gebruikte hij standaard wiskundige ongelijkheden (Chebyshev-grenzen) om te bewijzen dat de steentjes goed genoeg verdeeld zijn, zodat het "raam" altijd een geldige combinatie zal vangen.

De Resultaten: Wat Is Er Nog Meer Gevonden?

Het artikel stopt niet bij gehele getallen. Het breidt de logica uit naar breuken (rationale getallen).

De Drempelwaarde: Ze bewezen dat je voor breuken met "vrije kwadraten" noemers (noemers zonder herhaalde priemfactoren, zoals 6 of 10, maar niet 12) deze kunt bouwen als de breuk groot genoeg is (specifiek, groter dan ongeveer 1/5).
Het "Diepe Kern"-mysterie: Er is een piepkleine kloof opengebleven. Voor zeer kleine breuken (zoals 1/1000) reikt het bewijs nog niet helemaal naar beneden. De auteur reduceert dit resterende mysterie tot één specifieke gok: "Als je meer steentjes blijft toevoegen, zullen de gaten tussen hen uiteindelijk verdwijnen." Als deze gok waar is, is het bewijs compleet voor alle getallen.
De "Drie-Kleuren"-bonus: Als bijeffect van het oplossen van het "twee-kleuren"-probleem, leverde Li ook het eerste volledige bewijs voor het "drie-kleuren"-probleem (sphenische getallen) dat de oorspronkelijke auteurs slechts hadden gesuggereerd.

Samenvattende Analogie

Stel je voor dat je een zwembad probeert te vullen met water met behulp van een tuinslang.

De Oude Methode: Probeerde een slang te gebruiken die alleen werkte als de waterdruk superhoog was (veel steentjes). Dit werkte voor grote zwembaden (3 kleuren), maar faalde bij kleine, nauwe ruimtes (2 kleuren).
Li's Methode: Realiseerde zich dat zelfs met een zwakke slang (2 kleuren), als je hem onder de juiste hoek richt en de eerste paar voet van het zwembad zorgvuldig controleert, het water vanzelf het hele zwembad zal vullen omdat de slang eigenlijk breder is dan de gaten in de bodem van het zwembad.

De Kern: Shisheng Li heeft een 10 jaar oud wiskundig puzzel opgelost door te bewijzen dat je elk geheel getal kunt bouwen met alleen breuken met "twee-priem" noemers, met behulp van een slimme combinatie van computercontrole en wiskundige logica waar eerdere methoden faalden.

Technische Samenvatting: "Elk natuurlijk getal is een som van onderscheidende semiprime eenheidbreuken"

Probleemstelling
Het artikel behandelt een specifiek geval van het Erdős–Graham-probleem betreffende Egyptische breuken met beperkte noemers. Het algemene probleem vraagt of elke rationale $a/b$ (waarbij $b$ een vierkantvrije noemer is) kan worden weergegeven als een som van onderscheidende eenheidbreuken $1/n_i$ , waarbij elke $n_i$ een product is van precies $\omega$ onderscheidende priemgetallen.

Context: Voor $\omega \ge 3$ werd de gehele casus ( $b=1$ ) bewezen door Butler, Erdős en Graham (BEG15) in 2015. Zij vermoedden dat het resultaat ook geldt voor $\omega = 2$ (semiprime noemers), maar konden dit niet bewijzen, omdat de combinatorische "voeding" die hun inductie aanstuurt, degradeert naarmate $\omega$ afneemt.
Doel: Dit artikel lost de gehele casus ( $b=1$ ) op voor $\omega = 2$ , door te bewijzen dat elk natuurlijk getal $m \ge 1$ een eindige som is van onderscheidende eenheidbreuken met semiprime noemers. Het breidt dit verder uit naar rationale getallen $a/b$ (met een vierkvrije $b$ ) boven een expliciete drempelwaarde en bewijst de volledige rationale casus voor $\omega = 3$ .

Methodologie
Het bewijs past en modificeert het inductiekader dat door BEG15 is vastgesteld. De kern van het mechanisme is het analyseren van de verzameling deelsommen van specifieke "atoom"-verzamelingen afgeleid van primoriëlen.

Reductie naar deelsommen:
Het probleem wordt gereduceerd tot het aantonen dat er voor een natuurlijk getal $m$ een $N$ bestaat zodanig dat $P_N m$ (waarbij $P_N$ het $N$ -de primorieel is) ligt in de verzameling van deelsommen $L_2(N)$ van de verzameling $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$ .
Het inductieskelet:
Het bewijs steunt op het vaststellen dat $L_2(N)$ een "centraal blok" bevat van gehele getallen $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$ , waarbij $\sigma_2(N)$ de som is van de elementen in $D_2(N)$ .

Basisgeval: Computationeel geverifieerd voor $N_0 = 10$ met behulp van een gepakte bitset om de bereikbaarheid van deelsommen over 45 atomen te controleren.
Inductiestap ( $N \to N+1$ ): De stap maakt gebruik van de splitsings recursie $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$ , waarbij $L_1(N)$ de verzameling deelsommen is van enkelvoudige priemgetal-reciproken (de "voeding").

Het overwinnen van de $\omega=2$ obstructie:
In de $\omega=3$ casus is de voeding $L_1(N)$ een rijke verzameling. In de $\omega=2$ casus degradeert de voeding tot de deelsommen van enkelvoudige priemgetallen, wat structureel "dun" is. De methode van BEG15 faalde hier omdat het "runs-connect"-argument een residu-complete binnenste verzameling vereiste die niet bestond in het gedegenereerde geval.

Nieuw inzicht: De auteur merkt op dat in de $\omega=2$ recursie, het dekkingvenster (het interval van doelwaarden dat door een enkel voedingselement wordt gedekt) altijd minstens zo lang is als het gehele bereik van de voeding. Bijgevolg moet het venster een van de eindpunten van de voeding bevatten ($0$ of $\sigma_1(N)$ ).
Strategie: In plaats van te proberen de interne structuur van de dunne voeding te herstellen, gebruikt het bewijs de voeding direct als het residu-complete object. De inductie slaagt als de voeding elke residuklasse modulo het nieuwe priemgetal $q = p_{N+1}$ "voldoende snel" bereikt (binnen een specifieke strooklengte).

Analytische en computationele verificatie:
Het bewijs reduceert de moeilijkheid tot één enkele ongelijkheid: $Y_0(N) \le \beta(N)$ , waarbij $Y_0(N)$ de aanvangsradius voor residu-compleetheid van de voeding is, en $\beta(N)$ de beschikbare strooklengte is.

Eindig bereik ( $10 \le N \le 299$ ): Geverifieerd via exacte integer-aritmetiek met behulp van een Dijkstra-achtig kortste-pad algoritme over de residu-groep $\mathbb{Z}_q$ .
Analytische staart ( $N \ge 300$ ): Bewezen met behulp van elementaire Chebyshev-bounds op priemgetal-gaten en de monotoniciteit van de som van priemgetal-reciproken.
Residu-compleetheid: Voor kleine $N$ waar de stelling van Olson niet strikt van toepassing is, wordt de residu-compleetheid computationeel geverifieerd.

Kernresultaten

Stelling 1.2 (Gehele casus): Elk natuurlijk getal $m \ge 1$ kan worden geschreven als een eindige som van onderscheidende eenheidbreuken met semiprime noemers. Het bewijs is niet-constructief en effectief, maar levert enorme grenzen op voor de grootte van de noemers (ongeveer $N \sim \exp(\exp(O(\sqrt{m})))$ ).
Rationale uitbreiding (Stelling 7.1 & 7.4): Voor elke vierkvrije noemer $b$ is elke rationale $a/b \ge \min\{B_{N_b}/6, 1/5\}$ weer te geven als een som van onderscheidende semiprime eenheidbreuken. Hierbij hangt $B_{N_b}$ af van de grootste priemfactor van $b$ .
Rationale $\omega=3$ Stelling (Stelling 8.1): Elk positief rationaal getal $a/b$ met een vierkvrije $b$ is een som van onderscheidende eenheidbreuken met sphenische noemers (producten van drie onderscheidende priemgetallen). Dit wordt bereikt via een "lift"-argument: het vermenigvuldigen van het doelgetal met een groot priemgetal $r$ om het in het weergegeven bereik van de $\omega=2$ stelling te brengen, en vervolgens delen door $r$ .
Algemene $\omega \ge 3$ (Corollary 8.6): Door middel van afname (descent) strekt het resultaat zich uit naar alle $\omega \ge 3$ .

Betekenis en Openstaande Problemen

Resolutie van een vermoeden: Het artikel levert het eerste volledige bewijs voor de $\omega=2$ gehele casus, een probleem dat door BEG15 als een vermoeden werd achtergelaten. Het toont aan dat het "dunne voeding"-regime kan worden afgehandeld door de inductie aan te passen zodat deze steunt op eindpunt-dekking in plaats van interne structuur.
Onvoorwaardelijke resultaten: Alle resultaten zijn onvoorwaardelijk en steunen op elementaire getaltheorie en eindige berekeningen die via onafhankelijke scripts zijn geverifieerd.
De resterende open kern: Het artikel identificeert de enige resterende open casus als de "diepe kern" van het $\omega=2$ $ω = 2$ probleem: rationalen $a/b$ $a / b$ onder de drempelwaarde $\min\{B_{N_b}/6, 1/5\}$ $min {B_{N_{b}} /6, 1/5}$ .
- De auteur reduceert dit tot één enkel expliciet vermoeden: De Gap-Free Floor Conjecture (GFF), die stelt dat de gap-free floor van de semiprime deelsom-verzameling naar nul convergeert naarmate $N \to \infty$ . Indien waar, zou dit het probleem voor alle rationalen oplossen.
Reikwijdte: Het artikel stelt expliciet dat het geen noemers met kwadratische factoren behandelt (die onmogelijk te representeren zijn onder deze restricties) of representaties met behulp van vaste eindige verzamelingen priemgetallen. De focus blijft strikt gericht op de universele additieve basis van semiprime reciproken.

Het werk wordt beschreven als een "motor" die het bewijs zo ver mogelijk drijft met de huidige methoden, en isoleert de specifieke structurele moeilijkheid (de gap-free floor) die een volledige oplossing voor kleine rationalen in de $\omega=2$ casus verhindert.