Conjecture d'Euler

La conjecture d'Euler est une conjecture mathématique de théorie des nombres, réfutée, mais qui a été originellement proposée par le mathématicien suisse Leonhard Euler en 1772[1]^,[2], et qui s'énonce de la façon suivante :

En d'autres termes, et de manière plus formelle :

${\displaystyle \forall n>2,\forall (a_{1},\dots ,a_{n-1},b)\in (\mathbb {N} ^{*})^{n},\sum _{k=1}^{n-1}{a_{k}}^{n}\neq b^{n}.}$

Euler percevait cet énoncé comme une généralisation de la conjecture de Fermat, à savoir que pour tout entier n strictement supérieur à 2, la somme de deux puissances n-ièmes n'est pas une puissance n-ième. Les deux énoncés coïncident pour n = 3. Euler ajouta[1] que « exactement comme il n'existe pas de cubes dont la somme ou la différence soit un cube, il est certain qu'il est impossible de trouver trois puissances quatrièmes dont la somme soit une puissance quatrième, mais qu'au moins quatre puissances quatrièmes sont nécessaires pour que la somme soit une puissance quatrième, bien que personne n'ait été capable jusqu'à présent de produire ces quatre puissances. De la même façon, il semblerait impossible de trouver quatre puissances cinquièmes dont la somme soit une puissance cinquième, et de même pour les puissances supérieures. »

La conjecture d'Euler fut infirmée par L. J. Lander et T. R. Parkin en 1966[3] grâce au contre-exemple suivant :

${\displaystyle 27^{5}+84^{5}+110^{5}+133^{5}=144^{5}.}$

En 1988, Noam Elkies trouva même une méthode[4] pour construire des contre-exemples lorsque n = 4. Son plus simple contre-exemple fut le suivant :

${\displaystyle 2682440^{4}+15365639^{4}+18796760^{4}=20615673^{4}}$.

Par la suite, Roger Frye trouva le plus petit contre-exemple possible pour n = 4 en utilisant, avec un ordinateur, des techniques suggérées par Elkies :

${\displaystyle 95800^{4}+217519^{4}+414560^{4}=422481^{4}}$.

Aucun contre-exemple pour n > 5 n'est actuellement connu.