中国剩余定理是一种能求解一次同余方程组的姿势~
首先我们来看看什么是一次同余方程组:
X % a[1] = b[1]
X % a[2] = b[2]
….
X % a[n] = b[n]
这里的 % 是取余数的意思,使用这个姿势的前提是a[1]、a[2]、a[3]、… 、a[n]两两互质。
令 X = X[1] + X[2] + … + X[n],此时只要找到一组 X[i] 满足 X[i] % a[i] = b[i] 且 X[i] % a[1…n(除了i)]= 0 成立即可。
要使 X[i] % a[1…n(除了i)]= 0 成立,只需要让 X[i] 等于他们乘积的倍数即可。令M为他们乘积,于是有 X[i] = k * M(其中k为任意整数)。
将 X[i] = k * M 代入 X[i] % a[i] = b[i] 得到 (k * M) % a[i] = b[i]
即 k * M + o * a[i] = b[i] (其中o为任意整数)
两边同时除以 b[i] 可得到 k’ * M + o’ * a[i] = 1
即 k’ * M % a[i] = 1
此时 k’ 为 M 对 a[i](质数)的 乘法逆元 (关于乘法逆元可以参考我的这篇文章:http://blog.csdn.net/kasumimasami/article/details/52354715)
所以对式子