2.4三元一次不定方程

小学奥数知识点：不定方程
一次不定方程：含有两个未知数的一个方程，叫做二元一次方程，由于它的解不唯一，所以也叫做二元一次不定方程;
常规方法：观察法、试验法、枚举法;
多元不定方程：含有三个未知数的方程叫三元一次方程，它的解也不唯一;
多元不定方程解法：根据已知条件确定一个未知数的值，或者消去一个未知数，这样就把三元一次方程变成二元一次不定方程，按照二元一次不定方程解即可;
涉及知识点：列方程、数的整除、大小比较;
解不定方程的步骤：1、列方程;2、消元;3、写出表达式;4、确定范围;5、确定特征;6、确定答案;
技巧总结：A、写出表达式的技巧：用特征不明显的未知数表示特征明显的未知数，同时考虑用范围小的未知数表示范围大的未知数;B、消元技巧：消掉范围大的未知数;。

二元一次不定方程的解法求a * x + b * y = n的整数解。

1、先计算Gcd(a,b)，若n不能被Gcd(a,b)整除，则方程无整数解；否则，在方程两边同时除以Gcd(a,b)，得到新的不定方程a' * x + b' * y = n'，此时Gcd(a',b')=1;2、利用上面所说的欧几里德算法求出方程a' * x + b' * y = 1的一组整数解x0,y0，则n' * x0,n' * y0是方程a' * x + b' * y = n'的一组整数解；3、根据数论中的相关定理，可得方程a' * x + b' * y = n'的所有整数解为：x = n' * x0 + b' * ty = n' * y0 - a' * t(t为整数)上面的解也就是a * x + b * y = n 的全部整数解。

