---
url: https://xuehaizhixing.com/root/B01-数论基础/M02-同余理论/S01/B01-M02-S01-U02.md
---

# 一、模块层

* **知识点编号**：B01-M02-S01-U02
* **所属模块**：B01 → M02 → S01

## 纵向关联

* 上接：
  * 无
* 下启：
  * [模幂运算初步题根](/root/B01-数论基础/M02-同余理论/S01/B01-M02-S01-U04)

## 知识关联

### 横向关联

* 前置基础：
  * [奇偶性判断题根](/root/B01-数论基础/M01-整除与质数/S01/B01-M01-S01-U01)
  * [整除的可乘性题根](/root/B01-数论基础/M01-整除与质数/S05/B01-M01-S05-U03)
* 同位衔接：
  * `除法题根`
  * [余数定理初步题根](/root/B01-数论基础/M01-整除与质数/S06/B01-M01-S06-U02)
  * `多项式乘法题根`
* 后续延伸：
  * [τ(n)计算题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S01/B01-M04-S01-U01)
  * [μ(n)定义与性质题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S01/B01-M04-S01-U03)
  * [同余法求解题根](/root/B01-数论基础/M03-不定方程/S05/B01-M03-S05-U02)
  * [因数分解法题根](/root/B01-数论基础/M03-不定方程/S05/B01-M03-S05-U03)
  * [指数型方程形式题根](/root/B01-数论基础/M03-不定方程/S05/B01-M03-S05-U01)
  * [函数积性证明题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S01/B01-M04-S01-U05)
  * [模分析题根](/root/B01-数论基础/M03-不定方程/S06/B01-M03-S06-U02)
  * [gcd与线性组合题根](/root/B01-数论基础/M01-整除与质数/S03/B01-M01-S03-U06)

# 二、本源层

* **本源**：加减法是最基本的代数运算——同余对加减法的保持是模算术成为代数系统的第一块基石。若$a\equiv b\pmod{m}$且$c\equiv d\pmod{m}$，则$a\pm c\equiv b\pm d\pmod{m}$，差为$m$倍数的和差。这一性质看似平凡，却保证了剩余类集合在加法下封闭，为$\mathbb{Z}/m\mathbb{Z}$的加法群结构提供了基础。
* **原点**：
  若$a\equiv b\pmod{m}$且$c\equiv d\pmod{m}$，则$a\pm c\equiv b\pm d\pmod{m}$。因为$a-b=mk_1$和$c-d=mk_2$，则$(a\pm c)-(b\pm d)=(a-b)\pm(c-d)=m(k_1\pm k_2)$。该证明的关键在于"差的加减等于加减的差"——将两式相加减后，$m$的倍数仍然保持为$m$的倍数，同余关系因此保持不变。同余式可以像等式一样进行加减运算而不改变同余关系，这是模算术的第一条运算法则，也是后续所有模运算性质的基础出发点。

从更形式化的角度审视，这里的数学结构可以进一步抽象。如果将满足该性质的对象构成的集合记为某一类，则该集合在相应的运算下具有封闭性——这是代数结构的雏形。

这一原点是连接直觉与形式的桥梁：一边是直觉层面朴素易懂的分类观念，另一边是严格的形式化系统。理解这个连接点，才能真正从“感觉懂了”过渡到“严格证明了”。

* **道法**：
  **首锚·代数结构思想**：同余加减法的本质是代数结构保持——若$a\equiv b$且$c\equiv d\pmod{m}$，则$a\pm c\equiv b\pm d$，差为$m$倍数的和差，同余关系在加减法下像等式一样自然保持。
  **次锚·不变量思想**：加减运算中模数$m$始终不变——无论进行多少次加减或移项，模数保持恒定，这是不变量思想在模算术中的直接体现。
  **三锚·同余与模结构**：学会了模加减法则，以后遇到同余方程移项、解同余方程组乃至$\mathbb{Z}/m\mathbb{Z}$加法群时，都能利用"同余加减如等式"这一核心类比来推导。
  **解题三问**：①两同余式加减后对应项如何处理？②移项时是否变号？③模数有无变化？
  关键心法：同余加减如同等式一般自然，移项变号切勿忘了基础规则；模数恒定始终不曾有变化，运算法则本当如此自如。
