Problem:
Let be a prime number. Find the number of the subsets of the set such that divides the sum of the elements of .
Solution
Solution:
Consider the set instead of . Let be a nonempty subset of . Set
Note that the sums of the elements of the sets , , are all distinct. Indeed, if for some and the sums are equal then
which is equivalent to .
Therefore the set of the subsets of (without the empty set and ) partitions into groups and every group contains sets. Moreover, the sums of the elements of the subsets in every group run over all residues modulo .
Therefore the number of the subsets having sums divisible by equals . Since is included in half of them, it follows that the number of the subsets of (including the empty set and excluding ) equals .
Replacing the empty set by (having sum , which is divisible by ), we conclude that the answer is .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.