爱华网《数论导引》是中国著名数学家 华罗庚先生于1957年出版的数学名著。本书是以英国数学家哈代的同名著作为蓝本而撰写的一部数论教材。
就是这本数论教材，是我在1978至1980年认真读过一本好书，它给我带来无言的学习乐趣，也给我带来青春的梦想，原准备去川大读研，是学校工作需要，只能放弃梦想，《数论导引》中有很多中国科学家的研究的成果，如：1938年中国柯召定理.....
数论导引简介 在华罗庚的这部名著中，作者由浅入深，深刻而广泛地介绍了古典数论与近代数论的基本内容和研究方法，揭示了数学各分支与数论之间的深刻系。
《数论导引》是国内的经典数学著作之一，内容非常精彩。此书亦曾一度称为国内数学工作者学习数论的教材。大数学家丘成桐先生年少时也阅读过《数论导引》，对此书推崇备至。
一、整除
整除就是若整数“a”除以大于0的整数“b”，商为整数，且余数为零。我们就说a能被b整除（或说b能整除a），记作b|a，读作“b整除a”或“a能被b整除”．注意aorb作除数的其一为0则不叫整除整除的性质；（1）如果a与b都能被c整除，那么a+b与a-b也能被c整除；（2）如果a能被b整除，c是任意整数，那么积ac也能被b整除；（3）如果a同时被b与c整除，并且b与c互质，那么a一定能被积bc整除．反过来也成立．
整除与除尽的区别与联系 整除与除尽既有区别又有联系．除尽是指数a除以数b（b≠0）所得的商是整数或有限小数而余数是零时，我们就说a能被b除尽（或说b能除尽a）．因此整除与除尽的区别是，整除只有当被除数、除数以及商都是整数，而余数是零．除尽并不局限于整数范围内，被除数、除数以及商可以是整数，也可以是有限小数，只要余数是零就可以了．它们之间的联系就是整除是除尽的特殊情况．
整除有下列基本性质：
①若a|b，a|c，则a|b±c。（b>c）
②若a|b，则对任意c（0除外），a|bc。
③对任意a，±1|a，±a|a。
④若a|b，b|a，则|a|=|b|。
对任意整数a，b，b>0，存在唯一的整数q，r，使a=bq+r，其中0≤r<b，这个事实称为带余除法定理，是整除理论的基础。
若c|a，c|b，则称c是a，b的公因数。若d是a，b的公因数，且d可被a，b的任意公因数整除则称d是a，b的最大公因数。当d≥0时，d是a，b公因数中最大者。若a，b的最大公因数等于1，则称a，b互素。累次利用带余除法可以求出a，b的最大公因数，这种方法常称为辗转相除法。又称欧几里得算法。
整除的规律
整除规则第一条（1）：任何数都能被1整除。
整除规则第二条（2）：个位上是2、4、6、8、0的数都能被2整除。
整除规则第三条（3）：每一位上数字之和能被3整除，那么这个数就能被3整除。
整除规则第四条（4）：最后两位能被4整除的数，这个数就能被4整除。
整除规则第五条（5）：个位上是0或5的数都能被5整除。
整除规则第六条（6）：一个数只要能同时被2和3整除，那么这个数就能被6整除。
整除规则第七条（7）：把个位数字截去，再从余下的数中，减去个位数的2倍，差是7的倍数，则原数能被7整除。
整除规则第八条（8）：最后三位能被8整除的数，这个数就能被8整除。
整除规则第九条（9）：每一位上数字之和能被9整除，那么这个数就能被9整除。
整除规则第十条（10）： 若一个整数的末位是0，则这个数能被10整除
整除规则第十一条（11）：若一个整数的奇位数字之和与偶位数字之和的差能被11整除，则这个数能被11整除。11的倍数检验法也可用上述检查7的「割尾法」处理！过程唯一不同的是：倍数不是2而是1！
整除规则第十二条（12）：若一个整数能被3和4整除，则这个数能被12整除。
整除规则第十三条（13）：若一个整数的个位数字截去，再从余下的数中，加上个位数的4倍，如果和是13的倍数，则原数能被13整除。如果差太大或心算不易看出是否13的倍数，就需要继续上述「截尾、倍大、相加、验差」的过程，直到能清楚判断为止。
整除规则第十四条（14）：a若一个整数的个位数字截去，再从余下的数中，减去个位数的5倍，如果差是17的倍数，则原数能被17整除。如果差太大或心算不易看出是否17的倍数，就需要继续上述「截尾、倍大、相减、验差」的过程，直到能清楚判断为止。b若一个整数的末三位与3倍的前面的隔出数的差能被17整除，则这个数能被17整除。
整除规则第十五条（15)：a若一个整数的个位数字截去，再从余下的数中，加上个位数的2倍，如果差是19的倍数，则原数能被19整除。如果差太大或心算不易看出是否19的倍数，就需要继续上述「截尾、倍大、相加、验差」的过程，直到能清楚判断为止。b若一个整数的末三位与7倍的前面的隔出数的差能被19整除，则这个数能被19整除。
整除规则第十六条（16）：若一个整数的末四位与前面5倍的隔出数的差能被23整除，则这个数能被23整除
整除规则第十七条（17）：若一个整数的末四位与前面5倍的隔出数的差能被29整除，则这个数能被29整除
整除规则第十八条（18）：若一个整数的末四位与前面的数的差能被73整除，则这个数能被73整除
整除规则第十九条（19）：若一个整数的末四位与前面的数的差能被137整除，则这个数能被137整除
整除规则第二十条（20）：若一个整数的末四位与前面5倍的隔出数的差能被23(或29)整除，则这个数能被23整除
整除规则第二十一条（21）：若一个整数的末5位与前面的数的差能被9091整除，则这个数能被9091整除
整除规则第二十二条（22）：（9的无敌乱切）把一个整数分成若干段之和能被9整除，则这个数能被9整除
整除规则第二十三条（23）：（11的无敌乱切）把一个整数分成若干段，每段的末尾为奇数位加，偶数位减，结果能被11整除，则这个数能被11整除
整除规则第二十四条（24）：（a）若一个整数的末4位与前面的数的和能被101整除，则这个数能被101整除
（b）若一个整数的末2位与前面的数的差能被101整除，则这个数能被101整除
切记：0 不能做除数！
举例
例子
整除规则第七条（7）：把个位数字截去，再从余下的数中，减去个位数的2倍，差是7的倍数，则原数能被7整除。
例：①147，截去个位数字后为14，用14-7*2=0，0是7的倍数，所以147也是7的倍数。
②2198，截去个位数字后为219，用219-8*2=203；继续下去，截去个位数字后为20，用20-3*2=14，14是7的倍数，所以2198也是7的倍数。
证明过程
：
设p=a1+a2*10+a3*10^2+...+a(n-1)*10^(n-1)+an*10^n
q=a2+a3*10+...+a(n-1)*10^(n-2)+an*10^(n-1)-2a1
2p+q=21(a2+a3*10+...+an*10^(n-1))
又因为21=7*3，所以若p是7的倍数,那么可以得到q是7的倍数。
二、同余
数论中的重要概念。给定一个正整数m,如果二整数α、b)满足m│α-b)(α-b)被m整除),就称整数α、b)对模m同余，记作α呏b)(modm)。对模m同余是整数的一个等价关系。
数学上，两个整数除以同一个整数，若得相同余数，则二整数同余（英文：Modulararithmetic；德文：Kongruenz）。同余理论常被用于数论中。最先引用同余的概念与符号者为德国数学家高斯。
同余理论是初等数论的重要组成部分,是研究整数问题的重要工具之一,利用同余来论证某些整除性的问题是很简便的.同余是数学竞赛的重要组成部分.
同余符号
两个整数a，b，若它们除以整数m所得的余数相等，则称a，b对于模m同余
记作 a ≡ b (mod m)
读作a同余于b模m，或读作a与b关于模m同余。
比如 26 ≡ 14 (mod 12)
【定义】设ｍ是大于1的正整数,a,b是整数,如果m|(a-b),则称a与b关于模m同余,记作a≡b(modm),读作a同余于b模m.
显然,有如下事实
(1)若a≡0(mod m),则m|a;
(2)a≡b(mod m)等价于a与b分别用m去除,余数相同.
【证明】充分性:设a=mq1+r1,b=mq2+r2,0<=r1,r2<m
∵a≡b(mod m),∴m|(a-b),a-b=m(q1-q2)+(r1-r2).
则有m|(r1-r2).
∵0<=r1,r2<m,∴0<=|r1-r2|<m,
即r1-r2=0,∴r1=r2.
必要性:设a,b用m去除余数为r,即a=mq1+r,b=mq2+r,
a-b=m(q1-q2) ∴m|(a-b),
故a≡b(mod m).
同余性质
1 反身性 a ≡ a (mod m)
2 对称性 若a ≡ b(mod m) 则b ≡ a (mod m)
3 传递性 如果a ≡ b (mod m)，b ≡ c (mod m),那么a ≡ c (mod m)
【证明】上述性质很容易证明,下面仅证明(3).
∵a≡b(mod m)∴m|(a-b) 同理m|(b-c),
∴m|[(a-b)+(b-c)]∴m|(a-c).
故a≡c(mod m).
4 线性运算 如果a ≡ b (mod m)，c ≡ d (mod m),那么(1)a ± c ≡ b ± d (modm)，(2)a * c ≡ b * d (mod m)
【证明】(1)∵a≡b(mod m),∴m|(a-b) 同理 m|(c-d)
∴m|[(a-b)±(c-d)] ∴m|[(a±c)-(b±d)]
∴a ± c ≡ b ± d (mod m)
(2)∵ac-bd=ac-bc+bc-bd=c(a-b)+b(c-d)
又 m|(a-b) , m|(c-d) ∴m|(ac-bd)
∴a * c ≡ b * d (mod m)
5 除法 若ac ≡ bc (mod m) c!=0 则 a≡ b (mod m/(c,m))其中(c,m)表示c,m的最大公约数
特殊地 (c,m)=1 则a ≡ b (mod m)
6 乘方 如果a ≡ b (mod m)，那么a^n ≡ b^n (mod m)
7 若a ≡ b (mod m)，n|m,则 a ≡ b (mod n)
8 若a ≡ b (mod mi） i=1,2...n 则 a ≡ b (mod [m1,m2,...mn])其中[m1,m2,...mn]表示m1,m2,...mn的最小公倍数
9 欧拉定理
设a,m∈N,(a,m)=1,则a^(φ(m))≡1(mod m)
(注:φ(m)指模m的简系个数， φ(m)=m-1,如果m是素数；φ(m=q1^r1 * q2^r2 *...*qi^ri)=m (1-1/q1)(1-1/q2)...(1-1/qi))
推论: 费马小定理: 若p为质数，则a^p ≡ a (mod p)即a^(p-1) ≡ 1 (mod p)
（但是当p|a时不等价）
10 中国剩余定理
设整数m1,m2,m3,......,mn两两互素，令m=m1m2m3m4m5...mn（mi的连乘）。则对于任意的J在（1,n)整数，下列联立的同余式有解：
{xj≡1(mod mj)
{xj≡0(mod mi) i不等于j
令x为从1到najxj的和，则x适合下列联立同余式
x≡aj（mod mj）, j=1,2,3,.....,n
另：求自然数a的个位数字，就是求a与哪一个一位数对于模10同余
同余相关定理
一次同余式和孙子定理同余式的求解中，一次同余式是最基本的。设整系数n次(n>0)多项式ƒ(x)=αnx+…+α1x+α0,m是一个正整数且不能整除αn，则
(1)叫做模m 的n 次同余式。如果整数α是（1）的解且α呏α┡(modm)，那么α┡也是(1)的解，因此,(1)的不同解是指满足(1)的模 m互不同余的数。对于一次同余式αx呏b)(modm)有解的充分必要条件是(α,m)│b)，若有解则有(α,m)个解。一次同余式组是指
。 (2)
在中国古代《孙子算经》中，对某些具体的一次同余式组已有解法，把这一解法加以推广，就是著名的孙子剩余定理：设m1, m2,…,mk是k个两两互素的正整数 则同余式组(2)的解是
,
式中。孙子剩余定理又被称之为中国剩余定理，是数论中一个重要的定理，除了数论本身，数学的许多其他分支以及一些应用学科都要用到它。例如,设m＝m1m2…mk，m1,m2,…,mk两两互素,利用孙子剩余定理可将同余式(1)的求解问题化为同余式组ƒ(x)呏0(modmi)(i＝1，2,…,k)的求解问题，于是就只需要研究(1)中m是素数方幂的情形了。又如,可将0≤x<m中的一切整数表示，这叫做模系数记数法,这里m＝m1m2…mk，m1,m2,…,mk两两互素，而x吗示x模mi的最小非负剩余。
如果已知x的模系数记数法，就可用孙子定理找出x。这个记数法的优点是加法和乘法无须进位，它在计算机方面有应用。
素数为模的同余式 关于素数为模的同余式，1770年，J.-L.拉格朗日证明了如下定理：设p是素数，那么模p的n次同余式的解数不大于n（重解也计算在内）。人们称之为拉格朗日定理。由此立即可以得威尔森定理：如果p是素数，那么(p-1)!+1呏0(mod p)。因为x-1呏0(modp)有p-1个解1,…,p-1，故由拉格朗日定理可得
xp-1-1呏(x-1)(x-2)…(x-(p-1))(modp)，
将x=0代入上式得-1呏(-1)(p-1)!(modp),这就证明了威尔森定理。威尔森定理的逆定理也是成立的，可用反证法简单证出。用拉格朗日定理还可证明：当p≥5是一个素数时,则有
。这个定理是1862年，由J.沃斯顿霍姆证明的。
设ƒ(x1,x2,…,xn)是n元整系数多项式,p是一个奇素数,对于同余式ƒ(x1,x2,…,xn)呏0(modp)的解(x1,x2,…,xn)(0≤xj<p,j=1,2,…,n)的个数N的研究，是数论的重要课题之一。
早在1801年，C.F.高斯就研究了同余式αx-b)y呏1(modp)的解的个数，这里p呏1(mod3)和同余式αx-b)y呏1(modp)的解的个数，这里p呏1(mod 4)。
设ƒ(x)模p无重因式，1924年，E.阿廷猜想同余式y呏ƒ(x)(modp),在ƒ(x)的次数为3和4时,N分别满，1936年,H.哈塞证明了这一猜想,并且还证明了对于一般含q个元的有限域，把以上两式中p换成q，也是对的。1948年，韦伊对于一般的ƒ(x,y)=0在有限域上得到类似的结果,他猜想对于ƒ(x1,x2,…,xn)=0也有类似的结果。1973年,P.德利涅证明了韦伊猜想。他的杰出工作获得了1978年的国际数学家会议的费尔兹奖。
参考书目 W.M.Schmidt,Equations over Finite Fields: an ElementaryApproach, Lecture Notes in Math.536,Springer-Verlag, New York,1976.
- 扩展阅读：
中国剩余定理，原出处于三国或晋时古数学著作《孙子算经》，其中一题：“今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？”《孙子算经》中给出解23。解法流传至今，后世的数学家迭加研究此问题。唐僧一行，李淳风等卓局贡献。宋代数学家秦九韶是集大成者。给出通解223+-105n。
三、不定方程
定义
不定方程浅说
indeterminate equation 不定方程是数论的一个分支，它有着悠久的历史与丰富的内容。所谓不定方程是指解的范围为整数、正整数、有理数或代数整数的方程或方程组，其未知数的个数通常多于方程的个数。 古希腊数学家丢番图于三世纪初就研究过若干这类方程，所以不定方程又称丢番图方程，是数论的重要分支学科，也是历史上最活跃的数学领域之一。不定方程的内容十分丰富，与代数数论、几何数论、集合数论等等都有较为密切的联系。1969年，莫德尔较系统地总结了这方面的研究成果。历史概述
丢番图
不定方程是数论中最古老的分支之一。 古希腊的丢番图早在公元3世纪就开始研究不定方程，因此常称不定方程为丢番图方程。Diophantus，古代希腊人，被誉为代数学的鼻祖，流传下来关于他的生平事迹并不多。今天我们称整系数的不定方程为「Diophantus方程」，内容主要是探讨其整数解或有理数解。他有三本著作，其中最有名的是《算术》，当中包含了189个问题及其答案，而许多都是不定方程组(变量的个数大于方程的个数)或不定方程式 (两个变数以上)。丢番图只考虑正有理数解，而数书九章——大衍类
不定方程通常有无穷多解的。 研究不定方程要解决三个问题：①判断何时有解。②有解时决定解的个数。③求出所有的解。中国是研究不定方程最早的国家，公元初的五家共井问题就是一个不定方程组问题，公元5世纪的《张丘建算经》中的百鸡问题标志中国对不定方程理论有了系统研究。秦九韶的大衍求一术将不定方程与同余理论联系起来。百鸡问题说：“鸡翁一，直钱五，鸡母一，直钱三，鸡雏三，直钱一。百钱买百鸡，问鸡翁、母、雏各几何？”。设x，y，z分别表鸡翁、母、雏的个数，则此问题即为不定方程组的非负整数解x，y，z，这是一个三元不定方程组问题。不定方程问题的常见类型
（1）求不定方程的解； （2）判定不定方程是否有解； （3）判定不定方程的解的个数（有限个还是无限个）。一次不定方程
二元一次不定方程的一般形式为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<d≤√N”。（《基础数论》13页，U杜德利著，上海科技出版社）。. （三）再将（二）的内容等价转换：“若自然数N不能被不大于(根号)√N的任何素数整除，则N是一个素数”。见（代数学辞典[上海教育出版社]1985年。屉部贞世朗编。259页）。 （四）上面这句话的汉字可以等价转换成为用英文字母表达的公式： N=p1m1+a1=p2m2+a2=......=pkmk+ak。(1) 其中p1，p2，.....，pk表示顺序素数2，3，5，,,,,。a≠0。即N不能是2m+0，3m+0，5m+0，...，pkm+0形。若N<P（k+1）的平方[注：后面的1，2，3，....，k，（k+1）是脚标，由于打印不出来，凡字母后面的数字或者i与k都是脚标]，则N是一个素数。 （五）可以把（1）等价转换成为用同余式组表示： N≡a1(modp1)，N≡a2(modp2)，.....，N≡ak(modpk)。 (2) 例如，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*。 由于（2）的模p1，p2，....，pk两两互素，根据孙子定理(中国剩余定理）知，（2）在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）代数恒等变形：如因式分解、配方、换元等； （2）不等式估算法：利用不等式等方法，确定出方程中某些变量的范围，进而求解； （3）同余法：对等式两边取特殊的模（如奇偶分析），缩小变量的范围或性质，得出不定方程的整数解或判定其无解； （4）构造法：构造出符合要求的特解，或构造一个求解的递推式，证明方程有无穷多解； （5）无穷递推法。一些特殊方程的求解方法
（一）二元一次不定方程（组）
定义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 的一个解，(定理2，t为任意整数)
则方程的一切解都可以表示成 | | | | | 定理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整除，则方程有解，作方程组：(方法与技巧2)
| | | | | 求出最后一个方程的一切解，然后把 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：形如的 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的一切解可表示为：
(特殊方程之勾股数方程1)
| | 其中 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^0.5 的最小的正整数解为它的最小解。 - 定理4.Pell方程 x^2 - dy^2 = 1 (x，y∈Z，正整数d不是平方数)必有正整数解，且若设它的最小解为(x_1，y_1)，则它的全部解可以表示成：特殊方程之佩尔方程
- 定理5.Pell方程 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月，美国普林斯顿大学的数学教授A.Wiles完全解决了这一难题。至此，这一困扰了人们四百多年的数学难题终于露出了庐山真面目，脱去了其神秘面纱。
简单例题
例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．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<x，y，z<100，所以 由于t是整数，故t只能取26，27，28，而且x，y，z还应满足 x+y+z=100． tx y z 26 4 18 78 27 8 11 81 28 12 4 84 即可能有三种情况：4只公鸡，18只母鸡，78只小鸡；或8只公鸡，11只母鸡，81只小鸡；或12只公鸡，4只母鸡，84只小鸡．多项式不定方程与代数几何
对于多项式不定方程，我们相当于求解某个代数簇上的有理点或整点等等。这样，一个数论问题就转化为某种几何问题。这种观点将数论与代数几何联系起来，是一种重要的数学思想。 对于代数曲线来说，相应的不定方程是否有解的以及是否有无限个解， 都与曲线的亏格密切相关。这就是著名的莫代尔猜想（由法尔廷斯证明）所包含的内容。 亏格零的曲线就是直线和二次曲线，他们就对应了上述的一次和二次不定方程。亏格1的是椭圆曲线，它的算术性质和代数几何性质极为丰富。它将数论、复分析、代数几何、表示论等等都联系起来，是当代数学最重要的研究对象之一。与此相关的是千禧年七大数学难题之一的BSD猜想。 著名的费马大定理的证明也与此相关。进展与学科联系
近年来，这个领域更有重要进展。但从整体上来说，对于班牙语、拉丁语和希腊语，而且还颇有研究。语言方面的博学给他的数学研究提供了语言工具和便利，使他有能力学习和了解阿拉伯和意大利的代数以及古希腊的数学。正是这些，可能为费尔马在数学上的造诣奠定了良好基础。在数学上，费尔马不仅可以在数学王国里自由驰骋，而且还可以站在数学天地之外鸟瞰数学。这也不能绝对归于他的数学天赋，与他的博学多才多少也是高于二次的多元不定方程，人们知道得不多。另一方面，不定方程与数学的其他分支如代数数论、代数几何、组合数学等有着紧密的联系，在有限群论和最优设计中也常常提出不定方程的问题，这就使得不定方程这一古老的分支继续吸引着许多数学家的注意，成为数论中重要的研究课题之一。不定方程——相关趣闻
费尔马与费尔马大定理 费尔马(Pierre deFermat，1601～1665）法国著名数学家，被誉为“业余数学家之王”。——费尔马一生从未受过专门的数学教育，数学研究也不过是业余之爱好。然而，在17世纪的法国还找不到哪位数学家可以与之匹敌：他是解析几何的发明者之一；对于微积分诞生的贡献仅次于艾萨克?牛顿、戈特弗里德?威廉?凡?莱布尼茨；又是概率论的主要创始人；还是独承17世纪数论天地的人。此外，费尔马对物理学也有重要贡献。一代数学天才费尔马堪称是17世纪法国最伟大的数学家之一。 费尔马的家庭非常富裕，因而接受了很好、很广博的教育。当时还有“买官”的风气，所以费尔马得以一生都做官，而且官越当越大。 费尔马虽然一直做着官，但对他来说，真正的事业是学术，尤其是数学。他通晓法语、意大利语、西有关系的。 费尔马生性内向，谦抑好静，不善推销自己，不善展示自我。因此他生前极少发表自己的论著，连一部完整的著作也没有出版。他发表的一些文章，也总是隐姓埋名。反映其成就的《数学论集》，还是费尔马去世后由其长子将其笔记、批注及书信整理后编辑出版的。多亏了这个好儿子啊！如果不是他积极出版其父的数学论著，那很难说费尔马能对数学产生那么重大的影响，并被誉为“业余数学家之王”。 费尔马的贡献很多，但最出名的要数其中的“费尔马大定理”。这是一个与“哥德巴赫猜想”一类的数学难题，下面就说说它。 费尔马大定理的内容： 当整数n> 2时，关于x, y, z的不定方程 x^n + y^n = z^n.（n表示“n次方”） 无正整数解。 1637年，费尔马在阅读丢番图《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。”（拉丁文原文:"Cuius rei demonstrationem mirabilem sane detexi. Hanc marginisexiguitas noncaperet."）毕竟费尔马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。 1908年，德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人。当时吸引了不少人尝试并递交他们的“证明”，但都没成功。 最后，在1995年，亦即（从问题提出到解决）经过了三个半世纪的努力后，这道世纪数论难题才由普林斯顿大学英国数学家——安德鲁?怀尔斯和他的学生理查?泰勒成功证明。证明利用了很多新的数学，包括代数几何中的椭圆曲线和模形式，以及伽罗华理论和Hecke代数等，这令人怀疑费尔马当年是否真的找到了正确证明。 安德鲁?怀尔斯(AndrewWiles)由于成功证明此定理，获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。当然他也拿到了那笔10万马克的奖金，因为还在规定的“破解期限”内。 而怀尔斯证明费尔马大定理的过程亦甚具戏剧性。他用了7年时间，在不为人知的情况下，得出了证明的大部分；然后于1993年6月在一个学术会议上宣布了他的证明，并瞬即成为世界头条。但在审批证明的过程中，专家发现了一个极严重的错误。怀尔斯和泰勒然后又用了近一年的时间尝试补救，终在1994年9月以一个之前怀尔斯抛弃过的方法得到成功，他们的证明刊在1995年的数学年刊（en:Annalsof Mathematics）之上。四、数论函数
在数论上，算术函数（或称数论函数）指定义域为正整数、陪域为复数的函数，每个算术函数都可视为复数的序列。
最重要的算术函数是积性及加性函数。算术函数的最重要操作为狄利克雷卷积，对于算术函数集，以它为乘法，一般函数加法为加法，可以得到一个阿贝尔环。
数论函数（number-theoreticfunction）
数论函数亦称算术函数。这是一类重要的函数，指定在正整数集上的
实值或复值函数。更一般地，也可把数论函数看作是在某一整数集上定义
的函数。
以正整数为定义域的函数ƒ(n)，例如数列{αn}、阶乘n!、幂nλ等都是数论函数。
重要的数论函数
设n的标准分解式为。 ①麦比乌斯函数易知 式中和号表示d过n的所有因数。 ② 欧拉函数φ(n) 表示与n互素且不超过n的正整数的个数，易证 ， 这里(m,n)＝d。1801年，C.F.高斯证明了。关于欧拉函数，有一个迄今尚未解决的猜想：不存在复合数n使得φ(n)｜n-1。这个猜想是1932年由D.H.莱默尔提出来的。1962年，柯召和孙琦证明了这样的复合数存在，n至少是12个不同的奇素数的乘积；1980年,G.L.科恩和P.哈吉斯用计算机改进到n至少是14个不同的奇素数的积。 ③除数函数 当u≠0时，则有 当u=0时， σ1(n)=σ(n)，正整数n满足σ(n)=2n时，n就叫做完全数。狄利克雷卷积- 设ƒ1(n)和ƒ2(n)是两个数论函数，则叫做ƒ1(n)和ƒ2(n)的狄利克雷卷积,记为ƒ1(n)*ƒ2(n)=ƒ(n)。显然,ƒ(n)也是一个数论函数,且有 这里ƒ3(n)也是一个数论函数。狄利克雷卷积是研究数论函数的重要概念。可以证明：全体ƒ(1)≠0的数论函数ƒ(n)，对于狄利克雷乘积*组成一个阿贝尔群。
积性函数和完全积性函数
若(m,n)=1，有ƒ(mn)=ƒ(m)ƒ(n),称数论函数ƒ(n)为积性函数；若对任意正整数m、n，都有ƒ(mn)=ƒ(m)ƒ(n)，则称数论函数ƒ(n)为完全积性函数，例如墹(n)、nλ是完全积性函数，μ(n)、φ(n)、σu(n)是积性函数，但不是完全积性函数。曼格尔德特函数Λ(n)是非积性函数。积性函数有下列性质：①若ƒ(n)是一个非恒等于0的积性函数，则有ƒ(1)＝1和②若ƒ1(n)和ƒ2(n)都是积性函数，则ƒ1(n)*ƒ2(n)也是积性函数；③若ƒ1(n)*ƒ2(n)和ƒ2(n)是积性函数，则ƒ1(n)也是积性函数。麦比乌斯反演公式
设n为正整数,则有反之亦然。这就是著名的麦比乌斯反演公式，它还有乘积表达式。则 麦比乌斯反演公式是R.戴德金1857年给出的，它有多种推广形式，在数论和组合数学中都很有用。例如由,用麦比乌斯反演公式立即可得。因为nu是积性函数,所以也是积性函数，于是容易求得σu(n)的表达式。以素数p为模，把多项式xp-x分解为不可约多项式之积,设其素因式的次数为m,已知m|n，反之，任一个m(m|n)次不可约多项式一定是该式的因式,设φn表示对模p的n次不可约多项式的个数，故有由麦比乌斯反演公式得，故得φn>0，即知道元素个数为pn的有限域存在。
