首页 > 其他分享 >欧拉反演与它的证明

欧拉反演与它的证明

时间:2022-08-30 19:56:24浏览次数:62  
标签:limits 卷积 质数 varphi 证明 反演 积性 prod 欧拉

就是证明,用狄利克雷卷积做,欧拉反演狗都不用/oh

\(\sum\limits_{d|n}\varphi(d) = n\)。

长得很像狄利克雷卷积,令 \(g(n)\) 恒等于 \(1\),作 \(\varphi(n)\) 与 \(g(n)\) 的狄利克雷卷积。

\((f*g)(n) = \sum\limits_{d|n}\varphi(d)\)。

好没用的卷积

然后怎么做呢?注意到 \(f, g\) 都是积性函数,则 \(f*g\) 也是积性函数。我们可以考虑证明一些关于 \(n\) 为质数的结论然后乘起来。

对于 \(n\) 为质数原命题显然成立。

对于 \(n\) 为质数整数次幂,设 \(n = p^m = \prod\limits_{i = 1}^m p\)(\(p\) 为质数,\(m\) 为正数),则 \((f*g)(n) = \prod\limits_{i = 1}^m (f*g)(p) = \prod\limits_{i = 1}^m (f*g)(p) = \prod\limits_{i = 1}^m p = p^m\)。

对于 \(n\) 为任意整数,设 \(n\) 唯一分解后为 \(p_1^{c_1}p_2^{c_2}\cdots p_k^{c_k}\),则 \((f*g)(n) = \prod\limits_{i = 1}^k (f*g)(p_i^{c_i}) = \prod\limits_{i = 1}^k p_i^{c_i} = n\)。

原命题得证。

其实知道质数成立,然后是积性函数,其实就证明出来了。

所以你看,这是很简单的。

标签:limits,卷积,质数,varphi,证明,反演,积性,prod,欧拉
From: https://www.cnblogs.com/thirty-two/p/16640604.html

相关文章

  • 【瞎口胡】多步容斥和二项式反演
    多步容斥多步容斥是指,对于\(n\)个集合\(A_1,A_2,\cdots,A_n\),有\[|A_1\cupA_2\cdots\cupA_n|=\sum\limits_{1\leqi\leqn}|A_i|-\sum\limits_{1\leqi<......
  • 一个字符串回文子串数量最大的排列 证明
    CF1063A一个字符串回文子串数量最大的排列证明Problem-1063A-Codeforces若将一个字符串任意排列,要使其中的回文子串数量最多,按字典序排序是一种方法。首先,在一个......
  • 莫比乌斯反演
    莫比乌斯反演莫比乌斯函数定义将\(n\) 质因数分解\[n=\prod_{i=1}^{k}p_i^{\alpha_i}\]则\[\mu(n)=\left\{\begin{matrix}1,&n=1\\0,&\exists\alph......
  • Codeforces Round #783 (Div. 2) E (证明+构造)
    一般这种题我们都是先推导下界再来构造那我们假设我们当前放置了k位半皇后我们只考虑横竖被吃掉并且贪心的(类似于八皇后的选择)横竖都不重叠我们把他固定在左上角的kk......
  • 欧拉路径
    https://www.acwing.com/problem/content/1621///欧拉图:连通&&所有点的度数为偶//半欧拉图:连通&&只有2个点的度数为奇其余度数为偶//非欧拉图:else#include<iost......
  • [莫比乌斯反演]一些常用公式总结
    一.莫比乌斯反演公式$$$\qquad\qquad\qquad\qquad\qquad$设$F(n)=\sum\limits_{d|n}f(d)$,那么有$f(n)=\sum\limits_{d|n}\mu(d)F(\frac{n}{d})$其中$\mu(d)$......
  • 线性代数 | 记两个特征值/特征向量证明题
    目录1从方阵的秩,到\(|λE-A|=0\),再到\((λE-A)x=0\)基础解系2反证法证明线性无关,矩阵相似的传递性1从方阵的秩,到\(|λE-A|=0\),再到\((λE-A)x=0\)基础解系题意:......
  • 狄利克雷卷积 + 莫比乌斯反演
    一.狄利克雷卷积对于两个数论函数,我们定义定义狄利克雷卷积:$*$那么对于数论函数\(f(x)\)和\(g(x)\),他们的狄利克雷卷积结果为\(h(x)\)定义为:\[h(x)=\sum......
  • ios开发之--App Store 上架错误:缺少出口合规证明
    接手的老swift项目要提交到美国,需要添加出口合规证明,解决方法如下:1、构建版本未使用加密,请在Info.plist文件中使用键字符串值,这样无需为下一构建版本提供出口合规证明......
  • 欧拉计划
    \(\texttt{Problem1}\)\(\texttt{Describe}\)在小于\(10\)的自然数中,\(3\)或\(5\)的倍数有\(3,5,6\)和\(9\),这些数之和是\(23\)。求小于\(1000\)的自然数中......