Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

Este artigo apresenta duas provas algébricas da transcendência de $e$ baseadas em séries de potências formais, que melhoram a prova analítica clássica de Hilbert ao generalizar o método de Beukers, Bézivin e Robba e ao introduzir uma nova abordagem utilizando integrais impróprias de séries formais.

O essencial

Imagine que o número $e$ (a base dos logaritmos naturais, cerca de 2,718) é um "número rebelde". A matemática clássica diz que ele é transcendente. O que isso significa? Significa que você nunca conseguirá escrever uma equação simples usando apenas números inteiros (como 1, 2, 3...) e operações básicas (somar, multiplicar) que faça o resultado ser exatamente zero se você incluir o número $e$. É como se $e$ fosse um fantasma que não deixa pegadas no mundo dos números inteiros.

O matemático David Hilbert, há muito tempo, provou isso usando uma ferramenta chamada cálculo integral. Ele olhou para o número $e$ como se fosse uma função que flutua sobre uma linha infinita, calculando áreas sob curvas. O problema é que essa abordagem lida com infinitos contínuos (como a linha do tempo ou uma faixa de estrada sem fim), o que é um conceito muito abstrato e "gordo" para alguns matemáticos que preferem trabalhar apenas com contagens discretas (1, 2, 3...).

O autor deste artigo, Martin Klazar, diz: "E se pudéssemos provar que $e$ é um fantasma sem precisar olhar para o infinito contínuo? E se fizéssemos isso apenas com 'blocos de construção' matemáticos?"

Aqui está a explicação das duas novas provas, usando analogias simples:

1. A Prova dos "Blocos de Lego" (A prova de Beukers, Bézivin e Robba)

Imagine que, em vez de desenhar uma curva suave e infinita (como Hilbert fazia), você constrói uma torre usando blocos de Lego. Cada bloco é um termo de uma série (uma sequência de números).

• A Ideia: Em vez de olhar para a função inteira, os matemáticos olham para a "receita" da função. Eles tratam o número $e$ não como um valor flutuante, mas como uma sequência infinita de instruções (uma "série formal").
• O Truque: Eles mostram que, se $e$ fosse "normal" (algebraico), essa torre de blocos teria que seguir um padrão muito rígido e previsível (seria uma "função racional").
• O Colapso: Ao tentar construir essa torre com as regras que $e$ impõe, eles descobrem que a torre precisa ser infinitamente alta e pesada de uma forma que viola as leis da física matemática. A torre desmorona porque os números inteiros usados na construção não conseguem "segurar" o peso da lógica.
• A Lição: Eles provaram que $e$ é transcendente apenas manipulando sequências de números (os blocos), sem nunca precisar desenhar uma linha contínua ou usar o conceito de "infinito contínuo". É como provar que um castelo de cartas é instável apenas contando os cartões, sem precisar soprar neles.

2. A Prova da "Máquina de Tradução" (A prova do próprio autor)

A segunda prova é uma tentativa de pegar a prova antiga de Hilbert e traduzi-la para uma linguagem que não use o "infinito contínuo".

• A Analogia da Tradução: Imagine que a prova de Hilbert foi escrita em um idioma antigo e misterioso que exige que você visualize uma estrada infinita. O autor pegou essa prova e a traduziu para um idioma novo, baseado em séries formais.
• O "Integrador Improper" (A Máquina de Soma): Na prova antiga, eles calculavam a área sob uma curva até o infinito. Na nova prova, eles usam uma "máquina de soma" que funciona com regras estritas de álgebra. Eles definem uma "integral" que não precisa de uma linha contínua, mas sim de uma soma de termos que se comportam de maneira previsível.
• O Resultado: Eles mostram que, mesmo usando essa "máquina de tradução", o resultado final é o mesmo: chega-se a uma contradição. Se você assumir que $e$ é um número comum, a máquina de soma produz um número que deveria ser zero, mas que, por causa das regras dos números inteiros, não pode ser zero.
• A Vantagem: É como se você tivesse provado que um truque de mágica é impossível, não observando o mágico se movendo no palco (o contínuo), mas apenas analisando a lista de ingredientes que ele usou (os números inteiros).

