不定方程的解法.pdf

基本介绍编辑本段不定方程是数论的一个分支，它有着悠久的历史与丰富的内容 所谓不定方程是指解的范围为整数、 正整数、有理数或代数整数的方程或方程组， 其未知数的个数通常多于方程的个数古希腊数学家丢番图于三世纪初就研究过若干这类方程， 所以不定方程又称丢番图方程，是数论的重要分支学科，也是历史上最活跃的数学领域之一 不定方程的内容十分丰富， 与代数数论、 几何数论、集合数论等等都有较为密切的联系1969 年，莫德尔较系统地总结了这方面的研究成果2发展历史编辑本段不定方程是数论中最古老的分支之一古希腊的丢番图早在公元 3 世纪就开始研究不定方程， 因此常称不定方程为丢番图方程Diophantus，古代希腊人，被誉为代数学的鼻祖，流传下来关于他的生平事迹并不多 今天我们称整系数的不定方程为「Diophantus 方程」，内容主要是探讨其整数解或有理数解他有三本著作，其中最有名的是《算术》，当中包含了189 个问题及其答案，而许多都是不定方程组 （变量的个数大于方程的个数）或不定方程式 （两个变数以上）丢番图只考虑正有理数解，而不定方程通常有无穷多解的研究不定方程要解决三个问题： ①判断何时有解。

②有解时决定解的个数③求出所有的解 中国是研究不定方程最早的国家，公元初的五家共井问题就是一个不定方程组问题，公元5 世纪的《 张丘建算经》中的百鸡问题标志中国对不定方程理论有了系统研究 秦九韶的大衍求一术将不定方程与同余理论联系起来百鸡问题说： “鸡翁一，直钱五，鸡母一，直钱三，鸡雏三，直钱一百钱买百鸡，问鸡翁、母、雏各几何”设x，y，z 分别表鸡翁、母、雏的个数，则此问题即为不定方程组的非负整数解 x，y，z，这是一个三元不定方程组问题3常见类型编辑本段⑴求不定方程的解；⑵判定不定方程是否有解；⑶判定不定方程的解的个数（有限个还是无限个）4方程相关编辑本段一次不定方程二元一次不定方程的一般形式为 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=n0a1，…，as，n 为整数，且 a1…as≠0此方程有整数解的充分必要条件是 a1，…，as 的最大公约数整除 n。

埃拉托塞尼筛法产生的素数普遍公式是一次不定方程公元前300 年，古希腊数学家欧几里得就发现了数论的本质是素数，他自己证明了有无穷多个素数， 公元前 250 年古希腊数学家埃拉托塞尼发明了一种筛法：一“要得到不大于某个自然数 N 的所有素数，只要在 2---N 中将不大于√N 的素数的倍数全部划去即可”二后来人们将上面的内容等价转换： “如果 N 是合数，则它有一个因子 d 满足 1

