文章源自略懂百科-http://wswcn.cn/25159.html
素数的定义文章源自略懂百科-http://wswcn.cn/25159.html
素数是在中小学课本里面就会出现的数学概念，它指的是只能够被 1 和它本身整除的正整数。在正整数中，2, 3, 5, 7, 11 等都是素数。同时，每一个正整数（不小于 2）都可以写成多个素数的乘积，例如文章源自略懂百科-http://wswcn.cn/25159.html
。从素数的定义可以看出，判断一个数是否是素数是需要通过乘法的。而在数学的研究历程中，数学家们同样也关心由素数之间的加法所产生的奇妙结论。文章源自略懂百科-http://wswcn.cn/25159.html
100 以内的素数表文章源自略懂百科-http://wswcn.cn/25159.html
哥德巴赫猜想（Goldbach’s Conjecture）文章源自略懂百科-http://wswcn.cn/25159.html
随着徐迟的报告文学《哥德巴赫猜想》的问世，哥德巴赫猜想在国内早已家喻户晓。其中，哥德巴赫猜想包括两个部分：文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem]每一个大于 7 的奇数都可以写成三个素数之和；[Conjecture]每一个大于 6 的偶数都可以写成两个素数之和。 文章源自略懂百科-http://wswcn.cn/25159.html
哥德巴赫的手稿文章源自略懂百科-http://wswcn.cn/25159.html
从猜想的陈述来看，如果第 2 部分是正确的，那么可以根据公式文章源自略懂百科-http://wswcn.cn/25159.html
直接得到第 1 部分是正确的，因此第 2 部分被称为强哥德巴赫猜想，第 1 部分被称为弱哥德巴赫猜想。其中哥德巴赫猜想的第 1 部分已经被彻底解决，而哥德巴赫猜想的第 2 部分目前最好的结果被称为陈氏定理（Chen’s Theorem）。用数学的语言来说，这两个定理的陈述分别是：文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem (Vinogradov)]假设文章源自略懂百科-http://wswcn.cn/25159.html
是一个奇数，令文章源自略懂百科-http://wswcn.cn/25159.html
表示关于文章源自略懂百科-http://wswcn.cn/25159.html
的计数函数，其中文章源自略懂百科-http://wswcn.cn/25159.html
都是素数。则存在一个一致有界的函数文章源自略懂百科-http://wswcn.cn/25159.html
（文章源自略懂百科-http://wswcn.cn/25159.html
）对于充分大的奇数文章源自略懂百科-http://wswcn.cn/25159.html
，有以下式子成立文章源自略懂百科-http://wswcn.cn/25159.html
备注：从以上公式可以看出，文章源自略懂百科-http://wswcn.cn/25159.html
换句话说，文章源自略懂百科-http://wswcn.cn/25159.html
弱哥德巴赫猜想成立。文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem (Chen)] 假设文章源自略懂百科-http://wswcn.cn/25159.html
是一个偶数，令文章源自略懂百科-http://wswcn.cn/25159.html
表示关于文章源自略懂百科-http://wswcn.cn/25159.html
的计数函数，其中 是素数， 表示最多为两个素数的乘积。则当 充分大的时候，有以下式子成立：文章源自略懂百科-http://wswcn.cn/25159.html
其中文章源自略懂百科-http://wswcn.cn/25159.html
备注：文章源自略懂百科-http://wswcn.cn/25159.html
在哥德巴赫猜想的研究过程中，通常数学家把偶数可表示为 个素数的乘积与 个素数的乘积之和这个问题，简称为 问题。所以，陈景润证明的 1+2 并不是指 1+2 = 3，而指的是对于每一个充分大的偶数，要么是两个素数之和，要么是一个素数加上两个素数之积。其实可以简单的理解为 或者 ，在这里 都是素数。从以上公式可以看出，1920 年，挪威数学家 V.Brun 证明了 9+9″，开启了数学家研究哥德巴赫猜想之路；1966 年，中国数学家陈景润证明了 1+2″，把素数的筛法推向了顶峰。孪生素数猜想（Twin Primes Conjecture）文章源自略懂百科-http://wswcn.cn/25159.html
在上千年的素数研究历程中，除了哥德巴赫猜想，孪生素数（Twin Primes）的研究也是数论中的一个重要课题。所谓孪生素数就是相差为 2 的两个素数，例如文章源自略懂百科-http://wswcn.cn/25159.html
等等。因此，就有人提出猜想：孪生素数有无穷多对。换句话说，如果用 表示第 个素数，那么孪生素数猜想就是文章源自略懂百科-http://wswcn.cn/25159.html
. 除了孪生素数本身之外，也有学者猜测，对于所有的正整数文章源自略懂百科-http://wswcn.cn/25159.html
形如文章源自略懂百科-http://wswcn.cn/25159.html
的素数对同样有无穷多对。于是，在网上就有人对于有限的素数对进行了计算，让大家更好地看到素数之间的分布情况。文章源自略懂百科-http://wswcn.cn/25159.html
孪生素数及其推广文章源自略懂百科-http://wswcn.cn/25159.html
下面是部分关于素数间距（小间距，Small Gaps）的结论：文章源自略懂百科-http://wswcn.cn/25159.html
1940 年，Paul Erdos 证明 使得2005 年，Daniel Goldston，Janos Pintz 和 Cem Yildirim 证明2007 年，上述结果被改进为2013 年，张益唐证明了，随后这个结果被改进到 246。文章源自略懂百科-http://wswcn.cn/25159.html
除了素数之间的小间距之外，素数之间的大间距（Big Gaps）同样也有很多结论：文章源自略懂百科-http://wswcn.cn/25159.html
1931 年，Erik Westzynthius 证明2015 年，Terence Tao 等证明对于某个 和无穷个 成立。素数定理文章源自略懂百科-http://wswcn.cn/25159.html
在研究素数的过程中，研究素数的分布规律就是这一切的关键所在。其中，素数定理则是描述素数分布的一个重要结论。类似的，关于孪生素数的分布也有一个上界的估计。文章源自略懂百科-http://wswcn.cn/25159.html
[素数定理]假设文章源自略懂百科-http://wswcn.cn/25159.html
表示不大于 的所有素数的个数，那么文章源自略懂百科-http://wswcn.cn/25159.html
[孪生素数个数的上界]假设文章源自略懂百科-http://wswcn.cn/25159.html
表示不大于 的所有孪生素数个数，那么存在常数文章源自略懂百科-http://wswcn.cn/25159.html
使得文章源自略懂百科-http://wswcn.cn/25159.html
备注：从这两个定理可以粗糙地刻画出素数与孪生素数在实数轴的分布情况，并且可以看出孪生素数相对于素数则是少很多的。因为文章源自略懂百科-http://wswcn.cn/25159.html
素数定理文章源自略懂百科-http://wswcn.cn/25159.html
孪生素数的个数文章源自略懂百科-http://wswcn.cn/25159.html
素数的性质文章源自略懂百科-http://wswcn.cn/25159.html
在中小学的竞赛部分，大家总能够接触到一个关于素数的定理。文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem (Euclid)]素数有无穷多个。文章源自略懂百科-http://wswcn.cn/25159.html
证明：假设素数是有限个，不妨设为文章源自略懂百科-http://wswcn.cn/25159.html
，那么文章源自略懂百科-http://wswcn.cn/25159.html
就是合数，但是它却不能被所有的素数文章源自略懂百科-http://wswcn.cn/25159.html
整除，所以导致矛盾。因此素数是无穷多个。证明完毕。文章源自略懂百科-http://wswcn.cn/25159.html
除此之外，在大学里面学习级数的时候，通常都会研究调和级数（Harmonic Series）的性质。所谓调和级数指的就是所有正整数的倒数和，形如：文章源自略懂百科-http://wswcn.cn/25159.html
从定积分与级数的关系可以得到文章源自略懂百科-http://wswcn.cn/25159.html
并且文章源自略懂百科-http://wswcn.cn/25159.html
也就是说，所有正整数的倒数和是发散的。文章源自略懂百科-http://wswcn.cn/25159.html
利用这种思路，其实可以分析所有素数的倒数和，也就是说文章源自略懂百科-http://wswcn.cn/25159.html
通过欧拉公式可以得到：文章源自略懂百科-http://wswcn.cn/25159.html
两边取对数可以得到文章源自略懂百科-http://wswcn.cn/25159.html
由于文章源自略懂百科-http://wswcn.cn/25159.html
，并且文章源自略懂百科-http://wswcn.cn/25159.html
,文章源自略懂百科-http://wswcn.cn/25159.html
可以得到文章源自略懂百科-http://wswcn.cn/25159.html
等式的左边是发散的，右侧的第二项是收敛的，因此右侧的第一项（素数的倒数和）是发散的。进一步地，可以得到两个结论：文章源自略懂百科-http://wswcn.cn/25159.html
这里， 是一个常数。文章源自略懂百科-http://wswcn.cn/25159.html
至此，我们得到了两个级数的定理：文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem]所有正整数的倒数和是发散的；[Theorem]所有素数的倒数和是发散的。文章源自略懂百科-http://wswcn.cn/25159.html
从第 2 个结论同样可以得到素数是无穷多个。于是，就有数学家猜测如果孪生素数的倒数和是发散的，那么孪生素数同样也是无穷多对。但是在 1915 年，数学家 Brun 证明了，孪生素数的倒数和是收敛的，这个收敛的数字也被称为Brun常数。文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem]所有孪生素数的倒数和是收敛的。文章源自略懂百科-http://wswcn.cn/25159.html
证明：通过孪生素数个数的上界公式，可以得到存在文章源自略懂百科-http://wswcn.cn/25159.html
使得对于充分大的 ，有文章源自略懂百科-http://wswcn.cn/25159.html
成立。假设素数序列文章源自略懂百科-http://wswcn.cn/25159.html
使得文章源自略懂百科-http://wswcn.cn/25159.html
都是素数，那么文章源自略懂百科-http://wswcn.cn/25159.html
，进一步可以得到文章源自略懂百科-http://wswcn.cn/25159.html
对于充分大的 成立。而右侧是收敛的，i.e.文章源自略懂百科-http://wswcn.cn/25159.html
因此，孪生素数的倒数和是收敛的。证明完毕。文章源自略懂百科-http://wswcn.cn/25159.html
备注：由于孪生素数的倒数和是收敛的，因此，通过孪生素数的倒数和来证明孪生素数有无穷多对这条路就被封死了。文章源自略懂百科-http://wswcn.cn/25159.html
在研究孪生素数的过程中，其目的是为了研究素数之间的间距究竟能有多小，也就是分析文章源自略懂百科-http://wswcn.cn/25159.html
的上界。同样的，也可以研究素数之间的间距究竟有多大，并且可以分析其量级大约是多少，此时就需要研究文章源自略懂百科-http://wswcn.cn/25159.html
[Theorem]对于充分大的 而言，在文章源自略懂百科-http://wswcn.cn/25159.html
内，素数之间的最小间隔文章源自略懂百科-http://wswcn.cn/25159.html
同时，素数之间的最大间隔文章源自略懂百科-http://wswcn.cn/25159.html
证明：考虑区间文章源自略懂百科-http://wswcn.cn/25159.html
，通过素数定理可以得到在文章源自略懂百科-http://wswcn.cn/25159.html
区间内的素数大约是文章源自略懂百科-http://wswcn.cn/25159.html
个。于是把该区间文章源自略懂百科-http://wswcn.cn/25159.html
切割成长度为文章源自略懂百科-http://wswcn.cn/25159.html
的子区间，区间的个数为文章源自略懂百科-http://wswcn.cn/25159.html
通过鸽笼原理 (Pigeonhole Principle) 可以得到此定理的结论。文章源自略懂百科-http://wswcn.cn/25159.html
备注：除此之外，证明相邻素数的间隔没有上限还可以用构造法。考虑文章源自略懂百科-http://wswcn.cn/25159.html
这 个连续的合数，所以两个相邻的素数必在文章源自略懂百科-http://wswcn.cn/25159.html
这个区间两侧。因此相邻素数的间隔没有上限，i.e.文章源自略懂百科-http://wswcn.cn/25159.html
Eratosthenes 筛法（Eratosthenes Sieve Method)文章源自略懂百科-http://wswcn.cn/25159.html
Eratosthenes 筛法是数学家 Eratosthenes 提出的一种筛选素数的方法，其思路比较简单：想要筛选出文章源自略懂百科-http://wswcn.cn/25159.html
中的所有素数，则首先把文章源自略懂百科-http://wswcn.cn/25159.html
中的所有正整数按照从小到大的顺序文章源自略懂百科-http://wswcn.cn/25159.html
来排列，然后按照如下步骤执行：文章源自略懂百科-http://wswcn.cn/25159.html
读取数列中当前最小的数 2，然后把 2 的倍数全部删除；读取数列中当前最小的数 3，然后把 3 的倍数全部删除；读取数列中当前最小的数 5，然后把 5 的倍数全部删除；（4 已经被第一步去掉了）读取数列中当前最小的数 7，然后把 7 的倍数全部删除；（6 已经被第一步去掉了）循环以上步骤直到 中所有的数被读取或者被删除。文章源自略懂百科-http://wswcn.cn/25159.html
其算法复杂度为文章源自略懂百科-http://wswcn.cn/25159.html
。文章源自略懂百科-http://wswcn.cn/25159.html
黄色的数为素数文章源自略懂百科-http://wswcn.cn/25159.html
Brun 筛法（Brun Sieve Method）文章源自略懂百科-http://wswcn.cn/25159.html
在数学界发展出各种筛法，其重要目的之一就是为了解决孪生素数猜想和哥德巴赫猜想。除了 Eratosthenes 筛法之外，数学家 V. Brun 也发现了一种筛法，后人称之为 Brun’s Sieve。其目的就是为了估计孪生素数的上界，进一步得到计算孪生素数的倒数和。其主要结论就是文章源自略懂百科-http://wswcn.cn/25159.html
其中文章源自略懂百科-http://wswcn.cn/25159.html
是一个常数，并且 Brun 通过其筛法可以得到哥德巴赫猜想中的 9+9″，在哥德巴赫猜想的发展中属于里程碑式的工作。文章源自略懂百科-http://wswcn.cn/25159.html
Question.研究素数究竟有什么用？文章源自略懂百科-http://wswcn.cn/25159.html
Answer.为了人类智慧的荣耀。文章源自略懂百科-http://wswcn.cn/25159.html
参考文献：Small and Large Gaps Between Primes, Terence Tao, Latinos in the Mathematical Sciences Conference, 2015.Bounded Gaps Beween Primes, Yitang Zhang, 2013.Additive Number Theory, Melvyn B.Nathanson, GTM 164.http://mathworld.wolfram.com/TwinPrimes.html.文章源自略懂百科-http://wswcn.cn/25159.html
文章源自略懂百科-http://wswcn.cn/25159.html
评论