中国剩余定理描述的是一种求解一元线性方程同余组的方法,形如下图:
使用这一方法有一个前提是:对于任意两个模数m[i]和m[j](注:此处[]中的内容表示下标),应有gcd(m[i], m[j]) = 1,即二者互素。
中国剩余定理的核心是“构造”,它给出了一种构造此类方程组解的方法。
令M表示全体模数m[i]的乘积,用M[i]表示全体模数的乘积M除以m[i]的值(即除了第i个模数m[i]之外所有模数的乘积)。接着令t[i]表示M[i]对m[i]取模的逆元,此时有t[i] * M[i]模除m[i]后余数为1.
接着,使用a[i]乘上t[i] * M[i],得到的结果(即a[i] * t[i] * M[i])具有这样的性质:如果将它对m[i]取余,则因为t[i] * M[i]对m[i]取余是1,因此a[i] * t[i] * M[i]对m[i]取余得到a[i];如果将它对排除m[i]之外任意一个模数(后面用m[j]表示)取模,因为M[i]表示排除m[i]之后所有模数的乘积,可知m[j]是M[i]的因数,那么m[j]就可以整除a[i]*t[i]*M[i],余数为0.
根据这样的性质,将所有的a[i] * t[i] * M[i]加和就得到这个方程组的一个解,实际上它加减任意个M都是这个方程组的解。
解的通式符号表示如下: