🔢 mathematics

On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares

Cet article caractérise les nombres quadratiques carrés issus du produit de nombres triangulaires et identifie des paires d'intervalles d'entiers consécutifs ayant des sommes de carrés égales, tout en proposant une conjecture sur la couverture exhaustive de ces carrés quadratiques par des produits spécifiques de nombres triangulaires carrés.

Auteurs originaux : Vladimir Gurvich, Mariya Naumova

Publié 2026-02-20

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Vladimir Gurvich, Mariya Naumova

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 Grand Jeu des Nombres Triangulaires et des Carrés

Imaginez que vous avez deux types de pièces de monnaie magiques :

Les pièces triangulaires : Elles s'empilent pour former un triangle (1, 3, 6, 10, 15...).
Les pièces carrées : Elles s'empilent pour former un carré parfait (1, 4, 9, 16...).

Depuis 1778, un génie nommé Euler savait exactement quelles pièces triangulaires étaient aussi des carrés parfaits (comme le nombre 36, qui est à la fois un triangle et un carré). C'est comme trouver une pièce qui est à la fois ronde et carrée !

Mais les auteurs de ce papier, Vladimir Gurvich et Mariya Naumova, se sont demandé : "Et si on prenait deux nombres triangulaires différents et qu'on les multipliait ? Est-ce que leur produit peut aussi former un carré parfait ?"

C'est un peu comme si vous preniez deux tas de bonbons de formes différentes, et que, par magie, quand vous les mélangez, ils forment un tas parfaitement carré.

🔍 La Chasse aux Paires Magiques

Les auteurs ont découvert une famille infinie de ces paires magiques. Ils ont trouvé une recette (une formule mathématique) pour générer ces couples de nombres.

Imaginez que vous avez une machine à sous mathématique. Si vous mettez un nombre $k$ dans la machine, elle vous sort un nombre $j$ spécial. Si vous multipliez les "triangles" associés à $k$ et à $j$ , le résultat est toujours un carré parfait.

Leur grande hypothèse (la conjecture) :
Ils pensent avoir trouvé toutes les recettes possibles. Ils disent : "Il n'y a pas d'autres paires magiques cachées dans l'univers, sauf celles qu'on a déjà trouvées ou celles qui sont des combinaisons simples des cas connus." C'est comme dire qu'ils ont trouvé toutes les clés qui ouvrent cette porte spécifique.

🧱 Le Puzzle des Bâtisseurs de Murs

Pour rendre ce problème encore plus concret, les auteurs le transforment en un problème de construction.

Imaginez deux équipes de maçons qui construisent des murs avec des briques. Chaque brique a une taille correspondant à un nombre entier (1, 2, 3...).

L'équipe A pose des briques de taille 1, 2, 3... jusqu'à une certaine taille.
L'équipe B pose des briques de taille $X$ , $X+1$ ... jusqu'à une autre taille.

Le défi est de trouver deux intervalles de briques (deux murs) qui ont exactement la même somme de surfaces.

Si les murs ont la même longueur, c'est facile (ils sont symétriques).
Mais le papier se concentre sur le cas où un mur est plus long que l'autre d'une seule brique.

Les auteurs montrent que leurs "paires magiques" de nombres (découvertes plus haut) sont la clé pour construire une infinité de ces murs égaux, même s'ils ont des longueurs différentes. C'est comme trouver un secret pour équilibrer une balance où un plateau a une pièce de plus que l'autre.

🧩 Le Lien Mystérieux

Le résultat le plus élégant du papier est le lien entre ces deux mondes :

Trouver des paires de nombres triangulaires dont le produit est un carré.
Trouver des intervalles d'entiers consécutifs dont la somme des carrés est égale.

Les auteurs prouvent que ces deux problèmes sont les deux faces d'une même médaille. Si vous résolvez l'un, vous résolvez l'autre. C'est comme si vous appreniez à parler une langue secrète qui vous permet de comprendre deux dialectes différents en même temps.

🚀 En Résumé

Ce papier est une aventure de détective mathématique :

Le mystère : Comment faire en sorte que des produits de nombres "triangulaires" deviennent des carrés parfaits ?
La découverte : Une famille infinie de solutions, générée par des formules précises.
L'application : Cela permet de construire des suites de nombres dont la somme des carrés est égale, même si les suites ont des longueurs différentes.
La conclusion : Les auteurs sont presque sûrs d'avoir tout trouvé. Ils disent : "Voici la liste complète des solutions, il n'y a rien d'autre."

C'est une démonstration que même dans les nombres les plus abstraits, il existe des structures cachées, des symétries et des harmonies qui relient des concepts qui semblaient totalement différents. C'est de la poésie mathématique !

1. Problématique et Contexte

L'article aborde deux problèmes fondamentaux en théorie des nombres qui s'avèrent être équivalents :

Le produit de nombres triangulaires : Identifier les paires d'entiers $(a, b)$ telles que le produit de deux nombres triangulaires, $T_a \cdot T_b = \frac{a(a+1)}{2} \cdot \frac{b(b+1)}{2}$ , soit un carré parfait. Cela revient à trouver des paires $(k, j)$ telles que le nombre quadratique $\Pi(k, j) = k(k+1)(k+j)(k+j+1)$ soit un carré parfait.
Sommets de carrés égaux : Trouver des paires d'intervalles d'entiers consécutifs ayant des sommes de carrés égales, où la différence de longueur entre les deux intervalles est exactement de 1.

Bien que le cas où les deux nombres triangulaires sont eux-mêmes des carrés (nombres triangulaires carrés) soit bien connu (caractérisé par Euler en 1778), les auteurs cherchent à identifier d'autres familles de solutions où les nombres triangulaires individuels ne sont pas des carrés, mais leur produit l'est.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse algébrique, la théorie des équations diophantiennes et la génération de polynômes.

