🔢 mathematics

Product of powers of distinct primes as sums of Fibonacci numbers

Cet article détermine toutes les paires de nombres premiers distincts $(q,p)$ avec $q\le \min\{1000,p\}$ pour lesquelles l'équation diophantienne $F_n+F_m=p^xq^y$ admet au moins deux solutions en entiers positifs.

Auteurs originaux : Herbert Batte, Florian Luca, Volker Ziegler

Publié 2026-02-23

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Herbert Batte, Florian Luca, Volker Ziegler

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

🕵️‍♂️ La Grande Chasse aux Nombres : Deux Suites, Une Équation

Imaginez deux familles de nombres qui grandissent très vite, comme des lianes dans une jungle :

La famille Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21... (Chaque nombre est la somme des deux précédents).
La famille Lucas : 2, 1, 3, 4, 7, 11, 18... (Une cousine très proche de la première).

Les auteurs de ce papier, Herbert Batte, Florian Luca et Volker Ziegler, se sont posé une question très précise, un peu comme un détective qui cherche des empreintes digitales spécifiques :

"Peut-on additionner deux nombres de la famille Fibonacci pour obtenir un nombre qui est le produit de deux puissances de nombres premiers ?"

En langage mathématique, ils cherchent des solutions à l'équation :
$F_n + F_m = p^x \cdot q^y$
Où $p$ et $q$ sont deux nombres premiers différents (comme 2, 3, 5, 7, 11...), et $x$ et $y$ sont des exposants.

🧩 L'Analogie du Puzzle

Imaginez que vous avez une boîte de Lego (les nombres Fibonacci). Vous prenez deux pièces, vous les collez ensemble (vous les additionnez), et vous obtenez un nouveau bloc.
La question est : Ce nouveau bloc peut-il être décomposé exactement en deux types de briques de base (les nombres premiers $p$ et $q$ ) ?

Par exemple, si vous prenez $F_5$ (qui vaut 5) et $F_3$ (qui vaut 2), vous obtenez $5+2=7$ . Le 7 est un nombre premier. C'est une solution simple.
Mais les auteurs cherchent des cas plus complexes où l'on peut trouver au moins deux façons différentes d'obtenir ce résultat avec les mêmes nombres premiers $p$ et $q$ . C'est comme si vous disiez : "Avec les briques rouges et bleues, je peux construire deux châteaux différents qui ont exactement le même nombre total de briques."

🏔️ Le Défi : Une Montagne de Calculs

Le problème, c'est que les nombres Fibonacci deviennent gigantesques très vite. $F_{100}$ est déjà énorme, et $F_{1000}$ est plus grand que le nombre d'atomes dans l'univers observable.
Essayer de vérifier chaque combinaison à la main est impossible. C'est comme chercher une aiguille dans une botte de foin, sauf que la botte de foin est aussi grande que la galaxie.

🛠️ Les Outils des Détectives Mathématiciens

Pour résoudre ce casse-tête, les auteurs ont utilisé une "boîte à outils" très sophistiquée :

