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



如何证明下面的整除关系成立? 第1页

  

user avatar   travorlzh 网友的相关建议: 
      

@六院的灵猿 的回答已经非常全了,我们就不妨做一些推广:

事实上,这个问题可以拓展为:

命题: ,即n总是整除 关于h的离散Fourier变换。

证明:经过类似 @六院的灵猿 的变换,可得:

定义拉马努金和 ,则原式变换为:

事实上,拉马努金和满足:

[1]

并且 。因此,我们的命题变成了 :

对于此类问题,我们要化整为零。假设n可以被分解为a、b两个互素数,则:

这意味着 。因此我们只需要考虑证明最简单的情况,即

展开可得:

现在设 则可以分类讨论:

当r=w时:

其中最后一行可以参考 @六院的灵猿 的回答。

当r<w时:

由 可知:

而第二项可以被分解成

由于在a-h>1的情况下 ,我们仅选择 的情况进行求和:

将第一项和第二项的结果回代至(a)式,可得:

综上所述, ,撒花!!

参考

  1. ^当数论遇上分析——拉马努金和与欧拉函数的故事 - 知乎 https://zhuanlan.zhihu.com/p/166530236



  

相关话题

  数列an(定义an为71^n)是否在an中能找到以任意长度(不小于1)个1为结尾的数(均是正整数)? 
  是否存在有源有旋场,不是说有旋必定无源? 
  洛必达法则为何成为禁术? 
  为什么会对这个用三角函数的那个公式? 
  如何证明内积形式的施瓦茨不等式? 
  沃罗诺伊图(Voronoi Diagram,也称作Dirichlet tessellation,狄利克雷镶嵌 )是怎样的? 
  之前的数学家与科学家们潜心研究类似虚数、量子力学等「之前没有任何实用价值」的东西意义何在? 
  数学家在知道哥德尔不完备定理后为何还继续研究数学? 
  数学的符号系统有没有缺陷? 
  这种不等式的本质是什么? 

前一个讨论
明天考生竞,女装去会不会很尴尬?
下一个讨论
galgame里的男主与乙女游戏里的男生哪个更符合女生的审美?





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