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



怎么证明关于素数的米尔斯常数A是存在的? 第1页

  

user avatar   zhi-hu-yong-hu-10-49 网友的相关建议: 
      


user avatar   liu-yang-zhou-23 网友的相关建议: 
      

我们假设有素数子列 ,存在 使得

我们试图选择一列素数,利用一系列不等式构造区间套,于是收敛到 ,这是总的思路。


当 时,

当 时,

我们令 于是得到 和 的关系

同理,对于 和 我们也有这样的关系:

(由于 是素数,所以不能取到不等式两边的上下界。而且在取 时当然越小越好。这里需要说明 的存在性,这其实是本题的难点和关键,我就不加证明的默认这个结论了,抱歉~)

考虑极限

这因为:当 时,由中值公式 于是

我们构造出了闭区间套定理所需条件,于是这样的实数 存在。


比如取素数子列

满足前文红色方框的不等式,于是

这和米尔斯常数是一致的。


摘自百度:Hoheisel和Ingham的结果保证了在任何两个足够大的立方数之间一定有一个素数,这足以证明这个不等式,如果我们从一个足够大的素数a(1)开始。从黎曼猜想,可以推出任何两个连续的立方数之间一定有一个素数,这样就可以去掉足够大的条件,并允许米尔斯素数的数列从a(1) = 2开始。



  

相关话题

  数学从小就差的人在大学有机会翻身吗? 
  如何评价同济大学版线性代数? 
  你见过哪些让你叹为观止的物理和数学问题的证明或计算方法(包括简单粗暴的数量级估算)? 
  为什么高中不直接开设高等数学、线性代数、概率统计这几门课呢? 
  如何证明:A*=A,则A的特征根为实数? 
  数值分析中割线法的收敛阶是如何证明的? 
  如何直观地理解「共轭」这个概念? 
  我想问,一个中考数学90多分,高考数学86分的人,(自己真的全力学习)还可以报学科数学么?有希望么? 
  设r是有单位元的非零环若r是有限环,则r的素理想是极大理想如何证明? 
  请问这道积分题如何证明? 

前一个讨论
有没有一种可能,现代数学系统都是错误的?
下一个讨论
你曾经看过哪些精彩的数学书?





© 2025-04-27 - tinynew.org. All Rights Reserved.
© 2025-04-27 - tinynew.org. 保留所有权利