超越数论详解

超越数论详解

目录

• 第一章 绪论
• 第二章 代数数与超越数的基本分类
• 第三章 丢番图逼近与 Liouville 定理
• 第四章 e 的超越性
• 第五章 π 的超越性与化圆为方
• 第六章 希尔伯特第七问题与 Gelfond-Schneider 定理
• 第七章 Baker 定理与对数线性型
• 第八章 辅助函数方法
• 第九章 指数多项式与零点计数
• 第十章 Schanuel 猜想
• 第十一章 其他重要超越数
• 第十二章 超越数论在数论中的应用
• 第十三章 开放问题与前沿方向
• 附录：重要定理与公式汇总

第一章 绪论

1.1 超越数论的定义

超越数论（Transcendental Number Theory）是数论的一个分支，研究超越数（Transcendental Numbers）的存在性、性质以及相关判定方法。

定义 1.1（代数数与超越数） ：

• 一个复数 \(\alpha \in \mathbb{C}\) 称为代数数（Algebraic Number），如果存在一个非零的有理系数多项式 \(f(x) \in \mathbb{Q}[x]\) 使得 \(f(\alpha) = 0\)。
• 一个复数 \(\alpha \in \mathbb{C}\) 称为超越数（Transcendental Number），如果它不是代数数——即不存在任何非零的有理系数多项式以 \(\alpha\) 为根。

通俗理解：代数数是可以“通过有限次加减乘除和开方”从有理数构造出来的数（虽然严格地说，伽罗瓦理论告诉我们并非所有代数数都可以只用根式表示）。而超越数则“超越”了代数运算的范畴，无法用任何代数方程来刻画。

例 1.1：

• \(\sqrt{2}\) 是代数数，因为它是 \(x^2 - 2 = 0\) 的根。
• \(i = \sqrt{-1}\) 是代数数，因为它是 \(x^2 + 1 = 0\) 的根。
• 所有有理数都是代数数（\(q\) 是 \(x - q = 0\) 的根）。
• \(e\)（自然对数的底）是超越数（Hermite, 1873）。
• \(\pi\)（圆周率）是超越数（Lindemann, 1882）。

1.2 超越数论的历史发展

超越数论的历史是一部人类对“数”的认识不断深化的历史：

（1）古代至18世纪：朦胧的感知

• 古希腊时期，毕达哥拉斯学派发现 \(\sqrt{2}\) 不是有理数，这是人类第一次认识到“不可公度量”的存在。但当时“无理数”和“超越数”的概念尚未区分。
• 欧拉（Euler）在18世纪对 \(e\) 和 \(\pi\) 进行了深入研究，他猜测 \(e\) 不是任何代数方程的根，但没有给出证明。

（2）19世纪：超越数的发现与证明

• Liouville（1844）：构造了第一个明确的超越数——Liouville数 \(\sum_{n=1}^{\infty} 10^{-n!}\)。Liouville还证明了：代数数不能被有理数“过分好地”逼近（即Liouville定理），这为构造超越数提供了系统方法。
• Hermite（1873）：证明了 \(e\) 是超越数。这是第一个“自然”出现的超越数的证明，标志着超越数论的诞生。
• Lindemann（1882）：证明了 \(\pi\) 是超越数。作为推论，化圆为方问题被彻底否定——用尺规作图无法做出与给定圆面积相等的正方形。
• Weierstrass（1885）：将Hermite的结果推广为Lindemann-Weierstrass定理：若 \(\alpha_1, \cdots, \alpha_n\) 是线性无关的代数数，则 \(e^{\alpha_1}, \cdots, e^{\alpha_n}\) 在代数数域上代数无关。

（3）20世纪：希尔伯特问题与Gelfond-Schneider定理

• Hilbert在1900年巴黎国际数学家大会上提出了23个数学问题，其中第七问题是：若 \(\alpha\) 是代数数（\(\alpha \neq 0, 1\)），\(\beta\) 是代数无理数，证明 \(\alpha^{\beta}\) 是超越数。
• Gelfond和Schneider（1934）独立解决了Hilbert第七问题，证明了 \(2^{\sqrt{2}}\)、\(e^{\pi} = (-1)^{-i}\) 等数是超越数。
• Baker（1966）将Gelfond-Schneider定理推广到多个对数的情形，建立了Baker定理，由此推导出许多丢番图方程的有限性结果，Baker因此获得1970年菲尔兹奖。

（4）当代：Schanuel猜想与未解难题

• Schanuel猜想（1960年代）是超越数论中最重要的开放问题，它统一了几乎所有已知的超越性结果，但至今未被证明。
• 近年来，超越数论与模型论、算术几何、p-进分析等领域的交叉产生了新进展。

1.3 超越数论的基本方法

超越数论的基本方法可以归纳为三类：

（1）丢番图逼近方法（Diophantine Approximation）

这是最早的方法，由Liouville开创。其核心思想是：如果 \(\alpha\) 是代数数，则它对有理逼近的精度有严格限制。如果 \(\alpha\) 存在“过于精确”的有理逼近，则 \(\alpha\) 必然是超越数。

（2）辅助函数方法（Auxiliary Function Method）

Hermite和Lindemann的方法本质上是构造一个具有特定零点性质的整函数或多项式，然后利用分析学中的估计（如最大值原理、Schwarz引理）推出矛盾。

（3）线性型下界方法

Gelfond-Schneider定理和Baker定理的核心是证明对数线性型（即 \(\beta_1 \log \alpha_1 + \cdots + \beta_n \log \alpha_n\) 的绝对值）不能被“太小”的非零代数数所取。这些下界估计是超越数论最深刻的结果。

1.4 预备知识

学习超越数论需要以下预备知识：

1. 抽象代数：域扩张、代数扩张、超越扩张
2. 复分析：整函数、零点计数、最大模原理
3. 丢番图逼近：有理逼近的基本概念
4. 线性代数：线性无关、行列式

第二章 代数数与超越数的基本分类

2.1 代数数的基本性质

性质 2.1：全体代数数构成一个域，记作 \(\overline{\mathbb{Q}}\)。它是 \(\mathbb{Q}\) 的代数闭包（Algebraic Closure）。

定理 2.1：代数数域是可数的（Countable）。

证明：每个代数数是一个非零整系数多项式的根。所有整系数多项式的集合是可数的，每个多项式只有有限多个根，因此全体代数数的集合是可数并集，从而是可数的。

推论 2.1：超越数的集合是不可数的（Uncountable），因为 \(\mathbb{C}\) 不可数，而代数数可数。因此，“几乎所有”复数都是超越数。

定理 2.2（有理系数多项式的根的性质） ：若 \(\alpha\) 是代数数，则存在唯一的首一有理系数多项式 \(m_{\alpha}(x) \in \mathbb{Q}[x]\)，使得：

1. \(m_{\alpha}(\alpha) = 0\)；
2. \(m_{\alpha}(x)\) 在 \(\mathbb{Q}[x]\) 中不可约；
3. 任何以 \(\alpha\) 为根的有理系数多项式都被 \(m_{\alpha}(x)\) 整除。

这个多项式称为 \(\alpha\) 的极小多项式（Minimal Polynomial）。

定义 2.2（代数数的次数） ：\(\alpha\) 的次数（Degree）定义为 \(\deg m_{\alpha}(x)\)。

定义 2.3（代数整数） ：若 \(\alpha\) 的极小多项式是首一整系数多项式，则称 \(\alpha\) 为代数整数（Algebraic Integer）。

2.2 代数无关性

定义 2.4（代数无关） ：一组复数 \(\alpha_1, \cdots, \alpha_n\) 称为代数无关的（Algebraically Independent），如果不存在非零的 \(n\) 元有理系数多项式 \(P(x_1, \cdots, x_n)\) 使得 \(P(\alpha_1, \cdots, \alpha_n) = 0\)。

直观理解：代数无关性是一个比“超越”更强的概念。\(\alpha\) 本身是超越数，等价于 \(\{\alpha\}\) 是代数无关的。而 \(\{\alpha, \beta\}\) 代数无关意味着不仅 \(\alpha\) 和 \(\beta\) 各自是超越的，而且它们之间不存在任何多项式关系（如 \(\alpha + \beta = \pi\) 就是一种多项式关系，所以 \(\pi\) 和 \(e\) 不是代数无关的，如果 \(\pi + e\) 是代数数的话——这一点目前未知）。

例 2.1：

• \(\{e, \pi\}\) 是否代数无关？不知道。这是超越数论中最著名的开放问题之一。
• \(\{\sqrt{2}, \sqrt{3}\}\) 不是代数无关的，因为 \((\sqrt{2})^2 - 2 = 0\) 是它们之间的多项式关系。

定理 2.3（Lindemann-Weierstrass定理的代数无关表述） ：若 \(\alpha_1, \cdots, \alpha_n\) 是线性无关的代数数，则 \(e^{\alpha_1}, \cdots, e^{\alpha_n}\) 是代数无关的。

2.3 代数数域的嵌入

设 \(K\) 是代数数域，\([K:\mathbb{Q}] = n\)。\(K\) 到复数域 \(\mathbb{C}\) 的嵌入共有 \(n\) 个：

\[\sigma_1, \cdots, \sigma_n : K \hookrightarrow \mathbb{C} \]

对于 \(\alpha \in K\)，它的共轭元为 \(\sigma_1(\alpha), \cdots, \sigma_n(\alpha)\)。

定义 2.5（迹与范） ：

\[\operatorname{Tr}_{K/\mathbb{Q}}(\alpha) = \sum_{i=1}^n \sigma_i(\alpha) \]

\[\operatorname{N}_{K/\mathbb{Q}}(\alpha) = \prod_{i=1}^n \sigma_i(\alpha) \]

性质 2.2：迹和范都是有理数。若 \(\alpha\) 是代数整数，则迹和范都是整数。

这些概念在超越数论的辅助函数构造中经常用到。

第三章 丢番图逼近与 Liouville 定理

丢番图逼近是超越数论最早、最直观的方法。其核心观察是：代数数不能“过分好地”被有理数逼近。

3.1 Liouville 定理

定理 3.1（Liouville定理，1844） ：设 \(\alpha\) 是次数为 \(n \geqslant 1\) 的实数代数数。则存在一个正常数 \(c(\alpha) > 0\)，使得对任意整数 \(p, q\)（\(q > 0\)），都有

\[\left| \alpha - \frac{p}{q} \right| > \frac{c(\alpha)}{q^n} \]

证明：

