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

1. Problématique

L'article aborde trois conjectures majeures en théorie des nombres concernant les fractions égyptiennes :

• Conjecture d'Erdős–Straus (1948) : Pour tout entier $n \ge 2$, l'équation $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ admet-elle une solution en entiers strictement positifs ($x, y, z \in \mathbb{N}^*$) ?
• Conjecture de Sierpiński : Même question pour le numérateur 5, soit $\frac{5}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$.
• Conjecture Généralisée : Pour tout entier $a \ge 5$, existe-t-il un seuil $N_0$ tel que pour tout $n \ge N_0$, l'équation $\frac{a}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ soit résoluble ?

Bien que la conjecture d'Erdős–Straus ait été vérifiée numériquement jusqu'à $n = 10^{17}$ et prouvée pour certaines classes de congruences (notamment par Louis Mordell pour $n \not\equiv 1, 112, 132, 172, 192, 232 \pmod{840}$), une preuve analytique générale et une formule explicite universelle restent à établir.

2. Méthodologie

L'auteur propose une approche analytique unifiée basée sur l'analyse structurelle de l'équation diophantienne. La méthode se déroule en plusieurs étapes clés :

1. Transformation de l'équation : L'équation $\frac{a}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ est réécrite sous la forme $\frac{ax - n}{nx} = \frac{y+z}{yz}$.
2. Paramétrisation : En utilisant une technique de paramétrisation géométrique, l'auteur exprime la somme et le produit des inconnues $y$ et $z$ en fonction d'un paramètre $t \in \mathbb{Q}^*_+$ :
   • $y + z = (ax - n)(2t)$
   • $yz = nx(2t)$
3. Équation quadratique : Ces relations impliquent que $y$ et $z$ sont les racines de l'équation quadratique en $V$ :
   $$V^2 - (ax - n)(2t)V + 2nxt = 0$$
4. Condition de résolubilité : Pour que $y$ et $z$ soient des entiers, le discriminant $\Delta$ de cette équation doit être un carré parfait (entier ou rationnel selon le cas).
   $$\Delta = 4t^2(ax - n)^2 - 8nxt = 4\left[ t^2(ax - n)^2 - 2nxt \right]$$

3. Contributions Clés et Formules Proposées

L'article introduit deux formules analytiques distinctes qui réduisent le problème de la recherche de solutions à la vérification de conditions spécifiques.

A. Première Formule (Condition de Divisibilité)

Cette formule est un cas particulier de la seconde. Elle repose sur la recherche d'un entier $x_0$ tel que le discriminant devienne un carré parfait via une substitution spécifique ($t=k$).

• Résultat : Si l'on choisit $x_0 \ge \lfloor \frac{n+1}{a} \rfloor + 1$ tel que les termes $(ax_0 - n - 1)$ et $(ax_0 - n + 1)$ divisent $2nx_0$, alors les solutions sont données par :
  $$y = \frac{2nx_0}{ax_0 - n + 1}, \quad z = \frac{2nx_0}{ax_0 - n - 1}$$
• Portée : Cette formule fournit une preuve partielle : pour tout $n$ où un tel $x_0$ existe, la conjecture est démontrée.

B. Deuxième Formule (Condition d'Existence d'un Carré Parfait)

Cette approche est plus générale. Elle postule que pour tout $n$, il existe un couple $(x_0, t_0)$ tel que le discriminant soit un carré parfait $q^2$ :
$$t_0^2(ax_0 - n)^2 - 2nt_0x_0 = q^2$$

• Solutions : Si cette condition est remplie, les solutions sont :
  $$y = t_0(ax_0 - n) - q, \quad z = t_0(ax_0 - n) + q$$
• Signification : L'auteur démontre que la conjecture est vraie si et seulement si ce polynôme admet toujours un carré parfait pour tout $n$.

4. Résultats Expérimentaux et Numériques

L'auteur a implémenté ces formules dans des scripts de calcul pour tester des milliers de cas, y compris ceux non couverts par la méthode de Mordell.

• Cas d'Erdős–Straus ($a=4$) :

  • La deuxième formule a été testée sur les 35 cas exceptionnels de Mordell dans l'intervalle $[2, 5000]$ et les 36 cas dans $[5000, 10000]$.
  • Résultat : Taux de réussite de 100 %. La formule a généré des solutions entières valides pour tous les $n$ testés, y compris les nombres comme 841, 1201, etc.
  • Des tableaux détaillés (Tables 1 à 5) confirment l'exactitude des triplets $(x, y, z)$ pour $n$ allant jusqu'à 200 et au-delà.

• Cas de Sierpiński ($a=5$) et Généralisation :

  • Les mêmes méthodes ont été appliquées avec succès pour $a=5$ (Tables 6 et 7) et pour des cas généralisés comme $a=6$ et $a=11$ (Tables 8 et 9).
  • Les simulations montrent que le discriminant admet systématiquement un carré parfait dans les intervalles testés.

5. Signification et Conjectures Futures

L'article ne constitue pas une preuve formelle complète (car il ne démontre pas l'existence universelle de $x_0$ et $t_0$ pour tout $n$), mais il offre une réduction puissante du problème :

1. Réduction structurelle : Le problème de la décomposition en fractions égyptiennes est équivalent à la recherche de carrés parfaits dans un polynôme quadratique spécifique.
2. Nouveaux Conjectures : L'auteur formule quatre nouvelles conjectures (Conjectures 1 à 4) qui, si prouvées, résoudraient définitivement les conjectures d'Erdős–Straus et de Sierpiński. Ces conjectures portent sur l'existence systématique de couples $(x, t)$ (entiers ou rationnels) rendant le discriminant carré parfait.
3. Impact pédagogique et méthodologique : L'approche proposée offre un cadre rigoureux et élégant pour enseigner la résolution d'équations diophantiennes, passant d'une vérification par force brute à une analyse structurelle.

Conclusion :
Philemon Urbain Mballa démontre que ses nouvelles formules analytiques résolvent les conjectures pour une infinité de cas et couvrent intégralement les lacunes laissées par les méthodes classiques (comme celle de Mordell) sur de larges intervalles numériques. L'article invite la communauté mathématique à se concentrer sur la preuve de l'existence des paramètres $(x, t)$ garantissant que le discriminant est toujours un carré parfait, ce qui constituerait la preuve finale de ces conjectures célèbres.