首先, 我们要知道中国剩余定理是用来解决 解一组模数互质的模线性方程 的东西。
比如 x1 = a1( mod b1);
x2 = a2( mod b2);
x3 = a3( mod b3);
x4 = a4( mod b4);
......
这里的 b1,b2,b3,b4.....bn 互质.
我们设要求的答案为S; 设a = a1*a2*a3*....*an; 设m = b1*b2*b3*....*bn, 同时设mi = m / bi ;
另外 假设 ci = mi( mi^-1 mod bi ) 这里的mi ^ -1 是mi 对应在模为bi下的逆元。
下面我要先说一个结论
S = (a1*c1 + a2*c2 + a3 *c3 + ..... an *cn) mod n;
下面我们证明它:
首先 ci mod bi = mi(mi^-1 mod bi) mod bi = 1 // 这里看仔细. mi * mi^-1 mod bi = 1 对吧?
那么 又因为 ci mod bj = mi(mi^-1 mod bi) mod bj = 0 // 这里是因为mi肯定可以整除bj 仔细想想
又因为这个公式 x % bi <=> ( x % m) % bi ;
所以是不是 S 满足上面的方程组呢? //想想?
OK 。。。 很简单的证明。