首先,学这个之前,要跪舔孔子
引出例题:
有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?
这个显然非常的神奇
说明一下
x≡2(mod 3);
x≡3(mod 5);
x≡2(mod 7);
我们可以写成:
x=m1(mod x1)
x=m2(mod x2)
x=m3(mod x3)
这样的话我们就要写成一个x=(a1*m1)+(a2*m2)+(a3*m3)这种形式
但是,a1,a2,a3满足甚么关系捏
我想说的是,都要满足a1=lcm(x2,x3) *n 并且 a1 %x1=1
其他也一样,等于其他数的公倍数,并且mod 自己的那个数为1
这样就可以通过放大 倍数让它改变
打个比方:a1=lcm(x2,x3)*n 并且 a1 %x1=1
(a1*m1)%x1=m1咯
之后你会问,这个数加起来会不会影响结果捏?
答案是不会的,以为a2和a3都是a1的倍数,不会影响最后的余数。
想一想啦 a2=lcm(a1,a3)*n
a3=lcm(a1,a2)*n
这就说明了是a1的倍数啦
还有,这个数会不会太大呢?
如果太大,减去三个数的公倍数即可,因为这样不会影响结果
因为x1,x2,x3都是互质的(这是规定的,不是互质不能用)
所以 x1*x2*x3就是他们的最小公倍数
你这样一减,也不会影响余数
因为x1*x2*x3%x1=0
以此类推
至于证明,因为能力有限和时间不足,先不说明,以后有空再后续.
有问题留言感谢.