设(a, b) d , a a1d , b b1d , 如果( x0 , y0 )是方程ax by c的一组解, 则它 x x0 b1t 所有整数解都可写成 , 其中t为任意整数. y y0 a1t
定理3
证明 : (1)显然, x x0 b1t , y y0 a1t是不定方程的解. (2)设x x, y y是不定方程的任一组整数解, 则 ax by c, 又ax0 by0 c, ax by ax0 by0 , 即a( x - x0 ) -b( y - y0 ), a1d ( x - x0 ) -b1d ( y - y0 ). a1 ( x - x0 ) -b1 ( y - y0 ). (a, b) d , a a1d , b b1d , (a1 , b1 ) 1, a1 | y - y0 . 设y - y0 a1t , 即, y y0 a1t. 从而x x0 b1t. 故x, y可表示为定理中的形式. 综合(1), (2)定理得证.
注意
下面先研究方程7 x 4 y 100的整数解.
7 x 4 y 100, 4 y 100 7 x, 100 7 x x y 25 2 x , 4 4 x 令 t , 则x 4t , 从而y 25 7t. 4 x 4t , (t是任意整数) y 25 7t
另解:逐步回代
1=33-4×8=33-(37-33)
×8
=33×9-37×8
=(107-37×2பைடு நூலகம் ×9-37×8
=107×9-37×26
即37×(-26)+107×9=1,以下过程略.
另解 : 即解方程37 x -107 y 25. 先将绝对值较小的系数对应的变数x解出, 得 33 y 25 x 2y , 37 33 y 25 因x, y是整数, 故 也为整数, 37 33 y 25 设 x1 , x1是整数, 37 即33 y 25 37 x1. (1) 再将(1)中绝对值较小的系数对应的变数y解出, 4 x1 25 得y x1 . 33