目录
加性函数相加还是加性函数
设 \(f,g\) 为加性函数， \(h=f+g\)
则对于 \(\forall n,m\in Z_+,gcd(n,m)=1\)
\(h(nm)=(f+g)(nm)=f(nm)+g(nm)=f(n)+f(m)+g(n)+g(m)=(\ f(n)+g(n)\ )+(\ f(m)+g(m)\ )=h(n)+h(m)\)
且易证得，当且仅当两者都为完全加性时，相加也一定为完全加性
积性函数的相乘还是积性函数
设 \(\boldsymbol f,\boldsymbol g\) 为积性函数， \(h=\boldsymbol f\cdot \boldsymbol g\)
则对于 \(\forall n,m\in Z_+,gcd(n,m)=1\)
\(h(nm)=(\boldsymbol f\cdot \boldsymbol g)(nm)=\boldsymbol f(nm)\cdot \boldsymbol g(nm)=\boldsymbol f(n)\cdot \boldsymbol f(m)\cdot \boldsymbol g(n)\cdot \boldsymbol g(m)=(\ \boldsymbol f(n)\cdot \boldsymbol g(n)\ )\cdot (\ \boldsymbol f(m)\cdot \boldsymbol g(m)\ )=h(n)\cdot h(m)\)
且易证得，当且仅当两者都为完全积性时，相乘一定也为完全积性
积性函数的迪利克雷卷积还是积性函数
设 \(\boldsymbol f,\boldsymbol g\) 为积性函数，且 \(\boldsymbol h=\boldsymbol f*\boldsymbol g\)
则对于 \(\forall n,m\in Z_+,gcd(n,m)=1\)
\(\displaystyle \boldsymbol h(nm)=(\boldsymbol f*\boldsymbol g)(nm)=\sum_{d\mid nm}\boldsymbol f(d)\boldsymbol g({nm\over d})\)
考虑到 \(n,m\) 互质，因此没有质因数重合
故 \(\displaystyle \boldsymbol h(nm)=\sum_{d\mid nm}\boldsymbol f(d)\boldsymbol g({nm\over d})=\sum_{d_1\mid n\bigwedge d_2\mid m}\boldsymbol f(d_1)\boldsymbol f(d_2)\boldsymbol g({n\over d_1})\boldsymbol g({m\over d_2})\)