丢番图方程整数解方法
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 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 的正整数解.