同余问题怎么求解最小正整数解

一：若gcd(a, b) = 1，则方程ax ≡ c (mod b)在[0, b-1]上有唯一解。

证明：

    存在性：存在整数k和l使a*k + b*l = gcd(a, b) = 1，即我们可以求出ax ≡ 1 (mod b)的解x0。当然，两边乘以c有a(cx0) ≡ c (mod b)，所以有x = cx0就是ax ≡ c (mod b)的解。由于加上或减去若干倍b都是该方程的解，所以x在[0, b-1]上有解。

    唯一性：假设x1和x2都是[0, b-1]上的解，那么就有ax1 ≡ c (mod b)，ax2 ≡ c (mod b)，两式相减就有a(x1-x2) ≡ 0 (mod b)，即a(x1-x2)可以被b整除。但gcd(a, b) = 1！所以(x1-x2)被b整除。又因x1和x2都在[0, b-1]上，所以x1-x2也在[0, b-1]上，所以只能说x1-x2=0了，因此x1=x2。

 

二：若gcd(a, b) = d，则方程ax ≡ c (mod b)在[0, b/d - 1]上有唯一解。

 

证明：

     该方程等价于ax + by = c，如果有解，两边同除以d，就有a/d * x + b/d * y = c/d，即a/d * x ≡ c/d (mod b/d)，显然gcd(a/d, b/d) = 1，所以由一知道x在[0, b/d - 1]上有唯一解。所以ax + by = c的x在[0, b/d - 1]上有唯一解，即ax ≡ c (mod b)在[0, b/d - 1]上有唯一解，得证！

     如果得到ax ≡ c (mod b)的某一特解X，那么我令r = b/gcd(a, b)，可知x在[0, r-1]上有唯一解，所以x = (X % r + r) % r就可以求出最小非负整数解x了！X % r可能是负值，此时保持在[-(r-1), 0]内，正值则保持在[0, r-1]内。加上r就保持在[1, 2r - 1]内，所以再模一下r就在[0, r-1]内了。