🔢 mathematics

On a Diophantine Equation with Jacobsthal and Fibonacci Numbers

Cet article prouve que le seul nombre de Jacobsthal exprimable comme le produit de trois nombres de Fibonacci distincts $F_k, F_l, F_m$ avec $2 < k < l < m$ est $J_{12} = F_5 F_7 F_8$ , un résultat établi à l'aide de formes linéaires de logarithmes.

Auteurs originaux : Daeyeoul Kim, Zekiye Pinar Cihan, Zeynep Demirkol Ozkaya, Ilker Inam

Publié 2026-07-24

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Daeyeoul Kim, Zekiye Pinar Cihan, Zeynep Demirkol Ozkaya, Ilker Inam

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 : Quand les Suites Entrent en Collision

Imaginez un monde où les nombres ne sont pas seulement des outils pour compter votre argent de poche ou calculer le score dans un jeu vidéo, mais des personnages à part entière, chacun doté d'une personnalité unique et d'un ensemble strict de règles pour sa croissance. Dans la vaste et silencieuse bibliothèque des mathématiques, il existe deux célèbres familles de nombres qui aiment suivre une recette simple pour créer le membre suivant de leur lignée. La première famille est celle des nombres de Fibonacci. Ils commencent par 0 et 1, et chaque nouveau membre est simplement la somme de ses deux parents précédents (0, 1, 1, 2, 3, 5, 8, 13...). Ils sont les enfants préférés du nombre d'or, apparaissant dans les tournesols, les coquillages et les galaxies spirales. La seconde famille est celle des nombres de Jacobsthal. Ils sont un peu plus énergiques ; ils commencent également par 0 et 1, mais leur recette est différente : ils prennent le nombre précédent, le doublent, et ajoutent celui qui le précède (0, 1, 1, 3, 5, 11, 21...).

Les mathématiciens étudient ces familles depuis des siècles, posant des questions telles que : « Un nombre de Fibonacci peut-il être un carré parfait ? » ou « Ces deux familles se rencontrent-elles jamais ? ». Habituellement, ces familles de nombres marchent au son de leur propre tambour, se chevauchant rarement de manière surprenante. Mais parfois, elles entrent en collision. La question abordée dans cet article est un peu comme un défi culinaire : si vous prenez trois membres de la famille de Fibonacci et que vous les multipliez entre eux, le résultat peut-il être exactement égal à un seul membre de la famille de Jacobsthal ? C'est une recherche d'une coïncidence très spécifique, très rare, dans l'océan infini des nombres.

Une Correspondance sur Un Million

Dans cet article, les auteurs, DaeYeoul Kim et son équipe, se sont donné pour mission de résoudre ce puzzle spécifique. Ils voulaient trouver chaque instance possible où le produit de trois nombres de Fibonacci distincts est égal à un nombre de Jacobsthal. Pour ce faire, ils n'ont pas simplement deviné et vérifié ; ils ont utilisé une boîte à outils mathématique puissante appelée « formes linéaires de logarithmes ». Vous pouvez voir cela comme une règle mathématique ultra-précise qui mesure la distance entre les nombres avec une telle exactitude qu'elle peut vous dire si deux nombres sont assez proches pour être identiques, même s'ils sont astronomiquement grands.

L'équipe a commencé par établir une règle stricte : les trois nombres de Fibonacci devaient être différents et de taille croissante (appelons-les $F_k$ , $F_l$ et $F_m$ où $k < l < m$ ). Ils ont ensuite utilisé leur règle mathématique pour prouver que les nombres de cette équation ne pouvaient pas avoir n'importe quelle taille. Ils ont démontré que si une solution existait, les nombres impliqués ne pouvaient pas être infiniment grands ; ils devaient être plus petits qu'une limite spécifique, bien qu'énorme (environ $10^{42}$ ). C'était comme réduire la recherche d'une pièce de monnaie perdue de « n'importe où dans l'univers » à « quelque part dans cette ville spécifique ».

Une fois qu'ils ont obtenu cette plage massive mais finie, ils ont utilisé des algorithmes informatiques pour rétrécir encore davantage la zone de recherche, jusqu'à une taille gérable où ils pouvaient vérifier chaque possibilité à la main (ou plutôt, par ordinateur). Après tous ces calculs, ils ont découvert quelque chose de remarquable : il existe exactement une solution qui respecte les règles.

Le seul moment où cette équation magique fonctionne est lorsque vous prenez le 5ème, le 7ème et le 8ème nombres de Fibonacci et que vous les multipliez ensemble.

Le 5ème nombre de Fibonacci est 5.
Le 7ème nombre de Fibonacci est 13.
Le 8ème nombre de Fibonacci est 21.

Lorsque vous les multipliez ( $5 \times 13 \times 21$ ), vous obtenez 1365. Et devinez quoi ? Le 12ème nombre de Jacobsthal est aussi 1365.