Réduction à l'équation de Pell-Fermat : Le problème des nombres triangulaires carrés est lié aux triples pythagoriciens "presque isocèles" $(k, k+1, l)$ satisfaisant $k^2 + (k+1)^2 = l^2$ . Cette équation se ramène à l'équation de Pell $x^2 - 2y^2 = 1$ .
Construction de familles de polynômes : Pour le cas général $\Pi(k, j) = \text{carré}$ $Π (k, j) = carr \overset{e}{ˊ}$ , les auteurs définissent des polynômes $j_i(k)$ $j_{i} (k)$ de degré $i$ $i$ (où $i$ $i$ est pair ou impair). Ils cherchent des identités de la forme :
- Pour $i$ pair ( $i=2\ell$ ) : $k + j_{2\ell}(k) + 1 = k A^2 + 1 = (k+1) B^2$ .
- Pour $i$ impair ( $i=2\ell+1$ ) : $k + j_{2\ell+1}(k) + 1 = k(k+1) A^2 + 1 = B^2$ .
  Ici, $A$ et $B$ sont des polynômes à coefficients entiers positifs.
Démonstration par récurrence et vérification algébrique : Les auteurs définissent explicitement les coefficients des polynômes $A, B$ et $C$ (où $C$ représente le carré résultant) à l'aide de formules factorielles et binomiales. Ils vérifient que ces constructions satisfont les identités requises pour tout entier $k$ .
Lien avec les sommes de carrés : En posant $m=0$ (différence de longueur des intervalles égale à 1), le discriminant de l'équation quadratique décrivant les bornes des intervalles devient $D = 4\Pi(k, j)$ . Ainsi, si $\Pi(k, j)$ est un carré parfait, les bornes des intervalles sont des entiers.

3. Contributions Clés et Résultats

A. Caractérisation des paires de nombres triangulaires

Les auteurs ont démontré l'existence d'une famille infinie de paires $(k, j_i(k))$ telles que $\Pi(k, j_i(k))$ soit un carré parfait.

Théorème 1 et 2 : Pour chaque entier $i \ge 1$ , il existe un triplet unique de polynômes à coefficients entiers positifs satisfaisant les identités définissant les solutions.
Conjecture 1 et 2 : Les auteurs conjecturent que cette famille, combinée aux produits de deux nombres triangulaires carrés (cas triviaux), constitue l'ensemble complet des solutions. Autrement dit, il n'existe pas d'autres paires $(k, j)$ en dehors de celles générées par ces polynômes ou des cas "bi-pythagoriciens" (produits de deux nombres triangulaires carrés).
Tableau 2 : Ils fournissent une liste exhaustive des valeurs de $j_i(k)$ pour $k \le 8$ et $i \le 8$ , illustrant la croissance rapide des solutions.

B. Paires d'intervalles à sommes de carrés égales

En utilisant les résultats précédents, les auteurs résolvent le problème des intervalles d'entiers consécutifs avec des sommes de carrés égales, sous la contrainte que la différence de longueur des intervalles soit 1 ( $m=0$ ).

Théorème 5 : Le nombre quadratique $\Pi(k, j)$ est un carré parfait si et seulement si le discriminant de l'équation des bornes d'intervalles est un carré parfait.
Construction d'identités : Pour chaque solution $(k, j_i(k))$ $(k, j_{i} (k))$ , ils génèrent deux identités d'égalité de sommes de carrés.
- Exemple (pour $k=1, j=7$ ) : $20^2 + 21^2 = 29^2$ (triple pythagoricien).
- Exemple (pour $k=2, j=48$ ) : $108^2 + 109^2 + 110^2 = 133^2 + 134^2$ .
Équivalence : Ils montrent que la conjecture sur l'exhaustivité des paires de nombres triangulaires est équivalente à la conjecture sur l'exhaustivité des paires d'intervalles.

C. Généralisations et Cas Particuliers

Cas $j=0$ (Intervalle adjacent) : Ils analysent le cas où les intervalles sont adjacents ( $j=0$ ). Pour $m>0$ , ils fournissent des résultats partiels et des tableaux de solutions rationnelles pour $m, k \le 100$ , montrant que les solutions entières sont rares.
Généralisation $s$ -vecteurs : Ils mentionnent brièvement la généralisation du problème au produit de $s$ nombres triangulaires, notant que pour $s \ge 2$ , des solutions de type "produit carré" et "2 fois produit carré" coexistent, contrairement au cas $s=1$ .

4. Signification et Impact

Unification de problèmes : L'article établit un lien profond et inattendu entre la théorie des nombres triangulaires carrés, les triples pythagoriciens presque isocèles et les problèmes de sommes de carrés consécutifs.
Nouvelles familles de solutions : Au-delà des solutions connues (produits de deux carrés), l'article découvre et caractérise une nouvelle famille infinie de solutions basées sur des polynômes de degré croissant.
Conjecture de complétude : La proposition selon laquelle ces familles sont exhaustives est une contribution majeure. Si prouvée, elle clôturerait la recherche de telles paires, limitant l'espace de recherche à ces structures algébriques spécifiques.
Outils computationnels : Les tableaux fournis (Tableaux 2, 3, 4, 5) offrent une base de données précieuse pour les recherches futures en théorie des nombres et en combinatoire.

En résumé, cet article propose une caractérisation algébrique robuste d'une classe de problèmes diophantiens, reliant des concepts historiques (Euler, Pythagore) à des structures polynomiales modernes, tout en formulant des conjectures fortes sur l'exhaustivité de ces solutions.