不定方程详解
二元一次不定方程 定义: a , b , c a,b,c a , b , c 是整数, a b ≠ 0 ab≠0 a b = 0 ,那么形如 a x + b y = c ax+by=c a x + b y = c 的方程称为二元一次不定方程。 定理:设 a , b a,b a , b 是整数,且 d = ( a , b ) d=(a,b) d = ( a , b ) ,如果 d ∣ c d|c d ∣ c ,那么方程存在无数多个整数解,否则方程不存在整数解。 ( ( a , b ) = g c d ( a , b ) ) ((a,b)=gcd(a,b)) ( ( a , b ) = g c d ( a , b ) ) 二元一次不定方程和 同余方程 之间可以相互转换的,例如在 a > 0 , b > 0 a>0,b>0 a > 0 , b > 0 的条件下,求解二元一次不定方程 a x + b y = c ax+by=c a x + b y = c 与求解同余方程 a x ≡ c ( m o d b ) ax≡c(mod\ b) a x ≡ c ( m o d b ) 是相同的。 求解同余方程使用 扩展欧几里得算法 ,二元一次不定方程同样可以使用扩展欧几里得算法。 由扩展欧几里得可知:设 a a a 和 b b b 不全为0,则存在整数 x , y x,y x , y ,使得