Question

求证：如果a，b是互质的正整数，c是整数，且方程ax+by=c ①，有一组整数解x₀，y₀，则此方程的一切整数解可以表示为

x=x0-bt y=y0+at

，其中t=0，±1，±2，±3，…．

Answer 1

分析：把x₀，y₀代入原方程中可得到一个方程，设方程的任一组解可得到第二个方程，联立两个方程求解，再根据a，b是互质的正整数，c是整数，即可得到原方程解的表示形式，即可证明结论．

解答：证明：因为x₀，y₀是方程①的整数解，当然满足ax₀+by₀=c，②
因此a（x₀-bt）+b（y₀+at）=ax₀+by₀=c．
这表明x=x₀-bt，y=y₀+at也是方程①的解．
设x′，y′是方程①的任一整数解，则有
ax′+by′=c．③
③-②得
a（x′-x₀）=b′（y₀-y′）．④
∵a，b是互质的正整数即（a，b）=1，
∴即y′=y₀+at，其中t是整数．将y′=y₀+at代入④，即得x′=x₀-bt．
∴x′，y′可以表示成x=x₀-bt，y=y₀+at的形式，
∴x=x₀-bt，y=y₀+at表示方程①的一切整数解．

点评：本题考查了二元一次方程的解和二元一次方程组的解．当没有条件限制时，二元一次方程的解有无数个．求不定方程的整数解，先将方程做适当变形，确定其中一个未知数的取值范围，然后列举出适合条件的所有整数值，再求出另一个未知数的值．