On a Diophantine Equation with Jacobsthal and Fibonacci Numbers

Resumen Técnico: Sobre una ecuación diofántica con números de Jacobsthal y Fibonacci

Planteamiento del problema
Este artículo investiga la ecuación diofántica $F_k F_l F_m = J_n$, donde $F_n$ denota el $n$-ésimo número de Fibonacci y $J_n$ denota el $n$-ésimo número de Jacobsthal. Los autores buscan identificar todas las soluciones de enteros positivos $(k, l, m, n)$ que satisfacen la condición $2 < k < l < m$. El estudio se centra en la interacción multiplicativa entre dos secuencias recursivas distintas: la secuencia de Fibonacci, definida por $F_{n+2} = F_{n+1} + F_n$, y la secuencia de Jacobsthal, definida por $J_{n+2} = 2J_{n+1} + J_n$.

Metodología
La demostración emplea técnicas que involucran formas lineales en logaritmos de números algebraicos, utilizando específicamente el teorema de Matveev para establecer cotas superiores de las variables. La metodología procede a través de las siguientes etapas:

1. Fórmulas de Binet e desigualdades: Los autores expresan los números de Fibonacci y de Jacobsthal utilizando sus respectivas fórmulas de Binet. Al sustituir estos en la ecuación principal, derivan desigualdades que relacionan la suma de los índices $k+l+m$ con el índice $n$. Específicamente, establecen que $n$ es aproximadamente proporcional a $(k+l+m) \frac{\log \alpha}{\log 2}$, donde $\alpha = \frac{1+\sqrt{5}}{2}$.
2. Construcción de formas lineales: La ecuación se reordena para aislar una forma lineal en logaritmos, denotada como $\Lambda$. Los autores construyen tres formas lineales distintas ($\Lambda_1, \Lambda_2, \Lambda_3$) fijando diferentes subconjuntos de las variables (primero $k$, luego $k$ y $l$, luego las tres) y dividiendo la ecuación reordenada por los términos dominantes.
3. Aplicación del teorema de Matveev: Para cada forma lineal, los autores verifican que la forma es distinta de cero (utilizando automorfismos de Galois y comparaciones de partes racionales/irracionales en $\mathbb{Q}(\sqrt{5})$). Luego aplican el teorema de cota inferior de Matveev para obtener una desigualdad de la forma $\log |\Lambda| > -C(1 + \log B)$, donde $B$ es una cota sobre los exponentes.
4. Derivación de la cota superior: Al comparar la cota inferior de Matveev con la cota superior derivada de la estructura de la ecuación original (que involucra términos como $\alpha^{-2k}$), los autores derivan una cota superior inicial masiva para la variable $m$, específicamente $m < 5.93 \times 10^{42}$.
5. Reducción de cotas: Reconociendo que la cota inicial es computacionalmente intratable, los autores aplican el Lema 3.3 (un resultado relacionado con las fracciones continuas y la distancia al entero más cercano) para reducir las cotas. Al analizar la expansión de la fracción continua de $\tau = \frac{\log 2}{\log \alpha}$ y utilizando herramientas computacionales (SageMath y Mathematica), reducen iterativamente las cotas para $k$, $l$ y $m$ a tamaños manejables ($k \le 110$, $l \le 114$, $m \le 236$).

Resultados clave
El artículo establece su teorema principal:

• Existe exactamente una solución no trivial para la ecuación diofántica $F_k F_l F_m = J_n$ bajo la restricción $2 < k < l < m$.
• La solución única es $(k, l, m, n) = (5, 7, 8, 12)$.
• Esta solución corresponde a la identidad: $F_5 F_7 F_8 = 5 \cdot 13 \cdot 21 = 1365 = J_{12}$.

Significado y contexto
Los autores posicionan este trabajo dentro del contexto de estudios recientes sobre relaciones multiplicativas entre secuencias recursivas. Citan trabajos previos que identificaron los números de Tribonacci como productos de dos números de Fibonacci, y los números de Fibonacci como productos de dos números de Jacobsthal. La importancia de este artículo radica en la extensión de estas investigaciones a una ecuación más compleja que involucra tres factores de Fibonacci. Los autores afirman que comprender tales relaciones multiplicativas proporciona una visión de la "rigidez aritmética y la estructura de coincidencia" de distintas secuencias recursivas. El artículo no propone nuevas aplicaciones o direcciones experimentales futuras, sino que se centra estrictamente en la resolución completa de la ecuación diofántica específica presentada.