* **终极一句话**：$a\equiv b,;c\equiv d\pmod{m}\Rightarrow a\pm c\equiv b\pm d\pmod{m}$——同余加减保持模不变，移项变号规则与普通等式完全一致，同余式可以像等式一样自由地进行加减操作而不会改变同余关系，这是模算术成为代数系统的第一条运算性质，也是$\mathbb{Z}/m\mathbb{Z}$加法群封闭性的直接保障。
* **数学思想进化轴**：高斯《算术研究》（1801）从同余定义直接推导出加减法则——这是等价关系保持代数运算的第一条性质，同余加减法则几乎与同余定义同时诞生→模加减作为$\mathbb{Z}/m\mathbb{Z}$加法群的定义依据，剩余类上的加法由模加减法则明确定义，且满足封闭性、结合律、交换律，构成Abel群→在现代密码学中，加法同态加密（如Paillier加密，1999）的数学基础正是模加法的保持性，允许对密文进行加法操作得到加密后的和→在零知识证明和安全多方计算中，模加减法是所有更复杂同态运算的起点和基础。

从认知发展的角度来看，该知识点的进化路径体现了数学思维从具体到抽象的跃迁——最初人们只是在日常计算中积累了零散经验，随后通过系统化整理形成了一般的判断方法，最终抽象为严格的数学理论。这一过程中每一次质的飞跃都源于对已有方法的反思和追问。

# 三、知识点层

* **知识点编号**：B01-M02-S01-U02
* **名称**：模加减运算题根
* **标准定义**：
* 同余加法法则：若$a\equiv b\pmod{m}$且$c\equiv d\pmod{m}$，则$a+c\equiv b+d\pmod{m}$。证明：由$a-b=mk_1$，$c-d=mk_2$，相加得$(a+c)-(b+d)=m(k_1+k_2)$。对应项分别相加，差保持为$m$的倍数。该法则直接对应剩余类加法$\overline{a}+\overline{c}=\overline{a+c}$，是$\mathbb{Z}/m\mathbb{Z}$加法运算的定义基础。
  * 同余减法法则：若$a\equiv b\pmod{m}$且$c\equiv d\pmod{m}$，则$a-c\equiv b-d\pmod{m}$。证明同上，减法可视为加法：$a-c\equiv a+(-c)\equiv b+(-d)=b-d\pmod{m}$。减法不独立于加法，而是加法逆元的表现。
  * 同余式移项法则：$a+b\equiv c\pmod{m}\iff a\equiv c-b\pmod{m}$。在模$m$下，移项变号规则与普通等式完全相同。这是解同余方程$a+x\equiv b\pmod{m}$的基本操作。

从等价关系角度看，这一定义实际上建立了一个划分：它将所有可能的情形分为互不相交的两类，且覆盖了全集。这是一个最简单的二元分类系统。

在实际解题中，这一定义提供了三种判定策略：(1)正面验证——直接检查条件是否成立；(2)反面排除——检查是否属于另一类来确定；(3)等价转化——利用该定义的某个等价刻画来判定。

该定义还有一个重要推论：若某对象满足定义条件，则它自动具有该类别的一切性质；反之，若某性质在某对象上不成立，则该对象必不属于此类别。

特别需要注意两件事：一是定义中条件的充分必要性——既不能多也不能少；二是定义的边界情形——当条件处于模糊地带时该如何判定。

