序章：数域边境的失联信号

哨站的合金门在身后发出沉闷的闭合声，我裹了裹防寒服，目光投向远处被灰紫色迷雾笼罩的“数学王国”边境线——那是科考队失联前最后出现的地方，据传边境线内是未被完全探索的数域，所有符合数论规律的“实体”都会在那里具象化，甚至存在未证明的猜想所对应的“世界规则”。我手中的信号接收器突然发出急促的蜂鸣，一段12位的加密数字在屏幕上跳动，末尾带着科考队独有的标识校验位——这是他们失踪前发出的最后求救信号。

我立刻接入随身携带的密码分析终端，开始对信号进行解析。作为密码学领域的研究者，我太清楚这段信号的价值：它不仅包含了科考队的位置信息，很可能还藏着他们在数域中发现的核心线索。而破解这段信号的第一道门槛，就是数论中最基础的整除性理论。

---

1.1 整除性：数域世界的底层语法

整除性是整个数论大厦的基石，也是所有模运算、同余关系、密码学算法的基础。要理解科考队信号的校验逻辑，首先必须从整除的严格定义开始。

1.1.1 带余除法与整除的定义

对于任意整数$a$和正整数$b$，带余除法告诉我们：存在唯一的整数$q$（商）和$r$（余数），满足： $$a = bq + r, \quad 0 \leq r < b \tag{1.1}$$ 其中$r$称为$a$除以$b$的余数，记作$r = a \bmod b$。带余除法的存在性可以通过最小数原理证明：考虑所有形如$a - bk$的非负整数，其中$k$为任意整数，这个集合非空（取$k = -|a|$即可），因此存在最小元素$r = a - bq$，且必然满足$0 \leq r < b$；唯一性可以通过反证法证明：假设存在两组解$(q_1, r_1)$和$(q_2, r_2)$，则$b(q_1 - q_2) = r_2 - r_1$，由于$|r_2 - r_1| < b$，因此$q_1 = q_2$，$r_1 = r_2$。

基于带余除法，我们可以给出整除的严格定义：如果存在整数$k$使得$b = ak$，则称$a$整除$b$，记作$a \mid b$，此时余数$r=0$；否则称$a$不整除$b$，记作$a \nmid b$。整除具有以下基本性质，这些性质是后续所有推导的基础： 1. 若$a \mid b$且$b