Inverses of Fibonacci and Lucas Numbers via Rational Indices

Technische Samenvatting: Inversen van Fibonacci- en Lucasgetallen via Rationale Indices

Probleemstelling
Het artikel behandelt de uitbreiding van de klassieke Fibonacci- ($F_n$) en Lucas-sequenties ($L_n$) naar rationale indices $X \in \mathbb{Q}_{>0}$. Terwijl eerder werk door Uludağ en Gökmen (2022) vaststelde dat rationaal-geïndexeerde Fibonacci-getallen ($F_X$) kunnen worden uitgedrukt met behulp van de "codenominator"-functie $F$, en dat er oneindig veel dergelijke representaties bestaan, bleven de specifieke structurele eigenschappen, expliciete formules voor willekeurige rationale indices en het bestaan van multiplicatieve inversen binnen dit kader nog niet volledig gekarakteriseerd. De auteurs streven ernaar om algemene expliciete formules voor $F_X$ af te leiden, te bepalen onder welke voorwaarden $F_X$ samenvalt met klassieke Lucas-getallen of afwijkt van de met gehele indices bekende Fibonacci-sequentie, en het bestaan van multiplicatieve inversen voor deze getallen te bewijzen.

Methodologie
De studie steunt op de codenominator-functie $F: \mathbb{Q}_{>0} \to \mathbb{Z}_{>0}$, die recursief is gedefinieerd via de conumerator-functie. De functie $F$ wordt geconstrueerd met behulp van eigenschappen van doorlopende breuken. Voor een rationaal getal $X = [n_0; n_1, \dots, n_k]$ maken de auteurs gebruik van de recursieve relaties van $F$ (specifiek $F(1+X) = F(1/X)$ en $F(\frac{1}{1+X}) = F(X) + F(1/X)$) om rationale indices te deconstrueren naar gehele componenten.

De methodologie verloopt in drie stadia:

1. Afleiding van Expliciete Formules: De auteurs leiden gesloten vorm-expressies af voor $F_X$ waarbij de doorlopende breuk-expansie van lengtes tot zes heeft. Deze formules drukken $F_X$ uit als lineaire combinaties van klassieke Fibonacci- ($F_n$) en Lucas-getallen ($L_n$) met gehele indices die bepaald worden door de partiële breukgetallen van $X$.
2. Analyse van Samenval en Divergentie: Door de afgeleide formules te vergelijken met de definities van de klassieke sequenties, stelt het artikel precieze voorwaarden vast waaronder een rationaal-geïndexeerde waarde $F_X$ gelijk is aan een klassiek Fibonacci-getal, een Lucas-getal, of een afwijkende waarde.
3. Berekening van de Inverse: De auteurs onderzoeken de inversen van deze rationaal-geïndexeerde getallen. Door $F_{X^{-1}}$ te berekenen (waarbij $X^{-1}$ de reciproke is van de index) en gebruik te maken van identiteiten zoals Cassini's identiteit en Binet's formules, tonen zij aan dat het product van een rationaal-geïndexeerd getal en zijn inverse een eenheid oplevert (specifiek $\pm 1$ modulo een gerelateerde sequentieterm), waarmee zij het bestaan van multiplicatieve inversen bewijzen.

Kernbijdragen en Resultaten

• Algemene Expliciete Formules: Het artikel biedt expliciete formules voor $F_X$ voor doorlopende breuken van lengte 2 tot 6 (Lemma's 3.1–3.4) en een algemene recursieve formule (Lemma 4.2) voor een willekeurige lengte $k$. Bijvoorbeeld, voor $X = [n_0; n_1]$, is $F_X = F_{n_0}F_{n_1} + F_{n_0-1}F_{n_1+1}$.
• Karakterisering van Waarden:
  • Samenval met Klassieke Sequenties: Het artikel bewijst dat $F_X$ alleen samenvalt met een klassiek Fibonacci-getal $F_m$ onder specifieke voorwaarden (bijv. als de lengte van de doorlopende breuk $k=1$ is en $n_0 \in \{1, 2\}$, of als $k=2$ en $n_0=1$ met specifieke restricties op $n_1$).
  • Samenval met Lucas-getallen: Er wordt aangetoond dat als $X = [3; n]$, dan $F_X = L_{n+1}$. Tevens geldt $F([2; 1, n]) = L_{n+1}$.
  • Divergentie: Corolarium 6.1 stelt vast dat voor $k \ge 3$, of voor $k=1$ met $n_0 \ge 3$ (uitgezonderd de Lucas-gevallen), $F_X$ verschillend is van de klassieke Fibonacci-sequentie.
• Bestaan van Multiplicatieve Inversen: Het centrale resultaat is het bewijs dat elk Fibonacci- en Lucas-getal een multiplicatieve inverse bezit binnen het rationaal-geïndexeerde kader.
  • Voor $F_m = F([1; m])$, is de inverse $F_{m+2}$.
  • Voor $F_m = F([2; m-2])$, is de inverse $L_{m-1}$.
  • Voor $L_m = L([3; m-1])$, is de inverse $L_m + F_{m+1}$.
  • Het artikel demonstreert dat $F_X \cdot F_{X^{-1}} \equiv \pm 1 \pmod{\text{gerelateerde term}}$, wat de eenheidseigenschap bevestigt.

Betekenis
De auteurs stellen dat deze resultaten het rationaal-geïndexeerde perspectief geïntroduceerd door Uludağ en Gökmen uitbreiden door een systematische methode te bieden voor het berekenen van waarden en inversen voor willekeurige rationale indices. Het werk onthult nieuwe structurele eigenschappen van Fibonacci- en Lucas-gerelateerde sequenties, specifiek het vermogen om multiplicatieve inversen voor deze getallen te definiëren en te berekenen via de codenominator-functie. Het artikel suggereert dat deze bevindingen wegen vrijmaken voor verder getaltheoretisch onderzoek naar de rekenkundige eigenschappen van sequenties onder rationale indexatie, met name in de context van modulaire rekenkunde en doorlopende breuken. De auteurs claimen geen directe toepassingen buiten de theoretische getaltheorie, maar benadrukken de verrijking van het algebraïsche begrip van deze klassieke sequenties.