🔢 mathematics

Every natural number is a sum of distinct semiprime unit fractions

Este artigo prova que todo número natural pode ser expresso como uma soma finita de frações unitárias distintas com denominadores semiprimos ao adaptar a indução de Butler-Erdős-Graham para o desafiador caso $\omega=2$ , enquanto também estende estes resultados para números racionais e fornece a primeira prova completa para o caso $\omega=3$ .

Autores originais: Shisheng Li

Publicado 2026-06-16

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Shisheng Li

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

A Visão Geral: O Problema do "Lego"

Imagine que você tem um suprimento infinito de peças de Lego. Mas há um detalhe: você só pode usar peças que são feitas de exatamente duas cores diferentes de plástico fundidas. Em termos matemáticos, estas são chamadas de semiprimos (números como 6, que é $2 \times 3$ , ou 15, que é $3 \times 5$ ).

O artigo faz uma pergunta sobre Frações Egípcias. Uma fração egípcia é uma forma de escrever um número como uma soma de frações simples como $1/2, 1/3, 1/4$ , etc., onde todos os denominadores (os números de baixo) são diferentes.

A Pergunta: Você consegue construir qualquer número inteiro (1, 2, 3, 100, etc.) somando essas frações especiais, onde os denominadores são apenas as nossas peças de semiprimos de "duas cores"?

A Resposta: Sim. O autor, Shisheng Li, prova que você pode construir qualquer número inteiro desta maneira.

O Contexto: Um Enigma Não Resolvido

Este problema não foi inventado por Li. Ele vem de uma famosa conjectura dos matemáticos Paul Erdős e Ronald Graham. Eles perguntaram: "Se restringirmos nossas peças a números feitos de exatamente $\omega$ (ômega) primos diferentes, podemos construir qualquer número?"

$\omega = 3$ (Três cores): Em 2015, outros matemáticos (Butler, Erdős e Graham) provaram que isso funciona. Se suas peças forem feitas de três cores (como $2 \times 3 \times 5 = 30$ ), você pode construir qualquer número.
$\omega = 2$ (Duas cores): Eles conjeturaram que isso também funciona, mas não conseguiram provar. Eles pararam por aí.

Por que era mais difícil?
Pense nisso como uma equipe de construção.

Quando você tem três cores ( $\omega=3$ ), você tem uma pilha de peças enorme e espessa. É fácil encontrar a combinação certa para preencher uma lacuna.
Quando você desce para duas cores ( $\omega=2$ ), a pilha de peças torna-se muito mais fina. A "cadeia de suprimentos" é fraca.
Os métodos que funcionaram para a pilha espessa (três cores) falharam porque a pilha fina (duas cores) não tinha variedade suficiente para preencher as lacunas facilmente.

A Solução: Uma Nova Maneira de Preencher a Lacuna

O artigo de Li é essencialmente um manual sobre como continuar construindo mesmo quando o suprimento de peças é muito escasso.

1. O Problema da "Alimentação"
A prova utiliza um método chamado indução. Imagine que você está construindo uma parede e quer provar que pode construí-la para sempre. Você mostra que, se conseguir construir uma parede de altura $N$ , você certamente poderá construir uma parede de altura $N+1$ .

Para fazer isso, você precisa de uma "alimentação" de peças para preencher a nova camada.
Para $\omega=3$ , a alimentação é rica e cheia.
Para $\omega=2$ , a alimentação é muito fina. O método antigo tentava forçar a alimentação fina a agir como uma alimentação espessa, e falhou.

2. O Truque da "Janela"
Li percebeu que, em vez de tentar fazer a alimentação fina parecer espessa, ele poderia olhar para o problema de uma forma diferente.

Imagine uma janela que desliza ao longo da parede.
Li provou que, para o caso $\omega=2$ , esta janela é sempre mais larga do que todo o suprimento de peças.
Como a janela é tão larga, ela deve capturar a primeira peça (0) ou a última peça (a soma máxima). Ela não consegue escorregar pelas frestas.
Isso significa que você não precisa de uma pilha de peças complexa e espessa; você só precisa garantir que o "início" e o "fim" da sua pilha de peças cubram todos os "restos" matemáticos (resíduos) necessários.

3. O Trabalho Pesado (Computação e Lógica)
Para provar que isso funciona para todos os números, Li teve que fazer duas coisas:

A "Lista de Verificação" (Computação): Ele usou um computador para verificar manualmente os primeiros 300 passos da construção. É como verificar os primeiros andares de um arranha-céu com uma lupa para garantir que a fundação é sólida. Ele verificou que a "alimentação fina" funciona perfeitamente para esses passos iniciais.
A "Rede de Segurança Matemática" (Análise): Para o restante do edifício infinito (passos 300 até o infinito), ele usou desigualdades matemáticas padrão (limites de Chebyshev) para provar que as peças estão distribuídas bem o suficiente para que a "janela" sempre capture uma combinação válida.

