The fourth known primitive solution to $a^5 + b^5 + c^5 + d^5 = e^5$

Dit artikel presenteert de vierde bekende primitieve oplossing voor de Diophantische vergelijking $a^5 + b^5 + c^5 + d^5 = e^5$, inclusief de gebruikte zoekmethode en resultaten.

De kern

Het Grote Vijfde-Poten Raadsel: Een Nieuw Stukje in de Puzzel

Stel je voor dat wiskunde een gigantische, eeuwenoude puzzel is. In 1769 bedacht de beroemde wiskundige Leonhard Euler een regel voor deze puzzel. Hij dacht: "Als je vijfde machten van getallen optelt (zoals $1^5 + 2^5 + ...$), heb je altijd minstens vijf getallen nodig aan de linkerkant om één groot getal aan de rechterkant te krijgen."

Het was een mooie theorie, maar in 1966 vonden twee onderzoekers een gat in de theorie. Ze bewezen dat je het ook kon met vier getallen. Ze vonden een oplossing voor de vergelijking:
$$a^5 + b^5 + c^5 + d^5 = e^5$$

Sindsdien is dit een van de zeldzaamste vondsten in de wiskunde. Het is alsof je in een oceaan van getallen op zoek bent naar één specifieke, glinsterende parel. Tot nu toe waren er maar drie van deze parels gevonden.

De Nieuwe Vondst
Jeffrey Braun, de auteur van dit paper, heeft nu de vierde parel gevonden! Hij heeft een nieuwe combinatie van vier getallen ontdekt die, als je ze tot de vijfde macht verheft en optelt, precies uitkomen op een vijfde getal.

De oplossing ziet er zo uit:
$$71911^5 + 133162^5 + (-134063)^5 + 195621^5 = 195687^5$$

Let op het minteken: één van de getallen is negatief. Dit maakt de puzzel nog lastiger, alsof je in de zoektocht ook een spookgetal moet vinden dat je van de som aftrekt.

Hoe heeft hij dit gevonden? (De Zoektocht)
Je kunt dit niet zomaar "uit je hoofd" bedenken. De getallen zijn zo enorm dat je een supercomputer nodig hebt. Braun heeft een slimme strategie gebruikt, die hij een "meet-in-the-middle" (midden-in-de-middens) aanpak noemt.

Stel je voor dat je twee teams hebt die een lange tunnel graven:

1. Team A begint bij de ingang en graft naar voren, waarbij ze alle mogelijke sommen van twee getallen opschrijft.
2. Team B begint bij de uitgang en graaft terug.
3. In het midden proberen ze te kijken of hun gevonden stukjes precies in elkaar passen om de volledige tunnel (de oplossing) te vormen.

Om dit proces niet duizenden jaren te laten duren, heeft Braun de zoektocht versneld door slimme filters te gebruiken (zoals het controleren van getallen op hun rest bij deling door 11 en 25). Hij heeft ook gebruikgemaakt van een heel groot netwerk van computers in de "cloud" (virtuele supercomputers) die allemaal tegelijkertijd werkten.

De Inspanning
Het kostte enorm veel tijd en rekenkracht.

• Tijd: 9 maanden lang.
• Kracht: Het equivalent van ongeveer 10,5 miljoen uur op een gewone computer.
• Resultaat: Ze vonden niet alleen de nieuwe oplossing, maar bewezen ook dat ze alle eerdere bekende oplossingen opnieuw hadden gevonden. Dit gaf hen vertrouwen dat ze niets hadden gemist.

Waarom is dit belangrijk?
Hoewel dit misschien klinkt als een abstract spelletje met getallen, helpt het ons om de diepere regels van de wiskunde te begrijpen. Het bewijst dat er nog meer verborgen patronen zijn in de getallenwereld die we nog niet hebben ontdekt. Het is een bewijs van menselijke doorzettingskracht en de kracht van moderne technologie om oude mysteries op te lossen.

Kortom: Braun heeft een nieuwe, zeldzame schat gevonden in de zee van getallen, en hij heeft laten zien hoe je dat doet met een slimme strategie en een heel team aan computers.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "The Fourth Known Primitive Solution to a⁵ + b⁵ + c⁵ + d⁵ = e⁵" van Jeffrey Braun, vertaald en samengevat in het Nederlands.

Titel: De Vierde Bekende Primitieve Oplossing voor $a^5 + b^5 + c^5 + d^5 = e^5$

Auteur: Jeffrey Braun
Datum: 24 februari 2026 (gepubliceerd op arXiv in maart 2026)

---

1. Het Probleem en de Context

Het paper behandelt de Diophantische vergelijking:
$$a^5 + b^5 + c^5 + d^5 = e^5$$

Dit is een speciaal geval van de som-van-machten-vermoeden van Euler. Euler veronderstelde dat voor gehele getallen $n > 3$, elke niet-triviale oplossing van de vorm $a_1^n + \dots + a_{k-1}^n = a_k^n$ minstens $n$ termen aan de linkerkant vereist (d.w.z. $k-1 \geq n$).

