黎曼猜想提出：即所有的非平凡零点都应该位于直线formula_5（“临界线”）上。formula_6为一实数，而formula_7为虚数的基本单位。沿临界线的黎曼ζ函数有时通过Z-函数进行研究。它的实零点对应于ζ函数在临界线上的零点。素数在自然数中的分布问题在纯粹数学和应用数学上都很重要。素数在自然数中的分布并没有简单的规律。黎曼（1826－1866）发现素数出现的频率与黎曼ζ函数紧密相关。1901年Helge von Koch指出，黎曼猜想与强条件的素数定理formula_8等价。现在已经