Product of powers of distinct primes as sums of Fibonacci numbers

Resumo Técnico: Produtos de Potências de Primos Distintos como Somas de Números de Fibonacci

Autores: Herbert Batte, Florian Luca e Volker Ziegler.
Contexto: Teoria dos Números, Equações Diofantinas, Sequências de Fibonacci e Lucas.

1. O Problema

O artigo investiga a equação diofantina:
$$F_n + F_m = p^x q^y$$
onde:

• $F_n$ e $F_m$ são o $n$-ésimo e $m$-ésimo números de Fibonacci ($n \ge m \ge 0$).
• $p$ e $q$ são números primos distintos e fixos.
• $x$ e $y$ são inteiros positivos ($xy \neq 0$).
• O caso $n=2$ ou $m=2$ é desconsiderado, pois $F_1 = F_2 = 1$, o que criaria ambiguidades na representação.

O objetivo principal é determinar todos os pares de primos $(q, p)$ com $q \le \min\{1000, p\}$ para os quais a equação possui pelo menos duas soluções distintas $(x, y)$ (e, consequentemente, pares correspondentes de $(n, m)$).

Este trabalho estende pesquisas anteriores que tratavam de casos específicos, como $F_n + F_m = 2^a$ (Bravo e Luca) ou $F_n + F_m = y^a$ (Ziegler), generalizando para produtos de duas potências de primos distintos.

2. Metodologia

A prova combina métodos analíticos profundos da teoria dos números transcendental com verificação computacional intensiva. A abordagem segue os seguintes passos:

A. Limites Superiores Absolutos (Método de Baker)

• Utiliza-se a Fórmula de Binet para expressar $F_n$ em termos de $\alpha = \frac{1+\sqrt{5}}{2}$ e $\beta = \frac{1-\sqrt{5}}{2}$.
• A equação é reescrita como uma forma linear em logaritmos de números algébricos.
• Aplica-se o Teorema de Matveev (uma versão refinada do método de Baker) para obter limites inferiores não nulos para formas lineares em logaritmos. Isso permite estabelecer limites superiores astronômicos para as variáveis $n, m, x, y$ em função de $p$ e $q$.
• Inicialmente, obtém-se limites como $n < 10^{352}$ (para $q \le 1000$).

B. Redução de Limites (Métodos de Redução)

• Os limites obtidos pelo Teorema de Matveev são muito grandes para verificação computacional direta.
• Utiliza-se o Método de Redução de Lattice (LLL) e propriedades de Frações Contínuas (Lema de Legendre) para reduzir drasticamente esses limites.
• O processo é iterativo: reduz-se o limite de $n$, o que permite reduzir o limite de $p$, e assim por diante, até chegar a limites computacionalmente viáveis (na ordem de milhares ou dezenas de milhares).

C. Verificação Computacional e Casos Especiais

• Caso $q \neq 5$: Para $2 \le q < p \le 1000$, o algoritmo verifica exaustivamente todas as somas $F_n + F_m$ dentro do limite reduzido. Para $p > 1000$, utiliza-se uma estratégia de filtragem baseada no teste de primalidade (Teorema de Fermat) para identificar candidatos a $p$ antes de aplicar a redução LLL.
• Caso $q = 5$: Este caso é tratado separadamente devido às propriedades especiais de divisibilidade de Fibonacci por 5.
  • Analisam-se subcasos baseados na paridade de $d = n-m$ e se $m=0$.
  • Utiliza-se um algoritmo de "lifting" (elevação) baseado no período de Pisano módulo potências de 5 para limitar a valoração 5-adica ($y$).
  • Aplica-se novamente a redução LLL com os pares $(p, 5)$ encontrados.

3. Principais Contribuições e Resultados

O Teorema 1.1 estabelece que a equação $F_n + F_m = p^x q^y$ possui pelo menos duas soluções distintas apenas para os seguintes pares de primos $(p, q)$ com $q \le 1000$:

$$S = \{(3, 2), (5, 2), (7, 2), (7, 3), (17, 2), (19, 2)\}$$

O artigo lista explicitamente todas as soluções encontradas para cada par:

1. $(p, q) = (3, 2)$: Existem 11 soluções, incluindo:
   • $3^x 2^y = F_4 + F_4 = 4$
   • $3^x 2^y = F_5 + F_1 = 5$
   • $3^x 2^y = F_7 + F_5 = 13 + 5 = 18$
   • ... até $F_{18} + F_6$.
2. $(p, q) = (5, 2)$: 4 soluções, incluindo $F_5 + F_5 = 10$ e $F_{16} + F_7$.
3. $(p, q) = (7, 2)$: 2 soluções ($F_7 + F_1 = 8$, $F_{10} + F_1 = 56$).
4. $(p, q) = (7, 3)$: 4 soluções ($F_7 + F_6 = 21$, etc.).
5. $(p, q) = (17, 2)$: 4 soluções ($F_8 + F_7 = 34$, etc.).
6. $(p, q) = (19, 2)$: 2 soluções ($F_{10} + F_8 = 89$, $F_{12} + F_6 = 144$).

Para todos os outros pares de primos com $q \le 1000$, a equação possui no máximo uma solução.

4. Significância e Impacto

• Generalização: O trabalho consolida e estende resultados conhecidos sobre somas de Fibonacci que são potências inteiras, movendo-se de uma única base (como potências de 2) para produtos de duas bases primas distintas.
• Rigor Computacional: Demonstra a eficácia da combinação de métodos teóricos (limites de Baker) com computação de alta precisão (LLL, SageMath) para resolver problemas diofantinos complexos que envolvem números extremamente grandes.
• Classificação Completa: Fornece uma classificação completa e definitiva para o caso onde o menor primo é limitado por 1000, eliminando a possibilidade de soluções "escondidas" em grandes intervalos numéricos.
• Ferramentas: O uso de propriedades de divisores primitivos (Teorema de Carmichael) e a análise de dependência multiplicativa de termos da forma $\frac{1+\alpha^{-\ell}}{\sqrt{5}}$ são centrais para a prova, oferecendo um modelo para futuros estudos em equações similares envolvendo sequências recorrentes.

Em suma, o artigo resolve completamente o problema de encontrar múltiplas representações de produtos de potências de dois primos distintos como somas de dois números de Fibonacci dentro do domínio especificado, confirmando que tais ocorrências são extremamente raras e limitadas a um conjunto pequeno e explícito de primos.