如何判断a1*X1+a2*X2+……+an*Xn=b是否有整数解?系数都是整数 有正负,只要判断是否有整数解 不必求出是一次不定方程(不是方程组)数字是下标!
问题描述:
如何判断a1*X1+a2*X2+……+an*Xn=b是否有整数解?
系数都是整数 有正负,只要判断是否有整数解 不必求出
是一次不定方程(不是方程组)
数字是下标!
答
一个最理想的情况
当b=0时 0显然是它的根
答
我做过,有整数解,不过忘了
答
这个问题不复杂,只要b整除a1,a2,a3.an最大公约数即可,若是要求Xi(i=1~n)是正整数就太复杂了
首先证明,a1*X1+a2*X2=1有整数解,(a1,a2互素),辗转相除法知道吧,不多讲了.
引理2,a1*X1+a2*X2=b有整数解,当b整除a1,a2最大公约数时.(a1除以两者的最大公约数与a2除以两者的最大公约数互素,明白了吧)
引理3:(……((a1,a2),a3)……an)=(a1,a2,a3……)
证明:设t1,t2使a1t1+a2t2=(a1,a2),t1',t2'使
ti'(a1,a2)+t2'a3=((a1,a2),a3)=(a1,a2,a3)则a1t1't1+a2t2t1'+t2a3=(a1,a2,a3).
understand?
不明白再问?
答
你的x右边的是乘方还是下标啊