概念

算术级数

狄利克雷定理：gcd(a,d)=1 时 a+nd 中有无穷多素数，证明引入 L-函数，开创解析数论。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

算术级数解析数论

01定义

狄利克雷定理：若

\gcd(a,d)=1

，则等差数列

a,a+d,a+2d,\dots

中含无穷多个素数，且素数在各互素剩余类中渐近均分。证明首创 L-函数——解析数论的正式诞生。

互素剩余类中素数无穷且渐近均分

对模 $d$ 的狄利克雷特征 $\chi$ 定义 $L(s,\chi)=\sum\chi(n)n^{-s}$ ；核心引理 $L(1,\chi)\neq 0$ （非主特征）使对数求和 $\sum_{\chi}\bar\chi(a)\log L$ 中主项胜出。

切比雪夫偏差： $4k+3$ 型素数「暂时领先」 $4k+1$ 型；利特尔伍德证明领先会无穷次翻转——素数赛跑没有永久冠军。

素数分布推广到数域素理想（兰道）、自守形式系数（佐藤-泰特猜想）——狄利克雷的方法长成整个自守理论。

\pi(x;d,a)\sim\frac{1}{\varphi(d)}\cdot\frac{x}{\log x}\quad(\gcd(a,d)=1)

欧拉对 $4k+3$ 等特殊情形给出初等证明；狄利克雷 1837 年用 L-函数完成一般定理；1949 年塞尔伯格给出初等证明；素数赛跑由切比雪夫 1853 年观察。

密码学的素数搜索（限定形式的素数如安全素数）、本福德定律与等分布理论、解析数论中特征和估计技术的训练场。

算术级数中的素数（Dirichlet 定理）gcd(a,d)=1 时，等差数列含无穷多素数

a 首项1d 公差4n 项数20