* **核心本质**：
  **同余关系在加法下保持封闭——$(a\pm c)$与$(b\pm d)$的差仍是$m$的倍数，加减运算不改变余数的模$m$分类。这是模算术成为代数系统的第一个运算性质，它保证了剩余类集合在加法下的封闭性，为$\mathbb{Z}/m\mathbb{Z}$的加法群结构提供了基础。同余加减法则的证明只需回到定义：$(a\pm c)-(b\pm d)=(a-b)\pm(c-d)$，两项都是$m$的倍数，因此和差也是$m$的倍数。这一证明的简洁性——"差的加减等于加减的差"——体现了同余理论从定义出发推导所有性质的优雅逻辑链条。移项法则$a+b\equiv c\Rightarrow a\equiv c-b$则是加减法则的直接推论，与普通等式移项完全一致，是解同余方程的基本操作。** 锁死·拓展应用层通用内容

这一本质深刻揭示了一个事实：表面上的数值多样性掩盖了底层的结构统一性。一旦掌握了这个统一性，看似千变万化的问题都可以归结为同一种分析框架来处理。

* **核心性质**：
  * 性质一：两边同加不变性——若$a\equiv b\pmod{m}$，则$a+c\equiv b+c\pmod{m}$对任意整数$c$成立。因为$c\equiv c\pmod{m}$（自反性），由加法法则即得。同余式两边可同时加上任意整数。
  * 性质二：移项法则——从$a+b\equiv c\pmod{m}$移项得$a\equiv c-b\pmod{m}$。证明：两边同时加$-b$，得$a+b-b\equiv c-b$即$a\equiv c-b$。移项变号在模运算下完全等价于普通等式。
  * 性质三：加减封闭性——若$a\equiv b\pmod{m}$且$c\equiv d\pmod{m}$，则$a\pm c\equiv b\pm d\pmod{m}$。这是最一般的形式：两个同余式可以按对应项分别加减，结果是新的同余式，模数不变。
  * 性质四：模不变量——加减运算不改变模数$m$本身：无论在同余式上进行多少次加减操作，模数始终为$m$。这与乘法不同（乘法也不改变模），但除法需要引入逆元。

# 四、教案版本

## 【专业版】

### 【基础层例题】

已知$15\equiv3\pmod{4}$，$22\equiv2\pmod{4}$，求$(15+22)$和$(15-22)$模$4$同余于何数。

* **解题思路**：①提取条件：已知$15\equiv3$和$22\equiv2\pmod{4}$，要求和与差模$4$的值。②参照范例步骤：像范例那样，先将两同余式的对应项分别相加/相减，得到新同余式，再对结果取模化简到$0$至$3$之间。③预判答案：和与差都同余于$1$。
* **标准解答**：$15+22\equiv3+2=5\equiv1\pmod{4}$；$15-22\equiv3-2=1\pmod{4}$。验证：$15+22=37$，$37\div4=9$余$1$；$15-22=-7$，$-7\div4=-2$余$1$（因为$-7=4\times(-2)+1$）。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。
  验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。### 【易错变式题】
  判断"若$a\equiv b\pmod{m}$，则$a+c\equiv b+c\pmod{m}$对任意整数$c$成立"是否正确。
* **常见错误**：①错误行为：学生判断$a\equiv b$时认为单独一个$c$"不在同余式中"，不敢对同余式两边加$c$。②认知原因：因为参照$15\equiv3$和$22\equiv2$的双同余式加减时没注意到任意整数$c$都与自身同余（自反性），导致误以为"单独的数"不能参与同余运算。③忽视点：关键是没有识别出$c\equiv c\pmod{m}$对任意整数$c$恒成立，这是利用自反性将所有数纳入同余框架的核心技巧。
* **标准解答**：正确。因为$c\equiv c\pmod{m}$对所有整数$c$都成立（自反性），于是$a\equiv b$且$c\equiv c$，由加法法则$a+c\equiv b+c$。这是"两边同时加一个数"的同余版本，与等式完全类比。；上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。；这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。；验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。；这道题的核心考点是考查学生对基本概念的准确理解——只有概念清晰，才能从题目条件中识别出可用的结论。；解答这类问题时，建议先明确已知条件与所求目标之间的逻辑关系，再进行逐步推导，避免跳步导致的逻辑漏洞。

从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。### 【高阶例题】
解同余方程组：$x+y\equiv3\pmod{5}$，$x-y\equiv1\pmod{5}$。