Por que isso é importante?

A maioria das pessoas (e até de muitos matemáticos) não se importa se usamos "infinitos contínuos" ou não. Mas para alguns, como o autor, existe uma beleza filosófica em provar coisas usando apenas o que é contável (1, 2, 3...).

• A Prova Clássica (Hilbert): Usa "áreas infinitas" e curvas suaves. É como tentar medir a água de um rio usando um balde que nunca enche.
• As Novas Provas: Usam "somas de blocos" e regras de sequência. É como contar gota a gota a água que cai de uma torneira, sem nunca precisar ver o rio inteiro.

Em resumo:
Este artigo é um "desafio de estilo". O autor não descobriu um novo número ou uma nova verdade (todos já sabiam que $e$ é transcendente). O que ele fez foi mostrar que podemos provar essa verdade de uma maneira mais "pura", usando apenas ferramentas algébricas e sequências de números, evitando a necessidade de visualizar o infinito contínuo. É como dizer: "Você pode provar que o céu é azul sem precisar olhar para o céu, apenas analisando a composição química do ar."

Resumo técnico

Título: Duas provas algébricas da transcendência de $e$ baseadas em séries de potências formais

1. O Problema

O artigo aborda a prova da transcendência do número $e$. Embora a transcendência de $e$ tenha sido estabelecida originalmente por Charles Hermite e posteriormente refinada por David Hilbert, as provas clássicas dependem fundamentalmente de análise real e de conjuntos não enumeráveis (especificamente, o uso de integrais impropias sobre o intervalo $[0, +\infty)$ e funções reais $x^n e^{-x}$).

O objetivo central do autor é responder à seguinte questão: É possível provar a transcendência de $e$ sem fazer uso substancial de conjuntos não enumeráveis? O autor busca reformular a prova de Hilbert e apresentar novas abordagens puramente algébricas ou "semiformais", utilizando o domínio das séries de potências formais, onde a variável $x$ é tratada como um símbolo formal e não como um número real contínuo.

2. Metodologia

O autor emprega duas metodologias distintas, ambas baseadas em séries de potências formais ($\mathbb{C}[[x]]$ e $\mathbb{R}[[x]]$), para evitar a dependência de limites contínuos e conjuntos não enumeráveis:

A. Especialização da Prova de Beukers, Bézivin e Robba

Esta abordagem adapta a prova do Teorema de Lindemann-Weierstrass desenvolvida por Beukers, Bézivin e Robba (1990).

• Conceito Chave: Substituição de funções analíticas por sequências complexas (séries de potências formais).
• Estrutura Lógica:
  1. Define-se a racionalidade de séries de potências formais.
  2. Estabelece-se uma decomposição em frações parciais para séries racionais.
  3. Utiliza-se um lema sobre a ordem dos polos de séries racionais sob operações de multiplicação por polinômios e derivação (Proposição 2.1).
  4. Constrói-se uma série formal $V(x) = \sum v_n x^n$ baseada em combinações lineares de potências de inteiros.
  5. Demonstra-se que, sob a hipótese de que $e$ é algébrico, essa série seria racional.
  6. Aplica-se uma estimativa de crescimento (limites) para mostrar que os coeficientes da série satisfazem condições que contradizem a racionalidade (via análise de divisibilidade por fatoriais e crescimento exponencial), levando a uma contradição.

B. Prova por "Integração Semiformal" (do Autor)

Esta é uma prova original do autor que traduz diretamente a prova de Hilbert para a linguagem das séries de potências formais.

• Conceito Chave: Definição de uma "integral de Newton" formal e operações de deslocamento (shifts) em séries convergentes.
• Definições Fundamentais:
  • Série Exponencial Formal: $\text{Exp}(x) = \sum \frac{x^n}{n!}$.
  • Operações Semiformais: Definição de deslocamento $f(x+b)$ e multiplicação por constantes internas $f(ax)$ para séries convergentes.
  • Integral de Newton: Define-se a integral $\int_u^v f$ como a diferença entre os valores da primitiva formal em $v$ e $u$.
  • Integral Imprópria Formal: Define-se $\int_u^{+\infty} f$ como o limite de integrais parciais, provando que este limite existe e é independente da sequência de aproximação, sem invocar a completude dos reais de forma analítica tradicional.
