🔢 mathematics

On integers of the form $p+F_{2^k}+F_q$

Este artigo prova que o conjunto de inteiros representáveis como a soma de um primo, um número de Fibonacci com um índice que é uma potência de dois, e outro primo possui densidade assintótica inferior positiva, uma propriedade que também se aplica ao conjunto de inteiros que não podem ser representados desta forma.

Autores originais: Yang Gao

Publicado 2026-06-30

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Yang Gao

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um saco infinito de blocos de construção. Alguns blocos são Primos (números como 2, 3, 5, 7 que não podem ser divididos uniformemente por mais nada), alguns são números de Fibonacci (uma sequência especial onde você adiciona os dois últimos números para obter o próximo: 0, 1, 1, 2, 3, 5, 8, 13...), e alguns são apenas Inteiros comuns (1, 2, 3, 4...).

Por muito tempo, matemáticos têm jogado um jogo: "Você consegue construir cada número inteiro usando uma receita específica?"

A Receita Antiga

Lá em 1934, um matemático chamado Romanoff perguntou: "Você consegue construir todo número ímpar somando um Primo e uma Potência de Dois (como 1, 2, 4, 8, 16...)"? Ele descobriu que você consegue construir muitos deles, mas não todos. Mais tarde, outro matemático, Erdős, mostrou que existem infinitas "lacunas" — linhas inteiras de números que simplesmente não podem ser construídos desta forma.

A Nova Receita

Neste artigo, o autor, Yang Gao, muda a receita. Em vez de potências de dois, ele usa números de Fibonacci. Mas ele adiciona um toque especial:

Ele usa um Primo ( $p$ ).
Ele usa um número de Fibonacci onde a posição é um número par ( $F_{2k}$ , como $F_0, F_2, F_4...$ ).
Ele usa outro Primo ( $q$ ) como o índice para um terceiro número de Fibonacci ( $F_q$ ).

Então a receita é: $n = \text{Primo} + \text{Fibonacci de Posição Par} + \text{Fibonacci de Posição Prima}$ .

A grande questão é: Se você tentar construir números usando esta nova receita, você cobre o suficiente a linha numérica? Ou existem enormes lacunas?

As Duas Principais Descobertas

O artigo prova duas coisas surpreendentes sobre esta nova receita:

1. A Rodovia "Inconstruível" (Teorema 1.1)

Imagine uma longa rodovia reta onde cada marcador de milha representa um número. O autor prova que você pode encontrar uma seção específica desta rodovia (uma progressão aritmética infinita) onde nenhum dos números pode ser construído usando a receita.

A Analogia: Pense em uma fechadura e uma chave. O autor desenhou uma "fechadura" específica (um conjunto de regras baseadas em restos quando divididos por números pequenos como 2, 3, 5, 7, etc.). Ele mostrou que não importa como você tente misturar seus Primos e números de Fibonacci, o resultado nunca se encaixará nesta fechadura específica.

Resultado: Existe uma linha infinita de números que não podem ser escritos como $p + F_{2k} + F_q$ . Como essa linha é infinita e regular, isso significa que os números "inconstruíveis" compõem uma parte significativa do mundo dos números.

2. A Multidão "Construível" (Teorema 1.2)

Aqui está a reviravolta: Embora exista toda uma rodovia de números "inconstruíveis", os números que podem ser construídos também estão em toda parte.

A Analogia: Imagine uma festa lotada. Embora haja um grupo específico de pessoas que não pode entrar na sala VIP (os números inconstruíveis), a sala VIP ainda está cheia de convidados com uma "densidade positiva". Em termos matemáticos, isso significa que se você olhar para os primeiros 1.000.000 de números, uma porcentagem significativa deles (não apenas um punhado minúsculo) pode ser construída usando a receita.

Resultado: O conjunto de números que você pode construir é grande o suficiente para ser considerado de "densidade positiva". Não são apenas algumas ilhas isoladas; é um continente substancial.

Como Eles Fizeram? (As Ferramentas)

Para provar estas coisas, o autor usou duas ferramentas principais:

O Crivo (para a prova do "Inconstruível"):
Pense em um crivo usado para separar areia de pedras. O autor configurou uma série de filtros (congruências) baseados em números primos pequenos. Ele mostrou que, se você tentar construir um número usando sua receita, ele sempre ficará preso em um desses filtros. É como tentar caminhar por um labirinto onde cada caminho leva a um beco sem saída para um grupo específico de números.
O Jogo da Contagem (para a prova do "Construível"):
Para provar que muitos números podem ser construídos, o autor teve que contar de quantas maneiras você pode fazer um número.
- Primeiro, ele mostrou que existem tantas combinações de Primos e números de Fibonacci que você poderia teoricamente fazer aproximadamente tantos números quanto existem inteiros até $x$ .
- Depois, ele teve que provar que você não está apenas fazendo o mesmo número repetidamente (como fazer 100 usando 50 combinações diferentes). Ele provou que a maioria dos números é feita de formas únicas ou poucas.
- O Truque "Cauchy-Schwarz": Ele usou uma desigualdade matemática (uma maneira elegante de dizer "se você tem muitas combinações totais e não as está repetindo demais, então você deve ter muitos números diferentes"). Isso provou que os números "construíveis" são densos.

Resumo

Em termos simples, este artigo resolve um quebra-cabeça sobre como os números são construídos. Ele mostra que, se você misturar Primos e números de Fibonacci desta forma específica:

