勒让德猜想证明.docVIP

勒让德猜想证明 勒让德是法国数学家。1752年9月18日生于巴黎，1833年1月10日卒于巴黎。1770年毕业于马萨林学院。1782年以外弹道方面的论文获柏林科学院奖。1783年被选为巴黎科学院助理院士，两年后升为院士。 勒让德主要从事数学分析、几何学、数论以及天体力学研究，并且建立了许多重要的定理，尤其是在数论和椭圆积分（Elliptic Integrals）方面，提出了对素数定理（Prime Number Theorem）和二次互反律（Quadratic Reciprocity）的猜测并发表了初等几何教科书。 1912年，爱德蒙·兰道在国际数学家会议上列出了关于质数的四个基本问题：第一问题是哥德巴赫猜想；第二个问题是孪生质数猜想；第三个问题是勒让德猜想；第四个问题是是否存在无限多形如的质数。那么什么是勒让德猜想呢？勒让德猜想：在平方数之间至少有一个质数。这个问题从提出到现在一直没有证明出来。下面就让我给大家证明一下。 首先我们需要给出不超过正整数n的质数的个数。 定理1：设n为正整数，为n的前部素数，那么 。 证明：设n为正整数，为n的前部素数，若,是p的剩余类。不难知道，所有整数均匀分布在这p个剩余类中，若在1，2，…………，n内任取一个整数a则p∣a的概率定义为1/p,那么p不整除a的概率即为，若是素数，每一个p能否有p不整除a可视为独立事件，故在 1，2，…………，n内，任取一数 b 不能被p整除的概率为，在1，2，…………，n内，不能被p整除的就是后部素数和1，因为前部素数p是能被p整除的，。所以等于后部质数的个数加1，又因为前部素数的个数为m，因此，，所以我们有。 设n为正整数，不超过正整数n的素数的个数为。 其次我们还要证明一个引理。 引理：质数的个数公式π(n)是不减函数 证明： 当n+1为合数时，π(n+1)＝π(n) 当n+1为素数时，π(n+1)﹥π(n) 故无论n+1为合数或是素数，总有π(n+1)≥π(n) 所以π(n)是不减函数，所以π(n+1)－π(n) ≥0 做好了以上的准备工作，下面我们就可以开始证明勒让德猜想了。 定理2：已知：对于任意的正整数n，是平方数。 求证：在平方数之间至少有一个质数，也即是 证明：用反证法，假设 又因为，由引理知，根据假设可以得到 。 ⑴当时，也就是说有相同的前部质数。 根据质数的个数公式 ，，所以 ，也就是 ，又因为，所以 故,所以可以得到,这与n为正整数矛盾，故假设错误。 ⑵当时，也就是说，此时n+1必为质数。 根据质数的个数公式 ，， 所以，，也就是 ，又因为，所以， ，也即是，所以， ，又因为，所以n为负数，这与n为正整数矛盾，故假设错误。 综上所述，命题成立。 利用这个结论，我们很容易可以知道，在平方数之间至少有一个质数，当n无穷大时，质数有无穷多个。 弯国强写于2011年2月4日星期五