1701003579
1701003580
不得不说，质数实在是太过奇特。既然质数如此奇特，它们到底还有没有什么规律可循呢？奇怪的是，质数的分布还是有一定规律的。要找到这个规律，我们应该暂时忘记高高低低的台阶给我们带来的不快，专心看看这个楼梯的“走势”。如果我们把素数计数函数的图像缩小，我们会慢慢地看到一条比较光滑的曲线。下图是小于等于100的质数的计数函数。
1701003581
1701003582
1701003583
1701003584
1701003585
与之前的图相比，台阶的高低不平看起来没有那么明显了，如果我们再看看小于等于10亿的质数的计数函数，这条曲线还会变得更加平滑一些。
1701003586
1701003587
1701003588
1701003589
1701003590
上图的函数图像看起来像一条直线，但其实它并不是一条直线。随着这个函数的向上爬升，爬升的速度在以微小的速率减小。这说明，随着数字越来越大，质数变得越来越稀疏。也许，所谓质数的孤独，就是越往高处走越孤单、越疏离，俗话说得好：高处不胜寒。
1701003591
1701003592
随着数字越来越大，质数变得越来越稀疏。这个性质从图像上来看并不明显，但是换一个角度就能看得很清楚。在前30个正整数中，我们可以找到10个质数，也就是每3个正整数里就存在一个质数，质数的比例可达33%。而在前100个正整数中，一共有25个质数，每4个正整数里就有一个是质数，质数的比例下降到了25%。那么，前1亿个正整数里质数占多大比例呢？答案是： 5%。
1701003593
1701003594
这条看似笔直的曲线里，有着质数苍凉的命运：它们是越来越少的“濒危”物种。当然，质数不会在某一点后完全消失；沿着数轴一直向右，总还是会找到更大的质数——这一点欧几里得早已告诉了我们。质数是无穷的，但它们却越变越少，越变越稀疏。我们沿着数轴向右走得越远，就越难看到质数的身影。
1701003595
1701003596
通过拟合质数的计数函数，数论学家把质数的“孤独度”度量了出来。质数的“孤独度”由相邻两个质数之间的距离来表示，如果N是一个非常大的数，那么N附近两个相邻质数间的平均距离是lnN，即N的自然对数。（在高中数学课上，我们学过常用对数。自然对数和常用对数的性质完全一样，只不过常用对数的底数为10，而自然对数的底数为e。之所以称它为“自然对数”，是因为它在高等数学中非常常见，它总是很“自然”地出现在各个地方，这要感谢高等数学中的e了。关于e的更多知识，请参见本书的第19章。）
1701003597
1701003598
相邻质数间的平均距离是lnN。在N比较小的时候，这个公式很不准确，但随着N的增大，这个公式会变得越来越精确。当N趋于无穷大的时候，这个公式的误差百分比就会趋近于零。为了有一个更直观的认识，我们代入一些具体的数字。当N=1 000的时候，小于等于1 000的质数有168个，所以1 000以下相邻质数的平均距离是1 000/68，大约为5.9。而我们的公式lnN给出的预测值则是ln（1 000）≈6.9。也就是说，当N取1 000的时候，这个公式的误差很大，公式的预测值比实际值高17%。但当N非常大的时候，例如我们取N= 1 000 000 000，此时质数间平均距离的实际值和公式给出的预测值分别是19.7和20.7，预测值只比实际值高5%。
1701003599
1701003600
当N趋于无穷大，lnN这个公式就可以准确地预测相邻质数间的平均距离，这个结果叫作素数定理。1702年，德国著名数学家卡尔·弗里德里希·高斯首次发现了这个定理（但是，当时并未以论文形式发表这个结论），那时的高斯只有15岁。（看，在没有游戏机的年代，一个孩子的学术研究能力有多强！）
1701003601
1701003602
而本章中提到的另外两个少年——马蒂亚和爱丽丝，则以另一种方式告诉我们质数的美。我希望你可以感受到孪生质数的神奇之处。随着数字的增大，孪生质数虽然越来越稀少，却仍能坚持“存在于这个寂静的谜一样的空间里”，这种凄美简直要让我潸然泪下。你知道这有多不容易吗，一切都对它们很不利。根据素数定理，大数N附近相邻质数间的平均距离在lnN左右（N的数值很大的时候，lnN远大于2），在这样的条件下，还能有只隔一个数的孪生质数存在，这实在是一件非常神奇的事情。
1701003603
1701003604
是的，总有一些感天动地的爱情可以战胜命运。在数轴延展至极远的位置，计算机仍然帮我们找到了真爱无敌的孪生质数。目前已知的最大一对孪生质数，它们各有100 355位。
1701003605
1701003606
孪生质数猜想告诉我们，这样的数字永远不会消失。
1701003607
1701003608
但是，是否能在它们附近找到另一对孪生质数？我们只能看运气了。
1701003609
1701003610
1701003611
1701003612
1701003613
X的奇幻之旅：在现实生活中发现数学思维之美 [:1701001381]
1701003614
X的奇幻之旅：在现实生活中发现数学思维之美 第26章 群论：如何翻转才能使床垫磨损率最小？
1701003615
1701003616
我和妻子的睡眠习惯完全不一样，我们的床垫是这一事实的最佳见证者。我的妻子睡觉时喜欢在身边放好几个枕头，而且她整夜不停地翻身，所以她躺着那部分床垫几乎没有任何凹痕。而我则像木乃伊一样永远仰卧在床垫的同一个位置，结果给我身下的床垫留下了一个巨大而忧伤的“印记”。
1701003617
1701003618
床垫制造商建议顾客定期翻转床垫，以使床垫的磨损更加均匀。我想床垫制造商一定是知道有我这样的人存在，才会提出这么中肯的建议。但是，到底如何翻转床垫才是最佳的？怎么翻转才能让床垫的磨损最均匀呢？
1701003619
1701003620
1701003621
1701003622
1701003623
布莱恩·海斯在《卧室中的群论》一书中对这个问题做了详细的探讨。“卧室”和“群”这两个词汇放在一起有点儿微妙的意味，不过这里所讨论的“群”是指一些数学行为的集合，即你可以翻转或旋转床垫（翻动或旋转后的床垫必须仍能严丝合缝地嵌在床架里）的所有方式的集合。
1701003624
1701003625
通过研究床垫的翻转问题，我希望让大家对群论有一个比较全面和基本的了解。群论是数学中最百变的分支之一。从方块舞的编舞，到粒子物理的基本原理，再到尔汗布拉宫的马赛克装饰，这些东西的背后都有群论的身影。
1701003626
1701003627
1701003628