- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
用埃氏筛法估计Pi(N)的值.doc
筛法中余项的新形式及其估计 一 ?(N)的估计
PAGE 17
筛法中余项的新形式及其估计
一 π(N)的估计
张宏马
(河南省 三门峡市 陕县)( 472100 )
( HYPERLINK mailto:sqs626467@ mailto:sqs626467@)
摘要 筛法中余项的估计问题一直是筛法研究的中心问题之一,尤其是用古老的埃氏(Eratostheesn)筛法估计π(N)的值时所产生的余项,由于其项数之阶远大于主要项之阶,一直被学者们认为是很难进行估计的,本文则利用一个十分初等的变换公式,初步实现了对这种余项上下界的估计,从而开启了研究这一问题的另一条途径.
关键词 素数, 合数,筛函数,主项,余项的估计。
中图分类号O156
引言
若用记号?(N)表示表示不大于正整数N(≥4)的正整数中素数的个数,则早在两千三百多年前的古希腊亚历山大大帝时代,当时著名的学者埃拉托塞尼(Eratostheesn)就研究了这一问题,他注意到,在自然数段1,2,3,……,N-1,N中,每项合数都至少含有一个不大于的素因子,因此,如果从(1)中依次去掉所有不大于的素数的倍数,就得到了至N之间的全部素数,这种寻找素数的方法通常被叫做“埃氏筛法”;埃氏筛法自创立以来一直没有大的发展,直到近代才被人们用一个含有项的整值多项式表述,;若利用等式[x]=x-{x}中右端替换多项式中的各项整值算式,由于简化后它有项形式如{N/x}的算式 (俗称余项), ,所以学术界普遍认为[1]568[2]732-733[3]707埃氏筛法在理论上是没有用处的,近年来,虽有学者对埃氏筛法加以研究改进[4][5][6],但鲜见对其余项进行研究者,本文作者则利用一变换公式,实现了对余项上下界的估计,现介绍于下,在本文中,一切符号或记号,除另有说明者外,均沿袭文献[3]中定义。
1用筛法估计?(N)的值时筛函数的主项及余项
埃氏筛法的思想也可用现代筛法的语言这样描述:设N4为一正整数,,集合
(1)
为不大于N的全体正整数,“筛子”,我们定义筛函数
(1.2)
是表示集合中大于N1/2的素数的个数,则由“逐步淘汰”原则,可推得
(1.3)
但以上表述方式并不能满足本文的需要,须加以改动,如果令函数
(1.4)
表示集合中“以第n个素数pn为最小约数”的合数个数,式中素数集合=,并规定当r=0时,即可将(1.3)式改记为
(1.5)
若再令函数
(1.6)
式中记号,函数
(1.7)
则可得
(1.8)
我们把叫做用埃氏筛法估计?(N)的值时筛函数的主项,而把称做筛函数的余项,并将其简记为R(N)。
2余项R(N)的新形式
定理2.1设N2为任一正整数,函数由(1.6)式定义,
(2.1)
式中素数集合Dm- Dn ={ pn+1,pn+2,…,pm },则有等式
(2.2)
证 我们先用归纳法证明下面的等式
(2.3)
(一)当n=1时,可算出
这表明当n=1时(2.3)式成立;
(二) 假设当2≤n≤k-1时(2.3)式都能成立,则当n=k时,可具休算出
(这里设)
(根据题设条件将(2.3)式等号右端各项代入上式,整理后)
(2.4)
上式最后一等号右端内容表明,当n=k时,(2.3)式仍能成立。
综合(一)、(二)的结论可推知:对任一给定的正整数N及1≤n≤m,(2.3)式总能成立。将(2.3)式右端代入(2.2)式左端各项中,整理(把花括号内分母同为的项归为第n类)后即得(2.2)式右端各项.
我们把叫做余项R(N)的新形式,用记号R*(N)表示之。
3几个必需的引理
3.1 R*(N)各项之间的内在联系
(1)设集合
① 对任一给定的n,r,相同的集合之间存在如下关系:
(3.1)
② 对一给定的n ,r,不同的集合间存在如下关系(记号|u|表示有限数集u中元素个数)
(3.2)
(2) 令记号
R*(N)的各项算式与上述记号及各个集合之间存在着以下关系式:
(3.3)
3.2几个概念的定义
(1) 把自然数段1,2,3,…,N看做是一长度为1的区间,记作IN,区间意指自然数段.(记号(b,a]表示一半开(不包括b)半闭(包括a)区间)
(2)记号表示集合B(n,r)分
文档评论(0)