0. 前言

本篇文章会从狄利克雷卷积的角度，讨论莫比乌斯函数与欧拉函数的相关性质。

或者说就是利用狄利克雷卷积重新证一遍这两个函数的性质以及弄出几个新的式子。

其实我觉得这块还是挺妙的，也可能是我做 DP 和数据结构做疯了（

1. 前置知识

首先您需要知道欧拉函数，狄利克雷卷积，莫比乌斯函数+莫比乌斯反演。

如果不知道，可以搜索别人的博文或者前往我的博文进行学习：

数学/数论专题-学习笔记：欧拉函数
数学/数论专题-学习笔记：狄利克雷卷积
数学/数论专题-学习笔记：莫比乌斯反演

接下来是一些必要的前置知识与性质，有些前面的博文有但是我会再提一遍。

[A][A][A] 表示 AAA 为真时值为 1，否则为 0。

五类数论函数：

单位（元）函数/元函数 ϵ(n)=[n=1]\epsilon(n)=[n=1]ϵ(n)=[n=1]。
常数函数 I(n)=1I(n)=1I(n)=1，或者记作 1(n)=11(n)=11(n)=1。
恒等函数 id(n)=nid(n)=nid(n)=n。
欧拉函数 φ(n)=∑i=1n[gcd⁡(i,n)=1]\varphi(n)=\sum_{i=1}^{n}[\gcd(i,n)=1]φ(n)=∑i=1n[gcd(i,n)=1]
莫比乌斯函数 μ(n)\mu(n)μ(n)。

两个基础定义：

积性函数：对于数论函数 f(n)f(n)f(n)，若 gcd⁡(i,j)=1\gcd(i,j)=1gcd(i,j)=1 时有 f(ij)=f(i)f(j)f(ij)=f(i)f(j)f(ij)=f(i)f(j)，则 f(n)f(n)f(n) 是积性函数。特别的，若 gcd⁡(i,j)≠1\gcd(i,j) \ne 1gcd(i,j)=1 时仍有 f(ij)=f(i)f(j)f(ij)=f(i)f(j)f(ij)=f(i)f(j)，那么 f(n)f(n)f(n) 是完全积性函数。
逆元：对所有 f(1)≠0f(1) \ne 0f(1)=0 的函数，如果 f∗g=ϵf*g=\epsilonf∗g=ϵ，那么 ggg 是 fff 的逆元，记作 f−1f^{-1}f−1。

一个基础性质：

设 f(n),g(n)f(n),g(n)f(n),g(n) 是积性函数，则 f∗gf*gf∗g 还是积性函数。
对任意数论函数 f(n)f(n)f(n)，f∗ϵ=ff*\epsilon=ff∗ϵ=f

2. 正文

先看莫比乌斯函数。

首先，莫比乌斯函数有个性质，就是 I∗μ=ϵI*\mu=\epsilonI∗μ=ϵ，即 μ=I−1\mu=I^{-1}μ=I−1。

然后令 g=I∗fg=I*fg=I∗f，根据 f=f∗ϵ=f∗I∗μ=g∗μf=f*\epsilon=f*I*\mu=g*\muf=f∗ϵ=f∗I∗μ=g∗μ 我们就得到了莫比乌斯反演的式子。

从狄利克雷卷积角度，很容易证明 ∑d∣nμ(d)=[n=1]\sum_{d \mid n}\mu(d)=[n=1]∑d∣nμ(d)=[n=1]，因为 I∗μ=ϵI*\mu=\epsilonI∗μ=ϵ 展开就是这个式子。

对于另一个莫比乌斯反演的式子，就是新定义 t=f⊕gt=f\oplus gt=f⊕g 为 t(i)=∑i∣nf(n)g(ni)t(i)=\sum_{i \mid n}f(n)g(\dfrac{n}{i})t(i)=∑i∣nf(n)g(in) 然后推式子。

然后就没什么新鲜的性质了。

然后是欧拉函数。

证明一个性质：φ∗I=id\varphi*I=idφ∗I=id，即 ∑d∣nφ(d)=n\sum_{d \mid n}\varphi(d)=n∑d∣nφ(d)=n。

首先因为 φ,I\varphi,Iφ,I 都是积性函数，故 φ∗I\varphi*Iφ∗I 还是积性函数，因此只需要证明 (φ∗I)(pk)=pk(\varphi*I)(p^k)=p^k(φ∗I)(pk)=pk 即可，其中 ppp 是质数，k≥1k \geq 1k≥1。

这玩意的证明就是根据 φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}φ(pk)=pk−pk−1，然后将这个 (φ∗I)(pk)(\varphi*I)(p^k)(φ∗I)(pk) 展开就可证明了。

狄利克雷卷积的优势就在于证明积性函数这一步直接就证完了，没必要暴力展开。

根据这几点开始搞事情，我们发现莫反的展开式与上面欧拉函数的性质展开式貌似很像。

g(n)=∑d∣nf(d)⇒f(n)=∑d∣ng(d)μ(nd),n=∑d∣nφ(n)g(n)=\sum_{d \mid n}f(d)\Rightarrow f(n)=\sum_{d \mid n}g(d)\mu(\dfrac{n}{d}),n=\sum_{d \mid n}\varphi(n)g(n)=∑d∣nf(d)⇒f(n)=∑d∣ng(d)μ(dn),n=∑d∣nφ(n)。

