狄利克雷卷积的消去律

定理 $f\ast g=0,f\ne 0\to g=0$。（这里认为数论函数的定义域不包括$0$）

证明 采用数学归纳法。

假设$n$为最小的正整数使得$f(n)\ne 0$。

由狄利克雷卷积的定义，得：$(f\ast g)(kn)=\sum _{i\mid kn}f(i)g(\frac{kn}{i})=0$，其中$k$是任意一个正整数。

当$k=1$时，对于$i<n$，都有$f(i)=0$，所以$i=n$时，必有$f(n)g(1)=0$，因为$f(n)\ne 0$，所以$g(1)=0$。

归纳假设对于$1\le k<m$，都有$g(k)=0$，那么对于$k=m$，也有$\sum _{i\mid mn}f(i)g(\frac{mn}{i})=0$。对于$i<n$，都有$f(i)=0$；对于$n<i<mn$，都有$\frac{mn}{i}<m$，于是有$g(\frac{mn}{i})=0$。所以对于$i=n$，必有$f(n)g(m)=0$，因为$f(n)\ne 0$，所以$g(m)=0$。证毕。