第四节 方程与方程组(二).docVIP

第四节 方程与方程组（二） 变数个数多于方程个数，且未知数受某种限制（如整数，正整数或有理数等）的方程．不定方程是数论中的一个十分重要的课题．本节讨论能直接利用整除理论来判断其是否有解，以及有解时求出其全部解的最简单的不定方程，即一次不定方程和二次不定方程．并介绍著名的费马猜想．一、不定方程的定义所谓不定方程一般是指自变量个数多于方程的个数的方程．，，（）．因此它往往有无穷多个解．但在理论上和应用上常常加以限制，例如，求整数解则可得出几个确定的解．例1.4.1 求方程解：因取整数时，为偶数，5为奇数，所以只能为奇数．即只能取奇数．由方程，又得．所以，所以．由于中的奇数为1，3，故y可取1或3．将代入原方程，得或．所以 满足条件的原不定方程的解为 二、解不定方程1．一次不定方程，的整数解定理1.4.1 若（*）中，，常数项c不能被的最大公约数整除，则（*）没有整数解．证明：由，知，（）代入（*）有，则有 ．假设（*）存在整数解，则，推出．与已知矛盾．所以（*）无整数解．定理1.4.2 给出，其中是方程的某个特解．证明：因为是方程的某个特解，所以有．与（*）联立可得，于是有．因为是整数，，所以必需被整除．设=t，则，．得证．例1.4.解：因为，而不能整除，由定理1.4.1知此例1.4.解：因为，由定理1.4.知此不定方程有无穷多个整数解，这些解可以用公式 给出，其中是方程的某个特解．易知满足方程，所以原方程的整数解为 ．2．二次不定方程的正整数解我们分析探索求（**）的正整数解：如果是的最大公约数，，则我们可以在（**）式两端约去而得到等价的方程，因此不妨设是互质的．此时将两两互质，因若不然，设存在正整数有及，则有，得出与三数互质相矛盾的结论．因此，中偶数至多只能有一个．另外不能全是奇数，即中至少有一个偶数，所以中有且仅有一个偶数．那么，中哪一个是偶数呢？设均为奇数，则有．显然，是偶数，那么必为4的倍数．因此，当为奇数时，不能成立．所以中应有一个为偶数，另一个为奇数，为确定起见，我们不妨设为偶数．由(**) 所以由于为奇数，可知均为正整数．设，则其中显然，应当互质，若不然，将导致与互质相矛盾．由，而，得出都是完全平方数．令；我们有而所以．考虑到开始约去的最大公约数，则可得到：定理1.4.3其中、是任意互质的两个正整数，且，而是任意正整数．例如：令可得；令，可得．一般地，满足方程的正整数解，我们称之为勾股弦三数组，简称勾股数组，如等都是勾股数组．注意到，由 变形可得上式告诉我们：存在两个有理数，它们的平方和等于1，只要、取不同的正整数值代入即可．从解析几何观点看，上式表明中心在坐标原点的单位圆上存在有理点．看来根据、取不同的整数值，圆上的有理点也不只一个．此结论对我们思考问题或构造特例都是有好处的．3．n次不定方程的正整数解费马大定理，也称费马最后定理（法语：Le dernier théorème de Fermat），其概要为：当时，无正整数解．以上陈述由17世纪法国数学家费马提出，一直被称为“费马猜想”，直到英国数学家安德鲁·怀尔斯（Andrew John Wiles）及其学生理查·泰勒（Richard Taylor）于1995年将他们的证明出版后，才称为“费马大定理”．这个猜想最先由费马在阅读巴歇（CBachet）校订的丢番图《算术》时作为卷2命题8的一条页边批注而提出．尽管费马同时表明他已找到一个绝妙的证明而页边没有足够的空位写下，但仍然经过数学家们三个多世纪的努力，猜想才变成了定理．在冲击这个数论世纪难题的过程中，无论是不完全的还是最后完整的证明，都给数学界带来很大的影响；很多的数学结果、甚至数学分支在这个过程中诞生了，包括代数几何中的椭圆曲线和模形式，以及伽罗瓦理论和赫克代数等[1][1]费马大定理： [1]费马大定理： http://zh．wikipedia．org/wiki/%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86想要证明“费马大定理”，仅需证明此定理当为奇质数时成立即可．因为若有奇质因数，则有．若没有奇质因数，则有．4．不定方程的常用解法一般地，要解一个不定方程或证明它无解，往往是十分困难的，它没有普遍数解为例1.4.分析：初步观察即可发现不能同为奇数或同为偶数，故必一奇一偶，其次左边是关于的三项式，考虑将其变形，以检验它们被某数除的余数情况．解：将原方程变形为． ①显然不能同奇偶，故必为一奇一偶．即均为奇数．(1)当为奇数时，被8除余7，而1993被8除余1，故方程①不成立；(2)当为偶数时，被8除余5，故①式亦不成立．综上所述，方程无整数解．例1.4.