怀表机关：自然数与四则运算的入门试炼

旧阁楼的木地板在脚下吱呀作响，林默蹲在樟木箱旁，指尖沾了层薄薄的灰——那是爷爷留下的最后一点痕迹。老爷子是退休的数学教授，上周走的突然，这间堆着旧书和杂物的阁楼，林默已经收拾了整整三天。直到那个黄铜怀表从《数学分析》的书页里滑出来，磕在水泥地上，表面蒙着的玻璃裂成蛛网，露出里面刻着密密麻麻刻度的机芯。

没等他反应过来，表盘上细碎的铜齿轮突然自行转动起来，发出咔哒的轻响，一道淡金色的光从裂痕里漫出来，把他整个人裹了进去。等视线重新清晰时，林默发现自己站在了一座由灰白色岩石砌成的高大闸门前，门足有十米高，表面刻满了扭曲的数字和符号，像某种看不懂的密码。闸门两侧站着两个穿着绣着数字纹路麻布袍子的人，手里各持着一根刻着加减乘除符号的石杖，看见他来，左边的人迈步上前，声音像石头摩擦：“欢迎来到数境王国，林默。我是算术区的守门人，你爷爷当年是这里的常客，他留下的怀表是你进入这里的钥匙。”

林默愣了愣，下意识摸了摸口袋里剩下的半块怀表碎壳：“我爷爷？他来过这里？” “当然，所有构建这个世界的规则，他都比你熟。”守门人笑了笑，指了指身后紧闭的闸门，“不过现在你得先通过第一道试炼，才能进入算术区。闸门的密码是三个连续整数算出来的，解不开的话，你就会被怀表送回现实，永远没机会知道你爷爷藏在这里的秘密。”

林默抬头看向闸门，发现门的正中央嵌着一块半人高的石板，上面刻着一行字：“密码由三位组成：第一位是三个连续整数中最大数减最小数的结果；第二位是三个数的乘积除以它们的和的商的整数部分；第三位是三个数的和减去最小数的结果。三个连续整数的和为18。”

“连续整数？和为18？”林默心里快速算起来，连续整数就是相邻的两个数差1，比如5、6、7，加起来是18，那三个数就是5、6、7啊。他刚想开口，守门人却抬手拦住了他：“别着急，数境王国的规则和现实里不一样，你得先证明你懂这里的运算规则，才能拿到密码。”

“首先，你得先明白，我们这里的所有数，都从最基础的<自然数>开始。”守门人用石杖点了点地面的石板，上面立刻浮现出一排数字：0、1、2、3……“自然数是人类最早用来计数的数，最早的人类数猎物，1只羊、2只羊，没有猎物的时候就是0，所以我们这里的自然数集$\mathbb{N}$是从0开始的非负整数，也就是$\mathbb{N} = \{0,1,2,3,\dots\}$，没有最大值的。当然，有些老的教材里把自然数定义为从1开始的正整数，那是旧的定义，现在主流的数学体系都已经把0纳入自然数了，你爷爷当年上课就专门讲过这个争议。”守门人指了指石板角落的一行小字，那是国际标准ISO 80000-2对自然数的定义，刚好对应他说的内容。

“那负数呢？”林默问，他刚才算连续整数的时候，也想过会不会有负数的情况，比如-1、0、1，和也是0，不符合18的条件，但万一有其他的呢？ “负数属于<整数>的范畴。”守门人打了个响指，石板上的数字立刻变成了-2、-1、0、1、2……“整数就是把自然数和它的相反数（也就是负数）打包在一起，加上0，组成的数集$\mathbb{Z}$，也就是$\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}$，整数里的数都可以在数轴上找到对应的点，没有空隙。你刚才想的连续整数，既可以是正数，也可以是负数或者0，只要相邻两个数的差是1就行。”

