A comment on the equation $n!!=a_1!!\cdots a_t!!$

Cet article étudie l'équation $a_1!!\cdots a_t!!=n!!$ et démontre que, dans certains cas particuliers, la conjecture abc explicite implique qu'elle ne possède qu'un nombre fini de solutions non triviales.

L'essentiel

Le Grand Défi des "Double Factorielles"

Imaginez que les mathématiques sont un immense jeu de construction avec des blocs. Habituellement, on utilise des blocs standards : les factorielles (notées $n!$), qui sont le produit de tous les nombres jusqu'à $n$ (par exemple, $5! = 5 \times 4 \times 3 \times 2 \times 1$).

Il existe une vieille énigme célèbre : peut-on empiler plusieurs tours de blocs standards pour reconstruire exactement une autre tour plus grande ? Par exemple, est-ce que $7! \times 3! \times 3! \times 2!$ peut égaler exactement $9!$ ? La réponse est oui, mais les mathématiciens se demandent si ce genre de "coïncidence" est rare ou s'il y en a une infinité.

Dans ce nouveau papier, l'auteur, Saša Novaković, ne joue pas avec les blocs standards, mais avec une version spéciale appelée double factorielle (notée $n!!$).

• Si le nombre est pair (comme 6), on multiplie seulement les pairs : $6!! = 6 \times 4 \times 2$.
• Si le nombre est impair (comme 5), on multiplie seulement les impairs : $5!! = 5 \times 3 \times 1$.

L'équation étudiée est donc : Peut-on assembler plusieurs tours de "double factorielles" pour former une grande tour de "double factorielle" ?
$$a_1!! \times a_2!! \times \dots \times a_t!! = n!!$$

Le Problème des Solutions "Triviales"

Avant de chercher des trésors cachés, il faut nettoyer le terrain. En mathématiques, on appelle "solution triviale" une réponse qui est trop facile, un peu comme tricher au jeu.

• Si vous prenez une tour de taille $n$ et que vous enlevez juste deux blocs pour faire une tour de taille $n-2$, vous pouvez souvent trouver une solution "facile" en réarrangeant les pièces restantes.
• L'auteur montre qu'il existe une infinité de ces solutions "faciles" (triviales) selon la parité des nombres (pairs ou impairs).

Le vrai défi, c'est de trouver les solutions non triviales : ces rares cas où les nombres s'assemblent d'une manière complexe et surprenante, sans tricher.

L'Arme Secrète : La Conjecture "abc"

Pour prouver qu'il n'y a qu'un nombre fini de ces solutions "surprenantes", l'auteur utilise une arme mathématique très puissante appelée la Conjecture abc.

Imaginez la Conjecture abc comme un gardien de la nature qui impose une règle stricte : "Si vous combinez trois nombres pour en faire un quatrième, les facteurs premiers (les briques de base indivisibles) de ces nombres doivent être assez nombreux et gros."

En gros, cette conjecture dit que les nombres ne peuvent pas se multiplier et s'additionner de manière trop "propre" ou trop "compacte" sans laisser de traces. Si une équation est trop "propre", le gardien dit : "Stop, c'est impossible pour des nombres très grands !"

L'auteur utilise une version explicite de cette conjecture (une version avec des chiffres précis) pour démontrer deux choses principales :

1. Cas 1 : Tous les petits nombres sont pairs.
   Si tous les blocs de départ ($a_2, \dots, a_t$) sont pairs, alors il n'y a qu'un nombre fini de solutions "surprenantes". Le gardien de la nature (la conjecture abc) empêche les nombres de devenir infiniment grands tout en restant compatibles.

2. Cas 2 : Le premier nombre est impair, les autres pairs.
   C'est un peu plus compliqué. L'auteur montre que même ici, il n'y a qu'un nombre fini de solutions, sauf dans des cas très spécifiques où les nombres sont petits ou suivent un motif très particulier. Il donne même des bornes précises : si les nombres dépassent une certaine taille, l'équation ne peut plus fonctionner.

