百科问答小站 logo
百科问答小站 font logo



如何证明素数有无穷多个? 第1页

  

user avatar   travorlzh 网友的相关建议: 
      

经典反证法和Zeta函数欧拉乘积反证法都已经有人回答了,下面写一个自己的构造证明法:

定义Mangoldt函数 ,则有:

因此有如下关系

再利用RS积分:

可得渐近展开

重排左侧,得:

对于右侧,有

因此 。最后根据Shapiro陶伯型定理(Shapiro's Tauberian theorem)[1][2],可知存在常数K使得对于足够大得x,有:

即对于足够大得x,存在常数A和B使得

设素数计数函数 则利用RS积分,得:

因此素数有无穷多个。

附录1: 收敛证明

附录2:Shapiro陶伯型定理的另一结论及其推论

事实上对 使用Shapiro陶伯型定理还能给出一个更有意思的结论:

这可以让我们计算素数倒数和的渐近式:

现在定义 则有:

@呀嘞呀嘞 确实欧拉乘积能给出asymptotic tight bound,但似乎它没法对误差进行估计。

参考

  1. ^ Shapiro. Harold N. (1950) On the number of primes less than or equal x. Proc. Amer. Math. Soc.,/: 346-348: MR 12, 80.
  2. ^当数论遇上分析(3)——数论函数的加权平均、切比雪夫定理以及埃氏筛 - 知乎 https://zhuanlan.zhihu.com/p/272483362



  

相关话题

  如何用初等数论知识证明26是唯一夹在一个平方数和立方数间的正整数? 
  两个相邻的质数之和(除了2与3)除二得到的值是合数,有数学证明吗? 
  如何证明f(n)=n^2+n+1,则使f(n)为质数的n的值有无数个? 
  极坐标表示 5000 到 50000 之间的素数为什么会形成一条螺旋线? 
  为何常用偶数进制却少见奇数进制? 
  为什么二是质数,我感觉它好委屈啊? 
  求一个整数的所有素数因子的思路是什么? 
  (a+b)!/(a!b!) 的结果一定是整数吗?如果是,如何证明? 
  X²+Y²+Z²=114514存在多少组整数解? 
  我知道 ∑n,∑n²,∑n³ 的结果,那是否能够求出 ∑n^k(k 为正整数)的一般形式通项公式? 

前一个讨论
Lp空间上的分析学在其他数学分支有哪些应用?
下一个讨论
这个级数为什么等于ln4?





© 2025-05-29 - tinynew.org. All Rights Reserved.
© 2025-05-29 - tinynew.org. 保留所有权利