🔢 mathematics

On a Diophantine Equation with Jacobsthal and Fibonacci Numbers

Dit artikel bewijst dat het enige Jacobsthal-getal dat uitgedrukt kan worden als het product van drie verschillende Fibonacci-getallen $F_k, F_l, F_m$ met $2 < k < l < m$ het getal $J_{12} = F_5 F_7 F_8$ is, een resultaat dat is vastgesteld met behulp van lineaire vormen in logaritmen.

Oorspronkelijke auteurs: Daeyeoul Kim, Zekiye Pinar Cihan, Zeynep Demirkol Ozkaya, Ilker Inam

Gepubliceerd 2026-07-24

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Daeyeoul Kim, Zekiye Pinar Cihan, Zeynep Demirkol Ozkaya, Ilker Inam

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grote Getaljacht: Wanneer Sequenties Botsen

Stel je een wereld voor waarin getallen niet alleen hulpmiddelen zijn om je zakgeld te tellen of de score in een videogame te berekenen, maar personages op zich, elk met een unieke persoonlijkheid en een strikte set regels voor hoe ze groeien. In de uitgestrekte, stille bibliotheek van de wiskunde zijn er twee beroemde getalfamilies die ervan houden om een eenvoudig recept te volgen om het volgende getal in hun lijn te creëren. De eerste familie is de Fibonacci-getallen. Ze beginnen met 0 en 1, en elk nieuw lid is simpelweg de som van de twee ouders die eraan voorafgingen (0, 1, 1, 2, 3, 5, 8, 13...). Het zijn de favoriete kinderen van de gulden snede, die verschijnen in zonnebloemen, schelpen en spiraalvormige sterrenstelsels. De tweede familie zijn de Jacobsthal-getallen. Zij zijn wat energieker; ze beginnen ook met 0 en 1, maar hun recept is anders: ze nemen het vorige getal, verdubbelen het, en tellen daar het getal vóór dat weer bij op (0, 1, 1, 3, 5, 11, 21...).

Wiskundigen bestuderen deze families al eeuwenlang en stellen vragen als: "Kan een Fibonacci-getal ooit een perfect kwadraat zijn?" of "Ontmoeten deze twee families elkaar ooit?" Meestal marcheren deze getalfamilies op hun eigen ritme en komen ze zelden op verrassende manieren samen. Maar soms botsen ze. De vraag die dit artikel aanpakt, is een beetje als een culinaire uitdaging: Als je drie leden uit de Fibonacci-familie neemt en ze met elkaar vermenigvuldigt, kan het resultaat dan ooit exact gelijk zijn aan een enkel lid van de Jacobsthal-familie? Het is een zoektocht naar een zeer specifieke, zeer zeldzame toevalligheid in de oneindige oceaan van getallen.

De Eén-op-een-miljoen Match

In dit artikel wilden de auteurs, DaeYeoul Kim en hun team, dit specifieke puzzelstuk oplossen. Ze wilden elke mogelijke instantie vinden waarbij het product van drie verschillende Fibonacci-getallen gelijk is aan een Jacobsthal-getal. Om dit te doen, gebruikten ze niet simpelweg gokken en controleren; ze gebruikten een krachtige wiskundige gereedschapskist genaamd "lineaire vormen in logaritmen". Je kunt dit zien als een superprecieze liniaal die de afstand tussen getallen zo nauwkeurig meet dat het kan vertellen of twee getallen ooit dicht genoeg bij elkaar liggen om hetzelfde te zijn, zelfs als ze astronomisch groot zijn.

Het team begon door een strikte regel op te stellen: de drie Fibonacci-getallen moesten verschillend zijn en in grootte toenemend (laten we ze $F_k$ , $F_l$ en $F_m$ noemen, waarbij $k < l < m$ ). Vervolgens gebruikten ze hun wiskundige liniaal om te bewijzen dat de getallen in deze vergelijking niet zomaar elke grootte konden hebben. Ze toonden aan dat als er een oplossing zou bestaan, de betrokken getallen niet oneindig groot konden zijn; ze moesten kleiner zijn dan een specifieke, zij het enorme, limiet (rond de $10^{42}$ ). Dit was als het verfijnen van een zoektocht naar een verloren munt van "overal in het universum" naar "ergens in deze specifieke stad".

Zodra ze deze enorme maar eindige reeks hadden, gebruikten ze computeralgoritmen om het zoekgebied nog verder te verkleinen, tot een beheersbare grootte waar ze elke mogelijkheid met de hand konden controleren (of liever gezegd, door een computer). Na alle berekeningen vonden ze iets opmerkelijks: er is precies één oplossing die aan de regels voldoet.

De enige keer dat deze magische vergelijking werkt, is wanneer je het 5e, 7e en 8e Fibonacci-getal met elkaar vermenigvuldigt.

Het 5e Fibonacci-getal is 5.
Het 7e Fibonacci-getal is 13.
Het 8e Fibonacci-getal is 21.

Wanneer je ze met elkaar vermenigvuldigt ( $5 \times 13 \times 21$ ), krijg je 1365. En raad eens? Het 12e Jacobsthal-getal is ook 1365.

Het paper bewijst met absolute zekerheid dat dit de enige keer is dat dit gebeurt voor drie verschillende Fibonacci-getallen in oplopende volgorde. Er zijn geen andere verborgen matches meer te vinden. De auteurs hebben dit specifieke vraagstuk effectief afgesloten door aan te tonen dat hoewel de Fibonacci- en Jacobsthal-families uitgestrekt zijn en vol patronen zitten, deze specifieke drievoudige handdruk slechts één keer voorkomt in de geschiedenis van de getallen.

