有多少个素数?
在很久之前欧拉在定理中说“存在比任何给定的素数集合更多的素数”。
现在我们来证明这个结论:
假设只有有限多个素数, 比如K个, 2,3,5,7,……,Pk。然后欧拉说:我们令
.
设K个素数没有一个能整除M, 因为他们都能整除M-1, 于是必定有另一个素数整除M,或许M本身就是个素数, 这两种可能都与我们假设仅有2,3,5,7……,Pk,这K个素数相矛盾。
欧几里得的证明提醒我们使用如下的递归式:
.
定理欧几里得数, 此序列的前面的一些数是
.
这些全部都是素数, 但是下面的一个e5是1807=13*139, 而e6=3263443又是素数, 然而e7,e8……e17又是合数, 而剩下的en可能是素数也可