中国剩余定理

因为在《孙子算经》中有提到,所以也叫孙子定理

• 引入

不知道同学们是否遇到了这种方程:

可能有的人会说,啊这什么啊,有的人就会说这不中国剩余定理吗?手
没错这就是要用中国剩余定理解决的同余方程

• 为了求得这种一次的线性的同余方程的通解,就有了中国剩余定理(前提是$m_1$,$m_2$…$m_n$两两互质,一般$m_1$,$m_2$,…,$m_n$都为质数)

下面给出通解:

我们设:
$M=m_1$$\times$$m_2$$\times$…$\times$$m_n$=$\prod _{i=1}^n{m}_i$
$M_i=M/m_i$ , ∀ i ∈ { 1 , 2 , . . . , n } \forall i\in\{1,2,...,n\} ∀i∈{1,2,...,n}
$t_i=M_i^{-1}(仅当mod{m}_i下时t_i时M_i的倒数)$
即: $t_i{M}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$ , ∀ i ∈ { 1 , 2 , . . . , n } \forall i\in\{1,2,...,n\} ∀i∈{1,2,...,n}
解得: $x=a_1{t}_1{M}_1+a_2{t}_2{M}_2+...+a_n{t}_n{M}_n+kM=\sum _{i=1}^n{a}_i{t}_i{M}_i+kM$,$k$为任意整数
且因为$M|kM$,所以 $modM$的意义下有唯一解$x=(\sum _{i=1}^n{a}_i{t}_i{M}_i)\mathrm{m}\mathrm{o}\mathrm{d}M$

下面给出证明:

$\because m_1,m_2,...m_n两两互质$
$\therefore gcd(m_i,M_i)=1,即M_i与m_i互质$
$\therefore 总有整数解t_i使得t_i{M}_i+x{m}_i=1(好像是裴蜀定理),又可写成:t_i{M}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$
$\therefore a_i{t}_i{M}_i\equiv a_i\times 1\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$
同时我们发现:假设 ∀ j ∈ { 1 , 2 , . . . , n } 且 j ≠ i \forall j\in \{1,2,...,n\}且j\ne i ∀j∈{1,2,...,n}且j​=i
此时:$M_i=m_1\times m_2\times ...\times m_j\times ...\times m_n$,即:$m_j|M_i$
$\therefore a_i{t}_i{M}_i\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{m}_j)$
解得一个$x$为:$x=a_1{t}_1{M}_1+a_2{t}_2{M}_2+...+a_n{t}_n{M}_n$
代入原方程验证:$\{\begin{array}{l}x=a_1{t}_1{M}_1+\sum _{j\ne 1}{a}_j{t}_j{M}_j\equiv a_1\times 1+\sum _{j\ne 1}0\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}m1)\\ x=a_2{t}_2{M}_2+\sum _{j\ne 2}{a}_j{t}_j{M}_j\equiv a_2\times 1+\sum _{j\ne 2}0\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ...\\ x=a_i{t}_i{M}_i+\sum _{j\ne i}{a}_j{t}_j{M}_j\equiv a_i\times 1+\sum _{j\ne i}0\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\\ ....\\ x=a_n{t}_n{M}_n+\sum _{j\ne n}{a}_j{t}_j{M}_j\equiv a_n\times 1+\sum _{j\ne n}0\equiv a_n(\mathrm{m}\mathrm{o}\mathrm{d}{m}_n)\end{array}$
我们假设此方程有2个解分别为:$x_1,x_2且x_1>x_2$
$\therefore \{\begin{array}{l}{x}_1\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\\ x_2\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\end{array}$
$\therefore x_1-x_2\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i),即:m_i|x_1-x_2$
$\because M=\prod _{i=1}^n{m}_i\therefore M|x_1-x_2$
∴ 解 集 为 x ∈ { ∑ i = 1 n a i t i M i + k M \therefore 解集为x\in\{\sum\limits_{i=1}^na_it_iM_i+kM ∴解集为x∈{i=1∑n​ai​ti​Mi​+kM,$k为任意整数\}$