L'article prouve avec une certitude absolue que c'est la seule fois que cela se produit pour trois nombres de Fibonacci distincts en ordre croissant. Il n'y a pas d'autres correspondances cachées qui attendent d'être trouvées. Les auteurs ont effectivement fermé le livre sur cette question spécifique, montrant que bien que les familles de Fibonacci et de Jacobsthal soient vastes et pleines de motifs, cette poignée de main tripartite particulière ne se produit qu'une seule fois dans l'histoire des nombres.

Résumé Technique : Sur une équation diophantienne avec les nombres de Jacobsthal et de Fibonacci

Énoncé du Problème
Cet article étudie l'équation diophantienne $F_k F_l F_m = J_n$ , où $F_n$ désigne le $n$ -ième nombre de Fibonacci et $J_n$ le $n$ -ième nombre de Jacobsthal. Les auteurs cherchent à identifier toutes les solutions entières positives $(k, l, m, n)$ satisfaisant la condition $2 < k < l < m$ . L'étude se concentre sur l'interaction multiplicative entre deux suites récurrentes distinctes : la suite de Fibonacci, définie par $F_{n+2} = F_{n+1} + F_n$ , et la suite de Jacobsthal, définie par $J_{n+2} = 2J_{n+1} + J_n$ .

Méthodologie
La preuve emploie des techniques impliquant des formes linéaires de logarithmes de nombres algébriques, utilisant spécifiquement le théorème de Matveev pour établir des bornes supérieures sur les variables. La méthodologie progresse à travers les étapes suivantes :

Formules de Binet et Inégalités : Les auteurs expriment les nombres de Fibonacci et de Jacobsthal en utilisant leurs formules de Binet respectives. En substituant ces formules dans l'équation principale, ils dérivent des inégalités reliant la somme des indices $k+l+m$ à l'indice $n$ . Plus précisément, ils établissent que $n$ est approximativement proportionnel à $(k+l+m) \frac{\log \alpha}{\log 2}$ , où $\alpha = \frac{1+\sqrt{5}}{2}$ .
Construction de Formes Linéaires : L'équation est réarrangée pour isoler une forme linéaire en logarithmes, notée $\Lambda$ . Les auteurs construisent trois formes linéaires distinctes ( $\Lambda_1, \Lambda_2, \Lambda_3$ ) en fixant différents sous-ensembles de variables (d'abord $k$ , puis $k$ et $l$ , puis les trois) et en divisant l'équation réarrangée par les termes dominants.
Application du Théorème de Matveev : Pour chaque forme linéaire, les auteurs vérifient que la forme est non nulle (en utilisant les automorphismes de Galois et la comparaison des parties rationnelles/irrationnelles dans $\mathbb{Q}(\sqrt{5})$ ). Ils appliquent ensuite le théorème de la borne inférieure de Matveev pour obtenir une inégalité de la forme $\log |\Lambda| > -C(1 + \log B)$ , où $B$ est une borne sur les exposants.
Dérivation de la Borne Supérieure : En comparant la borne inférieure de Matveev avec la borne supérieure dérivée de la structure de l'équation originale (qui implique des termes tels que $\alpha^{-2k}$ ), les auteurs dérivent une première borne supérieure massive pour la variable $m$ , spécifiquement $m < 5,93 \times 10^{42}$ .
Réduction des Bornes : Reconnaissant que la borne initiale est informatiquement intraitable, les auteurs appliquent le Lemme 3.3 (un résultat lié aux fractions continues et à la distance à l'entier le plus proche) pour réduire les bornes. En analysant le développement en fraction continue de $\tau = \frac{\log 2}{\log \alpha}$ et en utilisant des outils computationnels (SageMath et Mathematica), ils réduisent de manière itérative les bornes de $k$ , $l$ et $m$ à des tailles gérables ( $k \le 110$ , $l \le 114$ , $m \le 236$ ).

Résultats Clés
L'article établit son théorème principal :

Il existe exactement une solution non triviale à l'équation diophantienne $F_k F_l F_m = J_n$ sous la contrainte $2 < k < l < m$ .
L'unique solution est $(k, l, m, n) = (5, 7, 8, 12)$ .
Cette solution correspond à l'identité : $F_5 F_7 F_8 = 5 \cdot 13 \cdot 21 = 1365 = J_{12}$ .

Signification et Contexte
Les auteurs positionnent ce travail dans le contexte d'études récentes sur les relations multiplicatives entre les suites récurrentes. Ils citent des travaux antérieurs ayant identifié les nombres de Tribonacci comme produits de deux nombres de Fibonacci, ainsi que les nombres de Fibonacci comme produits de deux nombres de Jacobsthal. La signification de cet article réside dans l'extension de ces investigations à une équation plus complexe impliquant trois facteurs de Fibonacci. Les auteurs affirment que la compréhension de telles relations multiplicatives offre un aperçu de la « rigidité arithmétique et de la structure de coïncidence » de séquences récurrentes distinctes. L'article ne propose pas de nouvelles applications ou de directions expérimentales futures, mais se concentre strictement sur la résolution complète de l'équation diophantienne spécifique présentée.

La Grande Chasse aux Nombres : Quand les Suites Entrent en Collision

Une Correspondance sur Un Million

Articles similaires