第2卷 第5章 可以粉碎的质数

学习目标

• 能由方程定义虚数单位，并在复平面中解释复数加法、乘法的代数与几何对应
• 能用四类坐标奇偶性和鸽笼原理证明五个格点中存在整数中点
• 能计算高斯整数的共轭与范数，区分单位、不可约与在更大数系中的分裂
• 能用平方和与模4余数解释质数在高斯整数中的分歧、分裂和保持不可约三种行为

从平方等于负1的两个解开始

第2卷第5章先出一道速度题：平方等于负1的数是什么？只回答i还不完整，因为：

$$i^2=-1,\qquad (-i)^2=-1.$$

所以“平方等于负1的两个解”是\pm i。这道小题打开的不是一个孤立技巧，而是一条逐层扩张路线：用方程定义新数，在复平面上把计算变成几何，再把整数格点看作新的“整数世界”，最后发现原来不可分的质数可能在那里被粉碎。

先预测：为何可以用一个原数域无解的方程定义新数；为什么复数相乘不是坐标逐项相乘；五个任意格点为何总能找到整数中点；2在整数中是质数，怎么会在高斯整数中分解；为什么模4余3的质数又拒绝分裂？三组实验会沿原章顺序逐项验证。

用方程定义新的数字

先看一次方程：

$$x+1=0.$$

在只允许非负数的世界里，它没有解。若扩张数的集合，引入一个满足m+1=0的数m，那么m=-1。这就是“用一次方程定义负数”：方程不是在旧世界里硬找对象，而是在规定新对象必须遵守的关系。

同理，实数范围内：

$$x^2+1=0$$

没有解，因为实数平方非负。现在引入一个新数i，规定：

$$i^2=-1.$$

这就是“用二次方程定义虚数单位”。方程有两个根i与-i；选其中一个命名为i后，另一个自然是它的相反数。这里的关键不是把不存在的实数伪装出来，而是扩张计算系统，使旧的加减乘法规则与新关系i^2=-1保持一致。

i让任意复数写成：

$$z=a+bi,\qquad a,b\in\mathbb R.$$

其中a是实部，b是虚部系数。实数是b=0的特殊复数，因此数域扩张保留旧世界，并增加以前缺失的方向。

实轴、虚轴与复平面

负数把只向右的半轴扩成完整数轴；复数则需要两条互相垂直的数轴。水平的记录a，竖直的记录b，二者组成一个复平面：

$$a+bi\quad\longleftrightarrow\quad(a,b).$$

这个对应不是只给数字贴一个位置标签。数字的本质包含运算；只有加法、乘法也能在点的语言里解释，代数和几何的对应才真正成立。

复数加法与平行四边形

复数加法逐坐标进行：

$$(a+bi)+(c+di)=(a+c)+(b+d)i.$$

例如原章的两个复数：

$$(1+2i)+(3+i)=4+3i.$$

在复平面上，这就是向量(1,2)与(3,1)相加得到(4,3)。因此“复数加法对应平行四边形”：两个向量作邻边，和向量是从原点出发的对角线。代数中的实部、虚部分别相加，几何中的横、纵坐标分别相加，是同一规则。

复数乘法是缩放并旋转

复数乘法先按分配律展开，再使用i^2=-1：

$$(a+bi)(c+di)=(ac-bd)+(ad+bc)i.$$

原章取\alpha=2+2i、\beta=1+3i：

$$\alpha\beta=(2+2i)(1+3i)=-4+8i.$$

坐标公式看似比加法复杂，极坐标却揭示了结构。对非零复数z，与分别记作|z|与\arg z。复数乘法满足：

$$|zw|=|z||w|,$$ $$\arg(zw)\equiv\arg z+\arg w\pmod{2\pi}.$$

这就是“复数乘法的绝对值相乘幅角相加”，几何上等于先按|w|缩放，再旋转\arg w。原章通过辅助线得到两组相似三角形；相似保证边长按同一比例扩大，角度则叠加，正好对应这两条公式。

正负i的旋转解释

