f(Program,Poet)=Programet

上一次讲了欧拉的别致证明，这次我们来看看三个各不相同的思路刁钻的证明~特别的是，他们的作者都是不出名的人，如果没有Dickson的《数论史》一书，我们可能没有人会知道Perott,Auric和Métrod三个人的存在……现在我们知道了，但是其实还是不知道他们的任何其他事……大概某一个原因是他们的证明很巧妙，但是没有推动数学上的进步——所以我们应该有理由相信，世界上出现过更多的证明——被遗忘的证明。

_____________________________________________________________________________________

Perott 的年代其实离我们挺近的，他的证明是1881年给出的，使用了一个高中生就知道的无穷级数：

。

假设只有个素数，也就是。取自然数使得，则不被平方数除尽的最多有个——不被平方数除尽的数一定不会被任意一个素数的平方除尽，那么肯定就是若干个不同素数的乘积，那么每一个素数都是“取或不取”两种形式，由乘法原理自然得到了的个数应该是个。下面我们再来看看会被某个平方数除尽的数的个数，如果一个数能被整除，那么满足这个条件的数最多有，那么所有的能被某个平方数除尽的数最多有个。于是就有

只要我们取一个足够大的N使得，就矛盾了~这里的主要思路是从有限个素数推导出有限个被平方数整除的数以及有限个不会被平方数整除的数，然后再导出矛盾。

_____________________________________________________________________________________

接下来我们看看另外一个人Auric 的证明，思想非常简单，只用到了唯一分解定理。开头是类似的，假设只有个素数，也就是。那么我们取一个整数，记，那么由唯一分解定理可知，对于满足就显然有：

而且其实是由唯一决定的。由于有，那么对

,其中

这样的话的个数就不会超过的个数——因为是一一对应的。那么就有

因为是任意的嘛，所以说对于充分大的，肯定有。那么就矛盾了。

_____________________________________________________________________________________

然后是第三个人Métrod的证明，更简单了，有点类似欧几里德的最初的证明。假设只有个素数，也就是。记，再令，那么对于每一个都有不整除，同时当的时候，有能够整除。令，那么的任意素因子都不属于之前的到——因为总存在某一个不会被之前的个素数所整除。所以，矛盾！

_____________________________________________________________________________________

至于为什么那么久没更新：因为我最近变懒了，同时求生之路2放出，我把仅有的一点使用电脑娱乐的时间都放到了求生之路2的重口味战场上……过了一个多星期，发现还是需要换换气，博客不能不继续，求生之路2可以寒假再说~

相关文章：

1. 素数有无穷多个的另类证明（二）：素数的某个求和式
2. 素数有无穷多个的另类证明（一）：两两互素的无穷序列
3. 用极限证明伯努利不等式
4. 无穷中的二分（一）
5. 素数有无穷多个的另类证明（四）：拓扑——或者称为巧妙的集合论方法

2009年12月2日 星期三