🔢 mathematics

Another inequality inspired by Erdős

Este artigo apresenta uma prova aritmética elementar de uma desigualdade específica inspirada na prova clássica de Paul Erdős do postulado de Bertrand, como parte de um esforço mais amplo para estabelecer uma prova aritmeticamente pura do próprio postulado.

Autores originais: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Publicado 2026-07-21

📖 6 min de leitura🧠 Leitura aprofundada

CC0 1.0

Autores originais: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Artigo original dedicado ao domínio público sob CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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ê é um detetive trabalhando na vasta e silenciosa biblioteca da Teoria dos Números, um ramo da matemática dedicado aos segredos ocultos dos números inteiros. Neste mundo, os números não são apenas ferramentas para contar maçãs; eles são personagens com suas próprias personalidades, relacionamentos e regras estritas. Uma das regras mais famosas nesta biblioteca é o "Postulado de Bertrand", uma observação de séculos atrás que diz que, se você escolher um número maior que 6, há sempre pelo menos um número primo (um número divisível apenas por 1 e por si mesmo) escondido em uma vizinhança específica logo abaixo dele. Por muito tempo, matemáticos como o lendário Paul Erdős usaram truques engenhosos envolvendo coeficientes binomiais (que são como os números que você obtém ao contar combinações de itens) para provar essas regras. Mas, às vezes, os mistérios mais interessantes não são os teoremas grandes e barulhentos, mas as desigualdades silenciosas e estranhas que surgem quando você tenta simplificar essas provas. Estas são as "anomalias" que fazem os matemáticos coçarem a cabeça e se perguntarem: "Isso sempre será verdade, ou há uma exceção sorrateira escondida nos números?"

Este artigo, intitulado "Outra Desigualdade Inspirada por Erdős", mergulha profundamente em uma dessas desigualdades sorrateiras. Os autores, Barora Batíková, Tomáš J. Kepka e Petr C. Němec, estão investigando uma relação matemática específica envolvendo números inteiros positivos. Eles definem alguns "personagens" especiais para cada número $n$ : um valor $z(n)$ relacionado a quantas vezes o 3 cabe em $2n$ , um valor $m(n)$ relacionado à raiz quadrada de $2n$ , e um valor $r(n)$ relacionado a potências de 2. Eles então combinam isso em uma expressão complexa, $y(n)$ , e fazem uma pergunta simples: Esta expressão é sempre negativa, sempre positiva ou ela oscila? O artigo prova que esta expressão nunca é exatamente zero (ela nunca cai perfeitamente sobre a linha) e mapeia exatamente quais números a tornam negativa e quais a tornam positiva. É um pouco como verificar cada casa em uma rua muito longa para ver se as luzes estão acesas ou apagadas, descobrindo que, embora a maioria das casas siga um padrão, há algumas propriedades específicas onde as luzes se comportam de maneira diferente.

A Grande Caçada Numérica

A história começa com um olhar para o passado. Em 1845, um matemático chamado J. Bertrand fez uma aposta ousada: para qualquer número $n$ maior que 6, existe sempre um número primo entre $n-2$ e $n^2$ . Mais tarde, Paul Erdős, um gênio conhecido por suas provas elegantes e simples, criou uma nova maneira de provar uma versão ligeiramente diferente desta ideia. Ao fazer isso, ele tropeçou em algumas desigualdades incomuns. Uma delas, envolvendo um valor chamado $x(n)$ , já havia sido estudada em um artigo anterior destes mesmos autores. Eles descobriram que $x(n)$ é geralmente negativo, mas atinge exatamente zero para um pequeno punhado de números: 436, 451, 529, 545 e 546.

Agora, os autores voltam sua atenção para uma desigualdade "parente", um irmão da primeira, que eles chamam de $y(n)$ . Esta nova expressão é um pouco mais complicada, misturando potências de 2 e potências de $n$ . O objetivo deste artigo é resolver um quebra-cabeça: Para quais inteiros positivos $n$ , $y(n)$ é menor que zero? E, crucialmente, $y(n)$ alguma vez é exatamente igual a zero?

O Ataque de Duas Frentes

Para resolver isso, os autores usam duas estratégias diferentes, como um detetive usando tanto uma lupa quanto um scanner de alta tecnologia.

Estratégia 1: A Abordagem da Aritmética Pura
Primeiro, eles usam a "aritmética pura", o que significa que seguem estritamente as regras dos números inteiros sem usar as curvas suaves do cálculo. Eles dividem a linha numérica infinita em blocos gerenciáveis. Eles percebem que, para certos intervalos de números, os valores de $m(n)$ e $r(n)$ permanecem os mesmos. Isso permite que eles agrupem os números em intervalos.

