Proof of Möbius Inversion
We prove the Möbius inversion formula using the fundamental property of the Möbius function and Dirichlet convolution algebra.
For arithmetic functions :
Step 1: Key Lemma
First, we establish that , where for all and :
For with prime factorization , only squarefree divisors contribute:
Step 2: Forward Direction
Assume . Then:
Convolving both sides with :
Therefore:
Step 3: Reverse Direction
Assume . Then:
Convolving both sides with :
Therefore:
For the forward direction, substitute the definition of :
Rearranging the double sum by setting :
The crucial step uses .
The proof reveals that Möbius inversion is fundamentally about inverses in the ring of arithmetic functions under Dirichlet convolution. The Möbius function serves as the multiplicative inverse of the constant function .