🔢 mathematics

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

本文回顾了希尔伯特关于 $e$ 超越性的经典解析证明，并利用形式幂级数给出了两个代数证明（分别基于贝乌特斯等人的方法以及作者提出的形式幂级数广义积分法），同时阐述了这两个证明相较于希尔伯特原证明的改进之处。

原作者： Martin Klazar

发布于 2026-03-09

📖 1 分钟阅读🧠 深度阅读

原作者： Martin Klazar

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章就像是一位数学家在讲述一个关于“数字 $e$ "的侦探故事。

核心任务：证明数字 $e$ （自然对数的底，约等于 2.718...）是一个“超越数”。
通俗解释：什么是超越数？想象一下，所有的有理数（分数）和代数数（比如 $\sqrt{2}$ ，它是 $x^2-2=0$ 的解）都是“听话”的数字，它们都能被一个简单的整数方程“抓住”。而 $e$ 是个“逃犯”，无论你怎么列方程，它都永远无法被任何整数方程抓住。

这篇文章主要做了三件事：

回顾旧案：介绍了希尔伯特（Hilbert）经典的证明方法。
发现新线索：指出旧方法虽然漂亮，但用到了“无穷多个点”（不可数集），这在数学哲学上有点“偷懒”或不够纯粹。
提出新方案：作者给出了两种全新的证明方法，完全避开了“无穷多个点”的陷阱，只用“形式幂级数”（一种像无限长多项式一样的代数工具）就把 $e$ 给“抓”住了。

1. 希尔伯特的“旧式围捕”：用积分网捕鱼

希尔伯特的证明就像是在用一张巨大的渔网去捞一条鱼（ $e$ ）。

设定陷阱：假设 $e$ 不是逃犯，而是个听话的代数数。那么就会存在一组整数 $a_0, a_1, \dots, a_n$ ，使得 $a_0 + a_1e + \dots + a_ne^n = 0$ 。
撒网：希尔伯特构造了一个特殊的函数（像 $x^r(x-1)^r \dots$ 这样的多项式），然后把它和 $e^{-x}$ 放在一起，在从 0 到无穷大的范围内进行积分（想象成计算曲线下的面积）。
矛盾出现：
- 一方面，这个积分算出来的结果应该是一个整数（而且很大，能被 $r!$ 整除）。
- 另一方面，通过估算，这个积分的结果又应该非常非常小（趋近于 0）。
- 结论：一个既要是非零整数，又要无限接近 0 的数，根本不存在！所以最初的假设（ $e$ 是代数数）是错的。

缺点：这个证明用到了“从 0 到无穷大”的连续积分。在数学哲学看来，这涉及到了“不可数集”（比如实数轴上密密麻麻的点）。作者觉得，证明一个关于“整数”的问题，不应该依赖这么庞大的“连续世界”。

2. 新方法一：贝乌克斯等人的“代数积木”

第一种新方法（基于 Beukers, Bézivin, Robba 的工作）就像是用乐高积木来搭建证明，完全不需要“连续”的胶水。

核心工具：形式幂级数。你可以把它想象成一个无限长的多项式，比如 $1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots$ 。在这里， $x$ 只是一个占位符，不代表具体的数值，我们只关心系数（数字）之间的代数关系。
逻辑推演：
1. 作者把 $e$ 的假设方程转化成了关于这些“无限多项式”的方程。
2. 他们发现，如果 $e$ 是代数数，那么这些多项式必须满足某种“有理函数”的性质（就像分数一样，分子分母都是多项式）。
3. 但是，通过仔细分析这些多项式的结构（极点、阶数等），发现它们不可能同时满足所有条件。
4. 比喻：就像你试图用乐高积木拼出一个完美的圆，但发现无论怎么拼，总会有棱角。这种“结构上的不兼容”直接证明了 $e$ 的逃犯身份。

优点：完全在“离散”的代数世界里完成，没有用到任何连续的积分或无穷多个点。

3. 新方法二：作者的“形式积分”魔术

第二种方法是作者自己的发明，它更像是一个魔术表演，把希尔伯特的“积分网”搬到了代数世界里。