复数i的绝对值为1、幅角为正90度；-i的绝对值为1、幅角为负90度。乘一次\pm i不改变长度，只旋转四分之一周；再乘一次，角度变为正180度或负180度，二者指向同一点-1：

$$i^2=-1,\qquad(-i)^2=-1.$$

所以“正负i对应正负90度旋转”。代数问题“什么数平方等于负1”被翻译为几何问题“什么缩放与旋转做两次会到达长度1、角度180度的位置”。两条答案分别是逆时针与顺时针旋转90度。

同一图景解释“负数乘负数得正数”：

$$(-1)(-1)=1.$$

每次乘-1旋转180度，两次共旋转360度，回到正实轴。这就是从更大的复数世界观察实数乘法。

代数和几何的对应

现在可以整理“代数和几何的对应”：

• 复数a+bi对应复平面点(a,b)。
• 复数加法对应向量相加和平行四边形对角线。
• 复数乘法对应绝对值相乘、幅角相加，也就是缩放与旋转。
• 方程z^2=-1对应“连续两次同样的缩放旋转后到达-1”。

点不只是数字的插图，数字也不只是点的标签。运算规则在两种语言中逐项对应，复平面才成为代数与几何相遇的舞台。

五个格点问题

接下来原章转向一张卡片。若a,b为整数，复数a+bi对应的点称为格点。问题是：任意给出五个格点，证明总能选出两点P,Q，使线段中点M仍为格点。

设：

$$P=(x_1,y_1),\qquad Q=(x_2,y_2).$$

中点坐标是：

$$M=\left(\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right).$$

要让M仍为格点，两个分子必须为偶数。也就是x_1,x_2同奇偶，且y_1,y_2同奇偶。问题由几何条件变成坐标奇偶条件。

四种坐标奇偶类型

任一格点的横、纵坐标只有四种“坐标的四种奇偶类型”：

$$(\text{偶},\text{偶}),\quad (\text{偶},\text{奇}),\quad (\text{奇},\text{偶}),\quad (\text{奇},\text{奇}).$$

现在把五个格点放入四类。由，至少有两个点属于同一奇偶类型。这两点的横坐标同奇偶，和为偶数；纵坐标也同奇偶，和同样为偶数。各除以2仍是整数，所以中点必为格点。

这就是“五个格点问题的鸽笼原理证明”。五不是偶然：四个点可以各占一种奇偶类型，不能保证同类；第五个点必然与已有某类重合。

原章给出的示例是：

$$A(4,1),\ B(7,3),\ C(4,6),\ D(2,5),\ E(1,2).$$

其中A,D同属“偶、奇”，中点为(3,3)。示例是理解的试金石，却不是全称证明；真正覆盖任意五点的是分类与鸽笼原理。

高斯整数是二维整数格点

当a,b都是整数时，复数a+bi称为高斯整数：

$$\mathbb Z[i]=\{a+bi:a,b\in\mathbb Z\}.$$

普通整数是b=0的高斯整数，所以：

$$\mathbb Z\subset\mathbb Z[i].$$

几何上，\mathbb Z是实轴上的一维整数格点，\mathbb Z[i]是整个复平面上的二维整数格点。这就是“高斯整数对应复平面格点”，也把上一节的格点问题连接到新的乘法世界。

讨论“还能不能分解”之前，必须先认出可忽略的乘法因子。高斯整数中有乘法逆元且逆元仍为高斯整数的元素叫：

$$\mathbb Z[i]^\times=\{1,-1,i,-i\}.$$

乘一个单位只会旋转或变号，不算真正粉碎。高斯整数若不能写成两个非单位的乘积，就称为不可约；在高斯整数这个唯一分解整环中，不可约与高斯素数一致。

2在高斯整数中分裂

在\mathbb Z中，2不能写成两个绝对值都大于1的整数乘积，所以是质数。但利用平方差：

$$2=1^2-i^2=(1+i)(1-i).$$

两个因子都不是单位，因此“2在高斯整数中分裂”。进一步：