Os Resultados: O Que Mais Eles Descobriram?

O artigo não para nos números inteiros. Ele estende a lógica para frações (números racionais).

O Limiar: Eles provaram que, para frações com denominadores "livres de quadrados" (denominadores que não têm fatores primos repetidos, como 6 ou 10, mas não 12), você pode construí-las se a fração for grande o suficiente (especificamente, maior que cerca de 1/5).
O Mistério do "Núcleo Profundo": Resta uma pequena lacuna aberta. Para frações muito pequenas (como 1/1000), a prova ainda não chega lá. O autor reduz esse mistério restante a um único palpite específico: "Se você continuar adicionando mais peças, as lacunas entre elas eventualmente desaparecerão". Se este palpite for verdadeiro, a prova estará completa para todos os números.
O Bônus das "Três Cores": Como efeito colateral da resolução do problema das "duas cores", Li também forneceu a primeira prova completa para o problema das "três cores" (números esfénicos), que os autores originais apenas supunham.

Analogia de Resumo

Imagine que você está tentando encher uma piscina com água usando uma mangueira.

O Método Antigo: Tentava usar uma mangueira que só funcionava se a pressão da água fosse super alta (muitas peças). Funcionava para piscinas grandes (3 cores), mas falhava em espaços pequenos e apertados (2 cores).
O Método de Li: Percebeu que, mesmo com uma mangueira fraca (2 cores), se você mirar no ângulo certo e verificar cuidadosamente os primeiros pés da piscina, a água naturalmente preencherá toda a piscina porque a mangueira é, na verdade, mais larga do que as lacunas no fundo da piscina.

A Conclusão: Shisheng Li resolveu um enigma matemático de 10 anos, provando que você pode construir qualquer número inteiro usando apenas frações com denominadores de "dois primos", usando uma mistura inteligente de verificação computacional e lógica matemática para preencher a lacuna onde os métodos anteriores falharam.

Resumo Técnico: "Todo Número Natural é uma Soma de Frações Unitárias Semiprimas Distintas"

Enunciado do Problema
O artigo aborda um caso específico do problema de Erdős–Graham relativo a frações egípcias com denominadores restritos. O problema geral questiona se, para um denominador livre de quadrados $b$ , todo racional $a/b$ pode ser representado como uma soma de frações unitárias distintas $1/n_i$ , onde cada $n_i$ é o produto de exatamente $\omega$ primos distintos.

Contexto: Para $\omega \ge 3$ , o caso inteiro ( $b=1$ ) foi provado por Butler, Erdős e Graham (BEG15) em 2015. Eles conjecturaram que o resultado se aplica a $\omega = 2$ (denominadores semiprimos), mas não conseguiram prová-lo, observando que o "alimento" (feed) combinatório que impulsiona sua indução degenera conforme $\omega$ diminui.
Objetivo: Este artigo resolve o caso inteiro ( $b=1$ ) para $\omega = 2$ , provando que todo número natural $m \ge 1$ é uma soma finita de frações unitárias distintas com denominadores semiprimos. Ele estende ainda isso para números racionais $a/b$ (com $b$ livre de quadrados) acima de um limiar explícito e prova o caso racional completo para $\omega = 3$ .

Metodologia
A prova adapta e modifica o arcabouço de indução estabelecido por BEG15. O mecanismo central envolve a análise do conjunto de somas de subconjuntos de conjuntos "átomo" específicos derivados de primoriais.

Redução a Somas de Subconjuntos:
O problema é reduzido a mostrar que, para um número natural $m$ , existe um $N$ tal que $P_N m$ (onde $P_N$ é o $N$ -ésimo primorial) pertence ao conjunto de somas de subconjuntos $L_2(N)$ do conjunto $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$ .
O Esqueleto da Indução:
A prova baseia-se no estabelecimento de que $L_2(N)$ contém um "bloco central" de inteiros $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$ , onde $\sigma_2(N)$ é a soma dos elementos em $D_2(N)$ .

Caso Base: Verificado computacionalmente para $N_0 = 10$ usando um bitset compactado para verificar a alcançabilidade da soma de subconjuntos sobre 45 átomos.
Passo Indutivo ( $N \to N+1$ ): O passo utiliza a recursão de divisão $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$ , onde $L_1(N)$ é o conjunto de somas de subconjuntos de recíprocos de primos únicos (o "alimento").

Superação da Obstrução de $\omega=2$ :
No caso $\omega=3$ , o alimento $L_1(N)$ é um conjunto rico. No caso $\omega=2$ , o alimento colapsa para as somas de subconjuntos de primos únicos, que é estruturalmente "fino". O método de BEG15 falhou aqui porque o argumento de "conexão de corridas" (runs-connect) exigia um conjunto interno completo em resíduos que não existia no caso degenerado.

