从切比雪夫到爱尔特希——素数定理的初等证明（上）-从切比雪夫到爱尔特希:素数论初等证明

切比雪夫和艾特希——素数定理的初等证明（上） 要理解素数分布，起初得弄明白那个让人头疼的 $pi(x)$ 函数到底在干啥。别被名头吓住，它就是个统计字典：记 $S(n)$ 为小于或等于 $x$ 的所有素数个数，$pi(n)$ 就是 $S(n)$ 本身。当我们用 $x$ 去丈量这个数量时，拿到的分支就会告诉我们“大约有多少个素数”。但现实是残酷的，素数就是清一色的人，中间一个都别想，这就是素数定理要解决的终极难题：当 $x$ 趋向无穷大时，$pi(x)$ 和 $x$ 的比值到底收敛到啥子？ 切比雪夫早在 1847 年碰撞到了这个钉子，但他用的是微积分那一套，那是大数派最精通的戏法，把无限拆解成无穷小。艾特希呢，是个分析大腕，但他偏偏喜爱用初等代数，把整理论归到丢番图代数里。
这两套工具别看一左一右，但目标里没本质的区别，都是那个终极公式的结晶。
不过，切比雪夫的处理方式更像是在河床上堆沙，而艾特希是在地上用砖块搭桥，前者稳健但略显拥挤，后者直接点破本质。 先看切比雪夫的闹剧。他定义了一个函数 $phi(x)$，记作 $sum_{p le x} 1$，实际上就是 $pi(x)$ 的别名。他再想在等式两边做运算，结局发现左边是个求和，右边是个积分，这玩意儿在数学上叫“不可积”。便他启动玩个损招：定义 $psi(x)$ 为 $sum_{n le x} log p_n$。
这就好比把一堆石头堆起来，按顺序加重量。切比雪夫的伟大之处，在于他证明白 $psi(x) - sum_{p le x} log p_n$ 是个无穷小。
也就是说，去掉那些非素数的干扰项（也就是 $psi$ 那个项），剩下的就是素数本身的“真重量”。 具体如何推？欧拉早就写过 $sum_{p le x} log p_n = theta(x)$，这是个好东西。但 $psi(x)$ 跟 $theta(x)$ 哪位大哪位小，还得看 $x$ 是个啥样。
要是 $x$ 挺小，比如小于某个界，那么 $psi(x)$ 和 $theta(x)$ 可能钻牛角尖，哪位也不服哪位。
故此切比雪夫务必找一个大一点的界。他引出了一个经典的引理：对于任意 $delta > 0$，只要 $x$ 够大，$psi(x)$ 比 $sum_{p le x} log p_n$ 起码大 $delta pi(x)$。
这听起来挺虚，但实际上挺实。
这直接意味着 $psi(x)$ 的增长速度起码跟 $pi(x)$ 的幂次成正比。 这就把难题转化成了比较大小。切比雪夫知道 $theta(x)$ 跟 $psi(x)$ 的差值挺小，那就得比较 $psi(x)$ 和 $theta(x)$ 各自的增长率。他利用了一个更狠的结论：$theta(x) le psi(x) le C theta(x)$。
这实际上是在说，素数分布的波动被管住在某个常数 $C$ 的范围内，而这个常数 $C$ 是个著名的界，叫切比雪夫常数 $theta_2 = limsup frac{psi(x)}{theta(x)} = 2$。别看切比雪夫没直接算出 $pi(x) sim x / log x$ 这个精准结论，但他证明白 $pi(x)$ 的增长是指数级的。
这为后来的人后来补上后半程做了铺垫，只不过切比雪夫的推导里夹杂着大量积分变换，像喝醉了的人讲话，字句之间带着些会计账本的味道。 再看艾特希，他的路子更干净利落利落。他没有用 $psi$ 函数，而是直接从 $theta(x)$ 这个函数入手。他巧妙地把求和符号 $sum_{p le x} log p_n$ 变成了一种连乘形式。
这招在代数里叫“生成函数法”要么“狄利克雷级数”，听起来高深莫测，实际操作却是好办的乘法。艾特希证明白 $sum_{n le x} log p_n = log prod_{n le x} (1 + frac{1}{n}) dots$ 这种形式？不对，等一下。他实际上证明白 $sum_{n le x} log p_n le theta(x) le psi(x)$，并且通过代数变形，直接得出了 $theta(x) le C theta(x)$ 这个不等式。 这就有意思了。当 $x$ 极大时，$theta(x)$ 和 $psi(x)$ 的值简直一样，它们之间的差距被压缩到了 $2pi(x)$ 的极小值里。出于 $theta(x)$ 是从素数个数乘积中来的，$psi(x)$ 是从累加 $log p_n$ 得来的。艾特希把这两个路径打通了，指出它们的“本影”是一致的。
这意味着，不管你如何定义“素数重量”，甭管是加还是乘，只要 $x$ 充足大，结局都得乖乖收敛到同一个形状。 关于那个常数 $C$，艾特希后来给出了更精确的估摸。他发现 $theta(x)$ 跟 $psi(x)$ 的比值，并不像切比雪夫猜想的那样固定为 2，而是会随着 $x$ 的增大，上限可能收敛到 $e^gamma$。
这个 $C$ 代表了素数分布的“弹性系数”。具体来说，当 $x$ 趋于无穷时，$pi(x) approx frac{1}{ln x} int_1^x frac{dt}{t}$。
这个积分简直就是 $x / ln x$ 了，误差项是个更小的东西，跟 $sqrt{x}$ 要么 $x exp(-csqrt{x})$ 差不多。 实际上，切比雪夫和艾特希之间的争论，本质上是“初等”和“高级”的博弈。切比雪夫喜爱把积分换种写法，把求和变个样子，但最终还是要回到那个不可积的界限上。而艾特希呢，他直接把这个难题搬到了丢番图代数里，用乘法代替加法，用极限代替导数。
这两种方式，一阴一阳，一柔一刚，最终都得指向同一个答案：素数别看稀疏，但它们的密度遵循着 $1/log x$ 的规律。 别看这两人没能交出那个完美的“初等证明”，把误差项彻底压到 $sqrt{x}$ 以下，但他们搞定了最伟大的工作：证明白素数分布有一个确定的“骨架”。在这个骨架之下，各种分布结论，比如狄利克雷定理，都找到了它们的生长根基。
要是目前回头看，切比雪夫供给的上界是 $O((ln x)^2)$，这是一个温和的界限；而艾特希则暗示了这个界限能够被优化。目前的数学家们还在持续深挖这个关节，试图用更少的魔法打败更多的敌人，把那种看似随机的、分布式的素数规律，最终刻画成一条清楚的直线。
这个过程没有终点，出于数学的边界一直在我们仰望星空时延伸得更快，而素数定理，就是那个看不见的导航仪，指引着我们对自然最底层的理解。