【小组专题四：素数】pi(x)，狄利克雷关于等差数列中素数定理，梅森素数，素数证明

小组专题四 ： 素数

整除的课后习题

1. 求不超过1000且不能被3或5整除的正整数的个数
2. 求不超过1000且不能被3和5整除的正整数的个数

---

3.1 素数

• 素数的定义：

  • 素数是大于 $1$ 的正整数，并且除了 $1$ 和它本身外不能被其他正整数所整除。

• 合数的定义：

  • 大于 $1$ 的不是素数的正整数称为合数。

• 素数的无限性

  • 引理 $3.1$ 每一个大于 $1$ 的一个正整数都有一个素因子。

    • 反证法：假设存在一个大于 $1$ 的正整数没有素因子，那么大于 $1$ 且没有素因子的正整数构成的集合非空。由良序性知集合存在一个大于 $1$ 且没有素因子的最小的正整数 $n$ 。首先 $n$ 不是素数。可以写成 $n=ab$ 其中 $1<a<n,1<b<n$ . 因为 $a<n$ 所以 $a$ 一定有素因子。因此 $n$ 一定有素因子，与假设矛盾。故原命题成立。

  • 定理 $3.1$ 存在无穷多个素数。

    • 证明：假设只有有限多个素数 $p_1,p_2,\cdots ,p_n$, 其中 $n$ 是正整数。考虑整数 $Q_n$ ，它的值由这些素数的乘积加一得到，即：
      $$Q_n=p_1{p}_2\cdots p_n+1$$
      由引理 $3.1$ 得到， $Q_n$ 至少有一个素因子设为 $q$ 。

      如果 $q=p_j$ ，其中 $j$ 为某个整数且 $1\le j\le n$, 由于 $Q_n-p_1{p}_2\cdots p_n=1$， 且 $q$ 可以整除该等式的左边两项，因此 $q|1$ ，这显然是不可能的，因为 $1$ 不能被任何素数整除。

      于是 $q$ 不是 $p_j$ 的任何一个，这就与假设矛盾。

• 求素数

  • 定理 $3.2$ 如果 $n$ 是一个合数，那么 $n$ 一定有一个不超过 $\sqrt{n}$ 的素因子。

    • 证明：既然 $n$ 是合数，那么 $n$ 可以写为 $n=ab$ ，其中 $a,b\in \mathbb{Z},1<a\le b<n$。

      我们一定有 $a\le \sqrt{n}$，否则会 $ab>\sqrt{n}\cdot \sqrt{n}=n$。

      由引理 $3.1$ ，$a$ 至少有一个素因子，且 $a$ 的因子一定也是 $n$ 的因子，故显然这个素因子小于等于 $\sqrt{n}$

    • 应用：埃拉托色尼斯筛。

• $\pi (x)$ 函数

  • $\pi (x)$ 表示不超过 $x$ 的素数的个数，其中 $x$ 是正实数。

  • $\pi (10)=4,\pi (100)=25$

  • 素数定理： $\pi \sim \frac{x}{\ln x}$

  • 切比雪夫不等式： $\frac{n}{8\ln n}<\pi (n)<12\frac{n}{\ln n}$

  • 性质一：密度分布 $\underset{x\to \infty }{\lim }\frac{\pi (x)}{x}=0$

  • 性质二：二倍分布 $\pi (2n)-\pi (n)\ge 1\forall n\ge 1$

  • 性质三：哈代和利特尔伍德的猜想（现在一般认为该猜想是错误的）

    $\pi (x+y)\le \pi (x)+\pi (y)x,y\in {\mathbb{Z}}^{+}$

• 定理 $3.3$ （狄利克雷关于等差数列中素数的定理）

  • 假设 $a,b$ 是互素的正整数。那么等差数列 $an+b(n=1,2,3\cdots )$ 包含了无穷多的素数。
  • 目前为止该证明没有简单的证法（有复变量证明或者初等但较复杂的证明）。

• 已知最大的素数：

  • 梅森素数：形如 $2^p-1$ 的素数，其中 $p$ 是素数。
    • 可以使用一种特殊的测试检测出该梅森素数是不是素数，不使用试除法。
    • 目前已知最大的素数为 $2^{82,589,933}-1$ ，是第51个梅森素数。
    • 发现者是 GIMPS 志愿者 Patrick Laroche，发现时间是在 2018 年 12 月 7 日。
    • 为什么是 $2^p-1$ ？

• 素数公式

  • 定义：只产生素数的公式。
  • 关于一个变元的多项式没有这种性质。
  • 关于 $n$ 个变元的多项式不能只产生素数，其中 $n$ 是正整数。
    • 米尔斯证明存在一个常数 $\theta$ 使得函数 $f(n)=[{\theta }^{3^n}]$ 只产生素数。但是 $\theta \approx 1.3064$ ，确切值未知，不实用。
  • 可以使用概率素性检验法来生成大素数。

• 素数证明：

  • 定义：确定一个正整数 $n$ 是否是一个素数。
  • 方法 $\mathrm{I}$ ： 试除法
    • 使用不超过 $\sqrt{n}$ 的所有素数，看 $n$ 是否能被他们整除。
    • 效率不高。位运算次数至少为 $c\sqrt{n}$。
    • 200位的数检测需要亿万年。
  • 方法 $\mathrm{I}\mathrm{I}$ ： 米勒给出了一个 $O((\log n{)}^5)$ 位运算的算法。
    • 但是实在广义黎曼猜想成立的前提下实现的。广义黎曼猜想现在还只是猜想。
  • 方法 $\mathrm{I}\mathrm{I}\mathrm{I}$ ： Leonard Adleman、Carl Pomerance 、 Robort Rumely
    • 建立一个复杂度为 $(\log n{)}^{c\log \log \log n}$ 的算法。其中 $c$ 是常数。
    • 虽然不是多项式时间，但是增长十分缓慢。
    • 400位的数检测需要一秒。1000位的数检测需要一小时。
  • 方法 $\mathrm{I}\mathrm{V}$ ：M. Agrawal 和N. Kayal 、N. Saxena
    • 2002年，他们宣布找到了一个素性检验法，位运算次数 $O((\log n{)}^{12})$
    • 提出 PRIMES 属于 P
    • H. Lenstra 和 C. Pomerance 将算法的复杂度减到了 $O((\log n{)}^{6+ϵ})$ ，其中 $ϵ$ 是任意正实数。