Novo Insight: O autor observa que, na recursão $\omega=2$ , a janela de cobertura (o intervalo de valores alvo cobertos por um único elemento do alimento) é sempre pelo menos tão longa quanto todo o alcance do alimento. Consequentemente, a janela deve conter um dos pontos extremos do alimento ($0$ ou $\sigma_1(N)$ ).
Estratégia: Em vez de tentar restaurar a estrutura interna no alimento fino, a prova utiliza o próprio alimento como o objeto completo em resíduos. A indução tem sucesso se o alimento atingir todas as classes de resíduos módulo o novo primo $q = p_{N+1}$ "rapidamente o suficiente" (dentro de uma faixa de comprimento específica).

Verificação Analítica e Computacional:
A prova reduz a dificuldade a uma única desigualdade: $Y_0(N) \le \beta(N)$ , onde $Y_0(N)$ é o raio de início para a completude de resíduos do alimento, e $\beta(N)$ é o comprimento da faixa disponível.

Intervalo Finito ( $10 \le N \le 299$ ): Verificado via aritmética inteira exata usando um algoritmo de busca de caminho mais curto do tipo Dijkstra sobre o grupo de resíduos $\mathbb{Z}_q$ .
Cauda Analítica ( $N \ge 300$ ): Provado usando limites de Chebyshev elementares sobre lacunas de primos e a monotonicidade da soma dos recíprocos dos primos.
Completude de Resíduos: Para pequenos $N$ onde o teorema de adição de Olson não se aplica estritamente, a completude de resíduos é verificada computacionalmente.

Principais Resultados

Teorema 1.2 (Caso Inteiro): Todo número natural $m \ge 1$ pode ser escrito como uma soma finita de frações unitárias distintas com denominadores semiprimos. A prova é não construtiva e efetiva, mas produz limites enormes sobre o tamanho dos denominadores (aproximadamente $N \sim \exp(\exp(O(\sqrt{m})))$ ).
Extensão Racional (Teoremas 7.1 e 7.4): Para qualquer denominador livre de quadrados $b$ , todo racional $a/b \ge \min\{B_{N_b}/6, 1/5\}$ é representável como uma soma de frações unitárias semiprimas distintas. Aqui, $B_{N_b}$ depende do maior fator primo de $b$ .
Teorema Racional $\omega=3$ (Teorema 8.1): Todo racional positivo $a/b$ com $b$ livre de quadrados é uma soma de frações unitárias distintas com denominadores esfenicos (produtos de três primos distintos). Isso é alcançado por um argumento de "elevação" (lift): multiplicando o alvo por um primo grande $r$ para movê-lo para o intervalo representável do teorema $\omega=2$ , e então dividindo por $r$ .
$\omega \ge 3$ Geral (Corolário 8.6): Por descendência, o resultado se estende a todos os $\omega \ge 3$ .

Significância e Problemas Abertos

Resolução de uma Conjectura: O artigo fornece a primeira prova completa para o caso inteiro de $\omega=2$ , um problema deixado como uma conjectura por BEG15. Demonstra que o regime de "alimento fino" pode ser tratado adaptando a indução para depender da cobertura de extremidades em vez da estrutura interna.
Resultados Incondicionais: Todos os resultados são incondicionais, baseando-se em teoria elementar dos números e computações finitas verificadas por scripts independentes.
O Núcleo Aberto Remanescente: O artigo identifica o único caso aberto restante como o "núcleo profundo" do problema $\omega=2$ $ω = 2$ : racionais $a/b$ $a / b$ abaixo do limiar $\min\{B_{N_b}/6, 1/5\}$ $min {B_{N_{b}} /6, 1/5}$ .
- O autor reduz isso a uma única conjectura explícita: A Conjectura do Piso Livre de Lacunas (GFF - Gap-Free Floor Conjecture), que postula que o piso livre de lacunas do conjunto de somas de subconjuntos semiprimos tende a zero quando $N \to \infty$ . Se verdadeira, isso resolveria o problema para todos os racionais.
Escopo: O artigo afirma explicitamente que não aborda denominadores com fatores quadrados (que são impossíveis de representar sob estas restrições) ou representações usando conjuntos finitos fixos de primos. O foco permanece estritamente na base aditiva universal de recíprocos semiprimos.

O trabalho é descrito como um "motor" que impulsiona a prova o mais longe que os métodos atuais permitem, isolando a dificuldade estrutural específica (o piso livre de lacunas) que impede uma solução completa para racionais pequenos no caso $\omega=2$ .

A Visão Geral: O Problema do "Lego"

O Contexto: Um Enigma Não Resolvido

A Solução: Uma Nova Maneira de Preencher a Lacuna

Os Resultados: O Que Mais Eles Descobriram?

Analogia de Resumo

Mais como este