Eles criam um mapa gigante desses intervalos. Por exemplo, eles olham para números de 1 a 403 e verificam o sinal de $y(n)$ em cada bloco. Eles descobrem que para números pequenos (como 1, 2, 3, 4), $y(n)$ é positivo. Mas começando em $n=5$ , ele muda para negativo. Ele permanece negativo por um longo trecho, mas depois, tal como uma montanha-russa, ele desce e sobe em seções específicas.

Usando cálculos cuidadosos e comparações de potências (como verificar se $2^{20}$ é maior que $3^{15}$ ), eles provam que $y(n)$ é negativo para um conjunto específico de intervalos:

De 5 até 335.
De 338 até 350.
De 365 até 368.

Eles também provam que $y(n)$ nunca é zero. É uma situação de "ou um ou outro"; o número é ou positivo ou negativo, nunca sentado exatamente em cima da cerca. Para todos os outros números (1 através de 4, e então 336, 337, 351 através de 364, e tudo de 369 para cima), o valor é positivo.

Estratégia 2: A Abordagem do Cálculo
Para conferir seu trabalho e mostrar que esses resultados se sustentam mesmo quando vistos através da lente da matemática contínua, os autores utilizam o cálculo elementar. Eles inventam uma função suave e ondulante $F(x)$ que imita o comportamento do problema discreto deles.

Eles analisam a forma desta curva. Eles mostram que a curva eventualmente começa a subir para sempre. Ao encontrar onde a curva cruza a "linha do zero" (o eixo x), eles podem prever onde os valores inteiros de $y(n)$ devem ser positivos ou negativos.

Eles provam que se $n$ for muito grande (especificamente $n \ge 404$ ), o valor é definitivamente positivo.
Eles usam a curva para estreitar a área de busca, confirmando que qualquer comportamento "negativo" deve ocorrer dentro de uma janela específica (aproximadamente entre 5 e 379).
Ao verificar os pontos inteiros específicos dentro desta janela, eles confirmam os limites exatos encontrados na primeira estratégia.

O Veredito Final

O artigo conclui com um mapa definitivo do território. A desigualdade $y(n) < 0$ (significando que a expressão é negativa) é verdadeira se, e somente se, $n$ cair em um destes três grupos:

$5 \le n \le 335$
$338 \le n \le 350$
$365 \le n \le 368$

Inversamente, $y(n) > 0$ (significando que a expressão é positiva) se $n$ estiver entre 1 e 4, ou nos intervalos entre as zonas negativas, ou se $n$ for 369 ou maior.

Mais importante ainda, os autores provam com absoluta certeza que $y(n)$ nunca é igual a zero para qualquer inteiro positivo. Não existem "números mágicos" onde a expressão desaparece perfeitamente. É um mundo estritamente binário de positivo e negativo, sem terreno neutro.

Este trabalho é um testemunho do poder de combinar a contagem de números da velha guarda com ferramentas analíticas modernas. Embora o resultado possa parecer um quebra-cabeça de nicho para os não iniciados, ele representa o tipo de verificação meticulosa e passo a passo que mantém as fundações da matemática sólidas. Mostra que, mesmo no mundo dos números abstratos, cada caso individual importa e, às vezes, as descobertas mais interessantes são saber exatamente onde as exceções não existem.

Resumo Técnico de "Another Inequality Inspired by Erdős"

Enunciado do Problema
O artigo investiga uma desigualdade específica envolvendo inteiros positivos, definida através de um conjunto de funções auxiliares derivadas das propriedades de potências de 2 e raízes quadradas. Os autores visam determinar o sinal da função $y(n)$ para todos os inteiros positivos $n$ .

A função $y(n)$ é definida como:
$y(n) = 2^{2n - 2z(n) - m(n) + 2} - n^{m(n) - 1}$
onde:

$z(n)$ é o maior inteiro tal que $3z(n) < 2n$ .
$m(n)$ é o maior inteiro tal que $m(n)^2 \le 2n$ .
$r(n)$ é o menor inteiro não negativo tal que $n \le 2^{r(n)}$ .

O problema central é resolver a desigualdade $y(n) < 0$ e identificar todos os $n$ para os quais $y(n) = 0$ . Este trabalho segue um exame anterior dos mesmos autores de uma desigualdade relacionada $x(n) < 0$ , onde $x(n) = z(n) - (r(n) + 1)m(n)$ . Os autores enquadram esta investigação no contexto da aritmética elementar, motivados pelo desejo de encontrar provas para enunciados da teoria dos números (como o Postulado de Bertrand) que dependam de métodos elementares, potencialmente dentro do fragmento de "Aritmética de Funções Elementares".

Metodologia
O artigo emprega duas abordagens metodológicas distintas para resolver a desigualdade:

Abordagem Puramente Aritmética (Seção 2):
- Particionamento de Intervalos: Os autores definem intervalos onde os valores de $m(n)$ e $r(n)$ permanecem constantes. Eles constroem uma sequência de intervalos $[g(i), g(i+1)-1]$ onde estes parâmetros são fixos, permitindo a análise de $x(n)$ e $y(n)$ como sequências não decrescentes ou monotônicas dentro destes limites.
- Limites Comparativos: Utilizando lemas, os autores estabelecem limites comparando potências de 2 ( $2^{c(n)-m(n)}$ ) contra potências de $n$ ( $n^{m(n)-1}$ ). Eles utilizam desigualdades específicas para mostrar que, se certas condições sobre $c(n)$ , $m(n)$ e $r(n)$ forem atendidas, $y(n)$ deve ser estritamente negativa ou estritamente positiva.
- Verificação Caso a Caso: Para o intervalo onde os limites gerais são insuficientes (especificamente $17 \le n \le 403$ ), os autores realizam uma análise detalhada, intervalo por intervalo. Isso envolve calcular valores específicos de $c(n)$ e compará-los contra potências calculadas de $n$ para determinar o sinal de $y(n)$ .
Abordagem de Cálculo Elementar (Seção 3):
- Aproximação Contínua: Os autores definem funções contínuas $F(x)$ que aproximam o comportamento discreto de $x(n)$ e $y(n)$ . Estas funções envolvem termos como $x^{2/3}$ , $\sqrt{x}$ e $\log_2 x$ .
- Análise de Convexidade: Ao analisar as segundas derivadas ( $F''(x)$ ), os autores provam que estas funções são convexas para $x$ suficientemente grande. Esta convexidade implica que as funções têm no máximo um mínimo local e cruzam o zero no máximo uma vez em domínios específicos.
- Limitando as Raízes: Os autores calculam valores específicos para localizar as raízes destas funções contínuas (por exemplo, encontrando $k$ tal que $f(k) \approx 0$ ). Eles então utilizam a relação entre a função contínua e a sequência inteira discreta para limitar o intervalo de inteiros onde a desigualdade é válida.

Contribuições Principais e Resultados

Solução Completa da Desigualdade (2): O artigo fornece uma classificação definitiva do sinal de $y(n)$ para todos os inteiros positivos $n$ .
- $y(n) < 0$ : Isto ocorre se, e somente se, $5 \le n \le 335$ , $338 \le n \le 350$ , ou $365 \le n \le 368$ .
- $y(n) > 0$ : Isto ocorre se, e somente se, $1 \le n \le 4$ , $336 \le n \le 337$ , $351 \le n \le 364$ , ou $n \ge 369$ .
- $y(n) = 0$ : Os autores provam que $y(n)$ nunca é zero para qualquer inteiro positivo $n$ .
Refinamento do Trabalho Anterior (Desigualdade 1): Embora o foco principal seja em $y(n)$ , o artigo também revisita a desigualdade $x(n) < 0$ usando o método de cálculo. Ele reconfirma o resultado de seu trabalho anterior [1] de que $x(n) = 0$ apenas para $n \in \{436, 451, 529, 545, 546\}$ e $x(n) < 0$ para $n \le 435$ , $n=450$ , ou $513 \le n \le 528$ .
Demonstração Metodológica: O artigo demonstra que desigualdades complexas em inteiros positivos podem ser abordadas utilizando "cálculo elementar" (envolvendo logaritmos e raízes) para estreitar o espaço de busca, seguido de verificação aritmética finita.

Significância e Alegações
Os autores posicionam este trabalho como um exercício metodológico e didático. Eles não alegam resolver uma grande conjectura aberta, mas sim explorar "desigualdades incomuns em inteiros positivos" que surgem de tentativas de simplificar provas do Postulado de Bertrand.

A significância alegada é dupla:

Pureza Aritmética: Os autores argumentam que os métodos utilizados podem ser "transmografados" para produzir demonstrações dentro ou próximas da "Aritmética de Funções Elementares", um fragmento fraco da aritmética. Isso se alinha ao objetivo de encontrar provas para asserções da teoria dos números que não dependam de pesada maquinaria analítica (cálculo), embora o próprio artigo utilize o cálculo como uma ferramenta para guiar a prova aritmética.
Valor Didático: A inclusão de tanto uma solução puramente aritmética quanto uma solução baseada em cálculo serve para ilustrar diferentes maneiras de abordar tais problemas. Os autores observam que, enquanto a prova aritmética é "pura", a abordagem de cálculo oferece uma maneira de "facilitar" o cálculo e restringir o intervalo de inteiros que requerem verificação manual.

O artigo conclui modestamente, afirmando que os resultados fornecem uma solução completa para as desigualdades específicas apresentadas, sem extrapolar para aplicações mais amplas ou direções de pesquisa futuras além do contexto imediato destas desigualdades inteiras específicas.

A Grande Caçada Numérica

O Ataque de Duas Frentes

O Veredito Final

Mais como este