素数与合数

贡献者： int256

　　 由定义可以立即得到推论。

　　 在定义了素数后我们可以引入一个定理。

　　 证明：$n$ 要么自己本身就是素数，否则 $n$ 就有大于 $1$ 且小于 $n$ 的因子。不失一般性的，考虑 $n$ 的大于 $1$ 且小于 $n$ 的最小因子 $a$，则 $a$ 要么是素数，要么 $a$ 是合数。对于 $a$ 是合数的时候，则必定存在 $1<l<a$ 使得 $l|a$，而 $a|m$，故 $l|m$（整除的传递性）。这使得 $l$ 是更小的一个 $n$ 的大于 $1$ 的因子，矛盾！故 $a$ 必定是素数。

　　 这指出，$n$ 要么本身就是素数，要么可以被一个小于 $n$ 的素数 $p_1$ 整除。而 $n/p_1$ 又是一个数，要么本身是素数，要么可以被一个小于 $n/p_1$ 的素数 $p_2$ 整除，依次类推...... 最终终将得到一个 $p_{m+1}=n/p_1/p_2/\cdots /p_m$ 是一个素数。这就使得 $n$ 可以表示为各个素数 $p_1,p_2,\dots ,p_{m+1}$ 的乘积。证毕。

　　 这个证明非常简单，考虑若有有限个素数，则存在一个最大的素数 $p$，取所有小于等于 $p$ 的素数的乘积 $q=2\times 3\times \cdots \times p$，则 $q+1$ 不是任何一个小于等于 $p$ 的素数的倍数，这说明 $q+1$ 是一个新的素数，故总可以根据已有的素数得到一个新的素数，这就说明有无限个素数。

　　 我们定义符号 $\pi (n)$ 表示小于等于 $n$ 的素数的个数。

　　 证明：假设对于 $n=1,2,\cdots ,N$ 有 $p_n<2^{2^n}$，则

　　 而对于 $n\ge 4$ 的情况，考虑 $e^{e^{n-1}}<x\le e^{e^n}$，通过不等式的技巧可以得到 $e^{n-1}>2^n$ 且 $e^{e^{n-1}}>2^{2^n}$。从而 $\pi (x)\ge \pi (e^{e^{n-1}})\ge \pi (2^{2^n})\ge n$。故对于足够大的 $x$（$x>e^{e^3}$）有 $\pi (x)\ge \ln \ln x$。

　　 而对于 “不足够大” 的 $x$，可以证明不等式 $\pi (x)\ge \ln \ln x$ 都成立。证毕！

1. ^ 这里符号 $\mathbb{Z}$ 表示所有整数构成的集合。