$$1-i=-i(1+i),$$

所以也可写成：

$$2=-i(1+i)^2.$$

这说明2在\mathbb Z[i]中是特殊的分歧情形：两个共轭因子只相差一个单位。原章称它为“可以粉碎的质数”，这个说法是直观比喻，不是正式术语。

质数性依赖所在的数系。扩大允许的因子集合后，原本不可分的元素可能出现新因子；这并不否定2在\mathbb Z中的质数性。

共轭与范数把因式分解变成平方和

对z=a+bi，其共轭为\overline z=a-bi。二者乘积是：

$$(a+bi)(a-bi)=a^2+b^2.$$

定义高斯整数的范数：

$$N(a+bi)=a^2+b^2.$$

范数具有乘法性：

$$N(zw)=N(z)N(w).$$

因此，若有理质数p能写成两个共轭非单位因子的积：

$$p=(a+bi)(a-bi),$$

就等价于“质数表示为两个平方和”：

$$p=a^2+b^2.$$

原章列出：

$$5=(1+2i)(1-2i),\qquad 13=(2+3i)(2-3i),$$ $$17=(4+i)(4-i),\qquad 29=(5+2i)(5-2i).$$

这些是“可分裂质数与两个平方和”的同一事实在乘法和加法两种语言中的表现。

模4余数组织质数的分裂

平方数除以4的余数只可能为0或1。因为任意整数不是偶数就是奇数：

$$(2k)^2\equiv0\pmod4,\qquad (2k+1)^2\equiv1\pmod4.$$

所以两个平方和的模4余数只能是：

$$a^2+b^2\equiv0,1,\text{或 }2\pmod4,$$

绝不可能为3。于是只要：

$$p=(a+bi)(a-bi)=a^2+b^2,$$

就必有p除以4余数不为3。这正是原章问题5-3证明的“平方模4只能为0或1”和“两个平方和模4不为3”。

对奇质数，余数只有1或3。更完整的分类是：

$$p\equiv1\pmod4 \quad\Longleftrightarrow\quad p=a^2+b^2 \quad\Longleftrightarrow\quad p\text{在 }\mathbb Z[i]\text{ 中分裂},$$

而：

$$p\equiv3\pmod4 \quad\Longrightarrow\quad p\text{在 }\mathbb Z[i]\text{ 中仍为高斯素数}.$$

前面的模4计算证明了分裂质数不可能余3；“每个模4余1的质数都能表示为两个平方和”是更深的费马二平方定理，原章在给出分类与大量分解实例时没有完整证明其充分方向。2则单独满足分歧公式，不属于奇质数两类。

例如：

$$257=16^2+1^2=(16+i)(16-i),$$

而239,251,263,271,283都模4余3，在高斯整数中保持不可分。由此形成“有理质数在高斯整数中的三种行为”：2分歧，模4余1者分裂，模4余3者保持高斯素数。

互动实验：选择质数观察三种命运

先预测：选择一个奇质数后，只看它除以4的余数，能否判断它在 \mathbb Z[i] 中的行为？为什么 2 不能塞进余1/余3的二分法？

Prime Splitting Lab

选择质数，检查模4命运

可交互

选择一个样例质数25713171929

余数轴是筛选器，不替代完整证明；余1方向还需要费马二平方定理等结果。

重置实验

互动路径：从旋转到质数分裂

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 把运算放进复平面

先确认复数加法是向量相加，再用绝对值和幅角解释乘法的缩放与旋转。

上一步播放下一步

本章回顾：扩大数系会改变质数的命运

