同余式的欧几里得算法.pdfVIP

同余式的欧几里德算法 东华理工大学理学院 信息与计算科学 ——邓能财 2013/12/23 理论依据 定理1 a,b Z  ，Q a P b (1)k 1r 对k {1,2,...,n}成立，其中 、 、r k k k Q P k k k 满足下述递推关系： a q b r ，b q r r ，r q r r ，…，r q r r ，…，r q r 0 ； 1 1 2 1 2 1 3 2 3 k 1 k 1 k k 1 n1 n1 n P 1，P q ，P q P P ，…，P q P P ，…，P q P P ； 0 1 1 2 2 1 0 k k k 1 k 2 n n n1 n2 Q 0 ，Q 1，Q q Q Q ，…，Q q Q Q ，…，Q q Q Q ； 0 1 2 2 1 0 k k k 1 k 2 n n n1 n2 k {2,3,...,n}。（课本《初等数论》第三版 ） P 10 n1 n 显然其中r (a,b) 且(1) Q a (1) P b r ，故得s,t Z 满 n n n n sa tb (a,b) 。故由定理可得到求解二元一次不定方程ax by c 的欧几里德算法 （详见课本《初等数论》第三版 ）。下面导出求解一次同余式的欧几里德算法。 P 27 设同余式为ax b(%m) ，它等价于方程二元一次不定方程ax my b 。由上面 所述算法可以得到s,t Z 满sa tm (a,m) ，而它等价于sa  (a,m)(%m) 。当 b (a, m) | b 时，同余式有解，一个特解为x  s (%m) ，通解为 (a, m) b m x  s  k (%m) ，k {0,1,...,(a ,m )1}。