A systematic approach to Diophantine equations: open problems

Dit paper verzamelt polynoomvergelijkingen van Diophantus die verrassend eenvoudig te formuleren zijn maar blijkbaar uiterst moeilijk op te lossen.

De kern

De "Kleine, Moeilijke Wiskundige Raadsels": Een Samenvatting van Bogdan Grechuk's Document

Stel je voor dat wiskunde een enorme bibliotheek is, gevuld met boeken die vol staan met raadsels. Deze raadsels heten Diophantische vergelijkingen. In het kort: het zijn wiskundige puzzels waarbij je moet zoeken naar getallen (zoals 1, 2, -5, 100) die een bepaalde formule laten kloppen.

De meeste van deze puzzels zijn makkelijk op te lossen. Maar er is een speciale groep: vergelijkingen die er heel simpel uitzien (ze zijn kort en bevatten maar een paar getallen), maar waar niemand tot nu toe een antwoord op heeft gevonden.

Bogdan Grechuk heeft een document geschreven (een soort "live lijst") die precies deze raadsels verzamelt. Hij doet dit alsof hij een jager is die de kleinste, maar gevaarlijkste beesten in de jungle probeert te vangen.

Hier is hoe het werkt, vertaald naar alledaags taal:

1. De Maatstaf: Hoe "Groot" is een Raadsel?

In de wiskunde wordt vaak gedacht dat een vergelijking met hoge machten (zoals $x^{100}$) erg moeilijk is. Maar Grechuk gebruikt een slimme manier om te meten hoe "moeilijk" een vergelijking is, gebaseerd op hoe kort en simpel hij is om op te schrijven.

Hij noemt dit de grootte (H) van de vergelijking.

• De analogie: Stel je voor dat elke vergelijking een koffer is. De "grootte" wordt bepaald door hoeveel ruimte de koffer inneemt als je hem inpakt.
  • Hoe meer getallen er in de formule staan?
  • Hoe groter die getallen zijn?
  • Hoe hoger de machten zijn (zoals $x^2$ of $x^3$)?
    Dan wordt de koffer zwaarder en groter.

Grechuk sorteert alle mogelijke vergelijkingen op grootte, van de kleinste (de lichtste koffers) naar de grootste. Hij begint bij de kleinste en lost ze één voor één op. De lijst in dit document toont de kleinste koffers die nog steeds open staan. Niemand weet het antwoord op deze specifieke puzzels.

2. Wat zijn de vragen? (De 7 Uitdagingen)

Wiskundigen stellen niet altijd dezelfde vraag. Soms willen ze het antwoord, soms willen ze weten of er überhaupt een antwoord is. Grechuk heeft zeven soorten "jacht" gedefinieerd:

• Probleem 1: De "Alles-in-één" formule.
  Kunnen we een magische formule vinden die alle mogelijke oplossingen genereert? (Bijvoorbeeld: "Als je $n$ invult in deze formule, krijg je een oplossing"). Voor de kleinste open vergelijkingen weten we dit nog niet.
• Probleem 2: De "Grote Getallen" test.
  Zijn er oplossingen met enorm grote getallen? Of zijn de oplossingen klein en eindig?
• Probleem 3: De "Niet-Nul" test.
  Voor symmetrische vergelijkingen: bestaat er een oplossing waarbij geen enkel getal nul is?
• Probleem 4: Oneindig of Eindig?
  Zijn er oneindig veel oplossingen, of slechts een paar?
• Probleem 5: Bestaat er wel een oplossing?
  Heeft deze vergelijking überhaupt wel een oplossing? (Soms is het antwoord "nee", maar dat bewijzen is lastig).
• Probleem 6: De "Bestaan" test.
  Zie Probleem 5, maar dan specifiek voor het vinden van één oplossing.
• Probleem 7: De "Positieve" test.
  Bestaan er oplossingen met alleen positieve getallen (1, 2, 3...)?

3. De "Top 10" van de Moeilijkste Puzzels

Het document bevat lijsten met de winnaars van de "moeilijkste kleine vergelijkingen". Hier zijn een paar voorbeelden van wat er op de lijst staat:

• De kleinste onopgeloste vergelijkingen (Grootte 13):
  Vergelijkingen zoals $x^2 + y^2 + zt + 1 = 0$. Ze zien eruit als een simpele som, maar niemand weet of er een patroon is om alle oplossingen te vinden.
• De "Gekke" Vergelijkingen (Grootte 17):
  Denk aan $y^2 + z^2 = x^3 + 1$. Dit lijkt op een simpele driehoek, maar het gedrag van de getallen is zo raar dat wiskundigen er nog niet uitkomen.
• De Symmetrische Puzzels:
  Vergelijkingen waarbij je de letters kunt verwisselen zonder dat het verandert, zoals $x^3 + y^3 + z^3 = 1$. Dit is beroemd omdat het lijkt op het vinden van drie kubussen die samen 1 vormen.

4. Waarom is dit belangrijk?

