For each , the product is precisely outside every , and is otherwise. It is therefore the indicator function of . Expanding the finite product givesMultiply by and sum over the finite set . The product of indicator functions is the indicator function of the corresponding intersection, soHere 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 givesThis 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 isThe weighted inclusion-exclusion principle therefore givesSince , is nonempty and the last sum is . The first factors as before, givingThis 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
There are currently no matching articles.