• Execução:
  1. Assume-se por contradição que $a_0 + a_1 e + \dots + a_n e^n = 0$.
  2. Multiplica-se a equação por uma integral imprópria formal envolvendo um polinômio $p_r(x)$ e $\text{Exp}(-x)$.
  3. Decompõe-se a integral em duas partes: $A_r$ (integral finita) e $B_r$ (integral do infinito).
  4. Demonstra-se que $B_r$ é um múltiplo inteiro de $r!$ e não nulo para infinitos $r$.
  5. Demonstra-se que $A_r$ é exponencialmente limitado (da ordem de $c^r$).
  6. A soma $A_r + B_r = 0$ gera uma contradição, pois um número inteiro não nulo e divisível por $r!$ não pode ser arbitrariamente pequeno em magnitude relativa a $r!$ quando $r \to \infty$.

3. Principais Contribuições

1. Eliminação de Conjuntos Não Enumeráveis: A contribuição mais significativa é a demonstração de que a transcendência de $e$ pode ser provada sem recorrer substancialmente à teoria dos conjuntos não enumeráveis (como o contínuo real ou integrais de Riemann/Lebesgue tradicionais). O autor argumenta que a distinção entre usar ou não conjuntos não enumeráveis é relevante para fundamentos da matemática.
2. Revisão e Simplificação da Prova de Beukers et al.: O artigo reorganiza e especializa a prova complexa do Teorema de Lindemann-Weierstrass para o caso específico de $e$, tornando-a mais acessível e destacando sua estrutura algébrica.
3. Nova Prova Algébrica Original: O autor apresenta uma prova inédita que traduz a intuição analítica de Hilbert (integrais impropias) para o domínio das séries de potências formais, introduzindo o conceito de "integral de Newton" e "deslocamentos semiformais".
4. Identidade de Euler Formal: A prova da identidade $\int_0^{+\infty} x^k e^{-x} dx = k!$ é realizada puramente dentro do domínio das séries formais, sem apelo a limites analíticos clássicos.

4. Resultados

• O autor confirma que a transcendência de $e$ é um resultado que pode ser estabelecido inteiramente dentro de um framework que evita a "substancial" utilização de conjuntos não enumeráveis.
• As duas provas apresentadas (a especialização de Beukers-Bézivin-Robba e a prova por integração semiformal) são matematicamente equivalentes em sua conclusão, mas diferem na técnica: a primeira foca na estrutura de racionalidade de séries, enquanto a segunda foca na tradução direta de propriedades de integrais para o domínio formal.
• Ambas as provas demonstram que a contradição final surge da incompatibilidade entre o crescimento exponencial dos coeficientes e a divisibilidade por fatoriais, um fenômeno puramente aritmético-algébrico.

5. Significância

O artigo é significativo por razões tanto matemáticas quanto filosóficas:

• Fundamentos da Matemática: O trabalho responde a uma questão sobre a necessidade de conjuntos não enumeráveis em teoremas clássicos de teoria dos números. O autor sugere que a maioria dos matemáticos profissionais não percebe essa distinção, mas que ela é crucial para certas abordagens construtivistas ou finitistas.
• Pedagogia e Clareza: Ao remover a complexidade analítica das integrais impropias e substituí-las por manipulações algébricas de séries formais, o autor oferece uma perspectiva alternativa que pode ser mais acessível para quem tem formação em álgebra e menos em análise real avançada.
• Valor Histórico: O artigo destaca que a prova de Beukers, Bézivin e Robba (1990), embora poderosa, foi pouco citada e merece uma nova divulgação, especialmente por sua capacidade de evitar o contínuo real.

Em resumo, Klazar não apenas prova a transcendência de $e$ de novas formas, mas também desafia a convenção de que a análise real é indispensável para tal prova, oferecendo uma alternativa puramente algébrica e formal.