Partial Resolution of the Erdös-Straus, Sierpinski, and Generalized Erdös-Straus Conjectures Using New Analytical Formulas

1. Het Probleem

Het artikel richt zich op drie gerelateerde open problemen in de getaltheorie:

• De Vermoeden van Erdős–Straus (1948): Voor elk natuurlijk getal $n \geq 2$, bestaan er positieve gehele getallen $x, y, z$ zodanig dat:
  $$\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$$
• Het Vermoeden van Sierpiński: Een variant waarbij de teller 4 wordt vervangen door 5:
  $$\frac{5}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$$
• Het Veralgemeende Vermoeden: Voor elke integer $a \geq 5$, bestaat er een drempel $N_0$ zodanig dat voor alle $n \geq N_0$ de vergelijking $\frac{a}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ oplosbaar is in positieve gehele getallen.

Hoewel het vermoeden van Erdős–Straus numeriek is geverifieerd tot $n = 10^{17}$ en door Mordell is bewezen voor alle $n$ die niet congruent zijn met specifieke waarden modulo 840, ontbreekt er een algemene analytische formule die de oplossing systematisch genereert voor alle $n$.

2. Methodologie

De auteur introduceert een nieuwe analytische aanpak die gebaseerd is op de structurele analyse van de Diophantische vergelijking. De kern van de methode omvat de volgende stappen:

1. Herschrijven van de Vergelijking: De oorspronkelijke vergelijking $\frac{a}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ wordt herschreven tot:
   $$\frac{ax - n}{nx} = \frac{y + z}{yz}$$
   Dit impliceert dat $4x - n > 0$ (voor $a=4$), dus $x > n/4$.

2. Parametrisatie: De auteur past een techniek uit de meetkunde toe (parametrisatie) om de som en het product van $y$ en $z$ uit te drukken in termen van een parameter $t$. Dit leidt tot het stelsel:
   $$y + z = (ax - n)(2t)$$
   $$yz = nx(2t)$$
   waarbij $t \in \mathbb{Q}^*_+$.

3. Kwadratische Vergelijking: Op basis van de stelling van Vieta zijn $y$ en $z$ de wortels van de kwadratische vergelijking:
   $$V^2 - (ax - n)(2t)V + 2nxt = 0$$

4. Discriminant-Analyse: Voor $y$ en $z$ om gehele getallen te zijn, moet de discriminant $\Delta$ van deze kwadratische vergelijking een perfect kwadraat zijn. De discriminant wordt gegeven door:
   $$\Delta = 4t^2(ax - n)^2 - 8nxt = 4[t^2(ax - n)^2 - 2nxt]$$

De auteur ontwikkelt twee specifieke formules gebaseerd op hoe men $\Delta$ tot een perfect kwadraat maakt.

3. Belangrijkste Bijdragen en Formules

De paper presenteert twee nieuwe analytische formules die de conjecturen gedeeltelijk oplossen:

Formule 1: Gebaseerd op Delingsvoorwaarden

Deze formule is een speciaal geval van de tweede formule. De auteur stelt dat als men $t$ kiest zodanig dat $\Delta$ een perfect kwadraat wordt door een specifieke algebraïsche manipulatie (waarbij $t = k$ wordt gesteld), men de volgende expliciete uitdrukkingen voor $y$ en $z$ krijgt:
$$y = \frac{2nx}{ax - n + 1}, \quad z = \frac{2nx}{ax - n - 1}$$
Voorwaarde: Deze oplossing is geldig als en slechts als de noemers $(ax - n + 1)$ en $(ax - n - 1)$ de teller $2nx$ delen. De auteur bewijst dat er oneindig veel $x$-waarden bestaan die aan deze delingsvoorwaarde voldoen, wat de conjectuur bewijst voor die specifieke $n$.

Formule 2: Gebaseerd op het Bestaan van een Perfect Kwadraat

Dit is de meer algemene formule. De auteur stelt dat de conjectuur waar is als er een paar $(x, t)$ bestaat zodanig dat:
$$t^2(ax - n)^2 - 2nxt = q^2$$
waarbij $q$ een geheel getal is. Als deze voorwaarde geldt, dan zijn de oplossingen:
$$y = t(ax - n) - q, \quad z = t(ax - n) + q$$
De auteur conjectureert dat voor elke $n$ (en elke $a \geq 4$) er altijd een dergelijk paar $(x, t)$ bestaat.

4. Resultaten en Numerieke Validatie

De auteur voert uitgebreide numerieke tests uit om de geldigheid van deze formules te verifiëren:

• Mordell's Uitzonderlijke Gevallen: Mordell had bewezen dat de conjectuur geldt voor alle $n$ behalve voor specifieke waarden modulo 840. De auteur toont aan dat Formule 2 succesvol oplossingen vindt voor 100% van de Mordell-uitzonderlijke gevallen in het bereik $n \in [2, 10.000]$.
• Specifieke Tests: Er worden tabellen gepresenteerd met oplossingen voor specifieke waarden van $n$ (zoals $n=841$, een getal dat Mordell niet had opgelost) en voor de Sierpiński-conjectuur ($a=5$) en de veralgemeende conjectuur ($a=6, 11$).
• Validatie: Voor grote getallen wordt de oplossing geverifieerd via de polynomiale identiteit $4xyz = n(xy + xz + yz)$ om fouten door drijvende-kommaberekeningen te vermijden. Alle geteste gevallen leverden een "True" resultaat op.

5. Betekenis en Conclusie

• Gedeeltelijke Oplossing: Het artikel biedt geen volledige wiskundige bewijsvoering dat de conjecturen voor alle $n$ waar zijn, maar reduceert het probleem tot het vinden van een geschikt paar $(x, t)$ dat een perfect kwadraat genereert.
• Unificatie: De methode unifyert de aanpak voor Erdős–Straus, Sierpiński en de veralgemeende versies onder één analytisch raamwerk.
• Nieuwe Richting: De auteur stelt dat het bewijs van de conjecturen nu neerkomt op het bewijzen van Conjecture 1 (voor $a=4$) en Conjecture 4 (voor $a \geq 5$): dat de polynoom $t^2(ax - n)^2 - 2nxt$ altijd een perfect kwadraat toelaat voor gehele getallen $x, t$.
• Pedagogische Waarde: De methode biedt een helder, structureel inzicht in de onderliggende Diophantische vergelijkingen, in plaats van te vertrouwen op brute-force zoektochten.

Conclusie: Philemon Urbain Mballa presenteert een krachtige analytische methode die de zoekruimte voor oplossingen van deze beroemde conjecturen drastisch verkleint. Hoewel het volledige bewijs nog ontbreekt (namelijk het bewijs dat de discriminant altijd een perfect kwadraat is), biedt de paper een robuust numeriek bewijs en een duidelijk pad voor toekomstig onderzoek om de conjecturen definitief op te lossen.