Je zou kunnen denken: "Wie zit er nou te wachten op een vergelijking met $x^4$ en $y^3$?"

Het antwoord is: De basis van de wiskunde.
Het oplossen van deze kleine vergelijkingen is als het testen van de grenzen van onze hersenen en onze computers.

• Als we deze kleine vergelijkingen kunnen oplossen, leren we nieuwe manieren om te denken.
• Als we erachter komen dat sommige vergelijkingen nooit opgelost kunnen worden, dan leren we iets over de grenzen van wat wiskunde überhaupt kan.

Het is alsof je een berg beklimt. De top is ver weg, maar deze kleine vergelijkingen zijn de eerste steenrotsen die je moet overwinnen. Als je vastloopt op een rotsje dat er zo klein uitziet, betekent dat dat er een diep mysterie schuilgaat.

5. Een Levend Document

Het mooie aan dit document is dat het live is.

• De auteur, Bogdan Grechuk, houdt de lijst bij.
• Als iemand (of zelfs een computerprogramma zoals ChatGPT, zoals vermeld in de update) een oplossing vindt, wordt die vergelijking uit de lijst gehaald.
• De lijst wordt dan kleiner, en de "moeilijkste" vergelijkingen worden iets groter.

Kortom:
Dit document is een jachtlijst voor de slimste breinen ter wereld. Het verzamelt de kleinste, simpelste wiskundige raadsels die we nog niet kunnen kraken. Het is een eerlijke weergave van waar de mensheid momenteel vastloopt in het landschap van de getallen. Voor de leek klinkt het misschien als saaie algebra, maar voor de wiskundige is het de spannendste jacht die er is: het jagen op de onbekende.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "A systematic approach to Diophantine equations: open problems" van Bogdan Grechuk, geschreven in het Nederlands.

Titel: Een systematische aanpak van Diophantische vergelijkingen: open problemen

Auteur: Bogdan Grechuk
Datum: 10 maart 2026 (versie 5)

---

1. Probleemstelling

Het paper richt zich op het identificeren en catalogiseren van de kleinste open Diophantische vergelijkingen. Een Diophantische vergelijking is een polynoomvergelijking $P(x_1, \dots, x_n) = 0$ met gehele coëfficiënten, waarbij gezocht wordt naar oplossingen in gehele getallen.

Hoewel veel van deze vergelijkingen eenvoudig te formuleren zijn, zijn de oplossingssets vaak onbekend of extreem moeilijk te karakteriseren. Het centrale doel is om een gestructureerde lijst te maken van de vergelijkingen met de kleinste "grootte" (size) waarvoor fundamentele vragen nog niet beantwoord zijn. De vragen variëren van het bestaan van oplossingen tot het volledig beschrijven van de oplossingsset.

2. Methodologie

Definitie van Vergelijkingsgrootte ($H$)

Om vergelijkingen objectief te ordenen, introduceert de auteur een maatstaf voor de complexiteit, de grootte $H(P)$. Voor een polynoom $P$ bestaande uit $k$ niet-similaire monomen met coëfficiënten $a_i$ en graden $d_i$, wordt $H(P)$ gedefinieerd als:
$$H(P) = \sum_{i=1}^{k} |a_i| 2^{d_i}$$
In de praktijk betekent dit dat men elke variabele vervangt door 2, elke coëfficiënt door zijn absolute waarde, en de uitkomst berekent. Omdat er voor elke gegeven grootte $H$ slechts eindig veel vergelijkingen bestaan, kunnen ze systematisch worden gesorteerd en onderzocht.

Equivalentie en Categorisatie

Om redundantie te vermijden, worden vergelijkingen als equivalent beschouwd als ze via de volgende operaties op elkaar kunnen worden afgeleid:

1. Vermenigvuldiging met een niet-nul constante.
2. Substitutie $x_i \to -x_i$.
3. Hernoemen en permuteren van variabelen.

Het paper onderscheidt diverse categorieën:

• Homogene vergelijkingen: Alle monomen hebben dezelfde graad.
• Symmetrische vergelijkingen: Onveranderlijk onder permutatie van variabelen.
• Cyclische vergelijkingen: Onveranderlijk onder cyclische verschuiving van variabelen.
• Vergelijkingen met onafhankelijke monomen: Geen twee monomen delen een variabele.

Alternatieve Ordening: Lengte ($l$)

Naast $H(P)$ wordt ook een ordening op basis van "lengte" $l(P)$ besproken, gedefinieerd als $l(P) = \log_2 L(P)$, waarbij $L(P) = \prod (|a_i| \cdot 2^{d_i})$. Dit biedt een alternatieve manier om de "kortste" open vergelijkingen te vinden.

3. Belangrijke Vraagstukken (Problemen)

Het paper classificeert open problemen in een hiërarchie van formaliteit en complexiteit:

1. Probleem 1 (Polynoomparametrisatie): Kan de verzameling van alle gehele oplossingen worden beschreven als een eindige unie van polynoomfamilies?
2. Probleem 2 (Beschrijving van oplossingen): Kan de oplossingsset op een "redelijke" manier worden beschreven (bijv. via recurrente relaties of transformaties)? Dit is informeler, maar voor kleine vergelijkingen vaak equivalent aan het vraagstuk of er oplossingen bestaan met willekeurig grote waarden.
3. Probleem 3 (Niet-triviale oplossingen voor homogene vergelijkingen): Bestaat er een gehele oplossing waarbij alle variabelen ongelijk aan nul zijn?
4. Probleem 4 (Eindigheid): Is de oplossingsset eindig of oneindig? Zo ja, kunnen alle oplossingen worden opgesomd?
5. Probleem 5 (Existentie van niet-triviale oplossingen): Bestaat er überhaupt een niet-nul oplossing voor een homogene vergelijking?
6. Probleem 6 (Existentie van oplossingen): Heeft de vergelijking überhaupt een gehele oplossing? (Gerelateerd aan Hilbert's 10e probleem, hoewel dit onbeslisbaar is in het algemeen, is het voor specifieke kleine vergelijkingen een open vraag).
7. Probleem 7 (Oplossingen in positieve gehele getallen): Bestaan er oplossingen waarbij $x_i > 0$?

4. Resultaten en Kernbijdragen

Het paper presenteert een geactualiseerde lijst van de kleinste open vergelijkingen per categorie en per probleemtype. Enkele opvallende bevindingen zijn:

• Kleinste open vergelijkingen voor polynoomparametrisatie (Probleem 1):
  Vergelijkingen met grootte $H=13$ zoals $x^2 + y^2 + zt + 1 = 0$ en $x^2y + z^2 + 1 = 0$. Voor deze is onbekend of de oplossingen polynoommatig parametrisabel zijn.

• Beschrijving van oplossingen (Probleem 2 & 4):
  De vergelijkingen $y^2 + z^2 = x^3 \pm 1$ (grootte $H=17$) zijn de kleinste waarbij de beschrijving van de gehele oplossingen onbekend is.
  Voor homogene vergelijkingen is de kleinste open vergelijking $x^4 + x^3y - y^4 + y^3z + z^4 = 0$ ($H=80$) voor het vraagstuk of er een niet-nul oplossing bestaat.

• Existentie van oplossingen (Probleem 6):
  De kleinste open vergelijkingen voor het bestaan van een oplossing hebben grootte $H=32$ (twee variabelen), bijvoorbeeld $y^3 + xy = x^4 + 4$.
  Voor kubische vergelijkingen is de kleinste open vergelijking $2 + 2x + x^3 - y^2 - xy^2 + xz^2 = 0$($H=34$).

• Specifieke vormen:

  • Voor vergelijkingen van de vorm $ax^p + by^q + cz^r = 0$ met $1/p + 1/q + 1/r < 1$(waarbij de primitieve oplossingen eindig zijn), zijn de kleinste open gevallen in Tabel 4 gelijst (bijv.$x^4 + 2y^3 + z^3 = 0$,$H=40$).
  • Voor de vorm $ax^d + by^d + cz^d = 0$ is de kleinste open vergelijking $4x^5 + 4y^5 + 11z^5 = 0$($H=608$).

• Kortste vergelijkingen (op basis van lengte $l$):
  De kortste vergelijkingen voor welke Probleem 1 open is, hebben lengte $l=5$. Voor Probleem 6 zijn de kortste vergelijkingen van lengte $l \le 9$.

5. Significantie en Actualisatie

• Levende Document: Het paper fungeert als een dynamische database. De auteur actualiseert het document regelmatig (tot versie 5 in maart 2026) om opgeloste vergelijkingen te verwijderen.
• Rol van AI en Nieuwe Bewijzen: In de update tussen versie 4 en 5 wordt vermeld dat ChatGPT 5.4 Pro succesvol Probleem 4 heeft opgelost voor bepaalde vergelijkingen (bijv. $z^2 + y^2z - z + x^3 + 2 = 0$), wat hen uit de lijst van open problemen verwijdert. Dit illustreert de toenemende rol van geautomatiseerde redenering in dit domein.
• Systematische Benadering: Het paper biedt een gestandaardiseerde methode om de complexiteit van Diophantische vergelijkingen te meten, waardoor onderzoekers kunnen focussen op de "grens" van wat momenteel oplosbaar is. Het creëert een gemeenschappelijk referentiekader voor de wiskundegemeenschap om vooruitgang te meten.

Conclusie:
Dit document is een essentieel referentiewerk voor onderzoekers in getaltheorie en Diophantische analyse. Het identificeert de exacte grenzen van onze huidige kennis door vergelijkingen te ordenen op een strikte, wiskundig gedefinieerde complexiteitsmaatstaf. Het benadrukt dat zelfs zeer simpele vergelijkingen (kleine coëfficiënten en lage graden) diep onopgeloste mysteriën kunnen bevatten.