An Elementary proof for Bertrand's Postulate

Resumo Técnico: Uma Prova Elementar para o Postulado de Bertrand

1. O Problema

O Postulado de Bertrand (também conhecido como Teorema de Bertrand-Chebyshev) é uma afirmação fundamental na teoria dos números que estabelece a densidade dos números primos. A conjectura, proposta por Joseph Bertrand em 1845 e provada por Pafnuty Chebyshev em 1850, afirma que:

Para todo número inteiro $n > 1$, existe pelo menos um número primo $p$ tal que $n < p < 2n$.

Antes das provas "elementares" modernas, as demonstrações conhecidas dependiam de métodos analíticos complexos, utilizando a função zeta de Riemann e estimativas assintóticas da função contadora de primos $\pi(x)$. O objetivo deste tipo de artigo é fornecer uma demonstração que utilize apenas a aritmética básica, propriedades de divisibilidade e desigualdades, sem recorrer à análise complexa ou ao Teorema dos Números Primos.

2. Metodologia

A metodologia empregada em provas elementares deste tipo (inspiradas na abordagem clássica de Paul Erdős, que é frequentemente a referência para este título) baseia-se na análise do coeficiente binomial central $\binom{2n}{n}$. O raciocínio segue os seguintes passos lógicos:

• Análise do Coeficiente Binomial: Estuda-se o valor de $\binom{2n}{n} = \frac{(2n)!}{(n!)^2}$. Sabe-se que este número é um inteiro e possui propriedades de crescimento específicas.
• Decomposição em Fatores Primos: O coeficiente é decomposto em seus fatores primos. A prova utiliza a fórmula de Legendre para determinar a potência de um primo $p$ que divide $n!$.
• Estimativas de Limites Superiores e Inferiores:
  • Estabelece-se um limite inferior para $\binom{2n}{n}$ (geralmente usando a expansão binomial $(1+1)^{2n} = 2^{2n}$ e removendo termos).
  • Estabelece-se um limite superior para $\binom{2n}{n}$ analisando a contribuição dos primos menores que $2n$.
• Divisão em Casos: A prova divide os primos em faixas:
  1. Primos $p \le \sqrt{2n}$.
  2. Primos $\sqrt{2n} < p \le 2n/3$.
  3. Primos $2n/3 < p \le n$.
  4. Primos $n < p < 2n$.
• Argumento de Contradição: Assume-se que não existe nenhum primo no intervalo $(n, 2n)$. Sob essa hipótese, calcula-se o limite superior máximo possível para $\binom{2n}{n}$ usando apenas os primos nas faixas inferiores. Demonstra-se que, para $n$ suficientemente grande, esse limite superior é estritamente menor que o limite inferior conhecido, criando uma contradição.

3. Principais Contribuições

A principal contribuição deste trabalho é a simplificação e acessibilidade da prova.

• Eliminação de Análise Complexa: A prova demonstra que o Teorema de Bertrand-Chebyshev pode ser resolvido sem o uso de ferramentas avançadas de análise complexa (como a função $\zeta(s)$), tornando o resultado acessível a estudantes com conhecimento de cálculo e teoria dos números básica.
• Estrutura Combinatória: Reforça a conexão profunda entre a combinatória (coeficientes binomiais) e a distribuição dos números primos.
• Rigor Elementar: Fornece um conjunto de desigualdades explícitas e verificáveis que validam a existência do primo para todos os $n$, não apenas assintoticamente.

4. Resultados

O resultado central da prova é a confirmação rigorosa da afirmação:
$$\forall n > 1, \quad \exists p \in \mathbb{P} \text{ tal que } n < p < 2n$$
Onde $\mathbb{P}$ é o conjunto dos números primos.

A prova geralmente trata dois casos:

1. Pequenos valores de $n$: A verificação é feita manualmente ou por computação para um limite inicial (ex: $n < 4000$).
2. Grandes valores de $n$: Para $n$ acima desse limite, as desigualdades derivadas da análise do coeficiente binomial $\binom{2n}{n}$ provam que a ausência de primos no intervalo $(n, 2n)$ levaria a uma contradição matemática impossível.

5. Significado

O significado deste trabalho transcende a simples validação de um teorema:

• Pedagógico: Serve como um exemplo paradigmático de como problemas profundos na teoria dos números podem ser atacados com métodos "elementares" (no sentido de não usar análise complexa), sendo amplamente utilizado no ensino superior.
• Fundamental: O Postulado de Bertrand é um passo crucial para o Teorema dos Números Primos (que descreve a densidade assintótica dos primos como $\pi(x) \sim x/\ln x$). Ele garante que os primos não ficam "espaçados" arbitrariamente, assegurando que a densidade de primos não cai a zero rapidamente.
• Histórico: Representa a culminação de esforços de matemáticos como Chebyshev, Ramanujan e Erdős para tornar a teoria dos números mais autossuficiente e menos dependente de ferramentas analíticas externas.

Em suma, o artigo oferece uma demonstração elegante e autocontida que reafirma a existência de primos em intervalos específicos, utilizando apenas a aritmética e a combinatória como ferramentas principais.