← 返回 2026年2月10日 数论的一个核心目标是寻找多项式方程的整数解——这被称为丢番图方程的研究。这可能看起来是一个奇怪的目标，因此让我们退后一步，问一下数学的意义是什么。数学的目的是寻找数学对象中隐藏的结构。我将这一过程想象为作家的角色：作者试图以某种方式讲述特定的故事，以揭示更一般的情感观点；而数学家试图以某种方式解决特定的问题，以揭示更一般的数学观点。从历史上看，丢番图方程的理论导致了许多隐藏于整数中的结构的发现。此网站上的文章旨在展示某类丢番图方程如何导致（由朗兰兹和其他许多数学家发现）一些人类迄今为止观察到的最深刻、最深邃的结构。但是在讨论朗兰兹计划之前，让我们先从一些简单的例子开始。可整除性 最简单的丢番图方程是那种形式为 $Ax = B$ 的方程。例如，假设我请你找到方程 $$5x = 10$$ 或 $$2x = 13$$ 的整数解。第一个方程有一个整数解（$x=2$），而第二个方程没有整数解：确实，$2x$ 永远是偶数，而 $13$ 是奇数。作为另一个例子，方程 $3x = 14$ 也没有整数解；这是因为 $14$ 除以 $3$ 余数为 $2$：无论你如何尝试，如果你有 $14$ 个物体并想按 $3$ 个一组地分组，你总会剩下两个物体。研究方程 $Ax = B$ 直接引出了可整除性和余数的概念。 模数算术 一种系统处理可整除性的方法是模数算术。从某种角度看，模数算术只是一种记号；但是它是一种非常有用的记号。例如，在模 3 算术中，我们会认为两个数字是等价的，如果它们的差是可以被 3 整除。例如，$7 ext{ } ext{equiv } 4 ext{ } ext{mod } 3$，因为 $7 - 4 = 3$ 可被 3 整除；和 $14 ext{ } ext{equiv } 2 ext{ } ext{mod } 3$，因为 $14 - 2 = 12$ 可被 $3$ 整除。你应该把 $ ext{equiv}$ 想象成一种更花哨的等号；在模 3 算术中，5 和 2 被视为相等。当然，还有其他类型的模数算术：你可以对任意整数进行模运算！这里是一些在模数算术中真实的等式：$6 ext{ } ext{equiv } 2 ext{ } ext{mod } 4$，$3 ext{ } ext{equiv } -3 ext{ } ext{mod } 6$，$27 ext{ } ext{equiv } 0 ext{ } ext{mod } 9$。 唯一素因数分解 在研究了形如 $Ax = B$ 的丢番图方程后，自然会想知道像 $Ax + By = C$ 的方程。例如， $4x - 3y = 1$ 或 $15x - 18y = 2$ 有哪些整数解？方程 $Ax + By = C$ 实际上可以追溯到希腊几何学家欧几里得，他设计了欧几里得算法：一种寻找 $Ax + By = C$ 所有解的技术。这个丢番图方程可能看起来有点奇怪，但它实际上在历史上是最重要的方程之一，原因非常简单：发明欧几里得算法本质上等同于发明唯一素因数分解。整数有唯一的素因数分解：每个整数都唯独以一种方式表示为素数的乘积（例如 $4725 = 3 imes 3 imes 3 imes 5 imes 5 imes 7 = 3^3 imes 5^2 imes 7$）。唯一素因数分解是整数所具有的一个伟大的隐藏结构，并且某种程度上，它等同于知道如何解决特定的丢番图方程！这两个主题之间的联系并不明显，但当人们开始更仔细地思考素因数分解时，这种联系将不可避免地显现出来。 中国剩余定理 唯一素因数分解在模数算术中有一个结果。方程 $920 ext{ } ext{equiv } 2 ext{ } ext{mod } 54$ 意味着 $920 - 2$ 是 54 的倍数。由于 $54 = 2 imes 3^3$，唯一的素因数分解告诉我们，能被 $54$ 整除等同于能被 $2$ 整除，也等同于能被 $3^3$ 整除。换句话说，单一的模数算术方程 $920 ext{ } ext{equiv } 2 ext{ } ext{mod } 54$ 相当于两个方程 $920 ext{ } ext{equiv } 2 ext{ } ext{mod } 2$， $920 ext{ } ext{equiv } 2 ext{ } ext{mod } 3^3$。这是一个重要的一般原则：任何模数算术方程都可以写成一组模数算术方程的系统，但是系统中的每个方程都在某个素的幂的模数下有效。这个观察结果被称为中国剩余定理，起初可能看起来有点奇怪，但实际上在实践中非常有用（我们将在以后的文章中通过使用它来说明这一点！）。关键点是，通常素幂模数算术更容易处理，因此最好“逐个素幂地研究一个方程”，而不是将所有素幂结合在一起进行研究。 朗兰兹计划 我们在上面的例子中看到了丢番图方程如何导致更深刻的结构。