🔢 mathematics

Seven squares from three numbers

Cet article démontre l'existence d'une infinité de triples de nombres rationnels distincts et non nuls dont les sommes deux à deux augmentées de 1 ainsi que leur produit augmenté de 1 sont des carrés parfaits, tout en prouvant qu'aucun tel triple n'existe parmi les entiers positifs.

Auteurs originaux : Andrej Dujella, Matija Kazalicki, Vinko Petričević

Publié 2026-04-13

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Andrej Dujella, Matija Kazalicki, Vinko Petričević

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 Jeu des Carrés Magiques : Trois Nombres, Sept Mystères

Imaginez que vous êtes un architecte qui construit des tours avec des blocs de Lego. Mais ce ne sont pas n'importe quels blocs : ce sont des nombres.

Dans ce jeu mathématique, appelé "triplets Diophantiens", le but est de trouver trois nombres spéciaux (appelons-les A, B et C) qui obéissent à une règle très stricte : si vous prenez n'importe deux d'entre eux, que vous les multipliez et que vous ajoutez 1 au résultat, vous devez obtenir un carré parfait.

Un "carré parfait", c'est un nombre qui peut être formé en multipliant un nombre par lui-même (comme 4, qui est $2 \times 2$ , ou 9, qui est $3 \times 3$ ).

🌟 Le Défi Supérieur : Sept Carrés au Lieu de Trois

Les mathématiciens de cet article (Andrej Dujella, Matija Kazalicki et Vinko Petričević) ont décidé de relever un défi encore plus fou. Ils ne voulaient pas seulement que les paires $(A, B)$ , $(A, C)$ et $(B, C)$ fonctionnent. Ils voulaient que SEPT combinaisons différentes soient des carrés parfaits !

Voici la liste des sept conditions magiques que leurs nombres doivent remplir :

$A + 1$ est un carré.
$B + 1$ est un carré.
$C + 1$ est un carré.
$A \times B + 1$ est un carré.
$A \times C + 1$ est un carré.
$B \times C + 1$ est un carré.
Le grand final : $A \times B \times C + 1$ est aussi un carré !

Ils appellent ces groupes de trois nombres des "triplets exotiques".

🏝️ Le Pays des Fractions : Une Infinité de Trésors

Le premier résultat de l'article est une grande nouvelle pour les amateurs de nombres fractionnaires (des nombres comme $3/4$ ou $11/192$ ).

La découverte : Il existe une infinité de ces triplets exotiques si l'on accepte d'utiliser des fractions !

L'analogie : Imaginez que vous cherchez des clés qui ouvrent sept portes différentes. Si vous vous autorisez à utiliser des clés faites de "pâte à modeler" (les fractions), vous pouvez en fabriquer une infinité. Les auteurs ont utilisé des outils mathématiques très puissants (des courbes appelées "courbes elliptiques", qui ressemblent à des boucles de labyrinthes) pour montrer qu'on peut générer ces nombres à l'infini. Ils ont même trouvé des exemples concrets, comme :

$A = 8$
$B = 312/529$
$C = 495/529$

Ces trois nombres, bien que bizarres, respectent parfaitement les sept règles magiques.

🚫 Le Mur des Nombres Entiers : Zéro Chance

C'est ici que l'histoire devient dramatique. Les mathématiciens se sont demandé : "Et si on n'utilisait que des nombres entiers (1, 2, 3, 4...) ? Pas de fractions, juste des nombres entiers."

La conclusion : C'est impossible.

Il n'existe aucun triplet de nombres entiers positifs qui puisse satisfaire ces sept conditions.

L'analogie du Mur :
Imaginez que vous essayez de construire une tour avec des briques entières. Plus vous montez, plus la tour devient instable. Les auteurs ont prouvé que si vous essayez de forcer ces sept conditions avec des nombres entiers, vous vous heurtez à un mur mathématique infranchissable.

Comment ont-ils prouvé cela ?
Ils ont utilisé une technique de "pincement". Ils ont supposé qu'un tel triplet existait, puis ils ont calculé une valeur mystérieuse (appelée $M$ dans le texte).

D'un côté, ils ont montré que ce nombre $M$ devait être plus grand qu'un certain nombre entier.
De l'autre côté, ils ont montré qu'il devait être plus petit que ce même nombre entier plus une demi-unité.

Résultat ? $M$ se retrouve coincé dans un espace trop petit pour contenir un nombre entier. C'est comme essayer de faire passer un éléphant dans un trou de souris : ça ne peut pas marcher. C'est une contradiction logique, donc ces nombres entiers n'existent tout simplement pas.

🎯 En Résumé

Le but : Trouver trois nombres qui créent 7 carrés parfaits différents en les combinant.
Avec des fractions : C'est facile ! On peut en trouver une infinité. C'est comme avoir une boîte de Lego infinie.
Avec des nombres entiers : C'est impossible. La nature des nombres entiers empêche cette magie de se produire.

C'est une belle histoire de mathématiques où l'on découvre que parfois, en ajoutant un peu de "flexibilité" (les fractions), on ouvre des portes qui restent fermées à la rigidité des nombres entiers.

1. Problématique et Contexte

Le papier s'inscrit dans le domaine de la théorie des nombres, plus précisément dans l'étude des m-uplets diophantiens. Un $m$ -uplet diophantien est un ensemble de $m$ nombres distincts (entiers ou rationnels) tels que le produit de deux éléments distincts augmenté de 1 soit un carré parfait.

Les auteurs étudient un problème spécifique et plus restrictif : l'existence de triples $\{a, b, c\}$ de nombres rationnels non nuls et distincts tels que sept expressions soient simultanément des carrés parfaits :

