主题：【原创】今天的数学（系列） -- qiaozi
家园 49天了 可怜我每天一到河里就过来瞅瞅有没有更新。打今天起，我先2天一查，再3天一查，再5天一查，7，11，13，。。。
大家猜p=? 我才会等到更新
家园 有半个月了吧，盼更新！ 家园 【原创】1.2.3 数数素数有多少之其实也没多少之…… 1.2.3 数数素数有多少之其实也没多少之老少对决篇（二）
第一章 素数
第二节 数数素数有多少
第三段 其实也没多少
第一股 老少对决（续）
很久很久以前，我们讲到Ｌｅｇｅｎｄｅｒ于１７９８年在《数论随笔》（Essai sur la Théorie des Nombres）一书中提出了一个看起来很精确（虽然很不美）的关于素数个数的估计。如果我们记π(x)为比x小的素数的个数，那么Ｌｅｇｅｎｄｅｒ同学猜测
π(x)≈x/(ln x-1.08366)
当时这是第一个关于素数个数的定量估计，所以他就很兴奋地把这个猜测放到了１８０８年出版的专著《数论》（Théorie des nombres）第二版中（这也是我为什么在上一篇文章中错把他提出这个猜测的时间当成１８０８年的原因）。
他当然有理由高兴，因为这本专著的第一版于１７９８年出版以后，其中的一个重要结果（二次互反律，我们很久很久以后将会提到）的证明被发现是不严谨的。１８０１年，一个２４岁的年轻人，一个后来上了１０马克钞票封面的年轻人，一个让后人敬仰、让同时代数学家们抓狂的年轻人，一个唤作高斯（Johann Carl Friedrich Gauss）的年轻人，严厉地指出了证明中的错误，并且给出了第一个正确的证明，并且心安理得地把这个结果纳入自己的囊中而不提Ｌｅｇｅｎｄｒｅ的功劳。可以想象，一个４９岁的著名数学家对此是如何的受伤。若干年之后，Ｌｅｇｅｎｄｅｒ写道：“这个人的厚颜无耻令人难以置信，他学富五车，完全不需要剽窃别人的发现。”（This excessive impudence is unbelievable in a man who has sufficient personal merit not to have need of appropriating the discoveries of others.）所以，Ｌｅｇｅｎｄｒｅ在１８０８年第二版中引用自己关于素数个数的定量估计，也是为了显示自己在数论上的成就。
高斯大概真是这位法国数学家的死对头。１８０６年Ｌｅｇｅｎｄｒｅ曾兴致勃勃地发表了线性拟合中的最小平方法，不料１８０９年高斯在一部著作中提到自己曾在１７９４ 年就发现了同样的方法。这次素数个数的定量估计也没能逃出这个怪圈。１８４９年高斯在给朋友的一封信里面提到，自己在１７９２－１７９３年期间（顺便说一句，高斯是１７７７年生的）无聊的时候曾经就挑出１０００个连续的自然数数其中素数的个数，并且从中发现在x附近素数分布的密度大约是1/ln x。例如，如果我们考虑10000附近的素数，那么素数的密度就大约是1/ln(10000)。知道了密度算质量（这里的“质量”就是素数个数），我们应该用密度乘以长度，或者更一般的用密度的积分表示。所以高斯的发现就是小于等于x的素数的个数大约是
其中右边的积分有一个特殊的名字，叫做对数积分，通常也记作Li(x)。从这里很容易可以看出来，Ｌｅｇｅｎｄｒｅ同学的估计只是高同学的公式的一个（不很精确和不很正确的）近似公式。
你大概会想Ｌｅｇｅｎｄｒｅ这下又该郁闷死了吧。错！也许他的数学不能与高斯这个不世出的天才相比，但是他有一个最大的优势是高斯拍马也追不上的——年龄。Ｌｅｇｅｎｄｒｅ赶在１６年前于１８３３年去世，以最有效也最无奈的方式回应了这又一次打击。所以Ｌｅｇｅｎｄｒｅ这下死了，但是没有“又郁闷”死了。
Ｍｕｓｉｃ！
天空下着雨 我从背后望着你就这样走出我的生命
曾经的承诺 只像雨里的彩虹
我受伤的心真的好痛
为什么受伤的总是我
到底我是做错了什么
我的真情难道说你不懂
为什么受伤的总是我
如何才能找到我的梦
有一天有一个她真心爱我
不过，为什么高斯一直没有发表他关于素数个数的结果呢？中间的原因我们自然可以作各种猜测，但是回头看来原因之一可能是当时的素数表还不够大。据说高斯自己为了打发时间而作的那些努力最终可以给出大至三百万的素数表，但是即使这样我们仍然有π(3000000) ≈216816，即小于三百万的素数有216816个，而根据高斯的猜测算出来的估计是
Li(x) ≈216971
作为比较，Ｌｅｇｅｎｄｒｅ的估计是216912，显然更精确一点。在这种情况下，贸然提出自己既不更精确又没有更多理论支持的估计显然不是高斯的风格。当然，他一定也选取过１０００个连续的很大的自然数去计算素数的密度，以便证明给自己。即使如此，高斯的估计终归在理论上是不能让人信服的，虽然它比Ｌｅｇｅｎｄｒｅ的那个1.08366好看多了。
今天，当我们有了计算机可以计算很大的素数表的时候，高斯估计的优越性就充分显示出来了。例如，我们还是考虑小于４百万亿亿的素数个数。前面提到，一共有大约7.839万亿亿（783964159852157952242）个素数小于四百万亿亿，而高斯的估计给出的大约是783964159852157952242.7。眼神好的同学可以比较一下它们的差别。
尽管高斯的估计是如此精确，它的证明却很不容易。没有证据表明高斯自己知道怎么证明它，似乎也没有人知道，直到高斯的一个伟大的学生当上了德国科学院院士……
敬请期待下集
第二股 一战成名
关键词(Tags): #素数， 元宝推荐：爱莲,家园 高斯太牛逼了 不得不顶贴。
家园 这个人的厚颜无耻令人难以置信，他学富五车，完全不需要剽窃 这真不知道是考高斯还是骂高斯啊
天才就有这个待遇.哭笑不得
家园 当然是在骂高斯 高斯不喜欢发表，所以被很多人骂过。
家园 顶一下 家园 好久没更新了 老板，再不换带子我们走了啊
家园 多么可怜的legendre 绝不仅仅是被Gauss郁闷了。这一辈子，就是在为别人铺路啊。
Most of his work was brought to perfection by others: his work on roots of polynomials inspired Galois theory; Abel's work on elliptic functions was built on Legendre's; some of Gauss' work in statistics and number theory completed that of Legendre.In 1830 he gave a proof of Fermat's last theorem for exponent n = 5, which was also proven by Dirichlet in 1828.
In number theory, he conjectured the quadratic reciprocity law, subsequently proved by Gauss. He also did pioneering work on the distribution of primes, and on the application of analysis to number theory. His 1796 conjecture of the Prime number theorem was rigorously proved by Hadamard and de la Vallée-Poussin in 1898.
Legendre did an impressive amount of work on elliptic functions, including the classification of elliptic integrals, but it took Abel's stroke of genius to study the inverses of Jacobi's functions and solve the problem completely.
引自wiki（http://en.wikipedia.org/wiki/Adrien-Marie_Legendre）
家园 WHAT'S THIS? His 1796 conjecture of the Prime number theorem
家园 高斯的做法确实比较那个 如果他认为那些结果值得发表，就应该早发表，否则就闭嘴，等到人家已经发表了，才写信给人说俺早于某某年就发现了，什么意思？争功？
也就是他的名气大，否则谁鸟他。