For each , the product is precisely outside every , and is otherwise. It is therefore the indicator function of . Expanding the finite product gives
Multiply by and sum over the finite set . The product of indicator functions is the indicator function of the corresponding intersection, so
Here the empty intersection is , and the empty product is . Grouping the subsets by their cardinality gives the requested weighted inclusion-exclusion principle, with no contribution for .
Let be the finite set of distinct prime factors of , and work in . For put , including . Then , and an integer belongs to every for exactly when it is a multiple of . Thus the intersection has size . The complement consists precisely of the residues coprime to . Using weight gives
This proves the product formula for the Euler totient function without requiring to be squarefree.
For the weight , the sum over the multiples of any divisor in this interval is
The weighted inclusion-exclusion principle therefore gives
Since , is nonempty and the last sum is . The first factors as before, giving
This sum of reduced residues also follows by pairing the bijection ; at its sole fixed residue causes no problem because the sum of both copies still equals .

Articles by others on the same topic (0)

There are currently no matching articles.