🔢 mathematics

On $k$ -th power Diophantine triples of the form $\{a^k, b, c\}$

Ce document démontre qu'il n'existe pas de triples diophantiens de puissances $k$ -ièmes de la forme $\{a^k, b, c\}$ pour $k \geq 3$ et $c > 1$ .

Auteurs originaux : Clemens Fuchs, Miriam Schönauer

Publié 2026-04-28

📖 3 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Clemens Fuchs, Miriam Schönauer

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

Le Mystère des Nombres "Magiques" : L'Enquête de Fuchs et Schönauer

Imaginez que vous jouez à un jeu de construction avec des nombres. Dans ce jeu, il existe des "Trios Magiques". Un trio est dit "magique" si, quand vous prenez n'importe quels deux nombres du groupe et que vous les multipliez, le résultat est presque un "nombre parfait" (un nombre qui est le résultat d'une puissance, comme $2^3 = 8$ ou $3^4 = 81$ ), à la condition qu'on ajoute $+1$ au résultat.

Pendant des siècles, les mathématiciens se sont amusés à chercher ces trios. C'est un peu comme chercher des combinaisons de clés qui ouvrent toutes les serrures d'un même château.

Le Problème : La quête de la perfection

Le papier de Clemens Fuchs et Miriam Schönauer s'attaque à une question très précise : Est-ce qu'il existe des trios magiques d'une forme très particulière ?

Leur cible, c'est la forme $\{a^k, b, c\}$ .
Pour faire simple, imaginez que le premier membre de votre trio est déjà un nombre "super-puissant" (comme $2^3, 2^4, 2^5$ , etc.). Les chercheurs se sont demandé : "Si le premier nombre est déjà une puissance géante, est-ce qu'on peut trouver deux autres nombres ( $b$ et $c$ ) pour compléter le trio magique ?"

La Réponse : "C'est impossible !"

Leur conclusion est radicale : Non. Ça n'existe pas.

Ils ont prouvé que dès que la puissance ( $k$ ) est de 3 ou plus, et que les nombres sont plus grands que 1, la magie ne peut pas opérer. Le trio "casse" systématiquement.

Comment ont-ils fait ? (L'analogie de la course de vitesse)

Pour prouver que quelque chose n'existe pas, les mathématiciens utilisent souvent une technique de "pincement" ou de "conflit de vitesse".

Imaginez deux coureurs, B et C, qui participent à une course infinie.

D'un côté, les règles du "trio magique" imposent que le coureur C doit être incroyablement rapide et s'enfuir très loin devant les autres (c'est ce qu'ils appellent une "borne inférieure").
De l'autre côté, les lois de l'arithmétique (la structure même des nombres) agissent comme un élastique qui tire C vers l'arrière, l'empêchant d'aller trop loin (c'est la "borne supérieure").

Les chercheurs ont montré que ces deux règles sont incompatibles. C'est comme si on vous disait : "Pour gagner cette course, vous devez courir plus vite que la lumière, MAIS la loi de la physique vous interdit de dépasser la vitesse du son."

Puisque vous ne pouvez pas être à la fois au-delà de la lumière et en dessous du son, la conclusion est logique : la course (le trio magique) ne peut tout simplement pas avoir lieu.

Les outils de l'enquête

Pour arriver à cette conclusion, ils ont utilisé des outils de haute précision :

Les Fractions Continues : C'est comme un microscope mathématique qui permet de regarder de très, très près la structure des nombres pour voir s'ils "collent" bien ensemble.
L'ordinateur (Sagemath) : Pour les cas les plus têtus et les plus petits, ils ont fait appel à la force brute d'un ordinateur pour vérifier chaque possibilité, comme un détective qui fouillerait chaque recoin d'une pièce pour être sûr qu'aucun indice ne lui a échappé.

En résumé

Ce papier est une démonstration de "l'impossibilité". Les auteurs ont fermé une porte que les mathématiciens essayaient peut-être d'ouvrir depuis longtemps, en prouvant que dans l'univers des puissances supérieures, certains trios de nombres sont mathématiquement condamnés à ne jamais exister.

Résumé Technique : Sur les triples diophantiens de puissance $k$ -ième de la forme $\{a^k, b, c\}$

1. Problématique et Contexte

