🔢 mathematics

Integers representable as a difference of two rational fourth powers

Motivé par l'enquête de Cohen sur les sommes de puissances quatrièmes rationnelles, cet article établit la liste complète des entiers positifs jusqu'à 10 000 qui peuvent s'exprimer comme la différence de deux puissances quatrièmes rationnelles non nulles.

Auteurs originaux : Ashleigh Ratcliffe, Tho Nguyen Xuan

Publié 2026-04-28

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ashleigh Ratcliffe, Tho Nguyen Xuan

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous avez une boîte géante de blocs de construction. Certains blocs sont des carrés parfaits (comme $2^2 = 4$ ), et d'autres sont des cubes parfaits ( $2^3 = 8$ ). Dans cet article, les auteurs jouent avec un type de bloc très spécifique, légèrement plus difficile : les puissances quatrièmes. Une puissance quatrième est simplement un nombre multiplié par lui-même quatre fois (comme $2^4 = 16$ ).

La grande question que se posent les auteurs est la suivante : Peut-on construire n'importe quel nombre entier (comme 1, 2, 3... jusqu'à 10 000) en prenant l'un de ces blocs de puissance quatrième et en soustrayant un autre ?

Par exemple, peut-on trouver deux fractions (nombres rationnels) telles que, lorsqu'on les élève à la puissance quatrième et qu'on les soustrait, on obtienne exactement le nombre 5 ?
$x^4 - y^4 = 5$

Le Grand Défi

Les auteurs ne cherchent pas seulement des blocs entiers ; ils ont le droit d'utiliser des blocs fractionnaires (comme $3/2$ ou $7/5$ ). Cela rend le puzzle beaucoup plus difficile car il y a une infinité de fractions à vérifier. On ne peut pas simplement les essayer une par une ; il faut une carte.

L'article est essentiellement une immense liste « Oui/Non » pour chaque nombre de 1 à 10 000.

Oui : « Voici une paire spécifique de fractions qui fonctionne. »
Non : « Il est mathématiquement impossible de construire ce nombre de cette manière. »

Comment ils l'ont résolu : La boîte à outils du détective

Pour résoudre ce problème, les auteurs ont utilisé un mélange d'outils mathématiques de haute technologie et d'un travail d'enquête astucieux. Imaginez cela comme une enquête en trois étapes :

1. La « Recherche Facile » (À la recherche de petits indices)
D'abord, ils ont utilisé un ordinateur pour chercher des solutions « petites ». Imaginez chercher une clé perdue dans une pièce. Si la clé est sur le sol, vous la trouverez rapidement. L'ordinateur a balayé les combinaisons de fractions simples. S'il trouvait une correspondance, le nombre était marqué comme « Résoluble ».

2. Le « Changeur de Forme » (Transformer le problème en courbe)
Si l'ordinateur ne trouvait pas de réponse simple, les auteurs devaient prouver qu'aucune réponse n'existait. Ils ont utilisé un tour de passe-passe mathématique pour transformer l'équation $x^4 - y^4 = n$ en une forme différente : une Courbe Elliptique.

Analogie : Imaginez que l'équation originale est un nœud emmêlé. Les auteurs ont trouvé un moyen de le dénouer et de l'étaler à plat sous la forme d'une courbe lisse et bouclée.
Si cette courbe a un « rang » de zéro, cela signifie qu'elle est trop petite ou brisée pour contenir des solutions. C'est comme une route qui se termine par une falaise ; on ne peut pas conduire nulle part. Cela a prouvé que de nombreux nombres étaient impossibles.