Technische Samenvatting: Over een Diophantische vergelijking met Jacobsthal- en Fibonacci-getallen

Probleemstelling
Dit artikel onderzoekt de Diophantische vergelijking $F_k F_l F_m = J_n$ , waarbij $F_n$ het $n$ -de Fibonacci-getal voorstelt en $J_n$ het $n$ -de Jacobsthal-getal. De auteurs zoeken naar alle positieve gehele oplossingen $(k, l, m, n)$ die voldoen aan de voorwaarde $2 < k < l < m$ . De studie richt zich op de multiplicatieve wisselwerking tussen twee verschillende recursieve reeksen: de Fibonacci-reeks, gedefinieerd door $F_{n+2} = F_{n+1} + F_n$ , en de Jacobsthal-reeks, gedefinieerd door $J_{n+2} = 2J_{n+1} + J_n$ .

Methodologie
Het bewijs maakt gebruik van technieken die betrekking hebben op lineaire vormen van logaritmen van algebraïsche getallen, specifiek door gebruik te maken van Matveevs stelling om bovengrenzen op de variabelen vast te stellen. De methodologie verloopt via de volgende fasen:

Binet-formules en ongelijkheden: De auteurs drukken de Fibonacci- en Jacobsthal-getallen uit met behulp van hun respectieve Binet-formules. Door deze in de hoofvergelijking te substitueren, leiden zij ongelijkheden af die de som van de indices $k+l+m$ relateren aan de index $n$ . Specifiek stellen zij vast dat $n$ ongeveer proportioneel is aan $(k+l+m) \frac{\log \alpha}{\log 2}$ , waarbij $\alpha = \frac{1+\sqrt{5}}{2}$ .
Constructie van lineaire vormen: De vergelijking wordt geherstructureerd om een lineaire vorm in logaritmen te isoleren, aangeduid als $\Lambda$ . De auteurs construeren drie verschillende lineaire vormen ( $\Lambda_1, \Lambda_2, \Lambda_3$ ) door verschillende deelverzamelingen van de variabelen te fixeren (eerst $k$ , daarna $k$ en $l$ , en tot slot alle drie) en de geherstructureerde vergelijking te delen door dominante termen.
Toepassing van Matveevs stelling: Voor elke lineaire vorm verifiëren de auteurs dat de vorm niet nul is (met behulp van Galois-automorfismen en vergelijkingen tussen rationale en irrationale delen in $\mathbb{Q}(\sqrt{5})$ ). Vervolgens passen zij de ondergrensstelling van Matveev toe om een ongelijkheid te verkrijgen van de vorm $\log |\Lambda| > -C(1 + \log B)$ , waarbij $B$ een grens is op de exponenten.
Afleiding van de bovengrens: Door de ondergrens uit de stelling van Matveev te vergelijken met de bovengrens afgeleid uit de structuur van de oorspronkelijke vergelijking (die termen bevat zoals $\alpha^{-2k}$ ), leiden de auteurs een enorme initiële bovengrens af voor de variabele $m$ , specifiek $m < 5,93 \times 10^{42}$ .
Reductie van grenzen: In het besef dat de initiële grens computationeel onhandelbaar is, passen de auteurs Lemma 3.3 toe (een resultaat gerelateerd aan de breuken van continued fractions en de afstand tot het dichtstbijzijnde gehele getal) om de grenzen te reduceren. Door de continued fraction expansie van $\tau = \frac{\log 2}{\log \alpha}$ te analyseren en computationele hulpmiddelen (SageMath en Mathematica) te gebruiken, reduceren zij iteratief de grenzen voor $k$ , $l$ en $m$ naar beheersbare grootte ( $k \le 110$ , $l \le 114$ , $m \le 236$ ).

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdstelling vast:

Er is precies één niet-triviale oplossing voor de Diophantische vergelijking $F_k F_l F_m = J_n$ onder de beperking $2 < k < l < m$ .
De unieke oplossing is $(k, l, m, n) = (5, 7, 8, 12)$ .
Deze oplossing komt overeen met de identiteit: $F_5 F_7 F_8 = 5 \cdot 13 \cdot 21 = 1365 = J_{12}$ .

Betekenis en Context
De auteurs plaatsen dit werk binnen de context van recente studies naar multiplicatieve relaties tussen recursieve reeksen. Zij citeren eerdere werken die Tribonacci-getallen als producten van twee Fibonacci-getallen hebben geïdentificeerd, en Fibonacci-getallen als producten van twee Jacobsthal-getallen. De betekenis van dit artikel ligt in het uitbreiden van deze onderzoeken naar een complexere vergelijking die betrokken is bij drie Fibonacci-factoren. De auteurs stellen dat het begrijpen van dergelijke multiplicatieve relaties inzicht biedt in de "arithmetic rigidity and coincidence structure" van verschillende recursieve reeksen. Het artikel stelt geen nieuwe toepassingen of toekomstige experimentele richtingen voor, maar richt zich strikt op de volledige oplossing van de specifieke gepresenteerde Diophantische vergelijking.

De Grote Getaljacht: Wanneer Sequenties Botsen

De Eén-op-een-miljoen Match

Meer zoals dit