素数，以此做为我23岁的生日特别篇（读书笔记——什么是数学）

（一）什么是素数？

一个大于1的自然数，除了1和它本身外，不能被其他自然数整除，换句话说就是该数除了1和它本身以外不再有其他的因数。（来自百度百科）素数的特殊性在于每一个整数都能表示为素数的乘积。

（二）素数是无穷的->一个构造素数的方法

大家都知道素数是无穷的，分享一个在书上看到的证明方法——反证法。

假设有个素数，现在我们构造一个数

由于每一个整数都能表示为素数的乘积，可是我们一共只有这个个素数，很显然不能被中的任何一个整除，由此推出矛盾，所以素数有无穷多个。上面的这个公式也就是一个构造素数的方法。

（三）特别的素数：每一个比1大的整数只能有一种分解为素数的组合

上面这个结论有一个很出名的证明方法，欧几里得的辗转相除法，这里讲另外一种简单方法——反证法。

假设存在比1大的整数，它有两种不同的分解为素数的组合。首先来复习在数学归纳法及其证明这篇博客中提到的一个最小自然数原理：任何一个非空正整数集都有最小元素。那么，我们可以在这里假设，存在一个最小的整数，它有两种不同的分解方法，分别为：

其中，均为素数，且我们假设。

我们应该注意到：，因为如果他们相等，约掉之后，就存在一个比小的数有两种不同的分解为素数的组合。那我们索性就假设。构造一个数

这个时候我们可以知道为的一个素数因子。同时，我们也可以对换一种代换方式：

由于

1.为的一个素数因子。

2.，且为最小的有两种不同素数分解方法的整数，所以分解的素数组合应该是唯一的。

则为的素数因子。

由于，又都是素数，所以不可能是的因子，那说明只能是 的因子。也就是说，存在一个整数，使得：

由此，推出不是素数，与假设矛盾。所以每个大于一的整数只有唯一一种分解为素数的组合。

所以对于上面这个证明，我们也有一个显而易见的推论:如果一个素数是的因子，那么它不是的因子就是的因子。

（四）在每个无穷等差数列中，素数的个数也是无穷的。

这个结论的证明据说非常复杂。但是这里可以举一个的例子，来证明在这个等差数列中，素数的个数是无穷的。

- -，不要觉得没什么价值。我觉得这个证明方法有点有趣，所以才po上来的。也是用反证法来证明。

假设我们在这个等差数列中，素数的个数是有限的，且这些素数为。那我们构造一个数：

由于在这个等差数列中，素数的个数是有限的且为，所以不是素数。

由于：

1.不是素数，所以可以分解为素数的乘积。

2.显然分解出来的素数里面不包括形式的素数。

3.考虑到所有的大于1的整数，都可以用的形式来表示。由于明显不是素数和第二条，那么就有可能是由形式的素数组成的。我们可以很简单的否认这个可能性，因为的素数因子必然至少有两个，而对于形式的数，有这样的性质：

这意味着，如果有两个以上的形式的素数因子，那么也应该是形式的数。显然矛盾。

至此，我们就证明了在这个等差数列中，素数的个数是无穷的。

是不是很interesting呀，我觉得这个方法挺特别的。

（五）现在还没解决的很出名的两个关于素数问题

1.哥德巴赫猜想（很高大上的词有木有）

任何一个大于2的偶数都可以表示为两个素数和。4=2+2,6=3+3,8=3+5....100=97+3……

2.我们注意到，有的时候素数以这样的素数对行书出现：，比如3和5,5和7,9和11,11和13,17和19,29和31……

已知素数的个数是无穷的，那么这样的素数对的个数是无穷的嘛？

其实还看到了很多有意思的关于素数的知识，今天太晚了，有机会再补吧。