积性函数的性质及证明 + 线性筛

引言

在数论问题中，积性函数有着广泛的应用。
如在莫比乌斯反演问题中，函数变换之后如何快速维护前缀和往往是最重要也是最难的一步。如果维护的函数具有积性，那就可以尝试利用线性筛在$O(n)$的时限内完成预处理，从而达到优化复杂度的神奇作用。
本文的大部分相关性质及公式来自：《线性筛与积性函数》- 贾志鹏
博主将试着证明其中的性质公式，严谨性可能欠缺，其目的主要是帮助大家理解并记忆。

---

积性函数的定义和性质

定义： 对于一个定义域为$N^{+}$的函数$f$，对于任意两个互质的正整数$a,b$，均满足$f(ab)=f(a)f(b)$，则称函数$f$为积性函数
若对于任意整数$a,b$都有$f(ab)=f(a)f(b)$，则函数$f$被称为完全积性函数。

性质：
(1)对于任意积性函数$f$，均有$f(1)=1$

证明：因$1$与任何数都互质，假设存在一个正整数$a$满足$f(a)!=0$，故由定义：$$f(a)=f(1\ast a)=f(1)f(a)$$
因$f(a)$不为$0$，故等号两端同时消去一个$f(a)$，得：
$$f(1)=1$$
证毕。

(2)对于一个大于$1$的正整数N，设$N=\prod p_i^{a_i}$，$p_i$为互不相同的素数。那么对于一个积性函数$f$来说，有：
$$f(N)=f(\prod p_i^{a_i})=\prod f(p_i^{a_i})$$
若$f$完全积性，则$$f(N)=\prod f(p_i{)}^{a_i}$$

证明：由积性和完全积性的定义易得。

---

欧拉函数$\phi$

定义：对于正整数$n$，$\phi (n)$是小于n的正整数中与n互质的个数。

定义式：若$n=\prod p_i^{a_i}$
$$\phi (n)=n\prod (1-\frac{1}{p_i})$$

性质：
(1)欧拉函数为积性函数，而不是完全积性函数。

证明：设两个互质的正整数$n,m$
则：
$\phi (n)=n\prod (1-\frac{1}{p_i})$
$\phi (m)=m\prod (1-\frac{1}{p_i^{\prime }})$
$\phi (n)\phi (m)=n\prod (1-\frac{1}{p_i})m\prod (1-\frac{1}{p_i^{\prime }})=nm\prod (1-\frac{1}{p_i})(1-\frac{1}{p_i^{\prime }})$
因$n,m$互质，故 $p_i,p_i^{\prime }$ 各不相同，且均为$nm$的质因子。

故推出：
$\phi (nm)=\phi (n)\phi (m)$
积性函数性质得证。
而完全积性由上证明可见，$n,m$互质是一个严格且不可或缺的条件，可见，欧拉函数不是完全积性函数。

(2)假设存在一个素数$p$和一个正整数$k$，则：$\phi (p^k)=p^k-p^{k-1}$
证明：

可以从反面来思考这件事，在小于$p^k$且与其不互质的数有以下形式：
$p\ast 1,p\ast 2,...p\ast (p$