林默点了点头，继续看石板的题目：三个连续整数和为18。他设中间的数为$x$，那前一个就是$x-1$，后一个是$x+1$，三个加起来就是$(x-1) + x + (x+1) = 3x$，所以$3x=18$，$x=6$，三个数就是5、6、7。这里刚好用到了<加减运算的结合律和交换律>：三个数相加，顺序可以换，(x-1)+(x+1)先算的话，-1和+1抵消，剩下2x，再加中间的x就是3x，比从左到右算(x-1)+x再加(x+1)要快得多，这就是运算律的作用——简化计算。

“第一个密码位是最大数减最小数，也就是7减5，等于2。”林默开口说。 “没错，这是加减运算，符合交换律，7-5和5-7的绝对值一样，但结果是相反的，所以减法不满足交换律，这点你要记住。”守门人点了点头，指了指石板的下一行，“第二个密码位是三个数的乘积除以它们的和的整数部分。先算乘积：5×6×7=210，和是18，210除以18等于多少？”

林默掏出随身带的计算器按了一下，屏幕上跳出来11.666666……“整数部分是11？那密码第二位是11？” “慢着。”守门人突然抬起石杖，拦住了他，“数境王国的所有密码都必须是整数，你不能写分数，也不能写小数。这里的除法是<整数除法>，和现实里 calculator 算出来的带小数点的除法不一样，你得用带余除法的规则来算。”

“带余除法？”林默愣了，他上学的时候学过余数，但从来没系统讲过规则。 “这就是你接下来要掌握的规则。”守门人用石杖在石板上划了一下，上面立刻浮现出一段定义：“对于任意整数$a$和正整数$b$，都存在唯一的一对整数$q$（商）和$r$（余数），满足$a = bq + r$，其中$0 \leq r < b$。也就是说，整数除以另一个正整数，得到的商是整数，余数必须是非负的，而且比除数小。”

林默瞬间反应过来，210除以18，18×11=198，210-198=12，12比18小，所以商是11，余数是12，刚好符合带余除法的定义，所以整数部分就是11，和他刚才算的结果一致。但如果要余数的话，就是12，刚好对应守门人说的“不能写分数”的规则，因为分数相当于把余数拆成了除数的分数倍，数境王国不认这个。

“现在你明白规则了，那第三个密码位是三个数的和减去最小数，也就是18减5，等于13。”林默立刻说，“所以密码是2、11、13？” 守门人笑着敲了敲闸门，原本紧闭的岩石门发出轰隆隆的响声，缓缓向两侧打开，露出后面发着淡光的数字通道：“没错，你通过了第一层试炼。不过别高兴太早，算术区的规则比这复杂得多，你得先把基础的运算规则摸透，才能走得更远。”

自然数与整数：数境王国的“数字基石”

要理解数境王国的所有规则，首先得从最基础的数开始。我们前面提到的<自然数>，是人类文明的第一个数学概念：早期人类数猎物、数粮食，1、2、3……这些用来表示“有多少个”的数，就是自然数。直到现在，我们买东西算钱、数人数、数天数，用的最多的还是自然数。

自然数的核心特性有三个： 1. 离散性：自然数之间是独立的，没有两个自然数是“挨在一起”的，1和2之间没有其他自然数，不像实数，1和2之间有无数个小数。 2. 可数性：自然数可以一个一个数下去，永远数不到头，没有最大的自然数。 3. 良序性：自然数的任何一个非空子集，都有一个最小的数，比如自然数里所有大于10的数，最小的是11。

关于自然数是否包含0，前面已经提到过，现在主流数学体系都包含0，因为0表示“没有”的概念，是计数里不可或缺的部分：你数口袋里的钱，没有钱就是0元，不可能跳过这个状态直接到1元。如果自然数不包含0，很多数学规则会变得非常麻烦，比如计算机里的数组索引从0开始，就是因为自然数包含0的定义更符合运算规则。