* **方法策略**：①问题类型：这是同余方程组的求解变式，条件从单个同余式变成了含两个方程和两个未知数的联立系统。②方法选择：虽然变量增多了，但核心方法还是模加减法，因为同余下的加减消元与普通方程组完全等同，移项变号规则一致。③分类/步骤：分两步做——先两式相加消去$y$解出$x$，再两式相减消去$x$解出$y$，注意消元后系数与模不互素时需谨慎处理。
* **标准解答**：两式相加：$(x+y)+(x-y)\equiv3+1\Rightarrow2x\equiv4\pmod{5}$。$\gcd(2,5)=1$，$2$的模$5$逆元为$3$（$2\times3=6\equiv1$），两边乘$3$得$x\equiv4\times3=12\equiv2\pmod{5}$。两式相减：$(x+y)-(x-y)\equiv3-1\Rightarrow2y\equiv2\pmod{5}$，两边乘$3$得$y\equiv2\times3=6\equiv1\pmod{5}$。答案：$x\equiv2\pmod{5}$，$y\equiv1\pmod{5}$。

##

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。【药典版】

### 定位：模运算的"加减法则"——同余式的加减如同等式般自然，是模算术的第一条运算法则

#### 🌱 药材本体

* **第一味药——加法保持**：若$a\equiv b\pmod{m}$且$c\equiv d\pmod{m}$，则$a+c\equiv b+d\pmod{m}$。两个同余式两边分别相加，结果仍是同余式。证明：差的相加仍为模的倍数。如$17\equiv5\pmod{6}$、$13\equiv1\pmod{6}$，则$30\equiv6\pmod{6}$。
* **第二味药——减法同构**：若$a\equiv b$且$c\equiv d$，则$a-c\equiv b-d\pmod{m}$。减法不独立于加法：$a-c\equiv a+(-c)$。同余下减法是加法的逆运算，与普通算术完全一致。
* **第三味药——移项操作**：$a+b\equiv c\pmod{m}\Rightarrow a\equiv c-b\pmod{m}$。移项变号在模运算下等同普通等式，这使解同余方程像解普通方程一样自然。
* **第四味药——消元基础**：对于含多个变量的同余方程组，加减消元法完全有效。模数不变的前提下，加减法是最基础也最强大的化简工具。
* **药材核心药性**：同余加减，模长为伴，"加则同余，减亦同余，移项如常"。
  这一数学概念的核心特性在于其基础性和工具性——它不仅是解决问题的基础工具，更是连接不同知识模块的桥梁。

#### 🛠️ 功能主治

* **主治**：不会对同余式进行加减运算——不知道"同余式两边可以同时加减一个数"
* **解决**：同余式移项时忘记变号或不知如何操作——$a+b\equiv c$不会转化为$a\equiv c-b$
* **根治**：无法在模算术背景下进行代数操作——等式操作习惯无法迁移到同余运算中
* **打通**：从普通等式加减→同余式加减→同余方程组加减消元→$\mathbb{Z}/m\mathbb{Z}$中加法群的运算

#### 🧪 核心药方

1、**直接加减方**——两个同余式的对应项分别相加或相减，模数不变。如$a\equiv b$、$c\equiv d$则$a\pm c\equiv b\pm d$。适用于直接计算和差模值。适配基础表达阶
2、**移项变号方**——将同余式中的项从一边移到另一边并变号：$a+b\equiv c\Rightarrow a\equiv c-b$。完全类比普通等式移项，无需额外记忆规则。适配进阶表达阶
3、**加减消元方**——对于同余方程组$\begin{cases}a_1x+b_1y\equiv c_1\a_2x+b_2y\equiv c_2\end{cases}$，用加减法消元：乘以合适系数后相加或相减消去一个变量。适配高阶表达阶

#### 🌌 药理

**加减同余，模如磐石。**

