丢番图方程整数解方法

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

求不定方程整数解的常用方法

不定方程是指未知数的个数多于方程的个数,且未知数受到某些限制(如要求是有理数,整数或正整数等)的方程或方程组。不定方程也称丢番图方程,是数论的重要分支学科,也是数学上最活跃的数学领域之一。我国对不定方程的研究已延续了数千年,“百钱百鸡问题”等一直流传至今,“物不知其数”的解法被称为中国剩余定理。一般常用的求不定方程整数解的方法包括:

(1)分离整数法

此法主要是通过解未知数的系数中绝对值较小的未知数,将其结果中整数部分分离出来,则剩下部分仍为整数,则令其为一个新的整数变量,以此类推,直到能直接观察出特解的不定方程为止,再追根溯源,求出原方程的特解.

例1 求不定方程02

5=-++y x x 的整数解 解 已知方程可化为 2

31232223225++=++++=+++=++=x x x x x x x x y 因为y 是整数,所以2

3+x 也是整数. 由此

x+2=1,-1,3,-3,即

x=-1,-3,1,-5,

相应的.0,2,0,4=y

所以方程的整数解为(-1,4),(-3,0),(1,2),(-5,0).

(2)辗转相除法

此法主要借助辗转相除式逆推求特解,具体步骤如下:

第一步,化简方程,尽量化简为简洁形式(便于利用同余、奇偶分析的形式); 第二步,缩小未知数的范围,就是利用限定条件将未知数限定在某一范围内,便于下一步讨论;

第三步,用辗转相除法解不定方程.

例2 求不定方程2510737=+y x 的整数解.

解 因为251)107,37(=,所以原方程有整数解.

用辗转相除法求特解:

18433,413337,33237107+⨯=+⨯=+⨯=

从最后一个式子向上逆推得到

19107)26(37=⨯+-⨯

所以

25)259(107)2526(37=⨯⨯+⨯-⨯

则特解为

⎩⎨⎧=⨯=-=⨯-=225

259650252600y x

通解为

Z t t t y t t x ∈⎩

⎨⎧++=+=+--=--=,)6(37337225)6(1078107650 或改写为

.,3731078Z t t

y t x ∈⎩⎨⎧+=--=

(3)不等式估值法

先通过对所考查的量的放缩得到未知数取值条件的不等式,再解这些不等式得到未知数的取值范围.

例3 求方程1111=++z

y x 适合z y x ≥≥的正整数解. 解 因为

z y x ≥≥

所以

z

y x 111≤≤ 所以 z z z z y x z 1111111++≤++〈 即 z

z 311≤〈 所以

31≤〈z

所以.32==z z 或

当2=z 时有 2

111=+y x

所以

y

y y x y 11111+≤+〈 所以

y y 2211≤〈 所以42≤〈y

所以;46,43或相应地或===x y y

当3=z 时有

3211=+y x 所以

y y y x y 11111+≤+〈 所以 y y 2321≤〈 所以.3;3,3==≤x y y 相应地

所以).3,3,3(),2,4,4(),2,3,6(),,(=z y x

(4)逐渐减小系数法

此法主要是利用变量替换,使不定方程未知数的系数逐渐减小,直到出现一个未知量的系数为1±的不定方程为止,直接解出这样的不定方程(或可以直接能用观察法得到特解的不定方程为止,再依次反推上去)得到原方程的通解.

例4 求不定方程2510737=+y x 的整数解.

解 因为251)107,37(=,所以原方程有整数解.

有10737〈,用y 来表示x ,得 37

412313710725y y y x +-+-=-=

则令 12374,37

412=-∈=+-m y Z m y 即

由4<37,用m 来表示y ,得 49343712m m m y ++=+=

令.4,4

t m Z t m =∈=得将上述结果一一带回,得原方程的通解为 Z t t

y t x ∈⎩⎨⎧=+--=,3731078

注①解一元二次不定方程通常先判定方程有无解.若有解,可先求c by ax =+的一个特解,从而写出通解.当不定方程系数不大时,有时可以通过观察法求得其解,即引入变量,逐渐减小系数,直到容易求得其特解为止.

②对于二元一次不定方程c by ax =+来说有整数解的充要条件是c b a ),(.

⎨⎧⎩⎨⎧∈-=+=∈+=-=)(,)(,0000Z t at y y bt x x Z t at y y bt x x 或

(5)分离常数项的方法

对于未知数的系数和常数项之间有某些特殊关系的不定方程,如常数项可以拆成两未知数的系数的倍数的和或差的不定方程,可采用分解常数项的方法去求解方程.

例5 求不定方程14353=+y x 的整数解.

解 原方程等价于

0)28(5)1(331405314353=-+-⇔+=+⇔=+y x y x y x

因为

()15,3=

所以

⎩⎨⎧∈=-=-Z t t

y t x ,32851

所以原方程的通解为.,32851Z t t y t x ∈⎩

⎨⎧+=-=

(6)奇偶性分析法

从讨论未知数的奇偶性入手,一方面可缩小未知数的取值范围,另一方面又可用n 2或)(12Z n n ∈+代入方程,使方程变形为便于讨论的等价形式.

例6 求方程32822=+y x 的正整数解.

相关文档
最新文档