关于ψ(x)的一个已知结果的归纳证明.pdfVIP

数学小品 关于 ()的一个已知结果的归纳证明 AndreaVietri 对于 ∈[1，∞)，由 妒()=∑ [1ogp]logP p索，vx 定义的 Tchebycheff(切比雪夫) 函数是研究素数的一个基本工具．它可以解释为直到 的所有整数的最小公倍数的对数．关于妒的一个有用的事实如下： 定理 对于任意正整数 ，有 (詈)g 得NA=述结果的经典方法 (见 Shapiro[1，p．327-3291)涉及初等组合学．这里我们提 供一个利用归纳法的证明． 证明 我们用z(x)表示 (1)左端的和式．我们对 使用归纳法．首先，我们注意到 Z(1)：0=log1．现在，根据素数幂分解，对于固定的 +1 2，我们有 +1=口口 … 口；。， 其中qlq2… q是素数，而每个 ej是正 (整)数．当整数 i跑遍 [1，]时，可能发 生 3种情形： 1．如果对于某个 1 J 8和 1 r ej成立 + 1 ． 可 ’ 那么我们得到 (半)一砂(詈)扩砂( ])扩 g％． 2．如果 (+1)／i是一个大于 1的整数，但不是一个素数幂，那么由 的定义，有 (半)=( )=(II)=(詈)． 3．如果 (X+1)li不是一个整数，那么对于某个 1 c≤ 有 +1=ib+c，这蕴涵着 [半]． c下转BI页 译自：TheAmer．Math．Monthly，Vo1．109(2002)，No．4，p．390-391，AnInductiveProofofaKnown Resultabout )，AndreaVietri．Copyright@2002theMathematicalAssociationofAmerica． Reprintedwithpermission．Allrightsreserved．美国数学协会授予译文出版许可． ． 94 ． 是存在的．例如： (ABc)(AB)一c(ABc)A—B—c(AC)一B(AB)一C 等等． 这样的 语“句”可以用来描绘 轨“道设计”演出的真实场面．当然，还有许许多多其他 的例子．事实上，作为乐谱 (如上所述，其中只含有书面说明)开“放”性质的一个结果， 每场表演必然以不同的方式落幕． 正是意识到这独一无二的要素，音乐节的导演们安排了 3个完全不同的合奏连续首 映 3个夜晚．第 1个夜晚，以打击乐六重奏的形式表演 轨“道设计”，由SoPercussion Quartet乐团，DougPerkins和 BobbyPrevite担当主演；次夜，是由ForbiddenFlute乐 队带来的三重奏形式演绎；第 3个夜晚，是由BrooklynRider(布鲁克林骑士)乐队带来 的弦乐四重奏形式演绎．三者差异颇大，每一个都有 自己的轮廓和动态形状．打击乐广 阔而安详，长笛零星而婉转，弦乐四重奏滑稽与快乐交替．演员们在表演时高度专注， 后来他们为有机会从零开始创作属于他们 自己的作品而深感满意． 随着首映临近，由于表演指南能够同样好地适用于舞者，演员，杂耍者或其他类型 的表演者，因此我认定没有任何理由将 轨“道设计”限制在音乐实现上．我的一位朋友， 编舞者 AbigailLevine，曾经帮助我精炼过一些想法．她参加了表演，并决定将它编成舞 蹈，使用在她与MovementResearch合作的即将在纽约Judson教堂上演的项 目中．她配 上了一个有 3个表演者的舞蹈，取名为 距“离度量’，而我作为一名音乐家和 Forbidden Flute乐队一起参与其中．于是，Helmut曾提及的引力 编“舞艺术”最终有机会得以实时 显现