高斯在《算术研究》（1801）中首次系统证明同余的加减性质——它们是同余定义最直接的推论。实际上，从$a\equiv b\pmod{m}$和$c\equiv d\pmod{m}$出发，差的相加$(a-b)+(c-d)=(a+c)-(b+d)$直接说明$m$整除$(a+c)-(b+d)$。这一证明如此简洁，以至于它经常被当作"显然成立"而跳过。在竞赛实战中，模加减运算是使用最频繁的操作：移项解同余方程、加减消元解同余方程组、在复杂表达式中逐项取模求和。"同余加减如同等式的加减"这一类比，是学生从普通代数过渡到模算术的最重要桥梁。从更深层看，模加减法则使剩余类集合$\mathbb{Z}/m\mathbb{Z}$具备加法群结构——封闭性（任何两个剩余类相加得另一个剩余类）、结合律、单位元$\overline{0}$、逆元$\overline{-a}$，全部由模加减法则保证。

#### 👨‍🏫 老师修炼阶梯

* **基础表达**：用具体数值演示加减法则——$17\equiv5\pmod{6}$、$13\equiv1\pmod{6}$，计算$17+13$和$5+1$都模$6$于$0$。让学生"看见"加减运算后同余性仍然成立。
* **进阶表达**：强调移项操作与普通等式的类比——"同余式移项也变号"不是新规则而是加法法则的推论。让学生在解同余方程$x+3\equiv8\pmod{7}$时像解$x+3=8$一样自然。
* **高阶表达**：将加减法用于解同余方程组——展示加减消元法在模算术中的完全有效性，同时让学生注意消元后若遇到系数不可逆（与模不互素）的情况应如何处理。
* **顶阶表达**：从模加减法则上升到$\mathbb{Z}/m\mathbb{Z}$的加法群结构——封闭性、结合律、单位元、逆元。让学生理解"加减同余"不是若干孤立的规则，而是一个完整代数系统的公理。

#### 🗣️ 一句话封神

$a\equiv b,;c\equiv d\pmod{m}\Rightarrow a\pm c\equiv b\pm d\pmod{m}$——同余加减，自由如等式。
数学学习的关键不在于刷了多少题，而在于是否建立了知识之间的联系——当不同模块的知识在心中形成网络，解题就不再是搜索记忆而是自然涌现。
真正的高手不是记得多少公式，而是能看到不同方法背后的统一思想——这就是数学的眼光。#### 🩺 一眼诊断

* **机械模仿型**：会套用加减法则但说不出为什么——比如知道"同余两边加同一个数"但不知来自$c\equiv c$的自反性。→ 回到定义：$(a+c)-(b+c)=a-b$，差不变，所以同余保持。
* **移项忘变型**：从$a+b\equiv c$移项写成$a\equiv c+b$（移项没变号）。→ 强调移项规则与普通等式完全一致：移项必变号，两边同时加$-b$即得。
* **模数迷失型**：加减运算后认为模数会变为$m$的约数或倍数。→ 强调加减法不改变模——差的表达式中$m$的倍数系数变了但乘的仍是$m$。
* **方程僵化型**：会单个同余式的加减但不会用加减法解同余方程组。→ 用类比法：先演示普通方程组加减消元，再将同余方程组一模一样地解一遍。

#### 🧭 导航路径

* **步行（L1-L2）** → 对标
  1. 已知$10\equiv3\pmod{7}$，$11\equiv4\pmod{7}$，求$10+11$和$10-11$模$7$的值。
     * 解答提示：$10+11\equiv3+4=7\equiv0\pmod{7}$；$10-11\equiv3-4=-1\equiv6\pmod{7}$。验证：$10+11=21$，$21\equiv0\pmod{7}$；$10-11=-1\equiv6\pmod{7}$。加减法则直接代入即可。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。

2. 解同余方程$x+3\equiv1\pmod{5}$。
   * 解答提示：两边同时加$-3$得$x\equiv1-3=-2\equiv3\pmod{5}$。验证：$3+3=6\equiv1\pmod{5}\checkmark$。答案：$x\equiv3\pmod{5}$。

> 深度解析：这里运用的实际上是反证法的思想雏形——通过分析奇偶性矛盾来证明某些情形不可能发生。不变量思想与反证法结合，是竞赛中最强大的组合工具之一。