Você nunca será capaz de construir uma linha específica e infinita de números (eles são "inalcançáveis").
No entanto, você será capaz de construir uma parte enorme e significativa do restante dos números (eles são "alcançáveis").

É um pouco como dizer: "Você não pode construir uma casa com esses tijolos específicos nesta rua específica, mas no resto da cidade, você pode construir casas em quase todos os outros lotes."

Resumo Técnico: Inteiros da Forma $p + F_{2k} + F_q$

Enunciado do Problema
Este artigo investiga a distribuição de inteiros positivos representáveis na forma $n = p + F_{2k} + F_q$ , onde $p$ e $q$ são números primos e $k$ é um inteiro não negativo. Aqui, $\{F_n\}$ denota a sequência de Fibonacci definida por $F_0=0, F_1=1$ , e $F_{n+2}=F_{n+1}+F_n$ . O estudo aborda um problema do tipo "Romanoff", estendendo a questão clássica de se inteiros podem ser escritos como a soma de um primo e uma potência de dois ( $p + 2^n$ ) para somas envolvendo primos e sequências esparsas específicas (números de Fibonacci). Especificamente, o artigo busca determinar a densidade inferior assintótica do conjunto de inteiros representáveis nesta forma e a densidade de seu complemento.

Metodologia
Os autores empregam uma combinação de teoria elementar dos números, propriedades da sequência de Fibonacci módulo primos e técnicas de teoria analítica dos números, especificamente métodos de crivo.

Lemas Preliminares: A prova baseia-se em propriedades fundamentais dos números de Fibonacci, incluindo taxas de crescimento (aproximações pela fórmula de Binet), representações de Zeckendorf e periodicidade módulo inteiros (períodos de Pisano). Lemas fundamentais estabelecem limites para o número de números de Fibonacci até $x$ e a distribuição de resíduos módulo primos.
Sistemas de Cobertura (Teorema 1.1): Para provar que o conjunto de inteiros não representáveis possui densidade inferior positiva, os autores constroem uma progressão aritmética infinita explícita $A$ . Isso é alcançado definindo um sistema de congruências módulo um produto de primos específicos ( $M = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 19 \cdot 23 \cdot 47$ ). Ao analisar a paridade e os resíduos modulares de $F_{2k}$ e $F_q$ contra esses módulos, os autores demonstram que nenhum inteiro nesta progressão pode satisfazer a equação $n = p + F_{2k} + F_q$ .
Métodos de Crivo e Unicidade (Teorema 1.2): Para provar que o conjunto de inteiros representáveis possui densidade inferior positiva, os autores utilizam a desigualdade de Cauchy–Schwarz. Isso requer a estimativa de duas quantidades:
- $R(x) = \sum_{n \le x} r(n)$ , o número total de representações, onde $r(n)$ conta o número de triplas $(p, k, q)$ tal que $n = p + F_{2k} + F_q$ .
- $\sum_{n \le x} r(n)^2$ , o segundo momento, que conta o número de pares de representações para o mesmo inteiro.
- Análise de Unicidade: Um passo crítico envolve o Lema 4.1, que estabelece que a equação $F_{2k_1} + F_{q_1} = F_{2k_2} + F_{q_2}$ possui muito poucas soluções (essencialmente apenas permutações triviais ou casos pequenos específicos). Isso garante que o número de "colisões" (onde diferentes triplas resultam na mesma soma) seja controlado.
- Estimativas de Crivo: Os autores aplicam a estimativa de Bombieri–Davenport e a desigualdade de Brun–Titchmarsh para limitar o número de soluções onde a diferença entre duas somas é um inteiro par fixo. Eles lidam cuidadosamente com a soma sobre os divisores do termo de diferença usando propriedades dos períodos de Pisano e a distribuição de primos em progressões aritméticas.

Principais Contribuições e Resultados
O artigo estabelece dois teoremas principais referentes ao conjunto de inteiros da forma $p + F_{2k} + F_q$ :

Teorema 1.1: Existe uma progressão aritmética infinita de inteiros positivos tal que nenhum inteiro nesta progressão pode ser escrito como $p + F_{2k} + F_q$ . Consequentemente, o conjunto de inteiros não representáveis nesta forma possui densidade assintótica inferior positiva.
Teorema 1.2: O conjunto de inteiros positivos representáveis como $p + F_{2k} + F_q$ (com $p, q$ primos e $k \ge 0$ ) possui densidade assintótica inferior positiva.

Adicionalmente, os autores observam na Observação 1 que resultados análogos valem para os números de Lucas ( $L_n$ ), pois a prova baseia-se em propriedades modulares semelhantes.

Significância
O artigo contribui para a teoria mais ampla dos problemas do tipo Romanoff ao abordar somas envolvendo dois termos esparsos de sequências de recorrência linear (especificamente números de Fibonacci) e um primo. Enquanto trabalhos anteriores haviam estabelecido densidade positiva para somas de um primo e um único número de Fibonacci ( $p + F_k$ ) ou somas de um primo e duas potências de dois ( $p + 2^a + 2^b$ ), este trabalho estende a compreensão para formas mistas envolvendo índices que são, por si só, primos ( $q$ ) e índices pares ( $2k$ ). O resultado confirma que, apesar da esparsidade da sequência de Fibonacci e da restrição nos índices, a combinação aditiva com primos é suficientemente densa para cobrir uma proporção positiva dos inteiros, enquanto simultaneamente deixa uma proporção positiva não coberta, conforme demonstrado pela progressão aritmética construída. A metodologia demonstra a eficácia de combinar sistemas de cobertura com estimativas de crivo no contexto de recorrências lineares.