定理 f ∗ g = 0 , f ≠ 0 → g = 0 f*g=0,f\ne 0 \to g=0 f∗g=0,f=0→g=0。(这里认为数论函数的定义域不包括 0 0 0)
证明 采用数学归纳法。
假设 n n n为最小的正整数使得 f ( n ) ≠ 0 f(n)\ne 0 f(n)=0。
由狄利克雷卷积的定义,得: ( f ∗ g ) ( k n ) = ∑ i ∣ k n f ( i ) g ( k n i ) = 0 (f*g)(kn)=\sum\limits_{i\mid kn}f(i)g(\frac{kn}{i})=0 (f∗g)(kn)=i∣kn∑f(i)g(ikn)=0,其中 k k k是任意一个正整数。
当 k = 1 k=1 k=1时,对于 i < n i<n i<n,都有 f ( i ) = 0 f(i)=0 f(i)=0,所以 i = n i=n i=n时,必有 f ( n ) g ( 1 ) = 0 f(n)g(1)=0 f(n)g(1)=0,因为 f ( n ) ≠ 0 f(n)\ne 0 f(n)=0,所以 g ( 1 ) = 0 g(1)=0 g(1)=0。
归纳假设对于 1 ≤ k < m 1\le k< m 1≤k<m,都有 g ( k ) = 0 g(k)=0 g(k)=0,那么对于 k = m k=m k=m,也有 ∑ i ∣ m n f ( i ) g ( m n i ) = 0 \sum\limits_{i\mid mn}f(i)g(\frac{mn}{i})=0 i∣mn∑f(i)g(imn)=0。对于 i < n i<n i<n,都有 f ( i ) = 0 f(i)=0 f(i)=0;对于 n < i < m n n<i<mn n<i<mn,都有 m n i < m \frac{mn}{i}<m imn<m,于是有 g ( m n i ) = 0 g(\frac{mn}{i})=0 g(imn)=0。所以对于 i = n i=n i=n,必有 f ( n ) g ( m ) = 0 f(n)g(m)=0 f(n)g(m)=0,因为 f ( n ) ≠ 0 f(n)\ne 0 f(n)=0,所以 g ( m ) = 0 g(m)=0 g(m)=0。证毕。