3. 若$a\equiv b\pmod{m}$，求证$a-b\equiv0\pmod{m}$。
   * 解答提示：由$a\equiv b\pmod{m}$和$b\equiv b\pmod{m}$（自反性），减法法则给出$a-b\equiv b-b=0\pmod{m}$。注意$a-b\equiv0\pmod{m}$等价于$m\mid(a-b)$，这正好是同余定义的另一种表达。

> 思维延伸：将这个问题稍作变换——如果把条件中的某条规则改一下，结论是否还成立？这种改变条件观察变化的思维训练，有助于真正理解规则的本质。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。养成先筛选再判断的习惯，能大幅提升解题速度和准确性。

* **刚性达标阈值**：掌握基础概念，正确率≥90%
* **骑车（L3-L4）** → 对标
  1. 解同余方程$2x+3\equiv5x-1\pmod{7}$。
     * 解答提示：移项合并：$2x-5x\equiv-1-3\Rightarrow-3x\equiv-4\pmod{7}$。两边乘$-1$：$3x\equiv4\pmod{7}$。$3$在模$7$下的逆元是$5$（$3\times5=15\equiv1$），两边乘$5$：$x\equiv4\times5=20\equiv6\pmod{7}$。检验：左边$2\times6+3=15\equiv1$，右边$5\times6-1=29\equiv1\checkmark$。

  2. 解同余方程组$x+y\equiv3\pmod{5}$，$x-y\equiv1\pmod{5}$。
     * 解答提示：加减消元。两式相加：$2x\equiv4\pmod{5}$，$2$的逆元为$3$得$x\equiv2\pmod{5}$。两式相减：$2y\equiv2\pmod{5}$得$y\equiv1\pmod{5}$。答案：$x\equiv2$，$y\equiv1\pmod{5}$。

  3. 证明：若$a\equiv b\pmod{m}$，则$a+c\equiv b+c\pmod{m}$对任意$c$成立。
     * 解答提示：只需注意$c\equiv c\pmod{m}$（自反性），然后直接应用加法法则：$a+c\equiv b+c\pmod{m}$。也可以用定义：$(a+c)-(b+c)=a-b$，$m\mid(a-b)$就被$m$整除。

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。；这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。- **刚性达标阈值**：能灵活运用解决变式问题，正确率≥85%

* **开车（L5-L6）** → 对标
  1. 解同余方程组：$3x+2y\equiv1\pmod{7}$，$2x-3y\equiv4\pmod{7}$。
     * 解答提示：加减消元。第一式乘$3$：$9x+6y\equiv3\equiv3$，第二式乘$2$：$4x-6y\equiv8\equiv1$。相加得$13x\equiv4$，$13\equiv6\pmod{7}$，$\gcd(6,7)=1$，$6$逆元$6$（$6\times6=36\equiv1$），$x\equiv4\times6=24\equiv3\pmod{7}$。代入得$y$。答案：$x\equiv3$，$y\equiv4\pmod{7}$。
  2. 证明：模$m$剩余类构成的加法群是循环群。
     * 解答提示：$\mathbb{Z}/m\mathbb{Z}$在加法下构成群。单位元为$\overline{0}$。$\overline{1}$生成整个群：$n\cdot\overline{1}=\overline{n}$对$n=0,\ldots,m-1$给出所有剩余类。故$\mathbb{Z}/m\mathbb{Z}$是$m$阶循环群，$+$运算由模加减法则定义。
  3. 利用模加减法证明中国剩余定理中解的形式。
     * 解答提示：对模$m_1$和$m_2$互素的系统$x\equiv a_1\pmod{m_1}$，$x\equiv a_2\pmod{m_2}$，用加减法构造：$x=a_1M_2y_2+a_2M_1y_1$，其中$M_i$是另一模的乘积，$y_i$是逆元。加减法保证解的存在性和唯一性模$m_1m_2$。
  * **刚性达标阈值**：能综合解决复杂问题，正确率≥80%