数论：中国剩余定理证明

中国剩余定理对于一元线性同余方程组的求解

中国剩余定理的提出

最早于中国南北朝时期（公元5世纪）的数学著作《孙子算经》提出，故又称孙子定理。

记载原文如下： “ 有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二。”

意思是：有一个整数，除以3余2，除以5余3，除以7余2，求这个数是多少？

写成线性同余方程组

$$\{\begin{array}{l}x\equiv 2(mod3)\\ x\equiv 3(mod5)\\ x\equiv 2(mod7)\end{array}$$

什么是同余?

同余在数学中是指数论中的一种等价关系，符号为$\equiv$。

指当两个整数$a,b$除以同一个正整数$m$，若得相同余数$r$，则称这两个整数$a,b$对于模$m$​同余。

记作 $a\equiv b(modm)$，读作$a$与$b$关于模$m$​同余。

什么是线性同余方程？

在数论中，线性同余方程是最基本的同余方程，“线性”表示方程的未知数次数是一次。

即形如：$ax\equiv b(modm)$​​ 的方程。

求解关于x的线性同余方程组

构造$x=2r_1+3r_2+2r_3$。

$r_1,r_2,r_3$需要满足下列条件：

$For{r}_1$：
$$\{\begin{array}{l}{r}_1\equiv 1(mod3)\\ r_1\equiv 0(mod5)\\ r_1\equiv 0(mod7)\end{array}$$
$For{r}_2$
$$\{\begin{array}{l}{r}_2\equiv 0(mod3)\\ r_2\end{array}$$