我们知道，如果未知数的个数多于方程的个数，那么，一般来说，它的解往往是不确定的，例如方程 x-2y=3，方程组等，它们的解是不确定的．像这类方程或方程组就称为不定方程或不定方程组．不定方程(组)是数论中的一个古老分支，其内容极其丰富．我国我们知道，如果未知数的个数多于方程的个数，那么，一般来说，它的解往往是不确定的，例如方程x-2y=3，方程组等，它们的解是不确定的．像这类方程或方程组就称为不定方程或不定方程组．不定方程(组)是数论中的一个古老分支，其内容极其丰富．我国对不定方程的研究已延续了数千年，“百鸡问题”等一直流传至今，“物不知其数”的解法被称为中国剩余定理．近年来，不定方程的研究又有新的进展．学习不定方程，不仅可以拓宽数学知识面，而且可以培养思维能力，提高数学解题的技能．我们先看一个例子．例小张带了5角钱去买橡皮和铅笔，橡皮每块3分，铅笔每支1角1分，问5角钱刚好买几块橡皮和几支铅笔？解设小张买了x块橡皮，y支铅笔，于是根据题意得方程3x+11y=50．这是一个二元一次不定方程．从方程来看，任给一个x值，就可以得到一个y值，所以它的解有无数多组．但是这个问题要求的是买橡皮的块数和铅笔的支数，而橡皮的块数与铅笔的支数只能是正整数或零，所以从这个问题的要求来说，我们只要求这个方程的非负整数解．因为铅笔每支1角1分，所以5角钱最多只能买到4支铅笔，因此，小张买铅笔的支数只能是0，1，2，3，4支，即y的取值只能是0，1，2，3，4这五个．若y=3，则x=17/3，不是整数，不合题意；若y=4，则x=2，符合题意．所以，这个方程有两组正整数解，即也就是说，5角钱刚好能买2块橡皮与4支铅笔，或者13块橡皮与1支铅笔．像这个例子，我们把二元一次不定方程的解限制在非负整数时，那么它的解就确定了．但是否只要把解限制在非负整数时，二元一次不定方程的解就一定能确定了呢？不能！现举例说明．例求不定方程x-y=2的正整数解．解我们知道：3-1=2，4-2=2，5-3=2，…，所以这个方程的正整数解有无数组，它们是其中n可以取一切自然数．因此，所要解的不定方程有无数组正整数解，它的解是不确定的．上面关于橡皮与铅笔的例子，我们是用逐个检验的方法来求它们的非负整数解的，但是这种方法在给出的数比较大的问题或者方程有无数组解的时候就会遇到麻烦．那么能不能找到一个有效而又方便的方法来求解呢？我们现在就来研究这个问题，先给出一个定理．定理如果a，b是互质的正整数，c是整数，且方程ax+by=c ①有一组整数解x0，y0则此方程的一切整数解可以表示为其中t=0，±1，±2，±3，…．证因为x0，y0是方程①的整数解，当然满足ax0+by0=c，②因此a(x0-bt)+b(y0+at)=ax0+by0=c．这表明x=x0-bt，y=y0+at也是方程①的解．设x＇，y＇是方程①的任一整数解，则有ax＇+bx＇=c. ③③-②得a(x＇-x0)=b＇(y＇-y0)．④由于(a，b)=1，所以a｜y＇-y0，即y＇=y0+at，其中t是整数．将y＇=y0+at 代入④，即得x＇=x0-bt．因此x＇， y＇可以表示成x=x0-bt，y=y0+at的形式，所以x=x0-bt，y=y0+at表示方程①的一切整数解，命题得证．有了上述定理，求解二元一次不定方程的关键是求它的一组特殊解．例1求11x+15y=7的整数解．解法1将方程变形得因为x是整数，所以7-15y应是11的倍数．由观察得x0=2，y0=-1是这个方程的一组整数解，所以方程的解为解法2先考察11x+15y=1，通过观察易得11×(-4)+15×(3)=1，所以11×(-4×7)+15×(3×7)=7，可取x0=-28，y0=21．从而可见，二元一次不定方程在无约束条件的情况下，通常有无数组整数解，由于求出的特解不同，同一个不定方程的解的形式可以不同，但它们所包含的全部解是一样的．将解中的参数t做适当代换，就可化为同一形式．例2求方程6x+22y=90的非负整数解．解因为(6，22)=2，所以方程两边同除以2得3x+11y=45．①由观察知，x1=4，y1=-1是方程3x+11y=1 ②的一组整数解，从而方程①的一组整数解为由定理，可得方程①的一切整数解为因为要求的是原方程的非负整数解，所以必有由于t是整数，由③，④得15≤t≤16，所以只有t=15，t=16两种可能．当t=15时，x=15，y=0；当t=16时，x=4，y=3．所以原方程的非负整数解是例3求方程7x+19y=213的所有正整数解．分析这个方程的系数较大，用观察法去求其特殊解比较困难，碰到这种情况我们可用逐步缩小系数的方法使系数变小，最后再用观察法求得其解．解用方程7x+19y=213 ①的最小系数7除方程①的各项，并移项得因为x，y是整数，故3-5y/7=u也是整数，于是5y+7u=3．Ｔ儆*5除此式的两边得2u+5v=3．④由观察知u=-1，v=1是方程④的一组解．将u=-1，v=1代入③得y=2．y=2代入②得x=25．于是方程①有一组解x0=25，y0=2，所以它的一切解为由于要求方程的正整数解，所以解不等式，得t只能取0，1．因此得原方程的正整数解为当方程的系数较大时，我们还可以用辗转相除法求其特解，其解法结合例题说明．例4求方程37x+107y=25的整数解．解 107=2×37+33，37=1×33+4，33=8×4+1．为用37和107表示1，我们把上述辗转相除过程回代，得1=33-8×4=37-4-8×4=37-9×4=37-9×(37-33)=9×33-8×37＝9×(107-2×37)8×37＝9×107-26×37=37×(-26)+107×9．由此可知x1=-26，y1=9是方程37x+107y=1的一组整数解．于是x0=25×(-26)=-650，y0=25×9=225是方程37x+107y=25的一组整数解．所以原方程的一切整数解为例5某国硬币有5分和7分两种，问用这两种硬币支付142分货款，有多少种不同的方法？解设需x枚7分，y枚5分恰好支付142分，于是7x+5y=142. ①所以由于7x≤142，所以x≤20，并且由上式知5｜2(x-1)．因为(5，2)=1，所以5｜x-1，从而x=1，6，11，16，①的非负整数解为所以，共有4种不同的支付方式．说明当方程的系数较小时，而且是求非负整数解或者是实际问题时，这时候的解的组数往往较少，可以用整除的性质加上枚举，也能较容易地解出方程．多元一次不定方程可以化为二元一次不定方程．例6求方程9x+24y-5z=1000的整数解．解设9x+24y=3t，即3x+8y=t，于是3t-5z=1000．于是原方程可化为用前面的方法可以求得①的解为②的解为消去t，得大约1500年以前，我国古代数学家张丘建在他编写的《张丘建算经》里，曾经提出并解决了“百钱买百鸡”这个有名的数学问题，通俗地讲就是下例．例7今有公鸡每只五个钱，母鸡每只三个钱，小鸡每个钱三只．用100个钱买100只鸡，问公鸡、母鸡、小鸡各买了多少只？解设公鸡、母鸡、小鸡各买x，y，z只，由题意列方程组①化简得 15x+9y+z=300．③③-②得 14x+8y=200，即 7x+4y=100．解7x+4y=1得于是7x+4y=100的一个特解为由定理知7x+4y=100的所有整数解为由题意知，0＜x，y，z＜100，所以由于t是整数，故t只能取26，27，28，而且x，y，z还应满足x+y+z=100．t x y z26 4 18 7827 8 11 8128 12 4 84即可能有三种情况：4只公鸡，18只母鸡，78只小鸡；或8只公鸡，11只母鸡，81只小鸡；或12只公鸡，4只母鸡，84只小鸡．。

