第三讲：希腊数论与算术

回顾与引言

大家好。在前两讲中，我们深入探讨了古希腊几何学的辉煌成就。今天，我们将转向古希腊数学的另一个伟大源头——数论（Number Theory）。

数论是研究整数性质的学科。它的起源同样可以追溯到毕达哥拉斯学派，但其发展的轨迹和性格却与几何学截然不同。如果说几何学是一座结构工整的宏伟大厦，那么数论则更像一片充满了神秘宝藏和未解之谜的广袤森林。

早期数论概念：数字的”动物园”

多边形数（Polygonal Numbers）： 将点排列成三角形、正方形等，定义了三角数（1, 3, 6, 10, …）、平方数（1, 4, 9, 16, …）等。

素数（Prime Numbers）： 古希腊人已认识到素数是构成所有整数的基本”原子”。欧几里得在《几何原本》中证明了素数有无穷多个。

完全数（Perfect Numbers）： 一个数如果等于它所有真因数之和，就被称为完全数（例如 $6 = 1+2+3$ ）。欧几里得发现：如果 $2^n - 1$ 是一个素数，那么 $2^{n-1}(2^n - 1)$ 就是一个完全数。是否存在奇完全数，至今仍是数学中最古老的未解之谜之一。

欧几里得算法

这是一个寻找两个正整数的最大公约数（GCD）的强大算法。

深刻的推论：

最大公约数的线性表示： $\text{gcd}(a, b)$ 可以表示为 $a$ 和 $b$ 的整数倍之和： $ma + nb = \text{gcd}(a, b)$ 。
素数判别引理： 如果素数 $p$ 整除 $ab$ ，那么 $p$ 至少整除 $a$ 或 $b$ 。
算术基本定理： 任何一个大于 1 的正整数，都可以被唯一地分解为一系列素数的乘积。

丢番图方程

佩尔方程（Pell’s Equation）： 方程形如 $x^2 - Ny^2 = 1$ 。对于 $x^2 - 2y^2 = 1$ ，其解 $(x, y)$ 能够给出 $\sqrt{2}$ 的极佳有理数近似值（ $x/y \approx \sqrt{2}$ ）。这种方程的解与 $\sqrt{N}$ 的连分数（Continued Fractions）展开紧密相关。

弦切法（Chord and Tangent Methods）： 一种从已知的有理点出发，在曲线上寻找新的有理点的方法。如果能找到一或两个有理点，过它们作切线或割线，与曲线的新的交点也必然是有理点。

现代数论的两大分支：解析与代数

解析数论：用分析工具研究整数

核心思想： 将离散的整数问题（如素数分布）与连续的分析对象（如函数、积分）联系起来，利用分析工具（极限、复变函数理论）来研究这些离散对象的渐近行为。

例子：用一个”无限总和”的函数来证明素数有无穷多

第一步：认识调和级数。 想象一个简单的加法： $1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots$ 。虽然越加越小，但数学家证明了这个和会无限增大，最终超过任何你能想到的数字。它会发散到无穷大。

第二步：揭示 $\zeta$ 函数与素数的联系。 黎曼 $\zeta$ 函数是调和级数的推广： $\zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots$ 。欧拉发现的惊人联系是：这个”加法”形式可以转化为一个只跟素数有关的”乘法”形式。这个转化的过程非常巧妙，类似于一个”筛法”：

写下 $\zeta(s)$ ： $\zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \frac{1}{5^s} + \frac{1}{6^s} + \cdots$
两边乘以 $\frac{1}{2^s}$ ： $\frac{1}{2^s}\zeta(s) = \frac{1}{2^s} + \frac{1}{4^s} + \frac{1}{6^s} + \cdots$
用第一行减去第二行，所有分母是 2 的倍数的项都被消掉了： $(1-\frac{1}{2^s})\zeta(s) = 1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \frac{1}{9^s} + \cdots$
现在，对剩下的结果两边乘以 $\frac{1}{3^s}$ ，再相减，所有分母是 3 的倍数的项（如 $\frac{1}{3^s}, \frac{1}{9^s}, \frac{1}{15^s}\cdots$ ）也都被消掉了。
这个过程像”筛子”一样，不断筛掉所有素数的倍数。如果我们对所有素数（2, 3, 5, 7, …）都重复这个操作，右边最后剩下的就只有 1。
所以我们得到： $(\cdots)(1-\frac{1}{7^s})(1-\frac{1}{5^s})(1-\frac{1}{3^s})(1-\frac{1}{2^s})\zeta(s) = 1$
把括号里的所有项都除到右边，就得到了欧拉乘积公式：

