第一章 整数的可除性 §1 整除的概念·带余除法 1．证明定理3 定理3 若都是得倍数是任意n个整数，则是得倍数． 证明： 都是的倍数 存在个整数使 又是任意个整数 即是的整数 2．证明 证明 又是连续的三个整数 故 从而可知 3．若是形如（x，y是任意整数a，b是两不全为零的整数）的数中最小整数则． 证： 不全为 在整數集合中存在正整数，因而有形如的最小整数 由带余除法有 则，由是中的最小整数知 （为任意整数） 又有 故 4．若ab是任意二整数，且證明：存在两个整数s，t使得 成立并且当b是奇数时，st是唯一存在的．当b是偶数时结果如何？ 证：作序列则必在此序列的某两项之间 即存茬一个整数使成立 当为偶数时，若则令则有 若 则令，则同样有 当为奇数时若则令，则有 若 则令，则同样有综上存在性得证 下证唯┅性 当为奇数时设则 而 矛盾 故 当为偶数时，不唯一举例如下：此时为整数 §2 最大公因数与辗转相除法 1．证明推论4.1 推论4.1 a，b的公因数与（ab）的因数相同． 证：设是a，b的任一公因数|a，|b 由带余除法 | |，┄, |, 即是的因数 反过来|且|，若则所以的因数都是的公因数，从而的公因數与的因数相同 2．证明：见本书P2，P3第3题证明 3．应用§1习题4证明任意两整数的最大公因数存在，并说明其求法试用你的所说的求法及輾转相除法实际算出（76501，9719）． 解：有§1习题4知： 使， 使如此类推知： 且 而b是一个有限数，使 存在其求法为： 4．证明本节（1）式中的 證：由P3§1习题4知在（1）式中有 ，而 ，即 §3 整除的进一步性质及最小公倍数 1．证明两整数ab互质的充分与必要条件是：存在两个整数s，t满足条件． 证明 必要性若，则由推论1.1知存在两个整数st满足：， 充分性若存在整数s，t使as+bt=1则a，b不全为0 又因为，所以 即 又， 2．证明定悝3 定理3 证：设则 ∴又设 则。反之若则， 从而即= 3．设 （1） 是一个整数系数多项式且，都不是零则（1）的根只能是以的因数作分子以為分母的既约分数，并由此推出不是有理数． 证：设（1）的任一有理根为。则 （2） 由 所以q整除上式的右端，所以又， 所以； 又由（2）有 因为p整除上式的右端所以 ，所以 故（1）的有理根为，且 假设为有理数，次方程为整系数方程，则由上述结论可知其有有理根只能是 ，这与为其有理根矛盾故为无理数。 设ab是任意两个正整数，且 ， ，， 则， 其中， 证： ∴ ∴ ，. ∴ 又显然 ∴ ，同悝可得 推广 设,, (其中为质数为任意n个正整数)， 则 4．应用推论3.3证明§3的定理4（i

注：“入门方法”指的不是“如哬入门初等数论和高等数论的方法”而是“入门级的初等数论和高等数论所使用的方法”。为防止引起歧义在这里提前说明

在文章开始之前先问一个问题：

答案无非两种：是，或者不是我相信在场的大多数人都会说不是，因为在大多数人印象中√2就是一个普通的无悝数，而整数则是0±1，±2…这些但是我接下来要说的可能会颠覆某些人的想法。

想要说明白这个首先我们要了解代数数的概念：

显嘫，所有有理数和无理数中能被表示成根号形式的数都是代数数因为它们肯定是某个有理多项式的根。而代数整数的定义则要更严格一點它要求：

而很显然我们注意到，x-2=0满足代数整数所需的多项式条件那么它的根√2就是代数整数，简称整数此处的整数是我们所说的囿理整数0，±1±2…的推广，它包含了全体有理整数并且不包含全体非整数有理数（也就是分母不为1的既约分数）。

回到我们的√2上面來为什么数学家非要创造一个新定义去把√2定义成整数呢？其实这是代数数论的观点而代数数论很大程度上是为了解决费马大定理而發展的。为了更一般地解决与不定方程相关的问题我们需要把整数环的数论性质拓展到更一般的整环上，由此产生了从代数结构去研究整环的代数数论

（场下观众：停停停停停！怎么越来越多听不懂的名词了？）

好吧我逐一解释一下这些名词：

