高中数学竞赛专题8-15.docVIP

专题八 数学奥林匹克专题讲座-----素数 上海市上海中学 顾滨 素数是数论中核心的问题之一，因为素数的定义如此简单，分布却如此不规律.关于素数，我们知道的也很少，接下来我们将介绍有关素数的一些核心问题，并对其中一些加以讨论. 一.关于素数无穷多. Euclid 第一个证明了：素数有无穷多个. 【定理1（Euclid）】：素有无穷多个. 它的证明是很经典的无穷递推法，当然目前也有其它证法，有兴趣的同学可以参看《The proof from the book一书，这里就略去了.下面我们来证明更强的结论： 【定理2（Euler）】 （这里表示对所有的素数求和，以后类同） 证明：首先证明Euler恒等式：设实数，则①（表示对所有的素数求积，以后类同）. 我们已经熟知当时，上式的右边的级数是绝对收敛的，而由于算术基本定理，若将上式左边逐项展开，则对每个n，由于n恰有唯一的一种方法表为，因此恰出现一次，即证得Euler恒等式. 现将Euler恒等式化为：.两边取对数得.利用不等式得：.令即知，又，故成立. Euler这一证明有着很浓的解析色彩，将孤单的素数与全体正整数通过①式联系起来了，我们在后面证明Dirichlet定理时将用到一样的思想.另外利用①式可以证明任取两数互素的概率为，但这已经离开主题较远，暂不考虑. 为了以后的需要，我们先来定义一些函数： 若，则定义函数； 定义函数；以及函数.以下我们一般以表示正整数，表示素数，表示约数. 关于，我们显然有（这里表示为对n的所有正约数求和），因此我们有： （交换和号值得注意） 因此结合可知： , ② (这里表示至多与同阶，即存在使), 又因为 (这一等式详见第二个问题)因此, ②，故知. 更进一步，由于 故，或者我们可记 ③ ③式应该说是关于素数分布的最基本的等式之一，由它可以导出许多有用的结果. 现在，我们就来证明定理2的加强形式: 【定理3】：其中,而， (注:说明收敛) 【证明】：我们有 （其中在上仅在t在为素数时不可微，然而当t为素数时可以形式得认为此时；这一步运用了Abel求和的思想）,从而利用分部积分公式可得: 又因为,因此我们就得到了定理3！ 二.关于: 对大于2的实数x，令为不大于x的素数个数,C.F.Gauss在一百多年前提出了著名的猜想： 【素数定理】：. 我们先来简要回顾一下素数定理的提出与解决过程： 1850年，Chebyshev证明：存在正常数使; 1859年，Rieman在其论文中提出素数定理与Rieman的函数的关系(，在复分析中可将解析开拓至全体复数s），将数论与复变函数联系在了一起.(Euler恒等式已初步体现了分析思想)1896年，Hadamard和Poisson各自独立地运用复分析证明了素数定理.（其中一个关键点是的零点s的实部必小于1而大于0，而Riemann猜想是说这样的零点s的实部均为）; 1896年，Selberg和Erdos独立给出了素数定理的初等证明.我们将不会证明素数定理，只因复分析直观而艰深；初等方法复杂而难以理解.在这一节中，我们将讨论Chebyshev不等式，并以此引入一些基本的解析数论技巧. 【定理4(Chebyshev)】：设，则. 【证明】：以, 则 ④, (注意pm时，M中恰含一个p) 而对, 代入④知,也即, 另一方面，, 于是知 ⑤, 取，由⑤并对较小的x作检验即可得左半边不等式;再来证右半边，同样由④知,又,故知 ⑥ , 同理考察 ⑦, 现在右半式对成立，而当时递增，故只须考虑,利用⑥⑦并对右半式归纳知：（经检验对均成立）若，则 若，类似可证！ 于是我们证明了Chebyshev不等式，也就说明了素数的上密度为0. 顺便指出，由④我们得到. 考虑,于是结合归纳法（具体细节略去）可知 ⑦,这是一个很好的渐近公式，尽管我们将看到，应有 【定理5】：素数定理. 【证明】： ⑧,余下只需估计, 事实上， ⑨ 结合⑧⑨即知定理3.3成立！ Erdos和Selberg中素数是否有无穷多个？（这和陶哲轩的定理惊人地类似，k是“素数”和“等差数列”颠倒了一下）,我们有： 【定理6(Dirichlet 1837)】：设中有无穷多个素数. 在这里，先来讨论Dirichlet定理的一些特殊情况，先从Euclid方法谈起： 【定理7】：存在无穷多个模3余2的素数，也存在无穷多个模4余3的素数. 【证明】：首先这样的素数必存在，假设有, 考虑，它必含有一个模3余2的素因子，且异于，对模4余3，同样地考虑既可！下面我们