1. 方程可定义旧数域中缺失的新数；x^2+1=0引出虚数单位与两个根\pm i。
2. 实轴和虚轴组成复平面，复数a+bi对应点(a,b)。
3. 复数加法对应向量和平行四边形；复数乘法对应绝对值相乘、幅角相加，也就是缩放并旋转。
4. \pm i对应正负90度旋转，平方后都到达-1；负负得正对应两次180度旋转。
5. 五个格点落入四种坐标奇偶类别，鸽笼原理保证同类一对，其中点仍为整数格点。
6. 高斯整数\mathbb Z[i]是复平面全部整数格点，并包含普通整数\mathbb Z。
7. 2=(1+i)(1-i)说明整数质数进入更大数系后可能分裂；单位因子不算真正分解。
8. 共轭乘积与范数把分裂翻译成平方和：p=a^2+b^2。
9. 平方模4只能余0或1，所以两个平方和绝不余3；奇质数按模4余1或3呈现分裂或保持素性的不同命运。

练习：在两个数系之间切换

练习

问题 1　计算 (2+2i)(1+3i)，并用绝对值和幅角说明结果为什么不是坐标逐项相乘。

查看答案

代数展开得到 2+6i+2i+6i²=-4+8i。几何上，长度乘以 |1+3i|，幅角加上 arg(1+3i)；这与坐标公式的实部 ac−bd、虚部 ad+bc一致。

问题 2　证明任意五个整数格点中有两点的中点仍是整数格点，并说明“五”为什么是最小的保证数量。

查看答案

按横纵坐标的奇偶性分成四类，五个点放入四类必有同类的一对；同类意味着两个坐标和都为偶数，中点坐标仍是整数。四个点可以各占一类，所以四个不够保证。

问题 3　验证 2=(1+i)(1−i)，并说明 1−i 与 1+i 的关系为什么不产生第二种本质分解。

查看答案

乘积是 1−i²=2，且 1−i=−i(1+i)。因 −i 是单位，它只改变方向或旋转，不改变因子的本质，因此两个共轭因子只差一个单位。

问题 4　解释为什么模4余3的奇质数不能在高斯整数中分裂，并指出余1方向需要什么额外数学结果。

查看答案

平方数模4只能是0或1，两个平方和不可能余3；若质数分裂为共轭因子，就会成为两个平方和，所以余3质数不能分裂。余1质数的充分方向需要费马二平方定理等更深结果。

概念核对：复平面、格点与质数命运

平方等于负1的两个解是 i 与 −i；用一次方程定义负数展示了扩张旧数域的思路；用二次方程定义虚数单位则把 i²=−1 变成新计算规则。

实轴和虚轴分别承载实部与虚部系数；复平面把两条轴组成二维几何舞台；复数加法对应平行四边形把向量和的代数式变成图形。

复数乘法的绝对值相乘幅角相加说明乘法是缩放与旋转；正负i对应正负90度旋转解释两个平方根；负数乘负数得正数可看作两次180度旋转回到正轴。

代数和几何的对应要求运算在两种语言中逐项一致；格点是整数坐标的复平面点；五个格点问题把几何中点条件转成奇偶性条件。

坐标的四种奇偶类型由横纵坐标各自的奇偶组合产生；鸽笼原理保证五点中出现同类；高斯整数是实部和虚部都为整数的复数。

高斯整数对应复平面格点把二维整数格点变成代数对象；2在高斯整数中分裂体现更大数系里的新因子；单位虽有乘法逆元，却只改变方向，不算真正粉碎。

共轭把虚部变号；范数把 a+bi 送到 a²+b² 并保持乘法性；可分裂质数与两个平方和通过共轭乘积把两种表述连起来。

平方模4只能为0或1来自整数的奇偶分类；两个平方和模4不为3排除了余3质数的分裂；有理质数在高斯整数中的三种行为是 2 分歧、余1分裂、余3保持高斯素性。

术语表

名词解释

本章出现的专业名词，用大白话再讲一遍。

复平面

用水平实轴和竖直虚轴表示复数的二维平面。

复数乘法的绝对值相乘幅角相加

复数相乘时长度相乘、角度相加的几何法则。

格点

横坐标和纵坐标都是整数的平面点。

鸽笼原理

对象多于类别时，至少有两个对象落入同一类别的计数原理。

高斯整数

形如 a+bi 且 a,b 为整数的复数。

范数

高斯整数 a+bi 的范数是 a²+b²，并具有乘法性。