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.3 的证明. 我们先默认 Schur 定理 (定理 1.2) 成立. 然后用 来表示乘法下模掉 后的非零元素组成的群, 令 表示 的所有元素的 次幂构成的子群. 中, 子群 的指数 2最多为 . 所以 的陪集最多将 划分为 个集合. 根据有限版本 Schur 定理, 对于足够大的 , 存在一个解使得 属于其中的同一个集合. 假设他们属于陪集 (其中 ) . 注意到 次幂组成, 从而一定存在 , 使得 因此于是存在 满足

现在我们准备借助对完全图进行边着色来证明定理 1.2. 下面给出的结果是 Ramsey 定理的一个特例.

定理 1.4. 对于每一个正整数 , 都存在整数 , 使得无论如何对完全图 的边用 种颜色着色, 总是存在一个单色三角形.

定理 1.4 的证明. 我们对 进行归纳. 显然 可以使得 的情况成立. 令 并假设 种颜色的情况下, 命题对 成立, 我们将证明在 种颜色的情况下, 取 可以使命题成立.

假设我们使用 种颜色为 个顶点的完全图的边着色. 任意选取一个顶点 , 考虑与 相连的 条边, 根据鸽巢原理, 至少 条与 相连的边具有相同的颜色, 比如说是红色. 令 是通过红色边连到 的顶点集. 如果 内的顶点间有红色边, 我们将获得红色三角形. 否则, 中最多出现 种颜色, 但顶点数 , 根据归纳法, 还是存在一个单色三角形.

我们现在就要构造一个图, 使得该图的单色三角形对应于 的单色解, 从而允许我们将上述结果应用到到整数上 (来证明 Schur 定理) .

定理 1.2 的证明. 是一种对 的着色方案. 我们通过给满足 的无向边 上色 , 来为顶点集 的完全图的边着色. 根据定理 1.4, 如果 足够大, 则存在一个单色三角形. 假设它的顶点是 , 我们一定有 , 取 , 那么我们发现 并且 , 这正是我们想要的.

请注意我们是如何通过转移到图论的方式来解决数论问题的. 定理 1.4 中的类似 Ramsey 定理的论证很难直接在整数内部进行. 因此, 我们通过考虑图从而获得了更大的灵活性. 稍后我们将看到这个想法的其他更复杂的例子, 在这些例子中, 将数论问题带到图论领域会给我们一个新的视角.

1.

^ Fermat’s Last Theorem: 当整数 时, 不定方程 无正整数解 (Wiles 1995) .

2.

^ 中子群 的指数是 的左陪集数, 或等效地, 的右陪集数. (译者注: 这里 的指数至多为 , 是由于数论中的 Lagrange 定理, 上映射 的核 (kernel) 最大为 . )