三元一次方程组（基础）知识讲解【学习目标】1．理解三元一次方程(或组)的含义；2．会解简单的三元一次方程组；3. 会列三元一次方程组解决有关实际问题.【要点梳理】要点一、三元一次方程及三元一次方程组的概念1.三元一次方程的定义含有三个未知数，并且含有未知数的项的次数都是1的整式方程．如x+y-z＝1，2a-3b+4c＝5等都是三元一次方程．要点诠释：(1)三元一次方程的条件：①是整式方程，②含有三个未知数，③含未知数的项的最高次数是1次．(2) 三元一次方程的一般形式：ax+by+cz+d=0，其中a、b、c不为零．2．三元一次方程组的定义一般地，由几个一次方程组成，并且含有三个未知数的方程组，叫做三元一次方程组. 要点诠释：(1) 三个方程中不一定每一个方程中都含有三个未知数，只要三个方程共含有三个未知量即可．（2）在实际问题中含有三个未知数，当这三个未知数同时满足三个相等关系时，可以建立三元一次方程组求解．要点二、三元一次方程组的解法解三元一次方程组的一般步骤(1)利用代入法或加减法，把方程组中一个方程与另两个方程分别组成两组，消去两组中的同一个未知数，得到关于另外两个未知数的二元一次方程组；(2)解这个二元一次方程组，求出两个未知数的值；(3)将求得的两个未知数的值代入原方程组中的一个系数比较简单的方程，得到一个一元一次方程；(4)解这个一元一次方程，求出最后一个未知数的值；(5)将求得的三个未知数的值用“{”合写在一起．要点诠释：（1）解三元一次方程组的基本思路是：通过“代入”或“加减”消元，把“三元”化为“二元”．使解三元一次方程组转化为解二元一次方程组，进而转化为解一元一次方程．其思想方法是：（2）有些特殊的方程组可用特殊的消元法，解题时要根据各方程特点寻求其较简单的解法．要点三、三元一次方程组的应用列三元一次方程组解应用题的一般步骤1．弄清题意和题目中的数量关系，用字母(如x，y，z)表示题目中的两个(或三个)未知数；2．找出能够表达应用题全部含义的相等关系；3．根据这些相等关系列出需要的代数式，从而列出方程并组成方程组；4．解这个方程组，求出未知数的值；5．写出答案(包括单位名称)．要点诠释：(1)解实际应用题必须写“答”，而且在写答案前要根据应用题的实际意义，检查求得的结果是否合理，不符合题意的应该舍去．(2)“设”、“答”两步，都要写清单位名称，应注意单位是否统一．(3)一般来说，设几个未知数，就应列出几个方程并组成方程组．【典型例题】类型一、三元一次方程及三元一次方程组的概念1.下列方程组中是三元一次方程组的是( )A ．2102x y y z xz ⎧-=⎪+=⎨⎪=⎩B ．111216y xz y x z⎧+=⎪⎪⎪+=⎨⎪⎪+=⎪⎩ C ．123a b c d a c b d +++=⎧⎪-=⎨⎪-=⎩ D ．18120m n n t t m +=⎧⎪+=⎨⎪+=⎩ 【答案】D【解析】A 选项中21x y -=与2xz =中未知数项的次数为2次，故A 选项不是；B 选项中1x ，1y ，1z不是整式，故B 选项不是；C 选项中有四个未知数，故C 选项不是；D 项符合三元一次方程组的定义．【总结升华】理解三元一次方程组的定义要注意以下几点：(1)方程组中的每一个方程都是一次方程；(2)一般地，如果三个一次方程合起来共有三个未知数，它们就能组成一个三元一次方程组．类型二、三元一次方程组的解法2. (韶关)解方程组275322344y x x y z x z =-⎧⎪++=⎨⎪-=⎩①②③【思路点拨】方程①是用未知数x 表示y 的式子，将①代入②可得二元一次方程组．【答案与解析】解：将①代入②得：5x+3(2x -7)+2z ＝2，整理得：11x+2z ＝23 ④由此可联立方程组34411223x z x z -=⎧⎨+=⎩③④，③+④×2得：25x ＝50，x ＝2．把x ＝2分别代入①③可知：y ＝-3，12z =．所以方程组的解为2312x y z ⎧⎪=⎪=-⎨⎪⎪=⎩．【总结升华】解三元一次方程组的思想仍是消元，是用加减消元法，还是用代入消元法，要根据方程组的特征来确定，一定要选择较简便的方法．【高清课堂：三元一次方程组 409145 例1】举一反三： 【变式】解方程组： 【答案】解：①+②得：5311x y +=④ ①×2+③得：53x y -=⑤由此可得方程组：531153x y x y +=⎧⎨-=⎩④⑤④－⑤得：48y =，2y =将2y =代入⑤知：1x =将1x =，2y =代入①得：3z =所以方程组的解为：123x y z =⎧⎪=⎨⎪=⎩【高清课堂：三元一次方程组409145 例2（2）】3. 解方程组23520x y z x y z ⎧==⎪⎨⎪++=⎩①②【答案与解析】 解法一：原方程可化为：253520x z y z x y z ⎧=⎪⎪⎪=⎨⎪⎪++=⎪⎩①②③ 由①③得：25x z =，35y z = ④ 将④代入②得：232055z z z ++=，得：10z = ⑤ 2334823x y z x y z x y z -+=⎧⎪+-=⎨⎪+-=-⎩①②③将⑤代入④中两式，得：2210455x z ==⨯=，3310655y z ==⨯= 所以方程组的解为：4610x y z =⎧⎪=⎨⎪=⎩解法二：设235x y z t ===，则2,3,5x t y t z t ===③ 将③代入②得：23520t t t ++=，2t =将2t =代入③得：2224x t ==⨯=，3326,55210y t z t ==⨯===⨯=所以方程组的解为：4610x y z =⎧⎪=⎨⎪=⎩【总结升华】对于这类特殊的方程组，可根据其方程组中方程的特点，采用一些特殊的解法(如设比例系数等)来解．举一反三：【变式】（2015秋•德州校级月考）若三元一次方程组的解使ax+2y+z=0，则a 的值为（ ）A ．1B ．0C ．﹣2D ．4【答案】B ． 解：，①+②+③得：x+y+z=1④，把①代入④得：z=﹣4，把②代入④得：y=2，把③代入④得：x=3，把x=3，y=2，z=﹣4代入方程得：3a+4﹣4=0，解得：a=0．类型三、三元一次方程组的应用4. （2015春•黄陂区校级月考）购买铅笔7支，作业本3本，圆珠笔1支共需3元；购买铅笔10支，作业本4本，圆珠笔1支共需4元，则购买铅笔11支、作业本5本圆珠笔2支共需 元．【思路点拨】首先假设铅笔的单价是x 元，作业本的单价是y 元，圆珠笔的单价是z 元．购买铅笔11支，作业本5本，圆珠笔2支共需a 元．根据题目说明列出方程组，解方程组求出a 的值，即为所求结果．【答案】5．【解析】解：设铅笔的单价是x元，作业本的单价是y元，圆珠笔的单价是z元．购买铅笔11支，作业本5本，圆珠笔2支共需a元．则由题意得：，由②﹣①得3x+y=1，④由②+①得17x+7y+2z=7，⑤由⑤﹣④×2﹣③得0=5﹣a，解得：a=5.【总结升华】本题考查了列三元一次不定方程组解实际问题的运用，在解决实际问题时，若未知量较多，要考虑设三个未知数，但同时应注意，设几个未知数，就要找到几个等量关系列几个方程．举一反三：【变式】现有面值为2元、1元和5角的人民币共24张，币值共计29元，其中面值为2元的比1元的少6张，求三种人民币各多少张?【答案】解：设面值为2元、1元和5角的人民币分别为x张、y张和z张．依题意，得24122926x y zx y zx y++=⎧⎪⎪++=⎨⎪⎪+=⎩①②③把③分别代入①和②，得21813232x zx z+=⎧⎪⎨+=⎪⎩④⑤⑤×2，得6x+z＝46 ⑥⑥-④，得4x＝28，x＝7．把x＝7代入③，得y＝13．把x＝7，y＝13代入①，得z＝4．∴方程组的解是7134xyz=⎧⎪=⎨⎪=⎩．答：面值为2元、l元和5角的人民币分别为7张、13张和4张．。

二元 一次不定方程知识要点和基本方法1．当一个方程中未知数的个数多于一个时，称这个方程为不定方程——只讨论有二个未知数的一次不定方程2．一个不定方程总有无穷多组解，但更多的情况是讨论一个整系数的不定方程的整数解或正整数解，此时，它可能仍有无穷多组解，也可能只有有限组解，甚至可能无解 例1． 解方程83=-y x解：由原方程，易得y x 38+= 因此，对y 的任意一个值，都有一个x 与之对应，此时x 与y 的值必定满足原方程，故这样的x 与y 是原方程的一组解，即原方程的解可表为⎩⎨⎧=+=k y kx 38 其中k 为任意数 整数解问题：例2． 求方程863=+y x 的整数解解：因为)2(363y x y x +⨯=+， 所以，不论x 与y 取何整数，总有,633y x +但3不能整除8，因此，不论x 与y 取何整数，y x 63+都不可能等于8，即原方程无整数解定理1：整系数方程c by ax =+有整数解的充分而且必要条件是a 与b 的最大公约数d 能整除c例3． 求方程34104=+y x 的整数解解：因为4与10的最大公约数为2，而34是2的倍数，由定理得，原方程有整数解。

两边约去2后，得,1752=+y x 故5217xy -=，因此，要使y 取得整数，1x 27-=15，3=y ，即我们找到方程的一组解,3,100==y x 设原方程的所有解的表达式为：⎩⎨⎧+=+=n y mx 31代入原方程，得05217)3(5)1(2=+⇒=+++n m n m （n m ,为整数）2与5互质，所以k k n k m (2,5-==为整数）由此得到原方程的所有解为⎩⎨⎧-=+=ky kx 2351（k 为任意整数）定理2。

若a 与b 的最大公约数为1（即a 与b 互质），00,y x 为二元一次整系数不定方程c by ax =+的一组整数解（也称为特解），则c by ax =+的所有解（也称通解）为⎩⎨⎧-=+=aky y bkx x 00其中k 为任意整数 但不定方程11051999=+y x 很难直接找到一组整数解 例4． 求方程1253=+y x 的整数解。

二元一次不定方程的解法二元一次不定方程的解法【摘要】本文主要通过三个实例详尽而具体的说明了二元一次不定方程的解法．【关键词】不定方程; 通解; 解法不定方程是数论中一个古老的分支，至今仍是一个很活跃的数学领域． 中小学数学竞赛也常常因为某些不定方程的解法巧妙而引入不定方程问题． 下面，就通过具体实例，来示范说明一下不定方程的解法．定义形如(,,,0)ax by c a b c z ab +=∈≠ 的方程称为二元一次不定方程，求原方程的整数解的问题叫做解二元一次不定方程．定理 1 原方程有整数解的充分必要条件是(,)|a b c ．推论若(,)1a b =，则原方程一定有整数解． 定理2 若(,)1a b =，且(,)x y ︒︒为原方程的一个整数解( 特解) ，则原方程的全部整数解( 通解) 都可表成x x bt ︒=- ，,()y y at t z ︒=+∈ 或x x bt ︒=+ ，,()y y at t z ︒=-∈ ． 由上述定理可知，求不定原方程整数解的步骤是:① x ︒．②判定原方程是否有解: 当|d c时，原方程无整数解;当|d c时，原方程有整数解．在有整数解时，方程同解变形，边除以d，使原方程转化为a b 的情形．(,)1③求特解，写通解．( 注: 通解形式不唯一)可见，求特解是解二元一次不定方程的关键．首先，对方程的未知数系数较小，或系数与常数项有和、差、约数、倍数关系时观察法是最简单易行的便捷方法．很适用, 但它毕竟也有弊端, 有些方程不容易观察, 所以我们还需寻求新的方法。

2. 分离整数法此法主要是通过解未知数的系数中绝对值较小的未知数，将其结果中整数部分分离出来，则剰下部分仍为整数，令其为一个新的整数变量，据此类推，直到能直接观察出特解的不定方程为止，再追根溯源，求出原方程的特解．例： 解不定方程3710725x y += ．解∵ (37,107)1,1|25= ，∴ 原方程有整数解． 先用x ，y 的系数中较小的37 去除方程的两边，并解出x ，得25107x y =- 除以37 ．再把上式右边y 的系数和常数项的整数部分分离出来，写成137(124)x y y =-+-+除以37 ．由于x ，y 都是整数，13y -也是整数，则124y-+除以37也一定是整数，则可令3y ︒= ( 由于此时－ 12 + 4 × 3除37 ∈Z) ，则有8x︒=- ． 补充说明假设通过原式中未看出特解，可令124y -+ 除37,43712,(1237)t z y t y t =∈-==+除4)39t =+ 则t 除4z ∈ ，有0t︒= ，从而有3y ︒= ，可推得8x ︒=-．这样得原不定方程的特解为8x ︒=-，3y ︒= ． ∴ 原不定方程的通解为8107,337x t y t=--=+ { ，( t ∈Z) ．3. 逐渐减小系数法 此法主要是利用变量替换，使不定方程未知数的系数逐渐减小，直到出现一个未知量的系数为± 1 的不定方程为止，直接解出这样的不定方程( 或可以直接能用观察法得到特解的不定方程为止，再依次反推上去) 得到原方程的通解．例： 解不定方程3710725x y += ．解∵(37,107)1,1|25= ，∴ 原方程有整数解． 由37107≤ ，用y 来表示x ，得25107x y =- 37 = 1 － 3y + － 12 + 4y 除37 ．则令124y -+37k z =∈，即43712y k -=由437≤ ，用k 来表示y ，得1237y k =+ 439k k =++ 除4 ．则令4k t z =∈ ，得4k t =将上述结果一一代回，得原方程的通解为 8107,337x t y t=--=+ { ，( t ∈Z) ． 4. 辗转相除法此法主要借助辗转相除式逆推求特解． 例： 解不定方程3710725x y +=解∵ 10737233,=⨯+3710725x y += ∴ 原方程有整数解．用辗转相除法求特解:373314,=⨯+ 3348 1.=⨯+从最后一个式子向上逆推得到37(26)10791⨯-+⨯= ，∴ 37(2625)107(925)25⨯-⨯+⨯⨯=则特解为2625650x ︒=-⨯=- ，925225y︒=⨯= 通解为6501078107(6)x t t =--=--+ ， 22537337(6),()y t t t z =+=++∈ ，或改写为8107,337x t y t =--=+ { ，( t ∈Z) ．5. 欧拉算法受辗转相除法的启示，此题可简化为采用欧拉算法的方法求解． 其实质仍是找出( a ，b) 表为a ，b 的倍数和时的倍数，从而求出特解．例5 解不定方程3710725x y +=解∵(37,107)1,1|25= ，∴ 原方程有整数解．（见抄）∴ 37(26)10791⨯-+⨯= ，37(2625)107(925)25⨯-⨯+⨯⨯= 则特解为2625650x ︒=-⨯=- ，925225y ︒=⨯=通解为6501078107(6)x t t =--=--+ ，22537337(6),()=+=++∈y t t t z或改写为8107,337=--=+{ ，( t∈Z) ．x t y t6. 同余替换法此法主要是取未知量系数绝对值较小者作为模，对另一系数和常数项取同余式，将其值替换为较小的同余值，构成一个新的不定方程，据此类推，直到某不定方程的一个变量系数为±1 为止，然后一一代回，直接求出原不定方程的通解．例：解不定方程3710725+=x y解∵(37,107)1,1|25=，∴原方程有整数解．（见抄）则原方程转化为40-=，k t即4=，将其代入( 1) ，有337k t=+y t再将上式代入原方程，有8107=--，x t综上得原方程的通解为8107,337=--=+{ ，x t y t( t∈Z) ．最后，对于未知数系数和常数项之间有某些特殊关系的不定方程，如常数项可以拆成两未知数系数的倍数的和或差的不定方程，可以采用分解常数项的方法去求解方程．例:：解不定方程35143+=．x y解35143x y-+-=+=+，3(1)5(28)0x y+=，351403x y∵ (3,5)1= ，15,283x t y t ∴-=--= ，∴ 原方程的通解为15x t =- ，283,()y t t z =+∈ ． 定理: 考虑二元一次方程ax by c += ( 1) 其中a 、b 、c 是整数, 且0,(,)1,|,ab a b b c ≠=则方程( 1) 的一切整数解可以表示成,x bt y k at ==-其中t=0、±1, ±2, ⋯, k= c 除b证明:( Ⅰ) 令,,x bt y k at k c ==-=除b, 那么()ax by k at bk c +-== 即( 2) 是( Ⅰ) 的解.( Ⅱ) 设'',x y 是方程( 1) 的任一整数解, 则''ax by c +=则|b c ，可设c bk = , 则 ''(x c by =- 除a ）'(bk by =-除a ）'()b k y =- 除a ）由于',x y 是方程( 1) 的整数解, 故'x 必为整数, 从而 '()b k y -除a 也必为整数。

数论的一个分支，它有悠久的历史与丰富的内容。

所谓不定方程是指解的范围为整数、正整数、有理数或代数整数等的方程或方程组，一般来说，其未知数的个数多于方程的个数。

古希腊数学家丢番图于 3世纪初就研究过若干这类方程，所以不定方程又称丢番图方程。

1969年，L.J.莫德尔的专著《丢番图方程》，较系统地总结了这方面的研究成果。

近十多年来，这个领域更有重要进展。

虽然如此，从整个地说，对于高于二次的多元不定方程，人们知道得不多。

另一方面，不定方程与数学的其他分支如代数数论、代数几何、组合数学等有着紧密的联系，在有限群论和最优设计中也常常提出不定方程的问题，这就使得不定方程这一古老的分支仍然并将继续吸引着许多数学家的注意，成为数论中重要的研究课题之一。

一次不定方程最简单的一次不定方程是二元一次不定方程(1)式中α1,α2，n是给定的整数，α1α2≠0。

在17世纪,已经知道方程(1)有整数解的充分必要条件是(α1,α2)能整除n，并当(1)有解时，可用辗转相除法来求(1)的一组解。

设(α1,α2)=1，则(1)的全部整数解可表为(2)式中x0,y0为(1)的一组解,t为任意整数。

称(2)为方程(1)的通解。

（1）式的复解对于不定方程：AX-BY=1.我们知道，只要（A,，B）=1，就必然有整数解。

猜想：当A<B时，有解X，Y。

当A>B时，X与Y互换位置。

即：AX-BY=1，A'Y-BX=1；A<B<A'。

是否也有X，Y的共同解。

例如：A<B时：B=17，A=7时，X=5，Y=2.。

即：7×5-17×2=1。

A>B时即A'>B：B=17，A=43时，X=5，Y=2。

即：43×2-17×5=1。

目前没有发现反例。

例如：1，B=5，A=3，A'=11，X=2，Y=1.即3×2-5×1=1；11×1-5×2=1。

不定方程：定义indeterminate equation不定方程是数论的一个分支，它有着悠久的历史与丰富的内容。

所谓不定方程是指解的范围为整数、正整数、有理数或代数整数的方程或方程组，其未知数的个数通常多于方程的个数。

历史概述数论中最古老的分支之一。

古希腊的丢番图早在公元3世纪就开始研究不定方程，因此常称不定方程为丢番图方程。

研究不定方程要解决三个问题：①判断何时有解。

②有解时决定解的个数。

③求出所有的解。

中国是研究不定方程最早的国家，公元初的五家共井问题就是一个不定方程组问题，公元5世纪的《张丘建算经》中的百鸡问题标志中国对不定方程理论有了系统研究。

秦九韶的大衍求一术将不定方程与同余理论联系起来。

百鸡问题说：“鸡翁一，直钱五，鸡母一，直钱三，鸡雏三，直钱一。

百钱买百鸡，问鸡翁、母、雏各几何？”。

设x，y，z分别表鸡翁、母、雏的个数，则此问题即为不定方程组的非负整数解x，y，z，这是一个三元不定方程组问题。

一次不定方程二元一次不定方程的一般形式为ax＋by＝c。

其中a，b，c 是整数，ab ≠ 0。

此方程有整数解的充分必要条件是a、b的最大公约数整除c。

若a、b互质，即它们的最大公约数为1，(x0，y0)是所给方程的一个解，则此方程的解可表为｛(x=x0-bt，y=y0+at）｜t为任意整数｝。

S（≥2）元一次不定方程的一般形式为a1x1＋a2x2＋…＋asxs＝n0a 1，…，as，n为整数，且a1…as≠0。

此方程有整数解的充分必要条件是a 1，…，as的最大公约数整除n。

埃拉托塞尼筛法产生的素数普遍公式是一次不定方程公元前300年，古希腊数学家欧几里得就发现了数论的本质是素数，他自己证明了有无穷多个素数，公元前250年古希腊数学家埃拉托塞尼发明了一种筛法：（一）“要得到不大于某个自然数N的所有素数，只要在2---N中将不大于√N的素数的倍数全部划去即可”。

後来人们（二）将上面的内容等价转换：“如果N是合数，则它有一个因子d满足1<d≤√N”。

序言数论是研究整数性质的一门很古老的数学分支，其初等部分是以整数的整除性为中心的，包括整除性、不定方程、同余式、连分数、素数（即整数）分布以及数论函数等内容，统称初等数论（Elementary Number Theory）。

初等数论的大部份内容早在古希腊欧几里德的《几何原本》中就已出现。

欧几里得证明了素数有无穷多个，他还给出求两个自然数的最大公约数的方法，即所谓欧几里得算法。

我国古代在数论方面亦有杰出之贡献，现在一般数论书中的“中国剩余定理”正是我国古代《孙子算经》中的下卷第26题，我国称之为“孙子定理”。

近代初等数论的发展得益于费马、欧拉、拉格朗日、勒让德和高斯等人的工作。

1801年，高斯的《算术探究》是数论的划时代杰作。

“数学是科学之王，数论是数学之王”。

-----高斯由于自20世纪以来引进了抽象数学和高等分析的巧妙工具，数论得到进一步的发展，从而开阔了新的研究领域，出现了代数数论、解析数论、几何数论等新分支。

而且近年来初等数论在计算器科学、组合数学、密码学、代数编码、计算方法等领域内更得到了广泛的应用，无疑同时间促进着数论的发展。

数论是以严格和简洁著称，内容既丰富又深刻。

我将会介绍数论中最基本的概念和理论，希望大家能对这门学问产生兴趣，并且对中小学时代学习过的一些基本概念，例如整除性、最大公因子、最小公倍数、辗转相除法等，有较深入的了解。

第一章整数的整除性§1.1整除的概念一、基本概念1、自然数、整数2、正整数、负整数3、奇数、偶数一个性质：整数+整数=整数整数-整数=整数整数*整数=整数二、整除1、定义：设a，b是整数，b≠0。

如果存在一个整数q使得等式：a=bq成立，则称b能整除a或a能被b整除，记作b∣a；如果这样的q不存在，则称b不能整除a。

2、整除的性质（1）如果b∣a，c∣b，则c∣a.（2）如果b∣a，则cb∣ca.（3）如果c∣a，则对任何整数d，c∣da.（4）如果c∣a，c∣b，则对任意整数m，n，有c∣ma+nb.（5）如果a∣b，b∣a，则a=±b.3、质数、合数质数（素数）是指在大于1的自然数中，除了1和它本身外，不能被其他自然数整除（除0以外）的数称之为素数（质数）。

三元一次方程组及其解法1.三元一次方程的定义：含有三个未知数的一次整式方程2.三元一次方程组：由三个一次方程(一元、二元或三元)组成并含有三个未知数的方程组叫做三元一次方程组3. 三元一次方程组的解：能使三个方程左右两边都成立的三个未知数的值解题思路：利用消元思想使三元变二元，再变一元4.三元一次方程组的解法：用代入法或加减法消元，即通过消元将三元一次方程组转化为二元一次方程组，再转化为一元一次方程．例题解析一、三元一次方程组之特殊型例1：解方程组⎪⎩⎪⎨⎧==++=++③②①y x z y x z y x 4225212分析：方程③是关于x 的表达式，通过代入消元法可直接转化为二元一次方程组，因此确定“消x”的目标。

解法1：代入法，消x.把③分别代入①、②得⎩⎨⎧=+=+⑤④2256125z y z y 解得2,2.y z =⎧⎨=⎩把y=2代入③，得x=8.∴ 是原方程组的解.8,2,2.x y z =⎧⎪=⎨⎪=⎩根据方程组的特点，可归纳出此类方程组为：类型一：有表达式，用代入法型.针对上例进而分析，方程组中的方程③里缺z,因此利用①、②消z,也能达到消元构成二元一次方程组的目的。

解法2：消z.①×5得 5x+5y+5z=60 ④④-② 得 4x+3y=38 ⑤由③、⑤得⎩⎨⎧=+=⑤③38344y x y x解得 2.y ⎨=⎩把x=8,y=2代入①得z=2.∴ 是原方程组的解.8,2,2.x y z =⎧⎪=⎨⎪=⎩根据方程组的特点，可归纳出此类方程组为：类型二：缺某元，消某元型.例2：解方程组⎪⎩⎪⎨⎧=++=++=++③②①172162152z y x z y x z y x 分析：通过观察发现每个方程未知项的系数和相等；每一个未知数的系数之和也相等，即系数和相等。

具备这种特征的方程组，我们给它定义为“轮换方程组”，可采取求和作差的方法较简洁地求出此类方程组的解。

解：由①+②+③得4x+4y+4z=48，即x+y+z=12 .④①-④得 x=3，②-④得 y=4，③-④得 z=5，∴ 是原方程组的解.3,4,5.x y z =⎧⎪=⎨⎪=⎩典型例题举例：解方程组 20,19,21.x y y z x z +=⎧⎪+=⎨⎪+=⎩①②③解：由①+②+③得2(x+y+z)=60 ，即x+y+z=30 .④④-①得 z=10，④-②得 y=11，④-③得 x=9，∴ 是原方程组的解.11,10.y z ⎪=⎨⎪=⎩根据方程组的特点，由学生归纳出此类方程组为：类型三：轮换方程组，求和作差型.例3：解方程组⎩⎨⎧=+-=②①21327:2:1::z y x z y x 分析1：观察此方程组的特点是未知项间存在着比例关系，根据以往的经验，看见比例式就会想把比例式化成关系式求解，即由x:y=1:2得y=2x ； 由x:z=1:7得z=7x.从而从形式上转化为三元一次方程组的一般形式，即，根据方程组的特点，可选用“有表达式，用代入法”2,7,2321.y x z x x y z =⎧⎪=⎨⎪-+=⎩①②③求解。