Number Theory 4.3 Prime Examples

存在无限多个素数，欧几里德递归证明：

P_n = P₁P₂...P_n-1 + 1，当 n≥1 

前 n-1个素数中没有能除尽 P_n的，因为都每个能除尽 P_n-1。

形如：2^P-1 （P是素数）的数称为Mersenne numbers，中文名为梅森数

如果该梅森数也是素数的话，就叫梅森素数。

如果 n是合数，则数 2ⁿ-1不可能是素数。

证明为：2^km - 1 = (2^m -1)(2^m(k-1) + 2^m(k-2) + ... + 1)

但当 p是素数时，2^p -1不总是素数。

如最小的非梅森数 2¹¹ -1 = 2047 = 23*89

http://acm.zju.edu.cn/show_problem.php?pid=2400

 

有个渐近公式，第 k个素数 P_k ≈ k lnk

这意味着当k→∞， P_k / k lnk → 1

则类似的可以推出 π(x)表示不超过 x的素数个数，π(x) ≈ x / lnx

当 n或 x趋向无穷大时，有更精确的估计函数。

最后讲到了Eratoshenes筛法，这个太简单了，也不唠叨了~