而<整数>则是在自然数的基础上，引入了“相反数”的概念：如果自然数5表示“有5个苹果”，那么-5就表示“欠5个苹果”，0则表示“不欠也不剩”。整数的出现，是为了解决自然数无法处理“减法结果小于0”的问题：比如你只有3元钱，想买5元的笔，钱不够，差的就是-2元，这个结果必须是整数，不能是“没有”，所以整数是自然数的扩展。

整数同样有核心特性： 1. 封闭性：整数相加、相减、相乘的结果，一定还是整数，比如3+(-2)=1，3×(-2)=-6，结果都是整数。 2. 稠密性：任意两个整数之间，都存在无数个分数，但没有其他整数，比如1和2之间没有整数，但有1.1、1.2……这些分数。 3. 可逆性：任意整数$a$，都存在相反数$-a$，使得$a + (-a) = 0$，这是减法能变成“加相反数”的基础，比如$3 - 2 = 3 + (-2) = 1$，把减法转化成了加法，方便运算。

四则运算：数境王国的“通用语言”

自然数和整数是数境王国的“居民”，而<四则运算>就是居民之间交流的“通用语言”：加、减、乘、除四种运算，是所有数学运算的基础，数境王国的所有规则，本质上都是四则运算的延伸。

我们先明确四种运算的严格定义，避免后面的误区：

• **加法**：把两个或多个数合并成一个数的运算，本质是“数量的累加”，比如3个苹果加2个苹果，等于5个苹果，对应数学表达式$a + b = c$，其中$a$、$b$是加数，$c$是和。
• **减法**：已知两个数的和与其中一个加数，求另一个加数的运算，本质是“数量的拆分”，比如5个苹果去掉2个，剩下3个，对应$a - b = c$，其中$a$是被减数，$b$是减数，$c$是差。
• **乘法**：求几个相同加数的和的简便运算，本质是“累加的简化”，比如3个2相加，写成$2×3=6$，比$2+2+2$更简洁，对应$a × b = c$，其中$a$、$b$是因数，$c$是积。
• **除法**：已知两个因数的积与其中一个因数，求另一个因数的运算，本质是“平均分”，比如6个苹果平均分给3个人，每人2个，对应$a ÷ b = c$，其中$a$是被除数，$b$是除数（不能为0），$c$是商。

四种运算不是孤立的，它们之间有明确的优先级规则：没有括号的情况下，先算乘除，再算加减；有括号的话，先算括号里面的，再算括号外面的；括号里面也要遵循先乘除后加减的规则。我们把这个规则整理成流程图，方便你随时对照：

```mermaid graph TD A[收到四则运算题目] --> B{题目是否只含加减/只含乘除?} B -->|是| C[从左到右依次计算] B -->|否| D{是否有括号?} D -->|是| E[先算括号内,再算括号外] D -->|否| F[先算乘除,再算加减] E --> G{括号内是否只含加减/只含乘除?} G -->|是| H[从左到右计算括号内] G -->|否| I[递归应用四则运算优先级规则] H --> J[得到最终结果] I --> J F --> J C --> J ```

除了优先级规则，四则运算还有三个核心的<运算律>，可以帮我们简化计算，但它们都有严格的适用边界，不是所有运算都适用： 1. 交换律：两个数相加或相乘，交换加数/因数的位置，和/积不变，即$a + b = b + a$，$a × b = b × a$。但交换律不适用于减法和除法：$3 - 2 = 1$，但$2 - 3 = -1$，结果不一样；$6 ÷ 3 = 2$，但$3 ÷ 6 = 0.5$，结果也不一样。 2. 结合律：三个数相加或相乘，先把前两个数相加/相乘，或者先把后两个数相加/相乘，和/积不变，即$(a + b) + c = a + (b + c)$，$(a × b) × c = a × (b × c)$。结合律同样不适用于减法和除法：$(10 - 5) - 2 = 3$，但$10 - (5 - 2) = 7$，结果不一样；$(12 ÷ 4) ÷ 2 = 1.5$，但$12 ÷ (4 ÷ 2) = 6$，结果也不一样。 3. 分配律：两个数的和与一个数相乘，可以先把两个加数分别与这个数相乘，再相加，即$(a + b) × c = a×c + b×c$。分配律只适用于“乘法对加法的分配”，反过来“加法对乘法没有分配律”，$(a + b) × c ≠ a × b + c$；同时“除法对加法没有分配律”，$a ÷ (b + c) ≠ a ÷ b + a ÷ c$，比如$12 ÷ (3 + 3) = 2$，但$12 ÷ 3 + 12 ÷ 3 = 8$，结果差距极大。