因此如果将 ggg 替换成 ididid，将 fff 替换成 φ\varphiφ，我们发现上述式子依然成立，因为 id=I∗φid=I*\varphiid=I∗φ，然后带入莫反式可得 φ=id∗μ\varphi=id*\muφ=id∗μ，这就是 φ\varphiφ 与 μ\muμ 的关系。

展开一下得到：

φ(n)=∑d∣ndμ(nd)\varphi(n)=\sum_{d \mid n}d\mu(\dfrac{n}{d})φ(n)=d∣n∑dμ(dn)

另外，变一下得到 φ(n)=∑d∣nndμ(d)\varphi(n)=\sum_{d \mid n}\dfrac{n}{d}\mu(d)φ(n)=∑d∣ndnμ(d)，然后两边同时除以 nnn，得到：

φ(n)n=∑d∣nμ(d)d\dfrac{\varphi(n)}{n}=\sum_{d \mid n}\dfrac{\mu(d)}{d}nφ(n)=d∣n∑dμ(d)

这两个式子可以将 μ\muμ 与 φ\varphiφ 互相转化（当然可以直接 φ=id∗μ\varphi=id*\muφ=id∗μ），顺便消去一个求和符号。

3. 总结

本篇文章从狄利克雷卷积的角度，推理了各种性质，最后得到了 φ=id∗μ\varphi=id*\muφ=id∗μ 也就是 φ(n)n=∑d∣nμ(d)d\dfrac{\varphi(n)}{n}=\sum_{d \mid n}\dfrac{\mu(d)}{d}nφ(n)=∑d∣ndμ(d)。

4. 参考资料

杜教筛 - pengym - 博客园
【学习笔记】欧拉函数&莫比乌斯函数（概念定理） - star_duster - 博客园

数学/数论专题：莫比乌斯函数与欧拉函数相关推荐

专题·莫比乌斯函数与欧拉函数【including 整除分块，积性函数，狄利克雷卷积，欧拉函数，莫比乌斯函数，莫比乌斯反演
初见安~又是好久没写博客了--加上CSP才炸了一波. 目录一.整除分块题解二.积性函数三.狄利克雷卷积四.欧拉函数五.莫比乌斯函数(mu) 六.莫比乌斯反演一.整除分块看个例题:洛谷P ...
NOI数学之提高级:欧拉定理和欧拉函数
欧拉定理详解欧拉定理详解_郝伟老师的博客--大数据.并行计算与人工智能时代-CSDN博客_欧拉定理欧拉函数与欧拉定理欧拉函数与欧拉定理_leader_one的博客-CSDN博客_欧拉定理欧拉定 ...
CCPC-2017 杭州站B丨HDU - 6265丨数论丨积性函数丨欧拉函数丨狄利克雷卷积丨思维变换
[参考博客]@WJHKDGHP ccpc2017杭州站 B [参考博客]@灬从此以后灬 2017 CCPC 杭州 HDU6265B 积性函数特别感谢以上两位博主,让我看懂了许多细节. 交题网址(HD ...
数论之互质与欧拉函数
文章开始前先给大家安利我学长以前写的数论的blog:aliayc 文章目录互质欧拉函数质因数分解求欧拉函数筛法求欧拉函数性质积性函数定义性质题目互质定义 ∀ a , b ∈ N ...
数论 ——— 费马-欧拉定理（欧拉函数）
百度百科 - 欧拉定理欧拉定理主要是这个公式 (a,n)≡1的条件下(即a,n互为质数)满足: 其中φ**(n)为欧拉函数**,φ(n)表示在不超过n的正整数中与n互质的数的个数例如 φ(1) = ...
数论毕达哥斯拉三元组 + 欧拉函数 + 容斥原理 hdu3939
涉及的知识点还是挺多的,这题时间特卡.... 1.毕达哥斯拉三元组: 三元组(a,b,c),其中a,b,c无公因数,且满足a² +b² =c². a为奇数,b为偶数,c为奇数可以得到如下勾股数组定理 ...
中gcd函数_欧拉函数φ(n)的计算及欧拉定理
1 欧拉函数定义在数论中,对正整数n,欧拉函数φ(n)是小于或等于n的正整数中与n互质的数的数目.此函数以其首名研究者欧拉命名,它又称为φ函数(由高斯所命名)或是欧拉总计函数(totient fun ...
【欧拉函数】欧拉函数计算及打表
文章目录一.欧拉函数简介二.欧拉函数计算三.欧拉函数值打表四.练手题目一.欧拉函数简介在数论中,对正整数n,欧拉函数是小于或等于n的正整数中与n互质的数的数目(因此φ(1)=1).此函数以 ...
AcWing 874. 筛法求欧拉函数（欧拉函数）
题目链接 https://www.acwing.com/problem/content/876/ 思路对于一个数x如果是质数,那么它的欧拉函数就为x−1x-1x−1,对于其他合数我们可以将其拆成最小 ...

数学/数论专题：莫比乌斯函数与欧拉函数

数学/数论专题：莫比乌斯函数与欧拉函数（进阶）