• Historisch kader: Dit vermoeden werd in 1966 weerlegd door Lander en Parkin, die een oplossing vonden voor $n=5$ met slechts vier termen aan de linkerkant.
• Zeldzaamheid: Ondanks dit tegenvoorbeeld zijn oplossingen voor deze vergelijking uiterst zeldzaam. Voorafgaand aan dit werk waren er slechts drie bekende primitieve oplossingen (waarbij de getallen onderling ondeelbaar zijn): twee in het domein van niet-negatieve gehele getallen ($\mathbb{Z}_{\geq 0}$) en één in het domein van alle gehele getallen ($\mathbb{Z}$) met een negatieve term.

2. Methodologie: Zoekstrategie en Implementatie

De auteur hanteerde een geavanceerde computationele aanpak om de nieuwe oplossing te vinden:

• Strategie (Meet-in-the-middle):
  • De sommen van twee vijfde machten werden gegenereerd, opgeslagen in een array en gesorteerd.
  • Het gesorteerde array werd vervolgens van beide uiteinden gescand om complementaire paren te vinden die samen een doelwaarde $e^5$ vormen.
• Optimalisatie en Filtering:
  • De zoekruimte werd drastisch verkleind door kandidaat-sommen te filteren modulo 11 en 25.
  • Partitionering op basis van de Chinese Reststelling maakte een efficiënte parallelisatie over meerdere machines mogelijk.
• Technische Implementatie:
  • Taal: C++ met gebruik van 128-bits gehele getallen-aritmetiek (om overflow te voorkomen bij grote getallen).
  • Parallelisatie: Multi-threading via OpenMP en distributie over een cloud-computingplatform.
  • Sorteeralgoritme: Gebruik van IPS4o, een in-place parallelle sorteeralgoritme, voor het sorteren van de sommen van vijfde machten.
  • Tuning: De code werd uitgebreid geprofieleerd en geoptimaliseerd voor rekenkundige efficiëntie.

3. Zoekbereik en Resultaten

De zoektocht combineerde een exhaustieve dekking (volledige doorzoeking) met een partiële dekking (stochastische of beperkte doorzoeking) binnen specifieke bereiken, zoals weergegeven in Tabel 2 van het paper:

• Domein $\mathbb{Z}_{\geq 0}$ (Niet-negatief):
  • Exhaustief: $e \leq 2,76 \cdot 10^6$
  • Partiële dekking: $2,76 \cdot 10^6 < e \leq 4,00 \cdot 10^6$
• Domein $\mathbb{Z}$ (Gehele getallen, inclusief negatief):
  • Exhaustief: $e \leq 1,45 \cdot 10^6$
  • Partiële dekking: $1,45 \cdot 10^6 < e \leq 2,00 \cdot 10^6$

De Nieuwe Oplossing:
De zoektocht resulteerde in de vierde bekende primitieve oplossing (in $\mathbb{Z}$):
$$719115^5 + 1331622^5 + (-1340632)^5 + 1956213^5 = 1956878^5$$

Rekenkracht:

• Totale rekentijd: Ongeveer 10.500.000 vCPU-uren.
• Duur van de zoektocht: Negen maanden.
• De methode slaagde erin om alle drie de eerdere bekende oplossingen te reproduceren, wat de validiteit van de algoritmen bevestigde voordat de nieuwe oplossing werd gevonden.

4. Bijdrage en Betekenis

• Wiskundige Vooruitgang: Dit paper breidt de lijst van bekende primitieve oplossingen voor de vergelijking van vijfde machten uit van drie naar vier. Dit draagt bij aan het begrip van de dichtheid en aard van oplossingen voor Diophantische vergelijkingen van hogere orde.
• Computational Number Theory: Het paper demonstreert de kracht van moderne, geschaalde cloud-computing en geoptimaliseerde parallelle algoritmen (zoals IPS4o en meet-in-the-middle) bij het oplossen van problemen die voorheen als onbereikbaar werden beschouwd vanwege de enorme zoekruimte.
• Validatie: Het feit dat de zoektocht alle eerdere bekende oplossingen terugvond, dient als een sterke validatie van de correctheid van de gebruikte methodologie.

Conclusie

Jeffrey Braun heeft met behulp van een geavanceerde, cloud-gebaseerde zoektocht een nieuwe primitieve oplossing gevonden voor $a^5 + b^5 + c^5 + d^5 = e^5$. Dit resultaat bevestigt dat dergelijke oplossingen, hoewel uiterst zeldzaam, nog steeds ontdekt kunnen worden met voldoende rekenkracht en slimme algoritmische optimalisaties. De gevonden oplossing bevat een negatief getal, wat aansluit bij de eerdere bevinding dat oplossingen in $\mathbb{Z}$ (met negatieve termen) mogelijk vaker voorkomen dan in $\mathbb{Z}_{\geq 0}$.