$a + 1$
$b + 1$
$c + 1$
$ab + 1$
$ac + 1$
$bc + 1$
$abc + 1$

L'équivalence de ce problème est la suivante : trouver un quadruplet diophantien rationnel $\{1, a, b, c\}$ tel que le produit de ses trois derniers éléments augmenté de 1 ($abc + 1$) soit également un carré. Les auteurs appellent ces triples des « triples diophantiens exotiques ».

L'objectif principal est de déterminer si de tels triples existent en nombre infini dans le domaine des rationnels et d'analyser leur existence dans le domaine des entiers positifs.

2. Méthodologie

Les auteurs adoptent une approche combinant recherche numérique, théorie des courbes elliptiques et analyse diophantienne classique.

A. Cas des nombres rationnels (Preuve du Théorème 1)

Recherche numérique et régularité : Les auteurs ont d'abord effectué une recherche numérique. Ils ont observé que pour une grande partie des triples trouvés, le quadruplet $\{1, a, b, c\}$ est régulier. Un triple $(a, b, c)$ est dit régulier si $r_3(a, b, c) = (a+b-c)^2 - 4(ab+1) = 0$ .
Formulation algébrique : Ils exploitent la symétrie du polynôme de régularité. En posant $a = r^2 - 1$ et $b = s^2 - 1$ (pour garantir que $a+1$ et $b+1$ sont des carrés), ils imposent les conditions de régularité sur les ensembles $\{1, ab, c\}$ et $\{1, a, b, c\}$ .
Réduction aux courbes elliptiques :
- L'analyse des équations conduit à deux cas principaux.
- Le premier cas mène à une courbe de genre 1 birationnellement équivalente à la courbe elliptique $E_1 : y^2 = x^3 - 7x - 6$ . Le rang de Mordell-Weil de $E_1$ sur $\mathbb{Q}$ étant nul, ce cas ne produit qu'un nombre fini de solutions.
- Le second cas mène à une courbe birationnellement équivalente à la courbe elliptique $E_2 : y^2 = x^3 - 111x + 450$ .
Génération de solutions : Le groupe de Mordell-Weil de $E_2$ sur $\mathbb{Q}$ possède un point d'ordre infini (le point $[3, -12]$ ). Cela permet de générer une infinité de points rationnels sur la courbe, qui se transforment en une infinité de triples exotiques distincts via des formules explicites reliant les coordonnées $(x, y)$ de la courbe aux paramètres $r, s, c$ .

B. Cas des nombres entiers (Preuve du Théorème 2)

Pour les entiers positifs, les auteurs procèdent par l'absurde :

Hypothèse de contradiction : Ils supposent l'existence d'un triple d'entiers positifs $\{a, b, c\}$ vérifiant les conditions.
Ordre et bornes : Sans perte de généralité, on suppose $3 \le a < b < c$ . Des résultats antérieurs sur les quadruplets diophantiens entiers impliquent que $c > 4ab$.
Construction d'un entier intermédiaire : Ils définissent un entier $M = 2r(zu - st) $, où$ r, s, t, z, u$ sont les racines carrées des expressions $ab+1, ac+1, bc+1, c+1, abc+1$.
Encadrement serré : En utilisant des inégalités basées sur la croissance des termes ($c > 4ab$), ils établissent que :
$(a-1)(b-1) < M < (a-1)(b-1) + \frac{1}{2}$
Contradiction : Puisque $M$ est un entier, il ne peut pas se situer strictement entre un entier $K$ et $K + 0,5$ . Cette contradiction prouve l'impossibilité de l'existence de tels triples entiers.

3. Résultats Clés

Le papier établit deux théorèmes fondamentaux :

Théorème 1 (Existence infinie en rationnels) : Il existe une infinité de triples rationnels exotiques $\{a, b, c\}$ . Les auteurs fournissent des formules paramétriques basées sur les points rationnels de la courbe elliptique $E_2$ pour générer ces triples. Ils donnent plusieurs exemples explicites de tels triples (par exemple, $\{8, 312/529, 495/529\}$ ).
Théorème 2 (Non-existence en entiers) : Il n'existe aucun triple d'entiers positifs distincts $\{a, b, c\}$ tel que les sept expressions mentionnées soient des carrés parfaits.

4. Contributions et Significativité

Résolution d'un problème ouvert : Ce travail répond à une question ouverte concernant l'existence de triples rationnels satisfaisant cette condition de sept carrés, démontrant qu'ils sont non seulement possibles mais infinis.
Distinction Entier/Rationnel : Il met en lumière une différence fondamentale entre les structures diophantiennes sur $\mathbb{Q}$ et sur $\mathbb{Z}$ . Alors que les contraintes sont suffisamment souples pour permettre une infinité de solutions rationnelles (via la géométrie des courbes elliptiques), elles deviennent trop rigides pour les entiers, conduisant à une impossibilité totale.
Méthodologie hybride : L'article combine efficacement la recherche expérimentale (pour identifier la régularité des solutions), la théorie des courbes elliptiques (pour la construction de solutions infinies) et l'analyse diophantienne classique (pour la preuve de non-existence entière).
Collaboration IA : Les auteurs mentionnent l'utilisation de l'assistant IA « Cantab Pi » pour aider à trouver la preuve du Théorème 2, soulignant l'émergence de l'IA comme outil d'assistance dans la recherche mathématique pure.

En conclusion, ce papier enrichit la théorie des tuples diophantiens en classifiant complètement l'existence de triples « exotiques » : infiniment nombreux dans le domaine rationnel, mais inexistants dans le domaine des entiers positifs.