1. Schur 定理
1910 年左右, Schur 试图通过将方程 模掉素数 来解决 Fermat 大定理 1, 但是他没有成功. 事实上, 对于每一个正整数 , 该方程对于所有足够大的素数 都有非平凡解 mod , Schur 通过证明以下经典结果建立了这一点.
定理 1.1 (Schur 定理). 如果把正整数集用有限多种颜色着色, 那么 总有一组单色解. 即, 、、 都具有相同的颜色.
我们将很快证明 Schur 定理, 但首先我们将展示如何使用 Schur 定理推导出 的解的存在性.
以上是 Schur 定理的 “无限” 版本, 它等价于以下的 “有限” 版本. 我们定义记号 .
定理 1.2 (有限版本 Schur 定理). 对于每个正整数 , 存在一个正整数 使得如果将 用 种颜色着色, 则存在一个单色解 , 其中 .
对于有限版本, 我们还可以提出定量问题, 例如关于 的函数 是怎样的. 对于大多数此类问题, 我们不知道答案, 甚至不知道近似结果. 下面让我们证明定理 1.1 和定理 1.2 是等价的. 很明显, Schur 定理的无限版本蕴含了它的有限版本. 下面用反证法说明如何从有限版本推出无限版本, 固定 , 并假设对于每个 有着色方案 , 并且该方案使得 没有单色解. 我们可以取一个 的一个无限子序列, 使得对于每一个 , 的值随着 沿着子序列的增加而稳定. 然后 沿着这个子序列逐点收敛到某种着色 , 使得该着色没有单色解 . 显然这与定理 1.2 矛盾.
接下来, 让我们来证明 Schur 这个关于 存在非平凡解的断言.
定理 1.3. 为正整数, 对于所有足够大的素数 , 存在 满足 .
现在我们准备借助对完全图进行边着色来证明定理 1.2. 下面给出的结果是 Ramsey 定理的一个特例.
定理 1.4. 对于每一个正整数 , 都存在整数 , 使得无论如何对完全图 的边用 种颜色着色, 总是存在一个单色三角形.
定理 1.4 的证明. 我们对 进行归纳. 显然 可以使得 的情况成立. 令 并假设 种颜色的情况下, 命题对 成立, 我们将证明在 种颜色的情况下, 取 可以使命题成立.
我们现在就要构造一个图, 使得该图的单色三角形对应于 的单色解, 从而允许我们将上述结果应用到到整数上 (来证明 Schur 定理) .
请注意我们是如何通过转移到图论的方式来解决数论问题的. 定理 1.4 中的类似 Ramsey 定理的论证很难直接在整数内部进行. 因此, 我们通过考虑图从而获得了更大的灵活性. 稍后我们将看到这个想法的其他更复杂的例子, 在这些例子中, 将数论问题带到图论领域会给我们一个新的视角.
1. | ^ Fermat’s Last Theorem: 当整数 时, 不定方程 无正整数解 (Wiles 1995) . |
2. | ^ 群 中子群 的指数是 中 的左陪集数, 或等效地, 中 的右陪集数. (译者注: 这里 的指数至多为 , 是由于数论中的 Lagrange 定理, 上映射 的核 (kernel) 最大为 . ) |