中国剩余定理的算法.doc

中国剩余定理的算法 于宗江 1. 两个数的情况, 即. 解：题设隐含要求: , . 如果, 那么. 显然, 最小的必定满足. 如果, 那么同样满足上述要求, 这与为最小矛盾. 同时如果, 那么必定为最小. 反设存在满足上述条件, 则将同时被整除, 即是的公倍数, 又因为互素, 那么. 这与矛盾. , 记为. 则, 整除. 按照如下方式对进行运算(运算过程中要始终确保未知系数, 否则最小值就无从谈起). ⑴ 则 ⑵ 记, . 因为互素, 故. 则, . 现要证明的最小值与的最小值等价. 即. 由可得, , 因为为整数, 所以. 于是, , 又因为, 我们得到. 反之, 由可得, 如果, 那么, 因此; 如果, 那么, 又因为为整数, 所以, 于是, . 得证. ⑶ 注①由的定义可知, . 注②的情形只会出现在计算过程中, 而不会出现在整个运算的开始. 对于的情形, 只需把改写为这样的形式, 即变换为⑵的情形. 注③之所以, 是为了确保与同号, 这样的最小值与的最小值才能等价. 记, . 则, . 现要证明的最小值与的最小值等价. 即. , 即. 则, , 即. 于是, . 反之, , 则, , 于是. 因此, , 又因为, . 所以, . 再令, , , 即与辗转相除法类似, 用上一步的除数作为新的被除数, 上一步中被除数的余数作为除数, 上一步中余数的余数的相反数作为新的余数, 如此反复, 直到出现新产生的除数为1, 停止. 根据辗转相除法, 这是必定会出现的, 因为, 互素. 然后进入”补充证明”一段, 即可得到答案. 得证. 例： 则易得, , , , . 验证: . 结果正确. . 满足题目条件的形式为. 证明: 将同时被整除. 2. 对于三个及三个数以上的情形, 即个数的情形. . 先对进行1中的运算, 然后将作为新的, 作为新的, 则成功的将个数的情形转化为了个数的情形. 例: . 则, , , , . 于是, 例题等价于. 则, , , , . 补充证明 设. , 即 结论是显然的. ,即 根据运算过程, 显然, 因为是前一步运算后的余数. 因此, 结论显然成立. , 即 结论显然成立. , 即 根据运算过程, 显然, 因为是前一步运算后的余数. 因此, 结论显然成立. 3. 两个数不互素的情况, 题设与1相同, 区别在于, 不互素. 算法与1相同, 区别在于最后的验证求值, 即1中的”补充证明”. 在1中的情况下, 的值必定存在, 故最小值也必定存在. 而在3中的情况下, 的值未必存在, 最小值也就无从谈起. 因为1中的算法实际就是辗转相除法, 而根据辗转相除法, 当两个数不互素时, 最终会形得到如下结果(只讨论记号, 的情况类似), , 其中为与的最大公约数, , 当且仅当或者时, 方程有解, 分别为0和1, 再按照1中的方法逆向代回, 即可求得最小值. 而的通解则为, 其中为, 的最大公约数. 三个及以上个数不互素的情形, 只需将2中新的更改为即可, 其中为, 的最大公约数.