设 \(f(x) \in \mathbb{Z}[x]\) 是 \(\alpha\) 的极小多项式，次数为 \(n\)。令 \(M\) 为 \(f'(x)\) 在区间 \([\alpha-1, \alpha+1]\) 上的最大值的上界。

若 \(\left| \alpha - p/q \right| \geqslant 1\)，则不等式平凡成立（取 \(c(\alpha)\) 足够小）。因此假设 \(\left| \alpha - p/q \right| < 1\)。

由中值定理：

\[\left| f\left(\frac{p}{q}\right) \right| = \left| f\left(\frac{p}{q}\right) - f(\alpha) \right| \leqslant M \left| \frac{p}{q} - \alpha \right| \]

另一方面，\(f(p/q)\) 是一个分母为 \(q^n\) 的有理数。若 \(f(p/q) \neq 0\)，则

\[\left| f\left(\frac{p}{q}\right) \right| \geqslant \frac{1}{q^n} \]

因此：

\[\frac{1}{q^n} \leqslant M \left| \alpha - \frac{p}{q} \right| \]

即

\[\left| \alpha - \frac{p}{q} \right| \geqslant \frac{1}{M q^n} \]

取 \(c(\alpha) = 1/M\)，定理得证。

注意：如果 \(f(p/q) = 0\)，则 \(p/q = \alpha\)，此时 \(\alpha\) 是有理数（因为极小多项式是整系数的，有理根必为整数），与 \(\alpha\) 无理矛盾。因此 \(f(p/q) \neq 0\)。

3.2 Liouville 数的构造

定义 3.1（Liouville数） ：称一个实数 \(\alpha\) 为 Liouville数，如果对任意正整数 \(n\)，都存在整数 \(p, q\)（\(q > 1\)）使得

\[0 < \left| \alpha - \frac{p}{q} \right| < \frac{1}{q^n} \]

定理 3.2：Liouville数都是超越数。

证明：若 \(\alpha\) 是次数为 \(d\) 的代数数，则由Liouville定理，存在 \(c(\alpha) > 0\) 使得对所有 \(p/q\)，有

\[\left| \alpha - \frac{p}{q} \right| > \frac{c(\alpha)}{q^d} \]

但Liouville数的定义保证了对任意 \(n\)（特别是 \(n > d\)）存在 \(p/q\) 使得

\[\left| \alpha - \frac{p}{q} \right| < \frac{1}{q^n} \leqslant \frac{1}{q^{d+1}} \]

取 \(q\) 足够大使得 \(1/q < c(\alpha)\)，则

\[\frac{1}{q^{d+1}} < \frac{c(\alpha)}{q^d} \]

矛盾。

例 3.1（经典Liouville数） ：

\[\alpha = \sum_{k=1}^{\infty} \frac{1}{10^{k!}} = 0.110001000000000000000001 \cdots \]

这个数的十进制小数中，在 \(1!, 2!, 3!, \cdots\) 位上是1，其余位是0。可以证明它是Liouville数，从而是超越数。

3.3 Liouville 定理的推广：Thue-Siegel-Roth 定理

Liouville定理的指数 \(n\)（代数数的次数）在后续研究中被不断改进：

年份	数学家	逼近指数
1844	Liouville	\(n\)（依赖于次数）
1909	Thue	\(n/2 + 1 + \varepsilon\)
1921	Siegel	\(2\sqrt{n} + \varepsilon\)
1955	Roth	\(2 + \varepsilon\)（最佳，不依赖于次数！）

定理 3.3（Thue-Siegel-Roth定理，1955） ：设 \(\alpha\) 是实数代数数。则对任意 \(\varepsilon > 0\)，存在常数 \(c(\alpha, \varepsilon) > 0\)，使得对所有整数 \(p, q\)（\(q > 0\)），

\[\left| \alpha - \frac{p}{q} \right| > \frac{c(\alpha, \varepsilon)}{q^{2+\varepsilon}} \]

意义：这个定理表明，任何代数数（无论次数多高）都不能被有理数逼近到优于 \(q^{-2}\) 的阶。这是丢番图逼近理论的顶峰。

注意：Roth定理给出了 \(2+\varepsilon\) 的指数，但 \(\varepsilon = 0\) 的情形不成立——例如 \(\sqrt{2}\) 有无穷多个逼近满足 \(|\sqrt{2} - p/q| < 1/(\sqrt{2} q^2)\)（由连分数理论）。

第四章 e 的超越性

4.1 Hermite 的经典证明

定理 4.1（Hermite，1873） ：自然对数的底 \(e\) 是超越数。

这是第一个“自然”的超越数（Liouville数是人为构造的）。Hermite的证明开创了辅助函数方法。

证明思路（用反证法）：

假设 \(e\) 是代数数。则存在整数 \(a_0, a_1, \cdots, a_n\)（\(a_0 a_n \neq 0\)）使得

\[a_0 + a_1 e + \cdots + a_n e^n = 0 \]

Hermite构造了一个辅助函数：

\[F(x) = \sum_{i=0}^{m} c_i x^i \]

（其中 \(c_i\) 是精心选择的整数系数），使得 \(F(x)\) 和其导数 \(F^{(k)}(x)\) 在整数点 \(x = 0, 1, \cdots, n\) 处具有特殊的整除性质。

关键估计：利用积分

\[I_k = \int_0^k e^{k-t} F(t) dt \]

得到一组等式，将 \(e\) 的代数关系与 \(F\) 的取值联系起来。

最终通过分析 \(F\) 的构造（\(F\) 被设计为“非常小”但非零的整数），得到一个整数介于0和1之间，矛盾。

注：Hermite的原始证明非常复杂，后来的简化版本由Hurwitz和Weierstrass给出。

4.2 更强的结果：e 的代数无关性

定理 4.2（Weierstrass定理，1885） ：\(e\) 不是任何非常数代数系数多项式的根。更一般地，若 \(P(x)\) 是非常数多项式且具有代数系数，则 \(P(e) \neq 0\)。

定理 4.3（e 的代数无关性） ：\(e\) 的幂 \(e, e^2, \cdots, e^n\) 是代数无关的。

这个结果由Weierstrass证明，是Lindemann-Weierstrass定理的特殊情形。

4.3 用积分证明 e 的超越性（现代简化版）

下面给出一个相对简化的证明框架（完整证明需要详细估计）：

思路：假设 \(e\) 是代数数，即存在整数 \(a_0, \cdots, a_n\)（\(a_n \neq 0\)）使得

\[a_0 + a_1 e + \cdots + a_n e^n = 0 \]

定义

\[F(x) = x^{p-1} \frac{(x-1)^p (x-2)^p \cdots (x-n)^p}{(p-1)!} \]

其中 \(p\) 是一个足够大的素数。

考虑

\[J = \int_0^{\infty} e^{-x} F(x) dx \]

可以证明：

1. \(J\) 是一个正数。
2. 通过分部积分，\(J = \sum_{k=0}^{n} a_k e^k\) 的某个整数组合，与原来的代数关系结合。
3. 对 \(p\) 取模分析，\(J\) 是一个非零整数，但 \(|J| < 1\)，矛盾。

这个方法基于Hermite的原始思想，但用了积分形式简化了表述。

第五章 π 的超越性与化圆为方

5.1 Lindemann 定理

定理 5.1（Lindemann，1882） ：\(\pi\) 是超越数。

证明：

假设 \(\pi\) 是代数数。则 \(i\pi\) 也是代数数（因为 \(i = \sqrt{-1}\) 是代数数）。

由 Euler恒等式：

\[e^{i\pi} + 1 = 0 \]

若 \(\pi\) 是代数数，则 \(i\pi\) 是代数数。但Lindemann-Weierstrass定理（下面将给出）断言：若 \(\alpha \neq 0\) 是代数数，则 \(e^{\alpha}\) 是超越数。因此 \(e^{i\pi} = -1\) 应该是超越数，但 \(-1\) 是代数数，矛盾。

所以 \(\pi\) 不能是代数数。

5.2 Lindemann-Weierstrass 定理

定理 5.2（Lindemann-Weierstrass定理，1885） ：设 \(\alpha_1, \cdots, \alpha_n\) 是线性无关的代数数。则 \(e^{\alpha_1}, \cdots, e^{\alpha_n}\) 是代数无关的。

等价形式：若 \(\beta_1, \cdots, \beta_n\) 是非零的代数数，且 \(\alpha_1, \cdots, \alpha_n\) 是互不相同的代数数，则

\[\beta_1 e^{\alpha_1} + \cdots + \beta_n e^{\alpha_n} \neq 0 \]

推论 5.1：\(e\) 和 \(\pi\) 都是超越数（分别取 \(n=1\)，\(\alpha_1=1\) 和 \(\alpha_1=i\pi\)）。

推论 5.2：若 \(\alpha\) 是非零代数数，则 \(e^{\alpha}\) 是超越数。

推论 5.3：若 \(\alpha\) 是非零代数数且 \(\alpha \neq 1\)，则 \(\log \alpha\)（任意一支）是超越数或0。

5.3 化圆为方问题的彻底解决

“化圆为方”问题（Squaring the Circle）是古希腊三大尺规作图难题之一：用直尺和圆规作一个正方形，使其面积等于给定圆的面积。

定理 5.3：化圆为方是不可能的。

证明：

尺规作图可以作出的数（从单位长度出发）恰好是可通过有限次加减乘除和开平方得到的数，这些数都是代数数。

如果化圆为方可作，则 \(\sqrt{\pi}\) 必须是可作数，从而是代数数。但 \(\pi\) 是超越数，\(\sqrt{\pi}\) 也是超越数（否则 \(\pi = (\sqrt{\pi})^2\) 是代数数，矛盾）。

因此化圆为方不可能。

5.4 Lindemann-Weierstrass 定理的证明思路

第一步：辅助函数构造。

设 \(f(x) = \prod_{i=1}^n (x - \alpha_i)\)。构造

\[F(x) = \frac{1}{(p-1)!} \prod_{i=1}^n (x - \alpha_i)^p \]

其中 \(p\) 是素数。

第二步：积分估计。

考虑

\[J = \sum_{j=1}^n \beta_j \int_0^{\infty} e^{-x} F(x + \alpha_j) dx \]

利用 \(\int_0^{\infty} e^{-x} x^k dx = k!\)，将 \(J\) 展开为 \(\beta_j e^{\alpha_j}\) 的线性组合。

第三步：矛盾。

假设 \(\sum \beta_j e^{\alpha_j} = 0\)，则 \(J = 0\)（或某个整数组合）。但另一方面，通过对 \(p\) 取模分析，\(J\) 是一个非零整数且其绝对值可以做得小于1，矛盾。

第六章 希尔伯特第七问题与 Gelfond-Schneider 定理

6.1 问题的提出

1900年，Hilbert在巴黎国际数学家大会上提出了23个数学问题，其中第七问题是：

如果 \(\alpha \neq 0, 1\) 是代数数，\(\beta\) 是代数无理数，证明 \(\alpha^{\beta}\) 是超越数。

这个问题的重要性在于：它涉及“将一个代数数提升到代数无理次幂”这种看似简单的运算，是否总能产生超越数。

6.2 Gelfond-Schneider 定理

定理 6.1（Gelfond-Schneider定理，1934） ：设 \(\alpha\) 是代数数，\(\alpha \neq 0, 1\)，\(\beta\) 是代数无理数。则 \(\alpha^{\beta}\) 是超越数。

核心例子：

• \(2^{\sqrt{2}}\) 是超越数。
• \(e^{\pi} = (-1)^{-i}\) 是超越数（因为 \(\alpha = -1\)，\(\beta = -i\)，但 \(\beta\) 不是代数数！等等——实际上 \(i\) 是代数数，\(-i\) 也是代数数。但 \(-1\) 是代数数吗？是的。然而 \(-1\) 的 \(-i\) 次幂是 \(e^{\pi}\)，这里 \(\beta = -i\) 是代数无理数吗？\(i\) 是虚数，在代数数的定义中是允许的。\(i\) 是代数数（\(x^2+1=0\)），且不是有理数。所以 \((-1)^{-i} = e^{\pi}\) 是超越数。）

更精确地说：\(e^{\pi} = (-1)^{-i}\)，其中 \(\alpha = -1\)（代数数，\(\neq 0,1\)），\(\beta = -i\)（代数无理数），所以 \(e^{\pi}\) 是超越数。

6.3 Gelfond-Schneider 定理的证明框架

Gelfond-Schneider定理的证明使用了辅助函数方法，其核心思想如下：

假设：\(\alpha^{\beta}\) 是代数数。设 \(\gamma = \alpha^{\beta}\)，则 \(\beta = \log_{\alpha} \gamma\)。

构造辅助函数：

\[F(z) = \sum_{i=0}^{m} \sum_{j=0}^{n} a_{ij} z^i \gamma^{j z} \]

其中 \(a_{ij}\) 是待定的整数，使得 \(F(z)\) 在 \(z = 0, 1, \cdots, L\) 处有高阶零点。

关键引理（Gelfond引理） ：存在非零的辅助函数 \(F(z)\)，在足够多的点处有足够高阶的零点。

分析引理：如果 \(F(z)\) 在足够多的点处有高阶零点且 \(F\) 的系数不是太大，则 \(F(z)\) 恒为零（由复分析中的零点计数定理）。

矛盾：恒为零的辅助函数 \(F\) 不可能有非零系数（通过某种线性无关性论证），矛盾。

注：完整的证明需要极其精细的估计，包括对系数大小、零点阶数、自变量范围的量化控制。

6.4 Gelfond-Schneider 定理的推论

推论 6.1：\(\log 2 / \log 3\) 是超越数或无理数——实际上它是超越数吗？注意 \(\log_3 2 = \log 2 / \log 3\)。如果它是有理数 \(p/q\)，则 \(2^q = 3^p\)，不可能。如果它是代数无理数，则令 \(\alpha = 2\)，\(\beta = \log_3 2\)，则 \(\alpha^{\beta} = 3\) 是代数数，与Gelfond-Schneider定理矛盾。因此 \(\log_3 2\) 是超越数。

推论 6.2：\(2^{\sqrt{2}}\) 是超越数（取 \(\alpha = 2\)，\(\beta = \sqrt{2}\)）。

推论 6.3：\(\sqrt{2}^{\sqrt{2}}\) 是超越数（取 \(\alpha = \sqrt{2}\)，\(\beta = \sqrt{2}\)）。注意 \(\sqrt{2}^{\sqrt{2}}\) 是希尔伯特第七问题的一个经典例子，其超越性是Gelfond-Schneider定理的直接结果。

推论 6.4：\(e^{\pi}\) 是超越数（因为 \(e^{\pi} = (-1)^{-i}\)）。

6.5 Gelfond-Schneider 定理的局限

Gelfond-Schneider定理只处理 \(\alpha^{\beta}\) 形式的数，其中 \(\alpha\) 是代数数，\(\beta\) 是代数无理数。它不能直接处理以下问题：

• \(\pi + e\) 是否超越？
• \(\pi e\) 是否超越？
• \(e^e\) 是否超越？
• \(\pi^{\pi}\) 是否超越？

这些问题的解决需要更强大的工具——这些工具至今尚未完全发展出来。

第七章 Baker 定理与对数线性型

7.1 Baker 定理的陈述

定理 7.1（Baker定理，1966） ：设 \(\alpha_1, \cdots, \alpha_n\) 是非零代数数，\(\log \alpha_1, \cdots, \log \alpha_n\) 是它们的对数（任意一支）。若 \(\log \alpha_1, \cdots, \log \alpha_n\) 在 \(\mathbb{Q}\) 上线性无关，则

\[1, \log \alpha_1, \cdots, \log \alpha_n \]

在 \(\mathbb{Q}\) 上线性无关。

等价地：若 \(\log \alpha_1, \cdots, \log \alpha_n\) 线性无关，则不存在非零的代数数 \(\beta_0, \beta_1, \cdots, \beta_n\) 使得

\[\beta_0 + \beta_1 \log \alpha_1 + \cdots + \beta_n \log \alpha_n = 0 \]

Baker定理是Gelfond-Schneider定理在多对数情形下的巨大推广。

推论 7.1（Baker定理的定量版本） ：存在一个可计算的常数 \(C > 0\)（依赖于 \(n, \alpha_i\) 和 \(\log \alpha_i\) 的高度），使得对任意非零的代数数 \(\beta_0, \cdots, \beta_n\)，

\[\left| \beta_0 + \beta_1 \log \alpha_1 + \cdots + \beta_n \log \alpha_n \right| > \frac{1}{H^C} \]

其中 \(H\) 是 \(\beta_i\) 的高度（height）的最大值。

意义：这个下界估计是显式的、可计算的，因此Baker定理在丢番图方程中有直接应用。

7.2 Baker定理的证明思路

Baker的证明使用了多变量辅助函数：

构造一个 \(n\) 元函数

\[F(z_1, \cdots, z_n) = \sum_{\mathbf{m}} a_{\mathbf{m}} z_1^{m_1} \cdots z_n^{m_n} \alpha_1^{\lambda_1 z_1} \cdots \alpha_n^{\lambda_n z_n} \]

其中 \(\lambda_i\) 是精心选择的整数，使得 \(F\) 在 \(z_i\) 为整数时具有高阶零点。

然后利用复分析中的多变量零点计数和Schwarz引理，推出矛盾。

Baker证明的复杂性在于：需要同时在 \(n\) 个变量上进行零点控制和系数估计，涉及极其精细的代数数论估计。

7.3 Baker定理的应用

Baker定理在数论中最直接、最重要的应用是：

（1）丢番图方程的有限性

定理 7.2：设 \(f(x, y)\) 是次数 \(\geqslant 3\) 的不可约二元型（homogeneous polynomial）。则方程

\[f(x, y) = m \]

（\(m\) 是固定非零整数）只有有限多个整数解。

这是Thue定理的量化版本。Thue定理（1909）证明了有限性，但没有给出可计算的界。Baker定理给出了可计算的界。

（2）线性递推序列中的完全幂

定理 7.3：设 \((u_n)\) 是线性递推序列（如 Fibonacci 序列）。则方程 \(u_n = y^k\)（\(k \geqslant 2\)）只有有限多个解。

（3）Catalan猜想的解决

Catalan猜想（Mihăilescu, 2002）断言：\(3^2 - 2^3 = 1\) 是唯一一组连续的完全幂之差为1的解。Baker定理的方法在其中起了重要作用（虽然不是最终证明的关键）。

7.4 Baker定理的后续发展

（1）p-进Baker定理

将Baker定理推广到p-进对数情形，由van der Poorten和Kunyavski等发展。

（2）代数无关性的推广

Baker还证明了：若 \(\alpha_1, \cdots, \alpha_n\) 是代数数且 \(\log \alpha_1, \cdots, \log \alpha_n\) 线性无关，则这些对数的某些乘积是代数无关的（或至少有一些线性形式是超越的）。

（3）有效性问题

Baker定理的一个关键特征是有效性（effectiveness）：定理中的常数是可计算的。这使得Baker定理在算法数论中有实际应用。

第八章 辅助函数方法

8.1 辅助函数方法的基本思想

辅助函数方法（Auxiliary Function Method）是超越数论最核心的证明技术。其基本框架如下：

步骤1：假设。假设某个数 \(\xi\) 是代数数（或满足某个代数关系）。

步骤2：构造辅助函数。构造一个整函数或多项式 \(F(z)\)，其系数来自代数数域，使得：

• \(F(z)\) 在某个“目标点”处取值与 \(\xi\) 的代数关系相关联；
• \(F(z)\) 在“控制点”处有大量的零点（通过选择系数消去）。

步骤3：分析估计。利用复分析（最大模原理、Schwarz引理、Jensen公式）估计 \(F(z)\) 在目标点处的上界和下界。

步骤4：导出矛盾。上界和下界冲突，推出假设不成立。

8.2 辅助函数的构造技巧

（1）Hermite的构造（用于 \(e\) 的超越性）

\(F(z)\) 是多项式，其导数的取值在整数点处被控制。

（2）Lindemann的构造（用于 \(\pi\) 的超越性）

\(F(z) = \prod (z - \alpha_i)^p\) 的指数形式。

（3）Gelfond-Schneider的构造（用于 \(\alpha^{\beta}\)）

\(F(z)\) 是 \(z^j (\alpha^{\beta})^k\) 的线性组合。

（4）Baker的构造（用于多对数线性型）

\(F(z_1, \cdots, z_n)\) 是多变量幂级数。

8.3 Schwarz 引理的应用

定理 8.1（Schwarz引理） ：设 \(f(z)\) 在 \(|z| < R\) 内解析，\(|f(z)| \leqslant M\)，且 \(f(0) = 0\)。则

\[|f(z)| \leqslant \frac{M |z|}{R} \]

如果 \(f(z)\) 在原点有 \(k\) 阶零点，则

\[|f(z)| \leqslant \frac{M |z|^k}{R^k} \]

在辅助函数方法中，Schwarz引理用于：如果 \(F(z)\) 在原点有高阶零点，则 \(F\) 在整个圆盘内都很小，从而在目标点处也很小。

8.4 零点计数定理

定理 8.2（Jensen公式） ：设 \(f(z)\) 在 \(|z| \leqslant R\) 内解析，\(f(0) \neq 0\)，\(z_1, \cdots, z_N\) 是 \(f\) 在 \(|z| < R\) 内的零点（计重数）。则

\[\sum_{i=1}^N \log \frac{R}{|z_i|} = \frac{1}{2\pi} \int_0^{2\pi} \log |f(R e^{i\theta})| d\theta - \log |f(0)| \]

Jensen公式提供了“零点个数”与“函数大小”之间的定量关系。

在辅助函数方法中，零点计数定理用于证明：如果 \(F\) 在太多点处有零点，则 \(F\) 必须恒为零（因为非零整函数不能有无限多的零点）。

第九章 指数多项式与零点计数

9.1 指数多项式的定义

定义 9.1（指数多项式） ：形如

\[F(z) = \sum_{j=1}^{m} P_j(z) e^{\lambda_j z} \]

的函数称为指数多项式（Exponential Polynomial），其中 \(P_j(z)\) 是多项式，\(\lambda_j\) 是复数。

例子：

• \(e^z + e^{2z}\) 是指数多项式。
• \(z^2 e^{\pi z} + 3e^{-z}\) 是指数多项式。
• \(\sin z = \frac{e^{iz} - e^{-iz}}{2i}\) 是指数多项式。

9.2 指数多项式的零点

定理 9.1（指数多项式的零点定理） ：设

\[F(z) = P_1(z) e^{\lambda_1 z} + \cdots + P_m(z) e^{\lambda_m z} \]

其中 \(\lambda_j\) 互不相同，\(P_j\) 是非零多项式。则 \(F\) 在复平面上的零点个数（按适当计数）是 \(O(r)\)，其中 \(r\) 是系数多项式的次数的某种度量。

更精确地，若 \(P_j\) 的次数都不超过 \(d\)，则 \(F\) 的零点密度由 \(d\) 和 \(\lambda_j\) 的分布控制。

定理 9.2（Tijdeman定理的简化版本） ：若 \(F(z)\) 是上述指数多项式，且 \(\lambda_j\) 都是代数数，则 \(F\) 的非零零点的高度有一个显式上界。

这个定理在Baker定理的证明中起着关键作用。

9.3 指数多项式在超越数论中的作用

指数多项式是Gelfond-Schneider定理和Baker定理证明中的基本工具。

关键观察：如果 \(\alpha^{\beta}\) 是代数数 \(\gamma\)，则函数

\[F(z) = \gamma^z - \alpha^{\beta z} = e^{z \log \gamma} - e^{\beta z \log \alpha} \]

在 \(z=1\) 处有零点，且在 \(z=0,1,\cdots\) 等整数点处有某种周期性。

通过分析这个指数多项式的零点分布，可以推出矛盾。

第十章 Schanuel 猜想

10.1 猜想的陈述

猜想 10.1（Schanuel猜想，1960年代） ：设 \(\alpha_1, \cdots, \alpha_n\) 是 \(\mathbb{Q}\)-线性无关的复数。则

\[\operatorname{tr.deg}_{\mathbb{Q}} \mathbb{Q}(\alpha_1, \cdots, \alpha_n, e^{\alpha_1}, \cdots, e^{\alpha_n}) \geqslant n \]

其中 \(\operatorname{tr.deg}\) 表示超越次数（Transcendence Degree）。

通俗解释：如果 \(n\) 个复数 \(\alpha_i\) 在有理数上线性无关，那么在这 \(2n\) 个数 \(\alpha_i\) 和 \(e^{\alpha_i}\) 中，至少有 \(n\) 个是代数无关的（即它们不能由少于 \(n\) 个独立的超越生成元产生）。

10.2 Schanuel 猜想的推论

Schanuel猜想如果成立，将统一并推广几乎所有已知的超越性结果：

推论 10.1（取 \(n=1\)） ：若 \(\alpha \neq 0\)，则 \(\mathbb{Q}(\alpha, e^{\alpha})\) 的超越次数 \(\geqslant 1\)。即 \(\alpha\) 和 \(e^{\alpha}\) 中至少有一个是超越数。这并不新颖，但若取 \(\alpha = 1\)，则 \(e\) 超越；若 \(\alpha = i\pi\)，则 \(i\pi\) 和 \(-1\) 中至少有一个超越——这蕴含 \(\pi\) 超越。

推论 10.2（取 \(\alpha_1 = 1, \alpha_2 = \pi i\)） ：\(\mathbb{Q}(1, \pi i, e, -1)\) 的超越次数 \(\geqslant 2\)。这给出了 \(e\) 和 \(\pi\) 的代数无关性——即证明 \(\{e, \pi\}\) 是代数无关的。这是目前完全未知的！

推论 10.3：\(\pi + e\)、\(\pi e\)、\(\pi^e\)、\(e^{\pi}\) 等数都是超越数。事实上，Schanuel猜想蕴涵了 \(\{e, \pi\}\) 代数无关，因此所有由 \(e\) 和 \(\pi\) 通过有理运算形成的非零数都是超越数。

推论 10.4（取 \(\alpha_i = \log p_i\)） ：\(\log 2, \log 3, \cdots, \log p_n\) 是代数无关的。这推广了Gelfond-Schneider定理。

10.3 Schanuel 猜想的已知结果

Schanuel猜想目前仍未证明，但有一些部分结果：

结果	内容	证明者
Lindemann-Weierstrass	若 \(\alpha_i\) 代数数线性无关，则 \(e^{\alpha_i}\) 代数无关	Lindemann, Weierstrass
Gelfond-Schneider	若 \(\alpha \neq 0,1\) 代数，\(\beta\) 代数无理，则 \(\alpha^{\beta}\) 超越	Gelfond, Schneider
Baker定理	若 \(\log \alpha_i\) 线性无关，则 \(1, \log \alpha_i\) 线性无关	Baker
特殊情形	\(\mathbb{Q}(\pi, e^{\pi}, \Gamma(1/4))\) 的超越次数至少为2（某些结果）	各种

10.4 Schanuel 猜想的变形与推广

（1）p-进Schanuel猜想：将Schanuel猜想推广到p-进对数。

（2）相对Schanuel猜想：在任意基域上的形式推广。

（3）指数-对数Schanuel猜想：同时包含指数函数和对数函数的代数无关性。

第十一章 其他重要超越数

11.1 伽马函数在有理点的值

定义 11.1（伽马函数） ：

\[\Gamma(z) = \int_0^{\infty} t^{z-1} e^{-t} dt, \quad \operatorname{Re}(z) > 0 \]

定理 11.1：\(\Gamma(1/2) = \sqrt{\pi}\) 是超越数（因为 \(\pi\) 是超越数）。

定理 11.2（Chudnovsky定理的简化版本） ：\(\Gamma(1/3)\)、\(\Gamma(1/4)\) 是超越数。

这些结果由Chudnovsky（1980年代）证明，使用了椭圆曲线和模形式的方法。

定理 11.3（Nesterenko定理，1996） ：\(\pi\)、\(e^{\pi}\) 和 \(\Gamma(1/4)\) 这三个数中至少有两个是代数无关的。更精确地说，

\[\operatorname{tr.deg}_{\mathbb{Q}} \mathbb{Q}(\pi, e^{\pi}, \Gamma(1/4)) \geqslant 2 \]

Nesterenko的这个结果是Schanuel猜想的一个部分验证，也是超越数论与模函数理论结合的典范。

11.2 贝塞尔函数的值

定理 11.4（Siegel） ：某些贝塞尔函数（Bessel functions）在有理点的值是超越数。

Siegel的Siegel-Shidlovsky定理（1962）是一般性结果：若 \(y_1, \cdots, y_n\) 是线性微分方程的解，且初始值代数，则这些解的取值在某些点处是代数无关的。

11.3 ζ(3) 的无理性

定理 11.5（Apéry，1978） ：\(\zeta(3) = \sum_{n=1}^{\infty} 1/n^3\) 是无理数。

注意：Apéry定理证明的是无理性，而非超越性。\(\zeta(3)\) 是否超越？目前未知。

已知结果：

• \(\zeta(2) = \pi^2/6\) 是超越数（因为 \(\pi\) 是超越数）。
• \(\zeta(4) = \pi^4/90\) 是超越数。
• \(\zeta(2n)\) 对所有正整数 \(n\) 都是 \(\pi^{2n}\) 的有理倍数，因此是超越数。
• \(\zeta(3)\) 是无理数（Apéry），但超越性未知。
• \(\zeta(5)\) 的无理性？未知！

11.4 p-进超越数论

p-进超越数论（p-adic Transcendence）是超越数论在p-进数域 \(\mathbb{Q}_p\) 上的推广。

定理 11.6（p-进Lindemann定理） ：若 \(\alpha \in \mathbb{Q}_p\) 是p-进代数数，\(\alpha \neq 0\)，则 \(\exp_p(\alpha)\)（p-进指数）是p-进超越数。

定理 11.7（p-进Gelfond-Schneider定理） ：若 \(\alpha, \beta \in \overline{\mathbb{Q}}_p\)，\(\alpha \neq 0\)，且 \(\log_p \alpha\) 与 \(\beta\) 满足某种线性无关条件，则 \(\alpha^{\beta}\) 是p-进超越数。

第十二章 超越数论在数论中的应用

12.1 丢番图方程的有限性

Baker定理最重要的应用之一是证明大量丢番图方程只有有限多个解，并给出可计算的界。

定理 12.1：设 \(a, b, c\) 是非零整数，\(a + b = c\)。则方程

\[a^x + b^y = c^z \]

（\(x, y, z\) 为整数）只有有限多个解（在排除某些退化情形后）。

这是S-unit方程（S-unit equation）的一个特例，由Baker定理结合Evertse定理给出有限性。

12.2 线性递推序列

定理 12.2（Pisot定理的量化） ：设 \((u_n)\) 是线性递推序列（如 Fibonacci、Lucas 序列），则方程 \(u_n = y^k\)（\(k \geqslant 2\)）只有有限多个整数解。

例 12.1：Fibonacci数列 \(F_1 = 1, F_2 = 1, F_3 = 2, F_4 = 3, F_5 = 5, \cdots\) 中，平方数只有 \(F_1 = 1, F_2 = 1, F_{12} = 144\)（这是已知结果，由Cohn证明，但Baker方法提供了更一般的框架）。

12.3 代数数的对数线性形式的下界

Baker定理的定量版本在以下方面有重要应用：

1. 计算类数：代数数域类数的上界估计。
2. 椭圆曲线的整数点：Mordell方程 \(y^2 = x^3 + k\) 的整数解的有限性与显式界。
3. Thue-Mahler方程：\(f(x, y) = m\) 的有限性与显式界。

第十三章 开放问题与前沿方向

13.1 Schanuel 猜想

问题 13.1：证明Schanuel猜想。

这是超越数论中最重要的开放问题。它的解决将立即推出：

• \(\{e, \pi\}\) 代数无关
• \(\pi + e\)、\(\pi e\) 超越
• \(\log 2, \log 3, \cdots\) 代数无关

13.2 π + e 和 πe 的超越性

问题 13.2：证明 \(\pi + e\) 或 \(\pi e\) 是超越数。

目前甚至连 \(\pi + e\) 是否为无理数都不知道（虽然几乎肯定它们都是超越数）。事实上，我们不知道 \(\{e, \pi\}\) 中是否有任何一个非平凡的线性组合是有理数。

13.3 ζ(3) 的超越性

问题 13.3：证明 \(\zeta(3)\) 是超越数。

我们知道 \(\zeta(3)\) 是无理数（Apéry），但超越性完全未知。更一般地，\(\zeta(5), \zeta(7), \cdots\) 的有理性/超越性都是开放的。

13.4 欧拉常数 γ 的超越性

问题 13.4：证明欧拉常数

\[\gamma = \lim_{n \to \infty} \left( \sum_{k=1}^n \frac{1}{k} - \log n \right) \]

是超越数。

实际上，连 \(\gamma\) 是否为无理数都不知道。这是数论中最令人尴尬的开放问题之一。

13.5 2^{√2} 等数的代数无关性

问题 13.5：证明 \(2^{\sqrt{2}}\) 与 \(\sqrt{2}\) 是代数无关的。

Gelfond-Schneider定理告诉我们 \(2^{\sqrt{2}}\) 是超越数，但不知道它是否与 \(\sqrt{2}\) 代数无关。

13.6 代数无关性的判定

超越数论的一个核心困难是：没有通用的方法来判断一组数是否代数无关。目前的工具都是针对特定类型的数（指数函数的值、伽马函数的值等）。

问题 13.6：发展判断代数无关性的新方法。

13.7 前沿方向

（1）模型论与超越数论

Zilber的伪指数（pseudo-exponentiation）理论试图用模型论的方法来理解指数函数的性质。Zilber证明了一个“Schanuel猜想的模型论版本”在某种意义上是可满足的，这为超越数论提供了新的视角。

（2）算术动力系统中的超越问题

研究动力系统的周期点和预周期点是否具有超越性。

（3）周期与超越数论

周期（Periods）是代数簇上的积分的值（如 \(\pi\)、\(\zeta(3)\) 都是周期）。Kontsevich-Zagier猜想断言：周期之间的线性关系都来源于积分恒等式。这个猜想与超越数论密切相关。

附录：重要定理与公式汇总

A.1 核心定理

定理	内容	证明者
Liouville定理	代数数不能被有理数逼近到优于 \(q^{-n}\)	Liouville, 1844
Thue-Siegel-Roth	代数数不能被有理数逼近到优于 \(q^{-2-\varepsilon}\)	Roth, 1955
Hermite定理	\(e\) 是超越数	Hermite, 1873
Lindemann定理	\(\pi\) 是超越数	Lindemann, 1882
Lindemann-Weierstrass	若 \(\alpha_i\) 线性无关代数数，则 \(e^{\alpha_i}\) 代数无关	Lindemann, Weierstrass, 1885
Gelfond-Schneider	\(\alpha \neq 0,1\) 代数，\(\beta\) 代数无理 \(\implies \alpha^{\beta}\) 超越	Gelfond, Schneider, 1934
Baker定理	\(1, \log \alpha_1, \cdots, \log \alpha_n\) 线性无关	Baker, 1966
Apéry定理	\(\zeta(3)\) 是无理数	Apéry, 1978
Nesterenko定理	\(\operatorname{tr.deg} \mathbb{Q}(\pi, e^{\pi}, \Gamma(1/4)) \geqslant 2\)	Nesterenko, 1996

A.2 重要常数与已知状态

常数	已知状态
\(e\)	超越数
\(\pi\)	超越数
\(e^{\pi}\)	超越数
\(2^{\sqrt{2}}\)	超越数
\(\sqrt{2}^{\sqrt{2}}\)	超越数
\(\log_3 2\)	超越数
\(\Gamma(1/3), \Gamma(1/4)\)	超越数
\(\zeta(3)\)	无理数（超越性未知）
\(\zeta(5)\)	未知
\(\gamma\)（欧拉常数）	未知（连无理数都未知）
\(\pi + e\)	未知
\(\pi e\)	未知
\(e^e\)	未知
\(\pi^{\pi}\)	未知

A.3 经典不等式

名称	公式
Liouville不等式	\(\left|\alpha - \frac{p}{q}\right| > \frac{c}{q^n}\)
Roth不等式	\(\left|\alpha - \frac{p}{q}\right| > \frac{c}{q^{2+\varepsilon}}\)
Baker下界	\(\left|\beta_0 + \sum \beta_i \log \alpha_i\right| > \frac{1}{H^C}\)

参考文献

1. Baker, A. Transcendental Number Theory [M]. Cambridge University Press, 1975.
2. 朱尧辰. 超越数论基础 [M]. 中国科学技术大学出版社, 2020.
3. 冯克勤. 代数数论 [M]. 科学出版社.
4. Waldschmidt, M. Diophantine Approximation on Linear Algebraic Groups [M]. Springer, 2000.
5. Nesterenko, Y. V. & Philippon, P. (eds.). Introduction to Algebraic Independence Theory [M]. Springer, 2001.
6. Gelfond, A. O. Transcendental and Algebraic Numbers [M]. Dover, 1960.
7. 潘承洞, 潘承彪. 初等数论 [M]. 北京大学出版社.
8. Zilber, B. Pseudo-exponentiation and the Schanuel Conjecture [J]. 2005.
9. Chudnovsky, G. V. The algebraic independence of the values of elliptic functions [J]. 1979.