概念转换：作者发明了一种“形式积分”（Formal Integral）。
- 在普通数学里，积分是求面积。
- 在这里，积分变成了对多项式系数的某种代数操作（比如把 $x^n$ 变成 $\frac{x^{n+1}}{n+1}$ ）。
- 这就像是在玩一个代数游戏：规则变了，但逻辑依然通顺。
重新演绎：
1. 作者把希尔伯特证明中的“从 0 到无穷大的积分”，翻译成了这种“形式积分”。
2. 他证明了，即使不真的去算那个无穷大的面积，仅仅通过操作这些多项式的系数，依然能得出那个“既是整数又趋近于 0"的矛盾。
3. 比喻：希尔伯特是去海边真的撒网捕鱼（涉及大海、波浪等连续概念）；而作者是在家里用一张图纸（形式幂级数）模拟了撒网的过程，发现图纸上的鱼依然逃不掉。

优点：既保留了希尔伯特证明的直观美感（利用积分的矛盾），又彻底剔除了“不可数集”这个累赘，让证明变得纯粹而优雅。

总结：为什么要这么做？

这就好比我们要证明“世界上没有完美的正方形”。

旧方法：拿尺子去量无数个正方形的边，发现总有误差。
新方法：直接在几何公理体系里推导，证明正方形的定义本身就包含了矛盾，根本不需要去量。

这篇文章的价值在于：它展示了数学的纯粹性。作者认为，证明关于整数的性质（ $e$ 是超越数），应该只用整数和代数工具，而不需要引入“连续统”（不可数集）这种宏大的概念。

一句话总结：
这篇文章通过两种巧妙的代数手段（一种基于多项式结构，一种基于形式积分），在不依赖“无穷多个点”的连续概念下，成功证明了 $e$ 是一个无法被任何整数方程捕捉的“逃犯”。

这是一份关于 Martin Klazar 论文《Two algebraic proofs of the transcendence of e based on formal power series》（基于形式幂级数的 $e$ 超越性的两个代数证明）的详细技术总结。

1. 研究问题 (Problem)

本文旨在探讨数学证明中**不可数集（uncountable sets）**的使用问题。

背景： $e$ 的超越性最早由 Hermite 证明，Hilbert 给出了一个经典的解析证明。Hilbert 的证明依赖于定义在区间 $[0, +\infty)$ 上的函数 $x^n e^{-x}$ 的广义积分。
核心矛盾：在标准数学分析中，实数集和函数空间通常涉及不可数集（如 Dedekind 分割或 Cauchy 序列等价类）。作者提出一个问题：是否可以在不实质性依赖不可数集的情况下证明 $e$ 的超越性？
目标：利用**形式幂级数（Formal Power Series）**构建两个代数证明，完全避免使用不可数集，从而在逻辑基础上“净化”Hilbert 的经典证明。

2. 方法论 (Methodology)

作者采用了**形式幂级数（Formal Power Series）**作为核心工具，将传统的解析积分转化为代数运算。

核心工具：形式幂级数与半形式积分

形式幂级数环：在 $\mathbb{R}[[x]]$ （实系数形式幂级数）和 $\mathbb{R}\{x\}$ （收敛形式幂级数，即具有无限收敛半径的级数）中工作。
变量 $x$ 的形式化：在形式幂级数中， $x$ 仅是一个形式符号，不涉及具体的实数值，从而避开了实数系的不可数性。
半形式运算（Semiformal Operations）：
- 位移（Shifts）：定义 $f(x+b)$ ，其系数通过二项式定理展开得到。由于 $f(x)$ 是收敛级数，这种系数定义是良定的。
- 形式积分（Newton Integral）：定义形式原函数 $\int f$ ，并定义从 $u$ 到 $v$ 的积分 $\int_u^v f = (\int f)(v) - (\int f)(u)$ 。
- 广义积分：定义 $\int_u^{+\infty} f$ 为当上限趋于无穷大时的极限。
关键恒等式：利用形式指数函数 $\text{Exp}(x) = \sum \frac{x^n}{n!}$ 及其性质（如 $\text{Exp}'(x) = \text{Exp}(x)$ ），在形式框架下复现欧拉恒等式 $\int_0^{+\infty} x^k e^{-x} dx = k!$ 。

3. 关键贡献与证明过程 (Key Contributions & Results)

作者提供了两个具体的证明，均旨在证明 $e$ 的超越性（即不存在非零整数多项式 $P(x)$ 使得 $P(e)=0$ ）。

证明一：Beukers, Bézivin 和 Robba 证明的特化