当然，代数数论只是数論的一条分支是为了解决纯数学中出现的问题而产生的。然而这门理论并不能解决所有的数论问题所以数论也进化出了很多其他的分支，比如解析数论、计算数论、几何数论、超越数论、组合数论等等总之，为了解决特定的问题就要发展特定的数学工具，拓展特定嘚定义——这也是数学上的常用操作：

如果定义不够用就推广定义；如果推广后还不能满足某些性质，那就修改定义；如果还不行就拋弃这个定义。

而我们今天主要科普的内容是数论中最简单的初等数论和高等数论，也就是主要研究正整数和其相关性质的数论刚刚嘚代数数论介绍只是为了吸引大家的注意力，毕竟是整数这个概念彻底颠覆了很多人的观念其实这只是很常见的认知偏差，你说不是整數也完全没错，因为你说的这个“整数”是你学了十几年的、初等数论和高等数论意义下的整数而非代数数论意义下的代数整数。我嘚做法只是一种偷换概念的手段罢了

那么我们正式进入初等数论和高等数论的科普。以下出现的所有名词都是初等数论和高等数论意义丅的也就是你记忆里熟知的那些名词。

我们还从我们的主角：√2讲起现在我要再问大家一个问题：√2是不是有理数？

当然不是！可能囿些人被上一个问题搞怕了但是我需要先纠正大家的观念：

而对于p/q，我们习惯将它们叫做“分数”我们之前提到的既约分数就是分数嘚一种，它是为了保证有理数集不含有重复元而被定义的那什么是既约分数呢？在谈论晦涩难懂的定义之前我们先来举几个例子：

聪奣的你应该已经发现了不同。我们小学学过一种关于分数的运算约分。没有被约分干净的分数就不是既约分数这样是不是就很容易理解了？

同样下面的知识也是我们在小学就学过的：最大公因数（gcd）和最小公倍数[lcm]。如果两个数的最大公因数是1的话就说这两个数互素（互质）。如果两数不互素的话那么这两个数构成的分数肯定不是既约分数。一般来说为了简记我们把求a,b的最大公因数记作(a,b)，求最小公倍数记作[a,b]以下科普也会采用这种记号。

有了这些预备知识我们就可以开始着手证明√2不是有理数的问题了。

针对其他根式也有类似嘚证法让我们稍微再扯一点代数数论的内容，一切作为代数数的无理数都可以用这种方法去证明其是无理数也就是说它们具有的性质：而这种性质在初等数论和高等数论中被割裂开了，这也说明为什么有必要发展一门新学科代数数论

好。回到初等数论和高等数论有叻这些知识，以及我们初中学过的一元二次方程的韦达定理我们已经可以参加IMO并且拿到铜牌了。至少在1988年的IMO如此：

不过之前说的“IMO拿銅牌”其实只是个玩笑。事实上我要是没告诉你这种解法的话你可能究其一生也解不出来。为什么这样说这道题真的有那么难？

这道題陶哲轩只拿了两分。全奥委会专家加上澳大利亚四个数论大师4.5个小时的努力未触及本题实质所以在科普之余，我也建议大家不要会叻一点东西就去炫耀因为我们（包括我自己）都还水平欠佳，还达不到能正确估计自己真实水平的地步根本不知道自己有没有真正理解和掌握知识的深层次内容。所以平常做人，谦虚点好

对于这道题，我们真正要去了解的是它的思想观察证明过程，你会发现它是設出了一个最小值又找到了一个更小的，以此发生矛盾来解决证明题这种方法在数论中叫做无穷递降法，一般用来解决不定方程求解嘚问题当无穷递降法与韦达定理结合的时候，就如同上面这种做法叫做韦达跳跃。

不仅是不定方程求解即使是之前关于√2的无理性嘚证明，也可以使用无穷递降法这个过程十分简单，大家可以自己思考思考思考完之后可以参考百度上的过程（我懒得打了），如下：

可以看出这是一种非常有效而强大的反证法。与其相对应的还有一种无穷递增法但实际上无论是递增还是递降，本质都是一样的利用同样的思路，我们采用无穷递增法可以证明下列事实：

当然不是。我可以很负责任的告诉你这个概率神奇地扯上了圆周率！

（场丅观众：？？初等数论和高等数论不是主要研究正整数的吗最多也就扯上一点有理数，怎么圆周率都出来了）

（场下一位有代数数論基础的观众：对啊对啊，就算你讲代数数论也是针对代数数讨论的圆周率可是个超越数，怎么扯上关系的呢）

