下载文档原格式
不定方程常用六大解法不定方程，听起来是不是有点高深？其实嘛，这就像找一把钥匙，钥匙能打开无数扇门。
今天咱们就聊聊不定方程的常用六大解法，轻松又幽默地走一遭，保证你听了后，能够眉开眼笑。
我们得说说“枚举法”。
这法子就像是逛超市，看见什么就试什么。
对于简单的不定方程，咱可以一个个地把可能的解都试一遍，最后总能找到那个合适的，简直就是开盲盒的乐趣！比如，假如有个方程让你找两个数，能不能说得通呢？你就一个个试着往里代，嘿，看看有没有合适的答案，简直像是在和数学玩捉迷藏。
接下来是“辗转相除法”。
这法子就像是把问题拆开，从大到小，一步步走。
这就像是做减法，遇到难题，咱就把它分解成更小的部分，慢慢来。
比如说你有个复杂的方程，先算出个简单的结果，然后再逐步递推，真是稳扎稳打，像是爬山一样，一步一个脚印，最后能看到山顶的美景。
然后，我们不能忘记“数形结合法”。
这玩意儿就像把方程画成图，形象化的东西总是让人觉得好理解。
想象一下，把数轴上点一点，给每个可能的解都标上一个小旗子，嘿！一眼就能看出哪些地方有解，哪些地方是死胡同，简直就像开了一场小小的数学派对，大家欢聚一堂，热热闹闹。
再往下说“求解特解法”。
这个方法有点像找特定的那种解，比如你想找一个特定的答案，可以试着先求出特解，然后再加上一些通解，哇，简直就是在做数学的“DIY”。
把各种材料拼凑在一起，最终呈现出一个完整的方程，就像做蛋糕，先有底再加上奶油，最后切开一看，哇，真香！接着咱们说说“同余法”。
这玩意儿有点像打麻将，讲究的是配合和策略。
你得找到一些数字之间的关系，像是把牌搭配起来，才能找到那种刚刚好的解。
用同余法解决不定方程，就像是在解谜，你得灵活应对，变换策略，嘿，最后能把谜底揭开，真是让人倍感成就感。
最后得提一下“二次方程法”，听上去很专业对吧？但其实不然。
这个方法就像是利用已知的解来推导未知的解。
比如说，你已经知道了一个方程的解，接着就可以运用二次方程的方法，推导出更多的解，简直就像是在编故事，从一个角色引出另外的角色，最后形成一个完整的故事链。
同余与不定方程的求解
这是一篇关于模运算和不定方程的求解的文章，模运算用来求解一些极其费时的算术表达式问题，不定方程用来解决等式的形式，如果未知数出现在整数集合中，这种方法就可以有效的解决问题。
模运算的基本概念是，对于a和m，使用模a mod m表示一种已知的模运算，其中
a是可以分解为整数加m的模m值，即°表示，a=k*m+r，其中r是余数，而k是
整除结果。
那么a mod m = r，模运算就是这种形式的运算，即把一个不定的数
分解为一个模值和一个余数，余数的值在0和m之间。
不定方程可以有效的解决一些未知数的问题。
它的基本形式可以写成ax+b=y，其
中x是未知数，y是一个给定的整数，而a和b是一些已知的常量，一般来说，求
解一个不定方程，只要知道a和b的值就可以求出未知数x。
如果a和b均为整数，那么不定方程可以使用模运算解决，这种解法叫做模等式。
模等式的具体求解方法是把不定方程转化为ax=y-b+m(mod m)，这里m是一个足够
大的整数，然后计算出x的值，这时x的值一定是可以分解为整数加m的，也就是说，x = r(mod m)，用模解法解出余数r之后，就可以直接求解不定方程的x的值，x=y-b+r(mod m)。
模运算和不定方程的求解是一种有效的算术技术，能够有效的解决一些极其复杂的运算问题。
这种技术只要能够准确的表达出到底要求出来的是什么结果，并且给
出算术表达式的详细描述，就可以通过这种技术迅速的求解出答案。
因此，模运算和不定方程的求解在计算器科学中有着十分重要的地位。
简单不定方程的四种基本解法
简单不定方程的四种基本解法
简介
不定方程是指含有未知数的整数方程，其解为整数或分数。
不定方程
是数论中的一个重要分支，具有广泛的应用价值。
在实际问题中，往
往需要求解不定方程来得到问题的解答。
本文将介绍四种基本的解决
不定方程的方法。
一、贪心算法
贪心算法是一种常见且有效的算法，它通常用于求解最优化问题。
在
求解不定方程时，贪心算法可以通过枚举未知数的值来逐步逼近最优解。
二、辗转相除法
辗转相除法也称为欧几里得算法，它是一种求最大公约数的有效方法。
在求解不定方程时，我们可以使用辗转相除法来判断是否存在整数解。
三、裴蜀定理
裴蜀定理是指对于任意给定的整数a和b，它们的最大公约数d可以
表示成ax+by的形式，其中x和y为整数。
在求解不定方程时，我们可以使用裴蜀定理来判断是否存在整数解，并且可以通过扩展欧几里
得算法来求得x和y。
四、同余模运算
同余模运算是指在模n的情况下，两个整数a和b满足a≡b(mod n)。
在求解不定方程时，我们可以使用同余模运算来判断是否存在整数解，并且可以通过中国剩余定理来求得解的具体值。
结论
以上四种方法是求解不定方程的基本方法，在实际问题中，我们可以
根据具体情况选择合适的方法来求解问题。
同时，需要注意的是，在
使用这些方法时需要注意算法复杂度和精度问题，以保证算法的正确
性和效率。
整除同余与不定方程摘要：一、整除与同余的概念1.整除的定义2.同余的定义二、不定方程的介绍1.不定方程的概念2.不定方程的例子三、整除与同余在不定方程中的应用1.整除在不定方程中的性质2.同余在不定方程中的性质四、不定方程的求解方法1.整除法求解2.同余法求解五、总结1.整除同余与不定方程的关系2.不定方程的求解技巧正文：整除同余与不定方程是数论中的重要概念，它们之间有着密切的联系。
整除是指一个整数可以被另一个整数整除，即余数为零。
同余是指两个整数除以某个整数后的余数相同。
而不定方程是指含有未知数的等式，其解不一定是整数。
本文将探讨整除与同余在不定方程中的性质及应用，并介绍求解不定方程的方法。
首先，我们来回顾一下整除与同余的概念。
整除是指一个整数可以被另一个整数整除，即余数为零。
例如，8 整除12，因为12 除以8 的余数为0。
同余是指两个整数除以某个整数后的余数相同。
例如，11 和19 同余，因为它们除以3 的余数都是2。
不定方程是含有未知数的等式，其解不一定是整数。
例如，x^2 + 3x + 2 = 0 是一个不定方程，其解为x = -1 和x = -2，都是整数。
然而，x^2 + 3x + 3 = 0 是一个不定方程，它没有实数解。
整除与同余在不定方程中的应用非常广泛。
整除在不定方程中的性质可以帮助我们简化问题，例如，如果一个不定方程有整数解，那么它的解一定可以表示为整数的乘积。
同余在不定方程中的性质可以帮助我们找到解的规律，例如，如果两个数同余，那么它们与任意整数的和仍然保持同余关系。
求解不定方程的方法有很多，其中整除法和同余法是常用的方法。
整除法求解不定方程的步骤如下：首先，将方程进行因式分解，然后将未知数表示为整数的乘积，最后根据整数的性质求解方程。
同余法求解不定方程的步骤如下：首先，将方程进行同余变形，然后利用同余性质求解方程。
总之，整除同余与不定方程是数论中的重要概念，它们之间有着密切的联系。
2019国家公务员考试行测答题技巧：同余特性解不定方程在行测数学运算部分核心考察数与数的运算关系。
因此，“数字”及其相关的性质就是算术的基础。
该部分内容从表面上看似乎属于只需要牢固记忆的概念性基础知识。
但实际上，如果我们能应用得灵活恰当就会变成实用性非常强的解题技巧。
一、知识点简述我们在解题时，会经常遇到如何求解不定方程，对于不定方程的求解，常用的方法有整除法、特值法、同余特性、代入排除以及奇偶性。
今天重点说一下如何应用同余特性来求解不定方程，帮助我们迅速地排除错误答案，锁定正确答案。
首先我们先来回顾下常用到的两条同余特性的性质1.余数的和决定了和的余数如：求(22+17)÷5.....?直接计算22÷5....2 17÷5....2，则(22+17)÷5的余数为2+2=42.余数的积决定了积的余数如：求(22×17)÷5.....?直接计算22÷5....2 17÷5....2，则(22+17)÷5的余数为2×2=4二、方法应用：消元下面我们通过几道例题来说明如何利用同余特性来求解不定方程：【例1】两个未知数：X+9Y=67，X和Y为正整数，求X?A.10B.11C.12 D13【答案】D【解析】两个未知数一个方程求解未知数时候，我们看问题求谁，本题求X，那我们就消除另外一个未知数Y，利用同余特性，我们把整个方程除以9，那么可以知道9Y的余数为0，67的余数为4，根据同余特性，我们可以知道余数的和决定了和的余数，最终和余数为4，所以可以知道X÷9的余数应该为4，结合四个选项，我们很容易可以看的出来只有D选项满足X这个条件，故正确答案为D。
【例2】三个未知数：15X+7Y+9Z=60，X Y Z为正整数，求Y?A.1B.2C.3D.4【答案】C【解析】当我们遇到三个未知数一个方程时候，求解其中一个未知数，我们就消去另外两个未知数，这时候我们可以除以另外两个未知数的系数的最大公约数。
同余法解不定方程1.求证:方程035222=++-z xy x 无整数解.证明:由035222=++-z xy x 得35)(422--=-z y y x .由于002≡ )5(mod ； 004≡ )5(mod ；112≡ )5(mod ； 114≡ )5(mod ；422≡ )5(mod ； 124≡ )5(mod ；432≡ )5(mod ； 134≡ )5(mod ；142≡ )5(mod ； 144≡ )5(mod .因此,对任意的整数y 都有2354≡--z y 或3 )5(mod .但,对任意的整数y x ,,都有0)(22≡-y x 或1或4 )5(mod .故,原方程无整数解.2.求证:方程199********=+++x x x 无整数解.证明:由于对任意整数k ,都有11)1(8)1(16)12(224≡++++=+k k k k k )16(mod , 对任意整数k ,都有016)2(44≡=k k )16(mod .因此,对任意整数x ,都有04≡x 或1 )16(mod .所以,对任意整数1421,,,x x x ,都有14,,2,1,04144241 ≡+++x x x )16(mod .但,151999≡ )16(mod .故,原方程无整数解.3.求证:方程2012333=++z y x 无整数解.证明:由于0)3(9)3(33≡⋅=k k )9(mod ；11)33(9)13(233≡+++⋅=+k k k k )9(mod ；18)463(9)23(233-≡+++⋅=+k k k k )9(mod .因此,对任意整数x ,都有1,1,03-≡x )9(mod .所以,对任意整数z y x ,,,都有3,2,1,3,2,1,0333---≡++z y x )9(mod ,也即是对任意整数z y x ,,,都有8,7,6,3,2,1,0333≡++z y x )9(mod .但,52012≡ )9(mod .故,原方程无整数解.4.求方程z y x 543=+的所有正整数解.解:由11043≡+≡+y x )3(mod 得1)1(5≡-≡z z )3(mod ,故z 为偶数,可设m z 2=,*N m ∈. 由15≡z )4(mod 得10)1(43≡+-≡+x y x )4(mod ,故x 为偶数,可设n x 2=,*N n ∈. 故可得)35)(35(4n m n m y +-=.又由于2)32,35()35,35(=⨯+=+-nn m n m n m ,因此有⎪⎩⎪⎨⎧=+=--12235235y n m n m . 从而有)12)(12(1231122+-=-=---y y y n .又由于1)2,12()12,12(111=+=+----y y y ,因此有⎪⎩⎪⎨⎧=+=---n y y 31211211.解得1,2==n y . 所以,方程有唯一的正整数解2=x ,2=y ,2=z .5.求方程z y x 17158=+的所有正整数解.解一:由117≡z )4(mod 得1)1(0158≡-+≡+y y x )4(mod ,故y 为偶数,可设k y 2=,*N k ∈.由于331≡ )7(mod ；232≡ )7(mod ；633≡ )7(mod ；434≡ )7(mod ；535≡ )7(mod ；136≡ )7(mod ,以及2158≡+y x )7(mod ,因此有2317≡≡z z )7(mod .故26+=n z ,N n ∈.故可得)1517)(1517(81313k n k n x +-=++.又由于2)172,1517()1517,1517(13131313=⨯+=+-++++n k n k n k n ,因此有⎪⎩⎪⎨⎧=+=--++1313132151721517x k n k n . 从而有121523-=-x k .又由于015≡k )3(mod ,因此可得1223≡-x )3(mod ,故23-x 为偶数,于是可设m x 223=-,*N m ∈.因此,有)12)(12(121215223+-=-=-=-m m m x k .又由于1)2,12()12,12(=+=+-mm m ,因此有⎪⎩⎪⎨⎧=+=-k m m 1512112或⎪⎩⎪⎨⎧=+=-k m k m 512312. 而⎪⎩⎪⎨⎧=+=-k m m 1512112无整数解,且由⎪⎩⎪⎨⎧=+=-k m k m 512312解得1,2==k m . 所以,方程有唯一的正整数解2=x ,2=y ,2=z .解二:由117≡z )4(mod 得1)1(0158≡-+≡+y y x )4(mod ,故y 为偶数,可设n y 2=,*N n ∈. 由117≡z )16(mod 得182258158+≡+≡+x n x y x )16(mod ,故2≥x .从而有1102250158≡+≡+≡+n y x )32(mod .而1289172≡=k k )16(mod ,17289171712≡⋅=+k k )16(mod ,故z 为偶数,设m z 2=,*N m ∈. 所以有)1517)(1517(8n m n m x +-=.又由于2)172,1517()1517,1517(=⋅+=+-m n m n m n m ,因此有⎪⎩⎪⎨⎧=+=--132151721517x n m n m . 从而有121523-=-x n .又由015≡n )3(mod 可得1223≡-x )3(mod ,故23-x 为偶数,于是可设k x 223=-,*N k ∈.因此,有)12)(12(121215223+-=-=-=-k k k x n .又由于1)2,12()12,12(=+=+-kk k ,因此有⎪⎩⎪⎨⎧=+=-n k k 1512112或⎪⎩⎪⎨⎧=+=-n k n k 512312. 而⎪⎩⎪⎨⎧=+=-n k k 1512112无整数解,且由⎪⎩⎪⎨⎧=+=-n k n k 512312解得1,2==n k . 所以,方程有唯一的正整数解2=x ,2=y ,2=z .6.求方程253z y x =-的所有正整数解.解:由题意易得z 为偶数,故有01)1(53≡--≡-x y x )4(mod ,从而有x 为偶数,可设n x 2=,*N n ∈. 所以有)3)(3(5z z n n y +-=.由z 为偶数知z n -3与z n +3均为奇数；由y x 53-不是3的倍数知z 不是3的倍数. 所以有1)3,32()3,3(=+⋅=+-z z z nn n n ,故⎪⎩⎪⎨⎧=+=-y n n z z 5313,从而有n y 3215⋅=+. 显然,当1=n 时,可得原方程有解2=x ,1=y ,2=z .以下证明当2≥n 时,原方程无整数解:由于2≥n ,因此有032≡⋅n )9(mod ,故可得85≡y )9(mod .由于551≡ )9(mod ；752≡ )9(mod ；853≡ )9(mod ；454≡ )9(mod ；255≡ )9(mod ；156≡ )9(mod ,因此有36+=k y ,N k ∈,即11251512+=++k y .故)1125(|12612++k ,从而可得)1125(|712++k .但,n 32⋅不能被7整除.故当2≥n 时,原方程无整数解.综上可知,原方程有唯一正整数解2=x ,1=y ,2=z .7.求方程z y x 5132=+⋅的所有正整数解.解:由110132≡+≡+⋅y x )3(mod 可得1)1(5≡-≡z z )3(mod ,故z 为偶数,可设m z 2=,*N m ∈. 所以有)15)(15(32+-=⋅m m y x .又由于2)2,15()15,15(=+=+-m m m ,因此有以下四种情况:(1)⎪⎩⎪⎨⎧⋅=+=--y x m m 32152151；(2)⎪⎩⎪⎨⎧=+⋅=--21532151m y x m ；(3)⎪⎩⎪⎨⎧⋅=+=--y m x m 32152151；(4)⎪⎩⎪⎨⎧=+⋅=--12153215x m y m . 显然,情况(1),(2)均无正整数解.对情况(3),消m 得1232=--x y .当3=x 时,原方程有解3=x ,1=y ,1=z ；以下证明当4≥x 时,方程1232=--x y 无正整数解,从而知原方程在当4≥x 时无正整数解.由于4≥x ,因此有1)1(232≡-≡--y x y )4(mod ,故y 为偶数,可设n y 2=,*N n ∈.从而有)13)(13(22+-=-n n x .又由2)2,13()13,13(=+=+-nn n 得⎪⎩⎪⎨⎧=+=--3213213x n n ,解得⎩⎨⎧==51x n ,但162151==--x m 无整数解. 所以,对于情况(3),原方程有唯一正整数解3=x ,1=y ,1=z .对情况(4),消m 得1322=--y x .由1)1(322≡-≡--x y x )3(mod 知x 为偶数,可设k x 2=,*N n ∈.从而有)12)(12(311+-=--k k y .又由1)2,12()12,12(111=+=+----k k k 得⎪⎩⎪⎨⎧=+=----111312112y k k ,故⎩⎨⎧==22y k ,但183215=⋅=-y m 无整数解. 所以,对于情况(4),原方程无正整数解.综上可知,原方程有唯一正整数解3=x ,1=y ,1=z .巩固练习:1.求证:方程524y x =+无整数解.2.求方程y x 26152=+的所有正整数解.3.求所有的正整数y x ,,使得y x 73+是完全平方数. 陕西师大附中 王全 ********************。
同余特性解不定方程一1.利用同余特性解不定方程在部分数学运算题中，解题过程中会遇到形如ax+by=c的不定方程，其中，未知数x、y要求是正整数，a、b、c是已知的整数。
这种不定方程可以通过同余特性确定未知数所应满足的余数特征，进而确定未知数的取值，实现“在一个方程中解出两个未知数”。
2.求解不定方程的操作步骤以求解12x+10y=76为例，讲述利用同余特性求解不定方程的具体操作步骤。
第一步：约去a、b、c的最大公因数。
12、10、76的最大公因数为2，方程化简为6x+5y=38。
第二步：方程两边同时除以a、b中任意一个，得到各项所余。
第三步：分析方程左边余数不为0的项，得出其中未知数的余数特征。
第四步：对已经确定余数特征的未知数进行取值，并结合未知数的取值范围，验证方程的解。
x除以5余数为3，x可取3、8、13、18…，由原方程可知6x≤38，x为不超过6的正整数，故确定x=3，代入原方程得y=4，方程得解。
即原方程的正整数解为x=3，y=4。
二首先，来了解什么是不定方程：未知数的个数大于独立方程的个数。
这里强调一下，独立方程为不是通过其他方程加减或者比例运算得到的方程。
举例判断，如：3x+2y=15与9x+6y=45，虽然未知数个数=方程数,但属于一个独立方程，两方程可以通过扩大或缩小一定比转换。
其次，学习如何巧解不定方程。
在余数问题中我们学习过同余特性，其中两条我们做个回忆：余数的和决定和的余数，余数的积决定积的余数。
现在我们就来看看同余特性是如何在不定方程中应用的。
例1：已知3x+2y=102求y=?【解析】条件中未知数的个数>独立方程个数，为不定方程。
求y，消x，则需要式子整体除以3，等式右侧除3余0，则左侧也应该除3余0，3x除3余0，根据余数的和决定和的余数，2y除以3的余数也应该是0，2除3余数为2，所以y除3余0，则y是3的倍数。
例2：已知15x+7y+9z=60,求y?A、2B、3C、4D、5【解析】条件中未知数的个数>独立方程个数，为不定方程。
解不定方程和同余方程的基本方法总结不定方程和同余方程是数论中的两个重要问题。
解不定方程的目标是找到使方程成立的整数解，而同余方程则是计算模运算下的解集。
本文将总结解不定方程和同余方程的基本方法和技巧。
一、解不定方程的基本方法解不定方程的一般形式为ax + by = c，其中a、b、c为给定的整数，x和y为未知数，求整数解。
以下是解不定方程的基本方法：1. 辗转相除法：如果a和b互素，即它们的最大公约数为1，那么可以使用辗转相除法求解不定方程。
首先，利用辗转相除法找到一个整数解(x0, y0)，然后这个方程的所有整数解可以表示为：x = x0 + bt，y = y0 - at，其中t为整数。
2. 扩展欧几里得算法：如果a和b不互素，即它们的最大公约数不为1，可以使用扩展欧几里得算法求解。
通过该算法计算出方程的一个特解(x0, y0)，然后方程的所有整数解可以表示为：x = x0 + b/d * t，y = y0 - a/d * t，其中t为整数，d为a和b的最大公约数。
3. 循环：对于一些形式特殊的不定方程，可以通过循环枚举的方法来解决。
例如对于方程3x + 7y = 100，由于3和7不互素，不能直接使用辗转相除法或扩展欧几里得算法。
可以通过循环枚举x和y的取值范围，判断是否满足方程条件，从而得到所有解。
二、同余方程的基本方法同余方程的一般形式为ax ≡ b (mod m)，其中a、b、m为给定的整数，x为未知数，求模m下的整数解。
以下是同余方程的基本方法：1. 同余定理：如果a和m互素，即它们的最大公约数为1，那么同余方程有唯一解。
可以使用扩展欧几里得算法求解逆元的方式得到解x。
2. 中国剩余定理：如果给定一系列同余方程，形如：x ≡ a1 (mod m1)x ≡ a2 (mod m2)...x ≡ an (mod mn)其中m1、m2、...、mn两两互素，那么可以使用中国剩余定理求解该同余方程组。
同余法解不定方程1.求证:方程035222=++-z xy x 无整数解.证明:由035222=++-z xy x 得35)(422--=-z y y x . 由于002≡ )5(mod ； 004≡ )5(mod ； 112≡ )5(mod ； 114≡ )5(mod ； 422≡ )5(mod ； 124≡ )5(mod ； 432≡ )5(mod ； 134≡ )5(mod ； 142≡ )5(mod ； 144≡ )5(mod .因此,对任意的整数y 都有2354≡--z y 或3 )5(mod .但,对任意的整数y x ,,都有0)(22≡-y x 或1或4 )5(mod .故,原方程无整数解. 2.求证:方程19994144241=+++x x x 无整数解.证明:由于对任意整数k ,都有11)1(8)1(16)12(224≡++++=+k k k k k )16(mod , 对任意整数k ,都有016)2(44≡=k k )16(mod . 因此,对任意整数x ,都有04≡x 或1 )16(mod .所以,对任意整数1421,,,x x x ,都有14,,2,1,04144241 ≡+++x x x )16(mod . 但,151999≡ )16(mod .故,原方程无整数解. 3.求证:方程2012333=++z y x 无整数解. 证明:由于0)3(9)3(33≡⋅=k k )9(mod ；11)33(9)13(233≡+++⋅=+k k k k )9(mod ； 18)463(9)23(233-≡+++⋅=+k k k k )9(mod .因此,对任意整数x ,都有1,1,03-≡x )9(mod .所以,对任意整数z y x ,,,都有3,2,1,3,2,1,0333---≡++z y x )9(mod ,也即是对任意整数z y x ,,,都有8,7,6,3,2,1,0333≡++z y x )9(mod .但,52012≡ )9(mod .故,原方程无整数解.4.求方程zy x 543=+的所有正整数解.解:由11043≡+≡+y x )3(mod 得1)1(5≡-≡z z )3(mod ,故z 为偶数,可设m z 2=,*N m ∈. 由15≡z )4(mod 得10)1(43≡+-≡+x y x )4(mod ,故x 为偶数,可设n x 2=,*N n ∈. 故可得)35)(35(4nm n m y +-=.又由于2)32,35()35,35(=⨯+=+-nn m n m n m ,因此有⎪⎩⎪⎨⎧=+=--12235235y n m n m . 从而有)12)(12(1231122+-=-=---y y y n .又由于1)2,12()12,12(111=+=+----y y y ,因此有⎪⎩⎪⎨⎧=+=---ny y 31211211.解得1,2==n y . 所以,方程有唯一的正整数解2=x ,2=y ,2=z . 5.求方程zy x 17158=+的所有正整数解.解一:由117≡z )4(mod 得1)1(0158≡-+≡+y y x )4(mod ,故y 为偶数,可设k y 2=,*N k ∈. 由于331≡ )7(mod ；232≡ )7(mod ；633≡ )7(mod ； 434≡ )7(mod ；535≡ )7(mod ；136≡ )7(mod ,以及2158≡+y x )7(mod ,因此有2317≡≡zz )7(mod .故26+=n z ,N n ∈. 故可得)1517)(1517(81313k n k n x+-=++.又由于2)172,1517()1517,1517(13131313=⨯+=+-++++n k n k n k n ,因此有⎪⎩⎪⎨⎧=+=--++1313132151721517x k n kn . 从而有121523-=-x k .又由于015≡k )3(mod ,因此可得1223≡-x )3(mod ,故23-x 为偶数,于是可设m x 223=-,*N m ∈.因此,有)12)(12(121215223+-=-=-=-m m m x k.又由于1)2,12()12,12(=+=+-mmm,因此有⎪⎩⎪⎨⎧=+=-k m m 1512112或⎪⎩⎪⎨⎧=+=-km km 512312. 而⎪⎩⎪⎨⎧=+=-k m m 1512112无整数解,且由⎪⎩⎪⎨⎧=+=-km km 512312解得1,2==k m . 所以,方程有唯一的正整数解2=x ,2=y ,2=z .解二:由117≡z )4(mod 得1)1(0158≡-+≡+yy x )4(mod ,故y 为偶数,可设n y 2=,*N n ∈. 由117≡z)16(mod 得182258158+≡+≡+xn x y x )16(mod ,故2≥x . 从而有1102250158≡+≡+≡+nyx)32(mod . 而1289172≡=k k)16(mod ,17289171712≡⋅=+k k )16(mod ,故z 为偶数,设m z 2=,*N m ∈.所以有)1517)(1517(8nmnmx+-=.又由于2)172,1517()1517,1517(=⋅+=+-mn m n m n m ,因此有⎪⎩⎪⎨⎧=+=--132151721517x n m n m . 从而有121523-=-x n .又由015≡n )3(mod 可得1223≡-x )3(mod ,故23-x 为偶数,于是可设k x 223=-,*N k ∈.因此,有)12)(12(121215223+-=-=-=-k k k x n .又由于1)2,12()12,12(=+=+-kk k ,因此有⎪⎩⎪⎨⎧=+=-n k k 1512112或⎪⎩⎪⎨⎧=+=-nk nk 512312. 而⎪⎩⎪⎨⎧=+=-n k k 1512112无整数解,且由⎪⎩⎪⎨⎧=+=-nk nk 512312解得1,2==n k . 所以,方程有唯一的正整数解2=x ,2=y ,2=z . 6.求方程253z y x =-的所有正整数解.解:由题意易得z 为偶数,故有01)1(53≡--≡-x y x )4(mod ,从而有x 为偶数,可设n x 2=,*N n ∈. 所以有)3)(3(5z z nn y +-=.由z 为偶数知z n -3与z n +3均为奇数；由yx 53-不是3的倍数知z 不是3的倍数.所以有1)3,32()3,3(=+⋅=+-z z z nn n n ,故⎪⎩⎪⎨⎧=+=-yn nz z 5313,从而有ny 3215⋅=+. 显然,当1=n 时,可得原方程有解2=x ,1=y ,2=z .以下证明当2≥n 时,原方程无整数解: 由于2≥n ,因此有032≡⋅n )9(mod ,故可得85≡y)9(mod . 由于551≡ )9(mod ；752≡ )9(mod ；853≡ )9(mod ； 454≡ )9(mod ；255≡ )9(mod ；156≡ )9(mod , 因此有36+=k y ,N k ∈,即11251512+=++k y.故)1125(|12612++k ,从而可得)1125(|712++k .但,n32⋅不能被7整除.故当2≥n 时,原方程无整数解. 综上可知,原方程有唯一正整数解2=x ,1=y ,2=z . 7.求方程zy x 5132=+⋅的所有正整数解.解:由110132≡+≡+⋅y x )3(mod 可得1)1(5≡-≡z z )3(mod ,故z 为偶数,可设m z 2=,*N m ∈. 所以有)15)(15(32+-=⋅m m y x .又由于2)2,15()15,15(=+=+-mm m ,因此有以下四种情况:(1)⎪⎩⎪⎨⎧⋅=+=--y x m m 32152151；(2)⎪⎩⎪⎨⎧=+⋅=--21532151m y x m ；(3)⎪⎩⎪⎨⎧⋅=+=--y m x m 32152151；(4)⎪⎩⎪⎨⎧=+⋅=--12153215x m y m . 显然,情况(1),(2)均无正整数解. 对情况(3),消m 得1232=--x y.当3=x 时,原方程有解3=x ,1=y ,1=z ；以下证明当4≥x 时,方程1232=--x y无正整数解,从而知原方程在当4≥x 时无正整数解.由于4≥x ,因此有1)1(232≡-≡--y x y)4(mod ,故y 为偶数,可设n y 2=,*N n ∈.从而有)13)(13(22+-=-n n x .又由2)2,13()13,13(=+=+-n n n 得⎪⎩⎪⎨⎧=+=--3213213x n n,解得⎩⎨⎧==51x n ,但162151==--x m 无整数解. 所以,对于情况(3),原方程有唯一正整数解3=x ,1=y ,1=z . 对情况(4),消m 得1322=--y x .由1)1(322≡-≡--x y x )3(mod 知x 为偶数,可设k x 2=,*N n ∈.从而有)12)(12(311+-=--k k y.又由1)2,12()12,12(111=+=+----k k k 得⎪⎩⎪⎨⎧=+=----111312112y k k ,故⎩⎨⎧==22y k ,但183215=⋅=-ym 无整数解. 所以,对于情况(4),原方程无正整数解.综上可知,原方程有唯一正整数解3=x ,1=y ,1=z . 巩固练习:1.求证:方程524y x =+无整数解. 2.求方程yx 26152=+的所有正整数解.3.求所有的正整数y x ,,使得yx 73+是完全平方数. 4.求所有大于1的正整数y x ,,及质数p ,使得1|2|=-yxp .。