五可以把（1 1）等价转换成为用同余式组表示：N≡a1(modp1）， N≡a2(modp2），.....，N≡ak(modpk）⑵⑵例如，29，29 不能够被根号 29 以下的任何素数 2，3，5 整除，29=2x14+1=3x9+2=5x5+4 29≡1(mod2） ， 29≡2(mod3） ， 29≡4(mod5） 29 小于 7 的平方 49，所以 29 是一个素数以后平方用“*”表示，即：㎡=m*由于⑵的模 p1，p2，....，pk 两两互素，根据孙子定理（中国剩余定理）知，⑵在 p1p2.....pk 范围内有唯一解例如 k=1 时，N=2m+1，解得 N=3，5，7求得了（3，3*）区间的全部素数k=2 时，N=2m+1=3m+1，解得N=7，13，19； N=2m+1=3m+2，解得N=5，11，17，23求得了（5，5*）区间的全部素数k=3 时，---------------------| 5m+1-|- 5m+2-| 5m+3,| 5m+4.|---------------------|---------|----------|--------|---------|n=2m+1=3m+1= |--31----|--7,37-|-13,43|--19----|n=2m+1=3m+2= |-11,41-|-17,47-|--23---|---29---|------------------------------------------------------------求得了（7，7*）区间的全部素数。

仿此下去可以求得任意大的数以内的全部素数多元一次不定方程关于整数多元一次不定方程， 可以有矩阵解法、程序设计等相关方法辅助求解二次不定方程二元二次不定方程本质上可以归结为求二次曲线（即圆锥曲线）的有理点或整点问题一类特殊的二次不定方程是 x^2+y^2=z^2，其正整数解称商高数或勾股数或毕达哥拉斯数，中国《周髀算经》中有“勾广三，股修四，经隅五”之说，已经知道 (3，4，5）是一个解刘徽在注《九章算术》中又给出了（5，12，13），（8，15，17）， (7，24，25），（20，21，29）几组勾股数它的全部正整数解已在16 世纪前得到这类方程本质上就是求椭圆上的有理点另一类特殊的二次不定方程是所谓佩尔方程 x2－Dy2=1，D 是非平方的正整数利用连分数理论知此方程永远有解 这类方程就是求双曲线上的有理点最后一类就是平方剩余问题， 即求 x^2-py=q 的整数解， 用高斯的同余理论来描述，就是求 x^2≡q(mod p) 的剩余类解高斯发现的著名二次互反律 给出了次方程是否有解的判定方法这类方程就相当于求抛物线上的整点圆锥曲线对应的不定方程求解可以看做椭圆曲线算术性质的一种特例。

高次不定方程对高于二次的不定方程，相当复杂当n>2 时，x^n+y^n=z^n 没有非平凡的整数解 ，即著名的费马大定理 ，历经 3 个世纪 ，已由英国数学家安德鲁 ·维尔斯证明完全可以成立有一些高次方程同样无解：多元高次不定方程多元高次不定方程没有一般的解法， 任何一种解法都只能解决一些特殊的不定方程，如利用二次域来讨论一些特殊的不定方程的整数解．常用的解法⑴代数恒等变形：如因式分解、配方、换元等；⑵不等式估算法：利用不等式等方法，确定出方程中某些变量的范围，进而求解；⑶同余法：对等式两边取特殊的模（如奇偶分析），缩小变量的范围或性质，得出不定方程的整数解或判定其无解；⑷构造法：构造出符合要求的特解，或构造一个求解的递推式，证明方程有无穷多解；⑸无穷递推法特殊求解方法一二元一次不定方程（组）定义 1. 形如 ax + by = c ( a，b，c∈Z，a，b 不同时为零）的方程称为二元一次不定方程定理 1. 方程 ax + by = c 有解的充要是 ( a,b ) | c；定理 2. 若（ a,b ) = 1，且 x_0，y_0 为 ax + by = c 的一个解，则方程的一切解都可以表示成|||||定理 3. n元一次不定方程 a_1x_1 + a_2x_2 +…+ a_nx_n = c，（ a_1，a_2，…a_n，c∈N ）有解的充要条件是：（ a_1，a_2，…a_n ) | c.方法与技巧：1．解二元一次不定方程通常先判定方程有无解。

若有解，可先求 ax + by = c一个特解，从而写出通解当不定方程系数不大时，有时可以通过观察法求得其解，即引入变量，逐渐减小系数，直到容易得其特解为止；2．解 n 元一次不定方程 a_1x_1 + a_2x_2 +…+ a_nx_n = c 时，可先顺次求出 ( a_1， a_2 ) = d_2，（ d_2， a_3 ) = d_3， …，（ d_(n-1） ，a_n ) = d_n.若 c 不能被 d_n 整除，则方程无解；若 c 可以被 d_n整除，则方程有解，作方程组：|||||求出最后一个方程的一切解，然后把 t_(n-1) 的每一个值代入倒数第二个方程，求出它的一切解，这样下去即可得方程的一切解3．m 个 n 元一次不定方程组成的方程组，其中 m < n，可以消去 m-1 个未知数，从而消去了 m-1 个不定方程，将方程组转化为一个 n-m+1 元的一次不定方程二高次不定方程（组）及其解法1．因式分解法：对方程的一边进行因式分解，另一边作质因式分解，然后对比两边，转而求解若干个方程组；2．同余法：如果不定方程 F( x_1，x_2，…，x_n ) = 0 有整数解，则对于任意 m∈N，其整数解 ( x_1，x_2，…，x_n ) 满足F( x_1，x_2，…，x_n ) ≡ 0 ( modm ），利用这一条件，同余可以作为探究不定方程整数解的一块试金石；3．不等式估计法：利用不等式工具确定不定方程中某些字母的范围，再分别求解；4．无限递降法：若关于正整数 n 的命题 P(n) 对某些正整数成立，设 n_0 是使 P(n) 成立的最小正整数，可以推出：存在正整数n，使得 n_1 < n_0 成立，适合证明不定方程无正整数解。

方法与技巧：1．因式分解法是不定方程中最基本的方法，其理论基础是整数的唯一分解定理， 分解法作为解题的一种手段， 没有因定的程序可循，应具体的例子中才能有深刻地体会；2．同余法主要用于证明方程无解或导出有解的必要条件，为进一步求解或求证作准备同余的关键是选择适当的模， 它需要经过多次尝试；3．不等式估计法主要针对方程有整数解，则必然有实数解，当方程的实数解为一个有界集， 则着眼于一个有限范围内的整数解至多有有限个，逐一检验，求出全部解；若方程的实数解是无界的，则着眼于整数，利用整数的各种性质产生适用的不等式；4．无限递降法论证的核心是设法构造出方程的新解，使得它比已选择的解“严格地小”，由此产生矛盾三特殊的不定方程1．利用分解法求不定方程 ax + by = cxy ( abc≠0 ）整数解的基本思路：将 ax + by = cxy 转化为 (x - a)(cy -b) = ab 后，若 ab 可分解为 ab = a_1b_1 = a_2b_2 = …= a_ib_i∈Z，则解的一般形式为，||||再取舍得其整数解；2．定义 2：形如的 x^2 + y^2 = z^2 的方程叫做勾股数方程，这里 x，y，z 为正整数。

对于方程 x^2 + y^2 = z^2 ，如果 (x，y) = d，则 d^2|z^2，从而只需讨论 (x，y) = 1 的情形，此时易知 x，y，z 两两互素，这种两两互素的正整数组叫方程的本原解定理 3.勾股数方程满足条件 2|y 的一切解可表示为：|其中 a > b > 0，（a，b) = 1， 且 a，b 为一奇一偶推论：勾股数方程的全部正整数解（x，y 的顺序不加区别）可表示为：|其中 a > b > 0 是互质的奇偶性不同的一对正整数，d 是一个整数勾股数不定方程的整数解的问题主要依据定理来解决3．定义 3.方程 x^2 - dy^2 = ±1，±4 ( x，y∈Z，正整数 d不是平方数） 是 x^2 - dy^2 = c 的一种特殊情况，称为沛尔（ Pell）方程这种二元二次方程比较复杂， 它们本质上归结为双曲线方程 x^2- dy^2 = c 的研究，其中 c，d 都是整数，d > 0 且非平方数，而 c≠ 0它主要用于证明问题有无数多个整数解 对于具体的 d 可用尝试法求出一组成正整数解如果上述pell 方程有正整数解（x，y），则称使 x + yd^ 的最小的正整数解为它的最小解。

定理方程 x^2 - dy^2 = 1 ( x，y∈Z，正整数 d 不是平方数）必有正整数解，且若设它的最小解为（x_1，y_1），则它的全部解可以表示成：||||上面的公式也可以写成以下几种形式：||定理方程 x^2 - dy^2 = -1 ( x，y∈Z，正整数 d 不是平方数）要么无正整数解，要么有无穷多组正整数解，且在后一种情况下，设它的最小解为（x_1，y_1），则它的全部解可以表示为||||定理 6. （费尔马（Fermat）大定理）方程 x^n + y^n = z^n (n≥3 且为整数）无正整数解费尔马（Fermat）大定理的证明一直以来是数学界的难题，但是在 1994 年 6 月， 美国普林斯顿大学的数学教授完全解决了这一难题至此，这一困扰了人们四百多年的数学难题终于露出了庐山真面目，脱去了其神秘面纱5相关介绍编辑本段简单例题例 1 求 11x+15y=7 的整数解．解法 1 将方程变形得因为 x 是整数， 所以 7-15y 应是 11 的倍数． 由观察得 x0=2， y0=-1是这个方程的一组整数解，所以方程的解为解法 2 先考察 11x+15y=1，通过观察易得11×（-4)+15×⑶=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．T 儆*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

这样， 一个数论问题就转化为某种几何问题这种观点将数论与代数几何联系起来， 是一种重要的数学思想 对于代数曲线来说， 相应的不定方程是否有解的以及是否有无限个解， 都与曲线的亏格密切相关这就是著名的莫代尔猜想（由法尔廷斯 证明）所包含的内容亏格零的曲线就是直线和二次曲线， 他们就对应了上述的一次和二次不定方程亏格 1 的是椭圆曲线， 它的算术性质和代数几何性质极为丰富它将数论、复分析、代数几何、表示论等等都联系起来， 是当代数学最重要的研究对象之一与此相关的是千禧年七大数学难题 之一的 BSD 猜想著名的费马大定理的证明也与此相关进展与学科联系近年来，这个领域更有重要进展但从整体上来说，对于高于二次的多元不定方程，人们知道得不多另一方面，不定方程与数学的其他分支如代数数论、代数几何、组合数学等有着紧密的联系，在有限群论和最优设计中也常常提出不定方程的问题， 这就使得不定方程这一古老的分支继续吸引着许多数学家的注意， 成为数论中重要的研究课题之一。