\zeta(s) = \left(1 - \frac{1}{2^s}\right)^{-1} \times \left(1 - \frac{1}{3^s}\right)^{-1} \times \left(1 - \frac{1}{5^s}\right)^{-1} \times \cdots

这个公式精确地建立了所有整数的和与所有素数的积之间的桥梁，其基础正是算术基本定理——每个整数都可以唯一地由素数相乘得到。

第三步：矛盾。 现在，假设素数是有限的。那么上面那个关于素数的”无限乘积”就变成了一个有限的乘积。这就产生了矛盾：无穷大 = 一个有限的数。所以，我们最初的假设”素数是有限的”一定是错的。

代数数论：用代数结构研究整数

核心思想： 将整数环 $\mathbb{Z}$ 推广到更一般的代数整数环（例如，高斯整数 $\mathbb{Z}[i]$ ），通过研究这些环的代数结构（如理想、唯一分解性质）来解决数论问题。

例子：用艾森斯坦整数研究费马大定理

费马大定理的方程 $x^3 + y^3 = z^3$ 可以在引入三次单位根 $\omega = e^{2\pi i/3}$ 后分解为 $(x+y)(x+\omega y)(x+\omega^2 y) = z^3$ 。

这个分解发生在艾森斯坦整数环 $\mathbb{Z}[\omega] = \{a+b\omega \mid a,b \in \mathbb{Z}\}$ 中。

在普通整数 $\mathbb{Z}$ 中，我们有唯一的素数分解。但在更一般的代数整数环中，唯一分解性质可能会失效。

唯一分解的力量： 幸运的是，在我们为 $n=3$ 构造的”艾森斯坦整数”这个新世界里，唯一分解的定律依然成立！就像普通整数一样，每一个艾森斯坦整数都可以被唯一地分解成”艾森斯坦素数”的乘积。这给了我们一个极其强大的工具。

类比普通整数： 如果我告诉你两个没有公因数的整数 $a$ 和 $b$ ，它们的乘积是一个立方数，比如 $a \times b = 10^3 = 1000$ 。由于 $a$ 和 $b$ 互质，它们不可能共享任何素因子。所以唯一的可能性是 $a$ 和 $b$ 本身就是立方数（例如 $a=8=2^3, b=125=5^3$ ）。
应用到费马方程： 我们有 $(x+y)(x+\omega y)(x+\omega^2 y) = z^3$ 。数学家可以证明，左边括号里的这三项，它们之间是”几乎”没有公因数的。
既然它们几乎没有公因数，而它们的乘积又是一个立方数（ $z^3$ ），那么根据这个世界里的唯一分解定律，这三项中的每一项都必须是某个艾森斯坦整数的立方（忽略一些小的单位因子）。
所以我们可以写出：

x+\omega y = (\text{某个艾森斯坦整数})^3

最后一步：推导矛盾。 数学家们将这个”某个艾森斯坦整数”写成 $a+b\omega$ 的形式，然后将 $(a+b\omega)^3$ 展开。展开后，他们得到了一个关于 $a$ 和 $b$ 的新方程。经过一系列代数推导，他们证明了这个新方程会导出一个更小的、同样形式的费马方程解。这个过程可以无限重复，产生越来越小的整数解，直到产生矛盾（因为正整数不能无限变小）。这就是著名的”无穷递降法”。

关键点： 如果没有艾森斯坦整数世界的唯一分解定律，我们就无法理直气壮地从”三者之积是立方”推导出”三者各自是立方”。这一步是整个证明的核心。对于其他数字 $n$ ，对应的”新世界”可能没有唯一分解，证明就变得无比困难。

留给同学们探索的问题

请用欧几里得算法求出 $\text{gcd}(252, 105)$ ，并找出整数 $m, n$ 使得 $252m + 105n = \text{gcd}(252, 105)$ 。
算术基本定理（唯一素数分解）为何如此”基本”和重要？
欧几里得是如何证明”如果 $2^n - 1$ 是素数，则 $2^{n-1}(2^n - 1)$ 是完全数”的？
佩尔方程 $x^2 - 2y^2 = 1$ 的前两个非平凡正整数解是什么？它们对应的 $x/y$ 值与 $\sqrt{2}$ 有多接近？
根据前三章的学习，请比较古希腊在”几何”与”数论”这两个领域研究风格和特点上的主要不同之处。
请用你自己的话解释，使用黎曼 $\zeta$ 函数证明素数无穷多的核心思想是什么？它如何体现”用连续研究离散”的哲学？你还能找到什么相关应用？