L'article s'inscrit dans l'étude des $m$ -uplets diophantiens, un domaine initié par Diophante d'Alexandrie. Traditionnellement, un $m$ -uplet diophantien est un ensemble de $m$ entiers positifs tels que le produit de n'importe quelle paire d'éléments augmentée de 1 est un carré parfait.

Les auteurs généralisent cette notion aux $m$ -uplets diophantiens de puissance $k$ -ième : des ensembles d'entiers tels que $a_i a_j + 1 = x^k$ pour un entier $k \geq 3$ . Alors que la littérature a déjà établi des bornes sur la taille de ces ensembles (par exemple, il n'existe pas de quintuplets diophantiens pour $k=2$ ), la question spécifique de l'existence de triples de la forme $\{a^k, b, c\}$ (où le premier élément est lui-même une puissance $k$ -ième) reste ouverte pour certaines valeurs de $k$ .

2. Résultat Principal (Théorème 1.1)

Les auteurs démontrent l'inexistence de tels triples pour tout $k \geq 3$ .
Énoncé : Soient $k \geq 3$ et $1 < a < b < c$ des entiers tels que $a^k < b < c$ . Il n'existe aucun triple diophantien de puissance $k$ -ième de la forme $\{a^k, b, c\}$ .

3. Méthodologie et Stratégie de Preuve

La preuve repose sur une approche de théorie des nombres analytique, combinant l'approximation rationnelle, la méthode des fractions continues et des principes de "gap" (écart). La stratégie est divisée en trois cas distincts selon la valeur de $k$ :

Établissement de bornes (Approche générale) :
Les auteurs supposent l'existence d'un tel triple et utilisent les équations $a^k b + 1 = r^k$ , $a^k c + 1 = s^k$ et $bc + 1 = t^k$ . Ils parviennent à démontrer que $c$ doit être significativement plus grand que $a$ et $b$ . Ils utilisent ensuite le Lemme de Bennett pour obtenir une approximation rationnelle de $\sqrt[k]{1 + \frac{1}{a^k b}}$ .
Cas $k \geq 5$ (Cas des nombres premiers) :
Pour les puissances élevées, l'approximation rationnelle est suffisamment précise pour que l'application du Lemme de Bennett mène directement à une contradiction mathématique. Les inégalités de croissance entre $a^k c$ et $a^k b$ deviennent incompatibles avec les contraintes imposées par la structure de puissance $k$ -ième.
Cas $k = 4$ (Utilisation des principes de "gap") :
Le cas $k=4$ est plus délicat car l'inégalité de base n'est pas assez forte. Les auteurs introduisent un principe de gap pour montrer que $s$ doit être très grand par rapport à $r$ . Ils démontrent ensuite que le rapport $a^{2t}/s$ doit être un convergent de la fraction continue de $\sqrt[4]{a^k b}$ . En analysant les quotients partiels et en utilisant des calculs informatiques (via Sagemath), ils prouvent qu'aucune valeur ne satisfait les conditions requises, menant à une contradiction.
Cas $k = 3$ (Analyse fine des fractions continues) :
Pour les cubes, la méthode est similaire au cas $k=4$ , mais nécessite une analyse beaucoup plus fine des premiers quotients partiels de la fraction continue de $\sqrt[3]{a^3 b}$ . Les auteurs utilisent les travaux de Bennett pour identifier les candidats potentiels et éliminent les cas restants par une combinaison de calculs algébriques et de vérifications numériques pour les valeurs de $r$ comprises entre 9 et 7972.

4. Contributions Clés

Résolution d'un cas spécifique complexe : L'article comble une lacune en prouvant l'inexistence de triples de la forme $\{a^k, b, c\}$ , une structure qui permettait l'existence de paires (comme montré dans la remarque 1.2).
Hybridation des méthodes : L'utilisation combinée de la méthode hypergéométrique de Thue-Siegel et de l'analyse computationnelle des fractions continues pour résoudre des problèmes de Diophante.
Rigueur sur les bornes : L'article affine les limites supérieures de la taille des $m$ -uplets pour les puissances $k$ -ièmes.

5. Signification

Ce travail renforce la conjecture selon laquelle les ensembles de nombres dont les produits "décalés" sont des puissances parfaites sont extrêmement restreints. Il démontre que la structure algébrique imposée par le fait que le premier élément soit une puissance $k$ -ième ( $a^k$ ) est trop rigide pour permettre l'existence d'un troisième élément $c$ respectant les conditions de puissance $k$ -ième.