L'Analogie de la "Chasse aux Primes"

Pour comprendre la preuve, imaginez que chaque nombre est une forêt remplie d'arbres (les nombres premiers).

• Quand on multiplie des nombres, on mélange les forêts.
• L'auteur utilise un théorème (d'Érdős) qui dit : "Si vous prenez une longue suite de nombres consécutifs qui ne sont pas premiers, il y a forcément un arbre très grand et rare caché quelque part."
• En utilisant la conjecture abc, il montre que si l'équation avait une solution avec des nombres gigantesques, il faudrait un arbre (un nombre premier) si énorme qu'il briserait les règles du jeu. Donc, les nombres doivent rester "petits".

En Résumé

Ce papier est comme un détective qui enquête sur un crime mathématique : "Qui a volé l'équation pour la rendre infinie ?"

• Le verdict : Grâce à la conjecture abc (le gardien de la nature), le détective conclut que le crime n'a été commis qu'un nombre fini de fois.
• La conclusion : Il existe peut-être quelques solutions bizarres et surprenantes (comme $16!! = 14!! \times 5!! \times 2!!$), mais on ne les trouvera pas à l'infini. Si vous cherchez des solutions avec des nombres énormes, vous ne trouverez rien.

C'est une preuve élégante qui dit : "La nature a ses limites, même dans le monde des nombres factoriels."

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres, plus précisément dans l'étude des équations diophantiennes impliquant des factorielles et des double-factorielles.

• Équation de référence : Le problème classique consiste à déterminer si l'équation $\prod_{i=1}^t a_i! = n!$ possède un nombre fini de solutions non triviales (où $n > a_1 \ge \dots \ge a_t \ge 2$). Des travaux antérieurs (Erdős, Graham, Luca, Nair, Shorey) ont montré que sous l'hypothèse de la conjecture $abc$ (classique ou explicite de Baker), le nombre de solutions non triviales est fini.
• Objectif de l'article : L'auteur étudie une variante de cette équation utilisant la double-factorielle ($m!!$), définie comme le produit des entiers de même parité jusqu'à $m$ :
  $$\prod_{i=1}^t a_i!! = n!!$$
  avec les contraintes $n > a_1 \ge \dots \ge a_t \ge 3$ et $t > 1$.
• Cas étudiés : L'article se concentre sur le cas où les termes $a_2, \dots, a_t$ sont pairs. Le cas où tous les $a_i$ sont impairs a déjà été traité par Nair et Shorey. L'auteur distingue deux sous-cas pour $a_1$ :
  1. $a_1$ est pair ($r=0$).
  2. $a_1$ est impair ($r=1$).

2. Méthodologie

La démonstration repose sur une combinaison d'outils de théorie analytique des nombres et d'estimations combinatoires, le tout conditionné par une hypothèse forte.

• Hypothèse fondamentale : L'auteur utilise la conjecture $abc$ explicite de Baker (sous la forme $c < N(abc)^{7/4}$, où $N(k)$ est le radical de $k$). Cette hypothèse permet de borner les solutions d'équations diophantiennes en reliant la taille des termes à leurs facteurs premiers.
• Transformation de l'équation :
  • Pour $a_1$ pair, l'équation est réécrite en termes de factorielles et de produits d'entiers consécutifs notés $\Delta(m, k) = m(m+1)\dots(m+k-1)$.
  • Pour $a_1$ impair, une transformation similaire est effectuée, aboutissant à une équation impliquant $\Delta(x_1, l_1)$ et $\Delta(x_2, l_2)$.
