定理 函数 i d id id和 μ \mu μ的狄利克雷卷积等于 ϕ \phi ϕ。
证明
∑
d
∣
n
i
d
(
d
)
μ
(
n
d
)
=
∑
d
∣
n
d
⋅
μ
(
n
d
)
\sum\limits_{d\mid n}id(d)\mu(\frac{n}{d})=\sum\limits_{d\mid n}d\cdot\mu(\frac{n}{d})
d∣n∑id(d)μ(dn)=d∣n∑d⋅μ(dn)
假设
n
n
n的标准分解式为
∏
i
=
1
m
p
i
r
i
\prod\limits_{i=1}^mp_i^{r_i}
i=1∏mpiri,那么有:
∑
d
∣
n
i
d
(
d
)
μ
(
n
d
)
=
n
−
n
p
1
−
n
p
2
−
.
.
.
−
n
p
m
+
n
p
1
p
2
+
.
.
.
+
n
p
m
−
1
p
m
−
.
.
.
+
(
−
1
)
m
=
n
[
(
−
1
)
m
p
1
p
2
.
.
.
p
m
+
(
−
1
)
m
−
1
p
1
p
2
.
.
.
p
m
−
1
+
.
.
.
+
1
p
1
p
2
.
.
.
p
m
]
=
n
(
1
−
p
1
)
(
1
−
p
2
)
.
.
.
(
1
−
p
m
)
p
1
p
2
.
.
.
p
m
\sum\limits_{d\mid n}id(d)\mu(\frac{n}{d})=n-\frac{n}{p_1}-\frac{n}{p_2}-...-\frac{n}{p_m}+\frac{n}{p_1p_2}+...+\frac{n}{p_{m-1}p_m}-...+(-1)^m=n[\frac{(-1)^mp_1p_2...p_m+(-1)^{m-1}p_1p_2...p_{m-1}+...+1}{p_1p_2...p_m}]=n\frac{(1-p_1)(1-p_2)...(1-p_m)}{p_1p_2...p_m}
d∣n∑id(d)μ(dn)=n−p1n−p2n−...−pmn+p1p2n+...+pm−1pmn−...+(−1)m=n[p1p2...pm(−1)mp1p2...pm+(−1)m−1p1p2...pm−1+...+1]=np1p2...pm(1−p1)(1−p2)...(1−pm)
最右侧实际上就是欧拉函数:
n
(
1
−
p
1
)
(
1
−
p
2
)
.
.
.
(
1
−
p
m
)
p
1
p
2
.
.
.
p
m
=
n
1
−
p
1
p
1
1
−
p
2
p
2
.
.
.
1
−
p
m
p
m
=
n
(
1
−
1
p
1
)
.
.
.
(
1
−
1
p
m
)
=
ϕ
(
n
)
n\frac{(1-p_1)(1-p_2)...(1-p_m)}{p_1p_2...p_m}=n\frac{1-p_1}{p_1}\frac{1-p_2}{p_2}...\frac{1-p_m}{p_m}=n(1-\frac{1}{p_1})...(1-\frac{1}{p_m})=\phi(n)
np1p2...pm(1−p1)(1−p2)...(1−pm)=np11−p1p21−p2...pm1−pm=n(1−p11)...(1−pm1)=ϕ(n)
于是得证。