3. Le « Crible de Mordell-Weil » (Le filtre ultime)
Pour les nombres tenaces où la courbe semblait prometteuse (elle avait un « rang positif », ce qui signifiait qu'elle semblait pouvoir avoir des solutions), ils ont utilisé un filtre sophistiqué appelé le crible de Mordell-Weil.

Analogie : Imaginez que vous essayez de trouver une personne spécifique dans une foule immense. Vous savez qu'elle porte un chapeau rouge. Vous demandez à tout le monde dans la foule : « Avez-vous un chapeau rouge ? » Puis vous demandez : « Avez-vous une chemise bleue ? »
Le crible vérifie les nombres par rapport à différents « modules » (comme vérifier les restes lors de la division par 5, 7 ou 11). Si les mathématiques disent : « Pour qu'une solution existe, les nombres doivent être divisibles par 5 », mais qu'une autre règle dit : « Ils ne doivent pas être divisibles par 5 », vous avez une contradiction. La personne (la solution) ne peut pas exister. Le crible a trouvé ces contradictions pour les nombres difficiles restants.

4. L'« Astuce Pythagoricienne » (Utiliser les vieux amis)
Pour certains cas spécifiques, ils ont utilisé une méthode impliquant des triplets pythagoriciens (les fameux triangles $a^2 + b^2 = c^2$ ). Ils ont réalisé que si une solution existait, elle devait s'inscrire dans le motif de ces triangles anciens. En vérifiant si les nombres respectaient les règles du triangle, ils pouvaient écarter davantage de possibilités.

Le Résultat Final

Après avoir appliqué ces tests à chaque nombre jusqu'à 10 000, les auteurs ont produit le Tableau 3.

Ce tableau liste les nombres « chanceux » qui peuvent être écrits comme la différence de deux puissances quatrièmes rationnelles.
Pour ces nombres chanceux, ils ont même fourni les fractions réelles (les « clés ») qui rendent l'équation fonctionnelle.
Pour tous les autres nombres, ils ont prouvé mathématiquement qu'aucune telle fraction n'existe.

Pourquoi cela compte (selon l'article)

L'article ne prétend pas que cela aidera à construire des ponts ou à guérir des maladies. Au contraire, il complète un puzzle sur lequel les mathématiciens travaillent depuis longtemps.

Il achève le travail commencé par d'autres mathématiciens (comme Cohen, Grechuk et Tho) qui ont résolu des problèmes similaires pour des sommes de puissances ou des plages plus petites.
Il fournit une « carte » définitive pour la différence de puissances quatrièmes jusqu'à 10 000, comblant les lacunes que les méthodes précédentes ne pouvaient pas résoudre.

En bref, les auteurs ont agi comme de maîtres cartographes, traçant la ligne de délimitation complète entre les nombres qui peuvent être construits à partir de fractions de puissances quatrièmes et ceux qui ne le peuvent pas.

1. Énoncé du problème

L'article traite de la solubilité de l'équation diophantienne :
$n = x^4 - y^4$
où $n$ est un entier positif et $x, y$ sont des nombres rationnels non nuls.

Ce problème est motivé par le dernier théorème de Fermat pour l'exposant $n=4$ , qui implique que $1$ ne peut pas être écrit comme différence de deux puissances quatrièmes rationnelles non nulles. Alors que le cas de la somme de deux puissances quatrièmes rationnelles ( $x^4 + y^4 = n$ ) a été largement résolu par Cohen, Bremner et Tho pour $n \le 10\,000$ , le cas de la différence restait incomplet pour certaines valeurs. Les auteurs visent à fournir une liste complète de tous les entiers positifs $n \le 10\,000$ qui peuvent être représentés sous cette forme.

Mathématiquement, le problème est équivalent à trouver des solutions entières $(x, y, z)$ avec $xyz \neq 0$ à l'équation homogène :
$x^4 - y^4 = nz^4$
En raison des propriétés des puissances quatrièmes, il suffit d'analyser les $n$ qui sont sans facteur quatrième.

2. Méthodologie

Les auteurs emploient une approche computationnelle et théorique multicouche, combinant des méthodes issues des courbes elliptiques, des obstructions locales et de la factorisation dans les entiers de Gauss. Le flux de travail est divisé en trois étapes principales :

A. Réductions simples et courbes elliptiques (Sections 2.1 & 2.2)

La première étape consiste à réduire le problème à la recherche de points rationnels sur des courbes elliptiques spécifiques.

Transformation : Toute solution entière non triviale de $x^4 - y^4 = nz^4$ $x^{4} - y^{4} = n z^{4}$ implique l'existence de points rationnels sur l'une des trois courbes elliptiques associées :
1. $Y^2 = X^3 + nX$
2. $Y^2 = X^3 - nX$
3. $Y^2 = X^3 - n^2X$
Vérification du rang 0 : Si l'une de ces courbes a un rang 0, l'ensemble des points rationnels est fini (points de torsion uniquement). Les auteurs utilisent le système d'algèbre informatique Magma pour calculer le rang et les points de torsion. Si les points de torsion ne produisent pas de solution valide (où $xyz \neq 0$ ), l'équation est prouvée insoluble.
Réduction vers des équations octiques : Pour les cas où les courbes ont un rang positif, le problème est réduit (via le théorème 2) à la résolution d'équations de la forme :
$a^2u^8 + b^2v^8 = cw^4$
où $a, b, c$ sont des entiers deux à deux premiers entre eux tels que $abc \in \{n/8, 2n\}$ .
Obstructions locales et crible de Mordell-Weil :
- Obstructions locales : Les auteurs vérifient l'existence de solutions modulo $p^k$ . Si aucune solution première entre elles n'existe modulo un nombre premier, l'équation globale n'a pas de solution.
- Crible de Mordell-Weil : Pour les équations où les obstructions locales ne parviennent pas à écarter les solutions, les auteurs transforment le problème en la recherche de points rationnels sur des courbes elliptiques dérivées de l'équation octique. Ils utilisent le crible de Mordell-Weil pour vérifier si le groupe généré de points modulo un nombre premier $p$ est disjoint de l'ensemble des solutions locales possibles, prouvant ainsi l'insolubilité.

B. Méthode des triples pythagoriciens (Section 2.3)

Pour des cas spécifiques où le coefficient $c$ dans l'équation octique $a^2u^8 + b^2v^8 = cw^4$ est un carré parfait ( $c=k^2$ ), l'équation peut être transformée en un système impliquant des triples pythagoriciens :
$x^2 + y^2 = z^2$
En utilisant la paramétrisation standard des triples pythagoriciens primitifs, les auteurs réduisent le problème à la résolution de systèmes d'équations impliquant des puissances quatrièmes (par exemple, $d^2U^8 - e^2V^8 = bv^4$ ). Cette méthode résout avec succès de nombreux cas que la méthode du crible ne pouvait pas traiter.

C. Factorisation dans $\mathbb{Z}[i]$ (Section 3 et Annexe B)

Pour les cas récalcitrants restants (listés dans le tableau 2 de l'article), les auteurs utilisent la méthode de factorisation dans l'anneau des entiers de Gauss $\mathbb{Z}[i]$ .

Factorisation : L'équation $a^2u^8 + b^2v^8 = cw^4$ est réécrite comme :
$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$
Entiers de Gauss : En analysant le pgcd dans $\mathbb{Z}[i]$ et la factorisation première de $c$ , les auteurs déduisent que :
$au^4 + bv^4i = \alpha(s + ti)^4$
où $\alpha$ est un diviseur de $c$ dans $\mathbb{Z}[i]$ .
Insolubilité locale des schémas : L'égalisation des parties réelles et imaginaires produit un système de deux équations quartiques homogènes en variables $s, t, u, v$ . Cela définit un schéma dans l'espace projectif $\mathbb{P}^3(\mathbb{Q})$ . Les auteurs utilisent Magma pour vérifier si ce schéma est localement insoluble à un nombre premier spécifique (généralement 2, 3, 5 ou 17). Si le schéma n'a pas de solutions modulo $p$ , l'équation diophantienne originale n'a pas de solutions entières.

3. Contributions clés

Classification complète : L'article fournit la liste complète de tous les entiers positifs $n \le 10\,000$ représentables comme différence de deux puissances quatrièmes rationnelles non nulles.
Résolution des cas ouverts : Les auteurs résolvent les cas spécifiques laissés ouverts par les travaux précédents (Grechuk et Tho), notamment $n = 219, 463, 514$ , et d'autres jusqu'à $n=10\,000$ .
Cadre algorithmique : L'article détaille un pipeline computationnel robuste combinant les rangs de courbes elliptiques, le crible de Mordell-Weil, la paramétrisation pythagoricienne et la factorisation dans les entiers de Gauss. Ce cadre est applicable à des problèmes diophantiens similaires impliquant des puissances supérieures.
Séquences OEIS : Les résultats sont catalogués dans l'Encyclopédie en ligne des suites d'entiers (OEIS) sous les suites A393616 (puissances quatrièmes rationnelles non nulles) et A393617 (autorisant zéro).

4. Résultats

Entiers solubles : Le tableau 3 de l'article répertorie 136 entiers $n \le 10\,000$ qui sont représentables sous la forme $x^4 - y^4$ . Pour chacun, une représentation rationnelle spécifique est fournie (par exemple, $5 = (3/2)^4 - (1/2)^4$ ).
Entiers insolubles : L'article prouve que les entiers restants dans la plage $1 \le n \le 10\,000$ n'ont aucune solution rationnelle non nulle.
Cas spécifiques : Les annexes fournissent des preuves exhaustives pour les 33 cas « difficiles » qui ont nécessité la méthode de factorisation dans $\mathbb{Z}[i]$ . Par exemple, pour $n=463$ , l'équation $214369u^8 + v^8 = 2w^4$ est montrée sans solution en prouvant que le schéma associé est localement insoluble en $p=2$ et $p=3$ .

5. Importance

Complétion de l'étude : Ce travail fait écho à l'étude de Cohen sur la somme de puissances quatrièmes, complétant le tableau pour le cas de la différence jusqu'à $10\,000$ .
Avancée méthodologique : Il démontre la puissance de la combinaison de la théorie des nombres classique (entiers de Gauss, triples pythagoriciens) avec des outils computationnels modernes (Magma, crible de Mordell-Weil) pour résoudre des équations diophantiennes de haut degré.
Fondement pour la recherche future : Les annexes détaillées et les techniques spécifiques utilisées pour les cas « difficiles » fournissent un modèle pour aborder des problèmes similaires, tels que les sommes ou différences de puissances sixièmes ou d'exposants supérieurs.

En conclusion, Ratcliffe et Tho ont comblé avec succès le vide dans la littérature concernant la différence de puissances quatrièmes rationnelles, fournissant une liste définitive des entiers représentables et des preuves rigoureuses pour ceux qui ne le sont pas dans la plage spécifiée.