百科问答小站 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



  

相关话题

  冰雹猜想疑惑,是不是不能被3整除的数必能回到1? 
  一个初中生,做数学作业老是偷偷地用 MATLAB 计算,如何让他知道用 MATLAB 做数学题的危害? 
  有没有可能一个数学证明是错的,然而所有人都没注意到呢? 
  代数拓扑为什么研究同调? 
  不用计算机程序,如何求1,2,…,n中所有与n互素的数的平方和? 
  根号 2 是无理数,每位小数都是 0~9 之间的数,为什么相乘之后全是 0? 
  有哪些比较魔性的函数图象? 
  球面坐标计算三重积分公式怎么来的? 
  泊松分布和正态分布有什么内在联系? 
  三分之一等于零点三三循环,而三分之一乘3等于一,用零点三三循环乘三却等于零点九九循环? 

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





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