问题引入
在《孙子算经》中有这样一个问题:“今有物不知其数,三三数之剩二(除以3余2),五五数之剩三(除以5余3),七七数之剩二(除以7余2),问物几何?”这个问题称为“孙子问题”,该问题的一般解法国际上称为“中国剩余定理”。
我们把上述问题抽象出来,就是求解同余方程组:
{ x ≡ b 1 ( mod a 1 ) x ≡ b 2 ( mod a 2 ) x ≡ b 3 ( mod a 3 ) ⋯ x ≡ b n ( mod a n ) \begin{cases} x\equiv b_1(\operatorname{mod}a_1) \\x\equiv b_2(\operatorname{mod}a_2) \\x\equiv b_3(\operatorname{mod}a_3) \\ \cdots \\x\equiv b_n(\operatorname{mod}a_n) \end{cases} ⎩⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎧x≡b1(moda1)x≡b2(moda2)x≡b3(moda3)⋯x≡bn(modan)
其中 a 1 , a 2 , ⋯ , a n a_1,a_2,\cdots,a_n a1,a2,⋯,an互质。
解法
设 M = ∏ i = 1 n a i , M a i ∣ n i M=\prod_{i=1}^na_i,\frac{M}{a_i}|n_i M=∏i=1nai,ai