|

楼主 |
发表于 2019-7-24 11:12
|
显示全部楼层
欧拉的证法(其实还有许多,较复杂,不做介绍了,其中的解析法我也看不懂):
利用代数数论的证明
数学犹如一棵大树, 数论乃是一个分支, 本身又包含若干分支, 代数数论和解析数论便是其中两个。 这两个分支对证明素数有无穷多个也各有手段, 值得分别作一个简单介绍。
利用代数数论手段证明素数有无穷多个的出发点之一是利用所谓的欧拉 φ 函数 (Euler's phi function)。 对任一正整数 n, 欧拉 φ 函数的取值 φ(n) 定义为:
φ(n) := 不大于 n 且与 n 互素的正整数的个数
或者用符号表示为 (a 为正整数):
φ(n) := ‖{a | 1 ≤ a ≤ n; gcd(a, n) = 1}‖
其中 gcd(a, n) 表示 a 和 n 的最大公约数 (greatest common divisor), ‖{...}‖ 表示集合 {...} 的元素个数。
这个函数是欧拉于 1763 年提出的, 德国数学家高斯在 1801 年出版的《算术研究》 (Disquisitiones Arithmeticae) 一书中以 φ 表示之, 故而得名。 除这一名称外, 1879 年, 英国数学家西尔维斯特 (James Sylvester) 用源自拉丁文, 含义为 “这么多” 的 “totient” 一词表示这一函数 (因这一函数给出的是: 对任一正整数 n, 总计有 “这么多” 个不大于 n 的正整数与之互素), 受之影响, 欧拉 φ 函数有时也被称为 Euler's totient function, 中文译为欧拉总计函数。 为了对欧拉 φ 函数有一个直观了解, 读者可对最小的 n 验证一下欧拉 φ 函数的取值, 比如 φ(2) = 1, φ(3) = 2, φ(4) = 2, φ(5) = 4, φ(6) = 2, 等等。
细心的读者也许会抱怨: 在上述定义及说明中, 明明是只见数论不见 “代数” 嘛! 这是由于我们只对证明素数有无穷多个感兴趣, 为免生枝节, 免作不必要的概念铺垫, 刻意回避了代数色彩。 对于想见 “代数” 一面的读者, 欧拉 φ 函数可以这样来定义: 对任一正整数 n, φ(n) 给出的是环 ℤ/nℤ 中的可逆元 (invertible element) 的数目。
接下来我们直奔主题, 介绍对素数有无穷多个的证明。
这个证明需要用到欧拉 φ 函数的几个简单性质。
首先是对任一素数 p, φ(p) = p — 1, 这是因为 1, ..., p — 1 这 p — 1 个不大于 p 的正整数显然都跟 p 互素。
其次是对两个不同——从而当然互素——的素数 p1 和 p2, φ(p1p2) = (p1 — 1)(p2 — 1), 这是因为从 1 到 p1p2 这 p1p2 个正整数中, p1, 2p1, ..., p2p1 这 p2 个正整数跟 p1p2 有共同素因子 p1; p2, 2p2, ..., p1p2 这 p1 个正整数跟 p1p2 有共同素因子 p2; 其余全都跟 p1p2 互素。 由此得到 φ(p1p2) 为 p1p2 — p2 — p1。 但其中 p1p2 被重复计算了一次, 因此要补回一个 1, 由此得到 φ(p1p2) = p1p2 — p2 — p1 + 1 = (p1 — 1)(p2 — 1)[注六]。
上述第二个性质显然可以推广为针对任意多个彼此不同——从而当然彼此互素——的素数 p1, ..., pn, 即 φ(p1···pn) = (p1 — 1)···(pn — 1)。 很明显, 对所有 n ≥ 2, 连乘积 (p1 — 1)···(pn — 1) 中至多有一项是 1 (对应于 pi = 2), 其余皆不小于 2, 乘积当然也不小于 2, 即 φ(p1···pn) ≥ 2。 这说明在 1 与 p1···pn 之间至少有两个正整数与 p1···pn 互素, 两个中的一个显然是 1, 另一个则不小于 2 且不能以 p1, ..., pn 中的任何一个为素因子 (否则不可能跟 p1···pn 互素)。 从而其素因子 (可以是它自身) 必然是 p1, ..., pn 之外的新素数。
上述推理可无穷重复, 从而表明素数有无穷多个。
上述证明虽名为 “利用代数数论的证明”, 代数味其实很淡。 利用代数数论的证明还有代数味更浓的, 直接用到戴德金整环 (Dedekind domain)、 素理想 (prime ideal) 之类如假包换的代数数论概念, 由于需作较多的概念铺垫, 就不介绍了, 只弱弱地提醒一句: 这类证明并非独木桥。 |
|