• Analyse des facteurs premiers :
  • L'auteur utilise des résultats d'Erdős sur la plus grande facteur premier $P(\Delta(x, k))$ d'un produit d'entiers consécutifs. Si les termes sont composés, $P(\Delta(x, k))$ est grand par rapport à la longueur du produit.
  • Le lemme clé (Théorème 2.4, basé sur Nair et Shorey) stipule que pour $x > 4k$ (sauf pour un ensemble fini d'exceptions $T$), $P(\Delta(x, k)) > 4.42k$.
• Application de la conjecture $abc$ :
  • L'auteur applique la conjecture $abc$ à des paires d'entiers dérivés des termes de l'équation (par exemple, en considérant $m+j_1$ et $m+j_2$).
  • Cela permet d'établir des inégalités liant la taille des variables ($a_i, n$) aux paramètres de longueur ($k, l_1$) et aux logarithmes des variables.
• Gestion des solutions triviales :
  • L'article définit rigoureusement ce qu'est une solution "triviale" dans ce contexte (souvent liée à des relations linéaires fixes comme $n - a_1 = 2$ ou des constructions spécifiques lorsque $a_1$ est impair). L'objectif est de prouver la finitude des solutions non triviales.

3. Résultats Principaux

L'article établit deux théorèmes majeurs sous l'hypothèse de la conjecture $abc$ explicite :

Théorème 1.1 (Cas $a_1$ pair) :
Si $r=0$ (c'est-à-dire que tous les $a_i$ sont pairs), alors l'équation $\prod a_i!! = n!!$ n'a qu'un nombre fini de solutions non triviales.

• Preuve : En montrant que le paramètre $a_2$ (et par extension les autres) est borné. L'auteur démontre que si $a_2$ était arbitrairement grand, cela violerait les bornes imposées par la conjecture $abc appliquée aux produits d'entiers consécutifs.

Théorème 1.2 (Cas $a_1$ impair) :
Si $a_1$ est impair et $a_2, \dots, a_t$ sont pairs, alors :

1. Si le produit $\Delta(x_1, l_1)$ ne contient aucun nombre premier (tous les termes sont composés), il n'y a qu'un nombre fini de solutions non triviales.
2. Si $\Delta(x_1, l_1)$ contient un nombre premier :
   • Si $x_1 > 4l_1$, il n'y a qu'un nombre fini de solutions (sauf pour un ensemble fini d'exceptions explicites).
   • Si $x_1 \le 4l_1$, alors $a_1$ est borné par une fonction de $l_1$ (et donc $a_1$ est borné si $l_1$ l'est).
   • Une inégalité explicite est donnée : $0.99 a_1 \le 4l_1 + 4.01 + \frac{2\log(5) + 2\log(l_1)}{\log(2)}$.

4. Contributions Clés et Signification

• Extension des résultats de Nair et Shorey : L'article complète les travaux antérieurs en traitant le cas mixte (un terme impair, les autres pairs) pour les double-factorielles, un cas qui n'avait pas été résolu de manière aussi complète.
• Finitude conditionnelle : Comme pour le cas des factorielles classiques, l'article confirme que la conjecture $abc (explicite)$ est un outil puissant pour résoudre ces équations, prouvant la finitude des solutions non triviales là où les méthodes élémentaires échouent.
• Analyse des solutions triviales : L'article apporte une clarification importante sur la nature des solutions triviales dans le contexte des double-factorielles, distinguant soigneusement les cas où $n-a_1$ est fixe ou non, et montrant que l'existence de solutions triviales infinies ne contredit pas la finitude des solutions non triviales.
• Limites méthodologiques : L'auteur note que les méthodes utilisées (basées sur la structure des produits d'entiers consécutifs et la conjecture $abc$) semblent difficilement applicables aux cas où $2 \le r \le t-2$ (plus d'un terme impair) ou lorsque le dernier terme est impair, en raison de la difficulté à contrôler le plus grand facteur premier dans ces configurations.

Conclusion

Ce travail constitue une avancée significative dans la compréhension des équations diophantiennes impliquant des double-factorielles. En s'appuyant sur la conjecture $abc$ explicite, Saša Novaković démontre que, malgré la complexité de la structure multiplicative des double-factorielles, l'ensemble des solutions non triviales est fini dans les cas étudiés (tous pairs ou un impair suivi de pairs). Ces résultats renforcent la validité de la conjecture $abc$ comme outil central pour l'étude des équations de type factorielle.