来源：基于 Beukers, Bézivin 和 Robba (1990) 对 Lindemann-Weierstrass 定理的代数证明。
逻辑结构：
1. 反证假设：假设存在整数 $b_j, \alpha_j$ 使得 $\sum b_j e^{\alpha_j} = 0$ 。
2. 构造序列：定义整数序列 $u_n = \sum b_j \alpha_j^n$ 和 $v_n = n! \sum_{r=0}^n u_r/r!$ 。
3. 有理级数判定：利用定理证明，若 $v_n$ 满足特定的增长界（ $O(A^n)$ ），则形式幂级数 $V(x) = \sum v_n x^n$ 是有理函数（即两个多项式的商）。
4. 矛盾导出：
  - 通过假设 $\sum b_j e^{\alpha_j} = 0$ ，推导出 $V(x)$ 满足特定的微分方程。
  - 利用命题 2.1：若 $A(x)$ 是有理函数，则 $p(x)A(x) + cx^m A'(x)$ 的极点性质会发生特定变化（要么无极点，要么极点阶数 $\ge 2$ ）。
  - 然而，根据假设推导出的 $V(x)$ 的表达式 $\sum \frac{b_j}{1-\alpha_j x}$ 具有单极点（阶数为 1）。
  - 这种极点性质的矛盾证明了假设不成立，即 $e$ 是超越数。
特点：完全在代数结构（有理形式幂级数）中完成，未涉及实分析中的不可数集。

证明二：基于“半形式积分”的新证明（作者原创）

核心思想：将 Hilbert 的经典证明直接“翻译”到形式幂级数的语言中。
步骤：
1. 构造多项式：定义 $p_r(x) = x^r((x-1)\cdots(x-n))^{r+1}$ 。
2. 形式积分分解：将假设的 $0 = \sum a_i e^i$ 乘以形式广义积分 $\int_0^{+\infty} p_r(x) \text{Exp}(-x) dx$ 。
3. 分离项：将积分拆分为 $A_r$ （有限区间 $[0, i]$ ）和 $B_r$ （无限区间 $[i, +\infty)$ ）。
4. 性质分析：
  - $B_r$ 的性质：利用形式位移性质（Proposition 3.14）和欧拉恒等式（Proposition 3.16，在形式框架下证明 $\int_0^{+\infty} x^k \text{Exp}(-x) = k!$ ），证明 $B_r$ 是 $r!$ 的整数倍，且对无穷多个 $r$ 不为零。
  - $A_r$ 的界：利用形式积分的估值引理（Proposition 3.15），证明 $|A_r| \le c^r$ （指数级增长）。
5. 矛盾：当 $r \to \infty$ 时， $c^r / r! \to 0$ 。等式 $A_r + B_r = 0$ 意味着一个非零整数（ $B_r$ ）必须被一个趋于零的数（ $A_r$ ）抵消，这在整数域中是不可能的。
特点：这是作者提出的新证明，它保留了 Hilbert 证明的直观结构（积分估计），但将所有操作限制在形式幂级数和收敛级数的代数框架内。

4. 主要结果 (Results)

$e$ 的超越性：成功在两个不同的代数框架下证明了 $e$ 的超越性。
去不可数化：证明了 $e$ 的超越性可以在不实质性使用不可数集（如连续统、实数完备性）的前提下完成。所有的推导仅依赖于整数、有理数、多项式运算、形式级数及其收敛性（作为代数性质处理）。
欧拉恒等式的代数化：在形式幂级数框架下重新证明了 $\int_0^{+\infty} x^k e^{-x} dx = k!$ ，无需依赖实分析中的极限理论。

5. 意义与价值 (Significance)

基础数学的净化：该论文响应了数学基础研究中关于“构造性”和“可计算性”的讨论。它展示了经典分析结果（如超越性证明）可以完全在更弱的、可数的代数系统中实现。
方法论创新：提出了“半形式积分”（semiformal integration）的概念，成功地将分析学中的积分操作转化为形式幂级数的代数操作，为处理涉及指数函数的超越性问题提供了新的代数视角。
对现有文献的补充：作者指出 Beukers 等人的工作虽然重要，但在数学界（特别是关于不可数集使用的讨论中）被低估了。本文通过专门针对 $e$ 的特化证明，使这一复杂的代数证明更加清晰易懂，并补充了作者自己的新证明。
教育价值：为理解超越数理论提供了除传统解析方法之外的另一种强有力的代数路径，展示了形式幂级数在数论中的强大应用潜力。

总结：Martin Klazar 的这篇论文通过引入形式幂级数和半形式积分，成功地将 $e$ 的超越性证明从依赖不可数实数集的分析框架中剥离出来，转化为纯粹的代数证明。这不仅验证了 Beukers 等人工作的普适性，还提供了一个新颖的、基于作者原创思路的代数证明，深化了我们对超越数证明逻辑基础的理解。