我们回到刚才的密码题，三个连续整数的和是18，求这三个数，用结合律就可以简化计算：设中间的数为$x$，三个数是$x-1$、$x$、$x+1$，它们的和是$(x-1) + x + (x+1)$，根据交换律把-1和+1放在一起算，得到$(x + x + x) + (-1 + 1) = 3x + 0 = 3x$，所以$3x=18$，$x=6$，三个数就是5、6、7，比直接一个个试快得多，这就是运算律的价值。

技术深潜：整数除法的余数性质推导

刚才的密码题里，第二个密码位是“三个数的乘积除以它们的和的整数部分”，这里用到了整数除法的核心规则——带余除法，它的性质是数境王国所有整数运算的基础，我们这里做一次严谨的推导，帮你彻底搞懂。

1. 带余除法的严格定义

对于任意整数$a$（被除数）和正整数$b$（除数），存在唯一的一对整数$q$（商）和$r$（余数），满足： $$a = bq + r \quad (0 \leq r < b)$$ 这个定义的三个核心条件必须同时满足：

• 余数$r$必须是非负的，不能是负数；
• 余数$r$必须小于除数$b$，如果$r \geq b$，说明商$q$算小了，还可以再加1；
• 商和余数是唯一的，不会出现两个不同的商对应同一个余数的情况。

我们可以用反证法证明唯一性：假设存在两对不同的商和余数$(q_1, r_1)$和$(q_2, r_2)$，都满足$a = bq_1 + r_1 = bq_2 + r_2$，其中$0 \leq r_1 < b$，$0 \leq r_2 < b$。那么$b(q_1 - q_2) = r_2 - r_1$，因为$r_1$和$r_2$都小于$b$，所以$r_2 - r_1$的绝对值小于$b$，而左边是$b$的倍数，绝对值要么是0，要么大于等于$b$，所以只有$r_2 - r_1 = 0$，即$r_1 = r_2$，进而$q_1 = q_2$，说明商和余数是唯一的。

举个例子：10除以3，我们试商：3×3=9，余数1，满足$0 \leq 1 < 3$，所以商是3，余数是1；如果试商2，余数是4，大于除数3，不符合规则；试商4，余数是-2，是负数，也不符合规则，所以唯一的结果就是商3余1。

2. 余数的核心性质推导

余数的性质是简化大数运算的核心，我们推导两个最常用的性质： ##### （1）余数的加减性质 对于任意整数$a$、$c$和正整数$b$，有： $$(a + c) \bmod b = \left[(a \bmod b) + (c \bmod b)\right] \bmod b$$ 其中$\bmod$是取余运算的符号，$x \bmod b$表示$x$除以$b$的余数。

推导过程： 根据带余除法的定义，我们可以把$a$和$c$写成： $$a = bq_1 + r_1, \quad 0 \leq r_1 < b \implies r_1 = a \bmod b$$ $$c = bq_2 + r_2, \quad 0 \leq r_2 < b \implies r_2 = c \bmod b$$ 把两个式子相加： $$a + c = b(q_1 + q_2) + (r_1 + r_2)$$ 这时候$r_1 + r_2$可能小于$b$，也可能大于等于$b$，所以需要再对$(r_1 + r_2)$做一次带余除法： $$r_1 + r

2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2

_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_2_