Inverses of Fibonacci and Lucas Numbers via Rational Indices

Resumen Técnico: Inversos de los Números de Fibonacci y Lucas mediante Índices Racionales

Planteamiento del Problema
El artículo aborda la extensión de las sucesiones clásicas de Fibonacci ($F_n$) y Lucas ($L_n$) a índices racionales $X \in \mathbb{Q}_{>0}$. Mientras que el trabajo previo de Uludağ y Gökmen (2022) estableció que los números de Fibonacci con índice racional ($F_X$) pueden expresarse utilizando la función "codenominador" $F$, y que existen infinitas representaciones de este tipo, las propiedades estructurales específicas, las fórmulas explícitas para índices racionales arbitrarios y la existencia de inversos multiplicativos dentro de este marco aún no se habían caracterizado completamente. Los autores buscan derivar fórmulas explícitas generales para $F_X$, determinar las condiciones bajo las cuales $F_X$ coincide con los números de Lucas clásicos o se desvía de la secuencia de Fibonacci de índice entero, y probar la existencia de inversos multiplicativos para estos números.

Metodología
El estudio se basa en la función codenominador $F: \mathbb{Q}_{>0} \to \mathbb{Z}_{>0}$, definida recursivamente a través de la función conominador. La función $F$ se construye utilizando las propiedades de las fracciones continuas. Para un número racional $X = [n_0; n_1, \dots, n_k]$, los autores utilizan las relaciones recursivas de $F$ (específicamente $F(1+X) = F(1/X)$ y $F(\frac{1}{1+X}) = F(X) + F(1/X)$) para descomponer los índices racionales en componentes enteros.

La metodología procede en tres etapas:

1. Derivación de Fórmulas Explícitas: Los autores derivan expresiones de forma cerrada para $F_X$ donde la expansión de la fracción continua tiene longitudes de hasta seis. Estas fórmulas expresan $F_X$ como combinaciones lineales de los números clásicos de Fibonacci ($F_n$) y Lucas ($L_n$) con índices enteros determinados por los cocientes parciales de $X$.
2. Análisis de Coincidencia y Divergencia: Al comparar las fórmulas derivadas con las definiciones de las sucesiones clásicas, el artículo establece condiciones precisas bajo las cuales un valor con índice racional $F_X$ es igual a un número de Fibonacci clásico, un número de Lucas o un valor distinto.
3. Cómputo de Inversos: Los autores investigan los inversos de estos números con índice racional. Al computar $F_{X^{-1}}$ (donde $X^{-1}$ es el recíproco del índice) y utilizar identidades como la identidad de Cassini y las fórmulas de Binet, demuestran que el producto de un número con índice racional y su inverso produce una unidad (específicamente $\pm 1$ módulo un término de la secuencia relacionada), estableciendo así la existencia de inversos multiplicativos.

Contribuciones Clave y Resultados

• Fórmulas Explícitas Generales: El artículo proporciona fórmulas explícitas para $F_X$ para fracciones continuas de longitud 2 a 6 (Lemmas 3.1–3.4) y una fórmula recursiva general (Lemma 4.2) para una longitud $k$ arbitraria. Por ejemplo, para $X = [n_0; n_1]$, $F_X = F_{n_0}F_{n_1} + F_{n_0-1}F_{n_1+1}$.
• Caracterización de Valores:
  • Coincidencia con las Sucesiones Clásicas: El artículo prueba que $F_X$ coincide con un número de Fibonacci clásico $F_m$ solo bajo condiciones específicas (por ejemplo, si la longitud de la fracción continua $k=1$ y $n_0 \in \{1, 2\}$, o si $k=2$ y $n_0=1$ con restricciones específicas sobre $n_1$).
  • Coincidencia con los Números de Lucas: Se muestra que si $X = [3; n]$, entonces $F_X = L_{n+1}$. Del mismo modo, $F([2; 1, n]) = L_{n+1}$.
  • Divergencia: El Corolario 6.1 establece que para $k \ge 3$, o para $k=1$ con $n_0 \ge 3$ (excluyendo el caso de Lucas), $F_X$ es distinto de la secuencia clásica de Fibonacci.
• Existencia de Inversos Multiplicativos: El resultado central es la prueba de que cada número de Fibonacci y de Lucas posee un inverso multiplicativo dentro del marco de los índices racionales.
  • Para $F_m = F([1; m])$, el inverso es $F_{m+2}$.
  • Para $F_m = F([2; m-2])$, el inverso es $L_{m-1}$.
  • Para $L_m = L([3; m-1])$, el inverso es $L_m + F_{m+1}$.
  • El artículo demuestra que $F_X \cdot F_{X^{-1}} \equiv \pm 1 \pmod{\text{término relacionado}}$, confirmando la propiedad de unidad.

Significancia
Los autores afirman que estos resultados extienden la perspectiva de índices racionales introducida por Uludağ y Gökmen al proporcionar un método sistemático para computar valores e inversos para índices racionales arbitrarios. El trabajo revela nuevas propiedades estructurales de las sucesiones relacionadas con Fibonacci y Lucas, específicamente la capacidad de definir y computar inversos multiplicativos para estos números a través de la función codenominador. El artículo sugiere que estos hallazgos abren vías para una mayor exploración en la teoría de números respecto a las propiedades aritméticas de las sucesiones bajo indexación racional, particularmente en el contexto de la aritmética modular y las fracciones continuas. Los autores no reclaman aplicaciones inmediatas fuera de la teoría de números teórica, sino que enfatizan el enriquecimiento de la comprensión algebraica de estas sucesiones clásicas.