丢番图方程整数解方法

.. . …求不定方程整数解的常用方法不定方程是指未知数的个数多于方程的个数，且未知数受到某些限制（如要有理数，整数或正整数等)的方程或方程组。

不定方程也称丢番图方程，是数论的重要分支学科，也是数学上最活跃的数学领域之一。

我国对不定方程的研究已延续了数千年，“百钱百鸡问题”等一直流传至今，“物不知其数”的解法被称为中国剩余定理。

一般常用的求不定方程整数解的方法包括：(1)分离整数法此法主要是通过解未知数的系数中绝对值较小的未知数，将其结果中整数部分分离出来，则剩下部分仍为整数，则令其为一个新的整数变量，以此类推，直到能直接观察出特解的不定方程为止，再追根溯源，求出原方程的特解.例1 求不定方程025=-++y x x 的整数解 解 已知方程可化为231232223225++=++++=+++=++=x x x x x x x x y 因为y 是整数，所以23+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=⨯⨯+⨯-⨯则特解为⎩⎨⎧=⨯=-=⨯-=225259650252600y 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++≤++〈 即zz 311≤〈 所以31≤〈z所以.32==z z 或当2=z 时有2111=+y x 所以y y y x y 11111+≤+〈所以yy 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 ，得37412313710725y y y x +-+-=-= 则令12374,37412=-∈=+-m y Z m y 即 由4<37,用m 来表示y ,得49343712m m m y ++=+=令.4,4t m Z t m =∈=得将上述结果一一带回，得原方程的通解为 Z t ty 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 tx ∈⎩⎨⎧+=-=(6)奇偶性分析法从讨论未知数的奇偶性入手，一方面可缩小未知数的取值围，另一方面又可用n2或)(12Z n n ∈+代入方程，使方程变形为便于讨论的等价形式.例6 求方程32822=+y x 的正整数解.解 显然y x ≠,不妨设0〉〉y x因为328是偶数，所以x 、y 的奇偶性相同，从而y x ±是偶数.令112,2v y x u y x =-=+则1u 、.0,111〉〉∈v u Z v 且所以1111,v u y v u x -=+=代入原方程得1642121=+v u同理，令2211211(2,2u v v u u v u =-=+、)0,222〉〉∈v u Z v 且于是，有822222=+v u 再令3223222,2v v u u v u =-=+得412323=+v u此时，3u 、3v 必有一奇一偶，且[]641033=≤〈〈u v取,5,4,3,2,13=v 得相应的16,25,32,37,4023=u 所以，只能是.4,533==v u从而2,18==y x结合方程的对称性知方程有两组解()().18,2,2,18(7)换元法利用不定方程未知数之间的关系（如常见的倍数关系），通过代换消去未知数或倍数，使方程简化，从而达到求解的目的.例7 求方程7111=+y x 的正整数解. 解 显见，.7,7〉〉y x 为此，可设,7,7n y m x +=+=其中m 、n 为正整数. 所以原方程7111=+y x 可化为 717171=+++n m整理得()()()().49,777777=++=+++mn n m n m 即所以49,1;7,7;1,49332211======n m n m n m相应地56,8;14,14;8,56332211======y x y x y x所以方程正整数解为()()().56,8,14,14,8,56(8)构造法构造法是一种有效的解题方法，并且构造法对学生的创造性思维的培养有很重要的意义，成功的构造是学生心智活动的一种探求过程，是综合思维能力的一种体现，也是对整个解题过程的一种洞察力、预感力的一种反映.构造体现的是一种转化策略，在处理不定方程问题时可根据题设的特点，构造出符合要求的特解或者构造一个求解的递推式等.例8 已知三整数a 、b 、c 之和为13且bc a b =，求a 的最大值和最小值，并求出此时相应的b 与c 的值.解 由题意得⎩⎨⎧==++acb c b a 213，消去b 得()ac c a =--213 整理得到关于c 的一元二次方程()().0132622=-+-+a c a c 因为()().3520,01342622≤≤≥---=∆a a a 解得因,0≠a若,916,014425,12===+-=c c c c a 或解得则有符合题意，此时;9311641⎪⎩⎪⎨⎧===⎪⎩⎪⎨⎧=-==c b a c b a 或若17=a 时，则有,01692=+-c c 无实数解，故;17≠a若16=a 时，则有,09102=+-c c 解得,91==c c 或符合题意，此时;912161416⎪⎩⎪⎨⎧=-==⎪⎩⎪⎨⎧=-==c b a c b a 或综上所述，a 的最大值和最小值分别为16和1，相应的b 与c 的值分别为.9316491214⎩⎨⎧==⎩⎨⎧=-=⎩⎨⎧=-=⎩⎨⎧=-=c b c b c b c b 或和或(9)配方法把一个式子写成完全平方或完全平方之和的形式，这种方法叫做配方法.配方法是式子恒等变形的重要手段之一，是解决不少数学问题的一个重要方法.在初中阶段，我们已经学过用配方法解一元二次方程，用配方法推到一元二次方程的求根公式，用配方法把二次函数化为标准形式等等，是数学中很常用的方法.例9 若.,24522的值求x y y x y x y x ++=++ 解 由题意045222=+-+-y y x x 即 ()021122=⎪⎭⎫ ⎝⎛-+-y x 所以21,1==y x 所以23211=+=+x y y x(10)韦达定理 韦达定理是反映一元二次方程根与系数关系的重要定理，广泛应用于初等代数、三角函数及解析几何中，应用此法解题时，先根据已知条件或结论，再通过恒等变形或换元等方法，构造出形如b a +、b a ⋅形式的式子，最后用韦达定理.例10 已知p 、q 都是质数，且使得关于x 的二次方程()051082=+--pq x q p x 至少有一个正整数根，求所有的质数对().,q p解 设方程的两根分别为1x 、(),212x x x ≤由根与系数关系得⎩⎨⎧=⋅-=+pq x x q p x x 51082121 因为p 、q 都是质数，且方程的一根为正整数，可知方程的另一根也是正整数. 所以⎩⎨⎧==p q p q pq pq x q p q p x ,,5,5,,55,5,,,5,121 所以.5,5,5,1521q p p q pq pq x x ++++=+①当1521+=+pq x x 时，即,10815q p pq -=+因为p 、q 均是质数，所以,1081015q p p pq -〉〉+故此时无解.②当5521+=+pq x x 时，即,1085q p pq -=+所以()(),85810-=-⋅+q p 因为p 、q 都是质数，且,810-〉+q p 所以,1,5885,1710⎩⎨⎧--=-=+q p解得符合条件的质数对为()().3,7,=q p③当p q x x +=+521时，即,1085q p p q -=+所以,157q p =满足条件的质数对. ④当q p x x +=+521时，即,1085q p q p -=+所以,113q p =于是()()()().3,11,3,7,==q p q p 或综上所述，满足条件的质数对为()()()().3,11,3,7,==q p q p 或(11)整除性分析法用整除性解决问题，要求学生对数的整除性有比较到位的把握.例11 在直角坐标系中，坐标都是整数的点称为整点，设k 为整数，当直线k kx y x y +=-=或3的交点为整数时，k 的值可以取()A.2个B.4个C.6个D.8个解 当1=k 时，直线13+=-=x y x y 与平行，所以两直线没有交点; 当0=k 时，直线()轴即与x y x y 03=-=交点为整数;当1≠k 、0≠k 时，直线k kx y x y +=-=与3的交点为方程组⎩⎨⎧+=-=kkx y x y 3的解，解得⎪⎩⎪⎨⎧--=---=1413k k y k k x 因为x 、y 均为整数, 所以1-k 只能取4,2,1±±± 解得.3,5,1,3,0,2-=k 综上，答案为C.(12)利用求根公式在解不定方程时，若因数分解法、约数分析均不能奏效，我们不妨将其中一个未知数看成参数，然后利用一元二次方程的求根公式去讨论.例12 已知k 为整数，若关于x 的二次方程()01322=+++x k kx 有有理根，求k 值. 解 因为0≠k ，所以()01322=+++x k kx 的根为()()(),25223229843222kk k k k k k x ++±+-=++±+-=由原方程的根是有理根，所以()5222++k 必是完全平方式. 可设(),52222m k =++则(),52222=+-k m 即()(),512222⨯=--++k m k m 因为m 、k 均是整数,所以⎩⎨⎧=--=++522122k m k m ,⎩⎨⎧=--=++122522k m k m ⎩⎨⎧-=---=++112522k m k m ,⎩⎨⎧-=---=++522122k m k m 解得,02或-=k 因为,0≠k 所以k 的值是-2.(13)判别式法一元二次方程根的判别式是中学阶段重要的基础知识，也是一种广泛应用的数学解题方法.该法根据一元二次方程的判别式ac b 42-=∆的值来判定方程是否有实数根，再结合根与系数的关系判定根的正负.熟练掌握该法，不仅可以巩固基础知识，还可以提高解题能力和基础知识的综合运用能力.例13 求方程431112=++xy y x 的整数解.解 已知方程可化为()044342=-+-xy y x 因为x 、y 均为整数，所以,06448162≥+-=∆x x 且为完全平方数. 于是，令(),464481622n x x =+-其中n 为正整数 所以()04322=-+-n x x 因为x 、n 均为整数 所以(),04492≥--=∆n 且为完全平方数， 即有，742-n 为完全平方数. 于是，再令,7422m n =-其中m 为正整数 所以()()722=-+m n m n 因为m n m n -+22与奇偶性相同，且m n m n -〉+22 所以12,72=-=+m n m n 由上.2=n相应的,032=-x x 解得()303===x x x ，所以舍去或 把3=x 代入已知方程中得(),522舍去或==y y 所以2=y 所以()()2,3,=y x(14)因式分解法因式分解也是中学阶段重要的基础知识之一.它应用广泛,在多项式简化、计算、方程求根等问题中都有涉及.因式分解比较复杂，再解题时，根据所给题目的特点，灵活运用，将方程分解成若干个方程组来求解.这种方法的目的是增加方程的个数，这样就有可能消去某些未知数，或确定未知数的质因数，进而求出其解.利用因式分解法求不定方程()0≠=+abc cxy by ax 整数解的基本思路:将()0≠=+abc cxy by ax 转化为()()ab b cy a x =--后,若ab 可分解为,11Z b a b a ab i i ∈=== 则解的一般形式为,⎪⎩⎪⎨⎧+=+=c b b y c a a x ii 再取舍得其整数解. 例14 方程a b a ,4132=-、b 都是正整数，求该方程的正整数解.解 已知方程可化为ab a b =-128 所以()()9696812-=+-+b a ab 即()()96128-=+-b a 因为a 、b 都是正整数 所以1212,0〉+〉b b 这样964832241612或或或或=+b 所以4b或12或20或36或84=相应地=a或4或5或6或72所以方程的正整数解为:()()()()().12,5,4,220,4,,784,,36,6丢番图（Diophantus）：古代希腊人，代数学的鼻祖，早在公元3世纪就开始研究不定方程，因此常称整系数的不定方程为丢番图方程。