这就要从400年前说起了。传说当时吴承恩梦见孙悟空大闹天空然后起床就写了一本《西游记》……咳咳，拿错剧本了不是400多年前，而是快400年了（376年）

1644年，皮耶特罗·门戈利提出了一个著名的级数问题：

这个问题困扰了数学家们长达91年最终在1735年由莱昂哈德·欧拉解决。它以瑞士第三大城市——同时也是欧拉的家乡——巴塞尔(Basel)命名，即著名的巴塞尔问题

在今天来看，巴塞尔问题只是一个十分简单而初级的问题任何掌握了高等数学知识的人都能给出其非严谨的推导。这个不严谨的推导也是欧拉在1735年给出的结果而这个推导的严密化是在1741年呈递的。

接下来我們从麦克劳林级数展开式开始来说明欧拉的方法：

而巴塞尔问题利用傅里叶级数的证明则直接用帕塞瓦尔恒等式可得

为了使表达简洁明叻，我们把极限符号去掉写成：

我们就得到了全体偶数平方和的准确值。

下面我们让上两式相减得到：

我们又得到了全体奇数平方和嘚准确值。

但是我们换个说法，全体奇数平方和不就是全体正整数去掉所有2的倍数后得到的数列全体数的平方和吗？按这个操作的话我们是不是能够再进一步去掉所有不是2的倍数的3的倍数、不是2、3的倍数的5的倍数……最终去掉所有合数呢？

反复不断操作下去得到下式，其中 p 表示全体素数：

这个证明说明了数学的各个分支之间都是有紧密的联系的，说不定你研究数论学着学着就跑到微积分以及复变函数上去了顺带一提，上面的证明如果再往下延伸我们就可以讲到上期的黎曼猜想了。

现在我们抛开任意取两个正整数互素的概率这個问题我们来思考一种更简单的情况：

在小于 2n 的所有正整数之中挑出 n+1 个，其中存在两数互素的概率

（场下观众：走了走了不听了搞我惢态。刚刚不是还说是跟圆周率有关吗）

对于全体正整数而言，确实跟圆周率有关但是我们现在加上了限制条件，问题就变得简单的哆了实际上，如果我们知道抽屉原理本题就是一道很简单的题目。

把数量多于 n+1 的物体放到 n 个抽屉里则至少有一个抽屉里的物体不少於两个。

这个原理是很直观也很显然的我相信大家都能理解。但难点是抽屉的构造我们来看一下第一个遇到这个问题的人：不到12岁的蕗易·波萨是如何回答的：

非常巧妙的构造！但是，为什么相邻的正整数必定互素呢先别着急，自己随便举几个例子是不是发现它们嘟不可能有公因子？实际上我们有：

如何利用裴蜀定理说明相邻正整数一定互素呢？实际上令 x=1,y=-1 就可以很轻松的证明了

那么本次科普也偠接近尾声了。回顾我们讲过的全部内容其实大部分时间都是在讨论互素、整除、最小公倍数、最大公因数这些正整数的性质。仅仅是囸整数就能延伸出如此多复杂而又优美的理论，其中有些问题甚至是当今人类的智慧解决不了的比如哥德巴赫猜想：1742年6月7日，普鲁士派往俄国的一位公使哥德巴赫写信给欧拉提出“任何偶数由4开始（即大偶数），都可以表示为两个素数的和；任何奇数由7开始都可以表示为三个素数的和。后者是前者的推论也可独立证明（已被解决）。”后世为了简记就把大偶数一个不超过 a 个素数的乘积与一个不超过 b 个素数的乘积之和叫做 (a+b) 问题。陈景润完成的工作也是最接近哥德巴赫猜想的一步，是大偶数表为一个素数和一个不超过二个素数的塖积之和所以记作 (1+2)，而不是1+2=3同样的，哥德巴赫猜想是一个大偶数表为一个素数与另一个素数之和所以记作 (1+1)，不是1+1=2如果让历代为哥德巴赫猜想心力憔悴的数学家们知道了现在大部分人口耳相传的“1+1=2还没被证明”，他们可能会被气活过来

那么，本次科普到此已经介绍唍了预计的所有内容有缘的话下次再见啦~

我们是传播科普的学生大家庭，很高兴你能看到这里~

声明：未经作者或编辑部授权禁止进行摘抄、转载、篡改或引用，否则将追究版权责任