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



如何证明数列sinn^2发散? 第1页

  

user avatar   liang-jian-zhe-66 网友的相关建议: 
      

题主应该是知道了 发散进而想探寻对于一般的整系数多项式 有 发散。然而出于完整性考虑在这里还是先证明关于 发散的一个(更强)的结果:

关于n的数列 上是稠密的

为了证明这个结论我们先考虑一个非常著名的结果:如果 为无理数,则所有形如 上稠密。任取有理数 ,设其写成既约分数形式为 ,对于任意的 ,考虑 使得 。令 (即取 的小数部分),由于 是无理数,对于所有整数 , 。故 。令 将一个小数映射到其仅保留前 位的十进制表示。注意 的像集合是有限的,从而 也是。故存在 使得 。于是 (说得更像人话一点,上面的论述也可以直观地表述成存在 使得 的前m位小数相同,但是这样需要处理 为负数的情形)。注意到 从而存在 使得 ,从而 。取 , 即可使得 。

笔者隐约记得在Knuth的The Art Of Computer Programming中见到过关于 的小数部分随着n的增大在 上均匀线性分布的结论。这个性质很适合一维Hash Map。

有了上面的 稠密性的结果,我们可以证明 的稠密性了。由于 是无理数, 也是无理数,从而 和 存在 使得 ,于是 ,这说明整数模除 的像在 上稠密。 函数的连续性(更严格的说是在 上的一致连续性,当然,连续函数在紧集上是一致连续的)说明 在 上稠密。上面的结论是对 证明的,引理几乎不需要修改就可以加入 的限制,从而对于自然数n也是成立的。

上面关于 稠密性的证明可以轻松推广到形如 的情形。留给题主自己证明吧,已经2点多了QAQ...

接下来就是 的了。如果 收敛到 ,那么 至少不会稠密,而是聚集到 这两个点附近。如此一来

也只会聚集到有限个值附近,这与 稠密矛盾。

一开始提到的 发散的证明也是类似的,关于 的次数进行归纳即可。具体证明请参看

上面的证明也是照搬math stackexchange中的回答,在此感谢Michaelhagen-von-eitzen的简明回答。




  

相关话题

  如何完成这道数学序列证明题? 
  可以留下一个优美的恒等式吗? 
  威尔逊定理中 p=4是一个例外,为什么?是否存在其他非质数的例外? 
  无限循环小数的循环节长度是否可以取任意正整数值?如果可以,不同循环节长度的无限循环小数是否均匀分布? 
  如何证明“若整函数 f(z) 的值均位于右半平面,则f(z)恒为常数”? 
  中国大学数学与物理教育有哪些地方是三不管的? 
  如何评价知乎用户 @证明 的哥德巴赫猜想证明? 
  证明如果幂级数在收敛圆上一点收敛,那么从圆内沿任意不与圆周相切的方向逼近时有极限? 
  积分不就是找反导数吗,为什么还有稀奇古怪的积分技巧? 
  是否存在一不等于0的完全平方数,使得它成为连续质数个整数之积? 

前一个讨论
如何显式构造出包含于[0, 1]Q的正测度闭集F?
下一个讨论
圆内均匀随机地取三个点,三点确定的新圆在旧圆内的概率是多少?





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