La Formule de Binet (La Loupe) : C'est une formule magique qui permet de voir les nombres Fibonacci comme des puissances d'un nombre spécial (le nombre d'or, $\phi$ ). Cela transforme le problème de "somme de nombres entiers" en un problème de "logarithmes", beaucoup plus facile à manipuler pour les mathématiciens.
La Méthode de Baker (Le Radar) : Imaginez un radar ultra-sensible qui peut dire : "Si une solution existe, elle ne peut pas être plus grande que telle limite". Cela permet de réduire la zone de recherche de "l'infini" à une taille gérable par un ordinateur.
L'Algorithme LLL (Le Filtre) : C'est une technique informatique puissante qui permet de trier des millions de possibilités et de dire : "Non, cette combinaison est impossible, passez à la suivante". C'est comme un tamis qui laisse passer seulement les grains d'or et retient tout le sable.

🏆 La Révélation : Qui a gagné ?

Après des années de travail et des milliers d'heures de calcul sur des superordinateurs, les auteurs ont trouvé la réponse.

Ils ont cherché toutes les paires de nombres premiers $(p, q)$ (avec $q$ inférieur à 1000) qui permettent d'avoir au moins deux solutions différentes.

Le résultat est surprenant : il n'y a que 6 paires de nombres premiers qui fonctionnent !
Ces paires sont :

(3, 2)
(5, 2)
(7, 2)
(7, 3)
(17, 2)
(19, 2)

Pour toutes les autres paires de nombres premiers, il est impossible de trouver deux façons différentes d'additionner deux nombres de Fibonacci pour obtenir un produit de leurs puissances.

💡 Pourquoi est-ce important ?

Cela peut sembler être un jeu de curiosité, mais c'est fondamental pour comprendre la structure des nombres.

Cela nous dit que les nombres de Fibonacci sont très "spéciaux" et ne se mélangent pas facilement avec n'importe quelle combinaison de nombres premiers.
Cela prouve que l'univers des nombres est ordonné et prévisible, même là où il semble chaotique.

En résumé

Ces chercheurs ont utilisé des outils mathématiques de pointe (comme des lasers et des filtres ultra-perfectionnés) pour explorer une jungle de nombres infinis. Ils ont découvert que si l'on cherche des combinaisons particulières entre les nombres de Fibonacci et les nombres premiers, la nature est très stricte : seulement 6 couples de nombres premiers permettent de créer ce type de "miracle" mathématique à deux reprises.

C'est une victoire de la logique sur le chaos, prouvant que même dans l'infini, il existe des règles d'or très précises.

1. Problématique et Contexte

L'article s'intéresse à l'équation diophantienne suivante, où $F_n$ désigne le $n$ -ième nombre de Fibonacci (défini par $F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$ ) :

$F_n + F_m = p^x q^y$

Les variables sont des entiers non négatifs $n \ge m$ , $x$ et $y$ , avec $p$ et $q$ étant deux nombres premiers distincts fixes. L'objectif principal est de déterminer tous les couples de nombres premiers $(q, p)$ avec $q \le \min\{1000, p\}$ tels que cette équation admette au moins deux solutions distinctes en $(x, y)$ (et les $m, n$ correspondants) en entiers positifs.

Le travail s'inscrit dans la continuité d'études antérieures sur les sommes de nombres de Fibonacci égales à des puissances (notamment $F_n + F_m = 2^a$ traité par Bravo et Luca, et $F_n + F_m = y^a$ par Ziegler). Ici, l'accent est mis sur les produits de deux puissances de nombres premiers distincts.

2. Méthodologie

La résolution de ce problème repose sur une combinaison de techniques avancées de théorie des nombres et de calcul intensif :

Formule de Binet et Approximations : Utilisation de la formule de Binet ( $F_n = \frac{\alpha^n - \beta^n}{\sqrt{5}}$ ) pour transformer l'équation diophantienne en inégalités impliquant des formes linéaires en logarithmes.
Théorème de Matveev (Formes linéaires en logarithmes) : Application des bornes inférieures de Matveev pour les formes linéaires en logarithmes de nombres algébriques. Cela permet d'établir des bornes supérieures absolues (bien que très grandes initialement) sur les variables $n, m, x, y$ .
Réduction par Algorithmes LLL (Lenstra-Lenstra-Lovász) : Les bornes obtenues via Matveev sont trop grandes pour un traitement par force brute. Les auteurs utilisent l'algorithme LLL sur des réseaux (lattices) d'approximation pour réduire drastiquement ces bornes à des valeurs gérables (de l'ordre de quelques milliers).
Théorème du Diviseur Primitif (Carmichael) : Utilisation de ce théorème pour éliminer certaines configurations de $n$ et $m$ en étudiant les facteurs premiers des nombres de Fibonacci et de Lucas.
Recherche Computatoire Optimisée : Une fois les bornes réduites, des algorithmes informatiques (implémentés dans SageMath) sont utilisés pour vérifier exhaustivement les cas restants. Des techniques de filtrage basées sur le petit théorème de Fermat et des tests de primalité sont employées pour éviter la factorisation complète de nombres gigantesques.
Analyse de Cas Spécifiques : Le traitement diffère selon que $q=5$ ou $q \neq 5$ , et selon la parité de la différence $d = n-m$ .

3. Résultats Principaux

Le théorème principal (Théorème 1.1) établit que l'équation $F_n + F_m = p^x q^y$ admet au moins deux solutions distinctes en $(x, y)$ uniquement pour les couples de nombres premiers suivants (avec $q \le 1000$ et $p > q$ ) :

$S = \{(3, 2), (5, 2), (7, 2), (7, 3), (17, 2), (19, 2)\}$

Pour chaque couple, les sommes de deux nombres de Fibonacci qui se factorisent sous la forme $p^x q^y$ sont explicitement listées :

$(p, q) = (3, 2)$ : Les sommes incluent $F_4+F_4, F_5+F_1, \dots, F_{18}+F_6$ .
$(p, q) = (5, 2)$ : Les sommes incluent $F_5+F_5, F_6+F_3, F_{16}+F_7, F_{17}+F_4$ .
$(p, q) = (7, 2)$ : Les sommes incluent $F_7+F_1, F_{10}+F_1$ .
$(p, q) = (7, 3)$ : Les sommes incluent $F_7+F_6, F_8+F_0, F_{10}+F_6, F_{12}+F_4$ .
$(p, q) = (17, 2)$ : Les sommes incluent $F_8+F_7, F_9+F_0, F_9+F_9, F_{10}+F_7$ .
$(p, q) = (19, 2)$ : Les sommes incluent $F_{10}+F_8, F_{12}+F_6$ .

Le papier exclut systématiquement les cas triviaux où $n=2$ ou $m=2$ (car $F_1=F_2=1$ ) et les cas où $x=0$ ou $y=0$ .

4. Contributions Clés

Extension des résultats antérieurs : Généralisation des travaux de Ziegler (qui traitait $F_n + F_m = y^a$ ) au cas où le membre de droite est un produit de deux puissances de nombres premiers distincts.
Classification complète pour $q \le 1000$ : La preuve couvre exhaustivement tous les couples de premiers avec le plus petit premier inférieur ou égal à 1000, y compris le cas difficile où $q=5$ (qui nécessite une analyse de valuation 5-adique spécifique et des algorithmes de "lifting" basés sur la périodicité de Fibonacci modulo $5^k$ ).
Optimisation algorithmique : Développement de stratégies de recherche efficaces pour gérer la taille exponentielle des nombres de Fibonacci, permettant de traiter des bornes initiales astronomiques ( $n < 10^{352}$ ) jusqu'à des plages vérifiables par ordinateur ( $n < 250\,000$ ).

5. Signification et Impact

Ce travail contribue significativement à la théorie des équations diophantiennes exponentielles et à l'étude des propriétés multiplicatives des suites de récurrence linéaire. Il démontre la puissance de la méthode combinant les bornes de Baker (via Matveev) et la réduction de réseaux (LLL) pour résoudre des problèmes de type "Sommes de Fibonacci = Puissances".

La classification obtenue fournit une liste complète et finie des exceptions à la règle générale (qui stipule qu'une telle équation n'a généralement qu'une seule solution ou aucune), offrant ainsi une compréhension plus profonde de la structure arithmétique des sommes de nombres de Fibonacci. Les techniques développées, notamment pour le cas $q=5$ , pourraient être appliquées à d'autres problèmes similaires impliquant des puissances de 5 ou d'autres petits premiers dans des contextes de suites récurrentes.