拓展中国剩余定理

上一篇：中国剩余定理
前置知识：费蜀定理（贝组定理）的证明与应用
如果您对逆元不够了解：逆元简述

---

概念

很类似中国剩余定理：
$(S):\{\begin{array}{l}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ⋮\\ x\equiv a_n(\mathrm{m}\mathrm{o}\mathrm{d}{m}_n)\end{array}$
还是这个方程组，但是这次 $m_1,m_2,\dots ,m_n$ 不一定两两互质了
用拓展中国剩余定理可以求出 $x$ 的最小非负整数解。

---

基本思路

拓中的主要思想就是把两个同余方程合并成一个，合并 $n-1$ 次后就只会剩下一个方程，然后解它就很容易了。

---

推导过程

说明：因为不知道符号意义、没有看前置知识等问题造成的食用体验不佳，本人不承担任何责任。实在不能理解就在下面提问吧。。。（虽然肯定不会有人提问）

（这里以第一个和第二个方程为例进行变形）

1. 将两个方程写成 $\mathrm{x}={\mathrm{m}}_1{\mathrm{k}}_1+{\mathrm{c}}_1,\mathrm{x}={\mathrm{m}}_2{\mathrm{k}}_2+{\mathrm{c}}_2$ ，
   两式联立得 ${\mathrm{m}}_1{\mathrm{k}}_1+{\mathrm{c}}_1={\mathrm{m}}_2{\mathrm{k}}_2+{\mathrm{c}}_2$ ，
   移项得 ${\mathrm{m}}_1{\mathrm{k}}_1={\mathrm{m}}_2{\mathrm{k}}_2+{\mathrm{c}}_2-{\mathrm{c}}_1$
   为了叙述方便，下文用 $\gcd$ 来表示 $({\mathrm{m}}_1,{\mathrm{m}}_2)$
2. 式子变形为 ${\mathrm{m}}_1{\mathrm{k}}_1-{\mathrm{m}}_2{\mathrm{k}}_2={\mathrm{c}}_2-{\mathrm{c}}_1$
   然后应用贝祖定理得，以上等式有解充要条件为 $\mathrm{g}\mathrm{c}\mathrm{d}\mid {\mathrm{c}}_2-{\mathrm{c}}_1$ （这个是判无解用的）
3. 1.中的等式两边同时除以 $\gcd$ 得 $\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\times {\mathrm{k}}_1=\frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}+\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\times {\mathrm{k}}_2$
   即 $\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\times {\mathrm{k}}_1\equiv \frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\left(\mathrm{m}\mathrm{o}\mathrm{d}\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)$
   继续化简，得 ${\mathrm{k}}_1\equiv \mathrm{i}\mathrm{n}\mathrm{v}\left(\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}},\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)\times \frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\left(\mathrm{m}\mathrm{o}\mathrm{d}\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)$
   改写成等式，方便使用： ${\mathrm{k}}_1=\mathrm{i}\mathrm{n}\mathrm{v}\left(\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}},\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)\times \frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}+\mathrm{y}\times \frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}$
4. 将上式代回 $x=m_1{k}_1+c_1$ ，得：
   $\mathrm{x}=\mathrm{i}\mathrm{n}\mathrm{v}\left(\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}},\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)\times \frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\times {\mathrm{m}}_1+\mathrm{y}\times \frac{{\mathrm{m}}_1{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}+{\mathrm{c}}_1$
   即 $\mathrm{x}\equiv \mathrm{i}\mathrm{n}\mathrm{v}\left(\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}},\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)\times \frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\times {\mathrm{m}}_1+{\mathrm{c}}_1\left(\mathrm{m}\mathrm{o}\mathrm{d}\frac{{\mathrm{m}}_1{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)$
5. 观察式子结构，发现这个式子又是 $\mathrm{x}\equiv \mathrm{c}(\mathrm{m}\mathrm{o}\mathrm{d}\mathrm{m})$ 的形式。
   其中 $\mathrm{m}=\frac{{\mathrm{m}}_1{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}},\mathrm{c}=\mathrm{i}\mathrm{n}\mathrm{v}\left(\frac{{\mathrm{m}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}},\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\right)\times \frac{{\mathrm{c}}_2-{\mathrm{c}}_1}{\mathrm{g}\mathrm{c}\mathrm{d}}\%\frac{{\mathrm{m}}_2}{\mathrm{g}\mathrm{c}\mathrm{d}}\times {\mathrm{m}}_1+{\mathrm{c}}_1$

那么我们就成功地把两个同余方程合并成了同一个。合并 $n-1$ 次后，我们就可以得出答案了。
5.中的式子是拓中的精髓，一定要背下来
废话，这东西考场上又推不出来

---

唔，这几篇文章终于写完了~

• 欧几里得算法
• 扩展欧几里得算法
• 中国剩余定理
• 扩展中国剩余定理
• 费蜀定理（贝祖定理）
• 逆元简述

这六篇文章其实都是互相关联的，建议按照这样的顺序食用：

1. 欧几里得算法
2. 扩展欧几里得算法（简称扩欧）
3. 逆元
4. 费蜀定理
5. 中国剩余定理
6. 扩展中国剩余定理（简称扩中）

其中 $(2)(3)$ 联系较紧密，建议放在一起看QAQ

留个赞吧qwq