Problem:
A set S of distinct positive integers has the following property: for every integer x in S, the arithmetic mean of the set of values obtained by deleting x from S is an integer. Given that 1 belongs to S and that 2002 is the largest element of S, what is the greatest number of elements that S can have?
Solution:
Let x1β,x2β,x3β,β¦,xnβ be the members of S, and let
sjβ=nβ1x1β+x2β+x3β+β―+xnββxjββ
It is given that sjβ is an integer for any integer j between 1 and n, inclusive. Note that, for any integers i and j between 1 and n, inclusive,
siββsjβ=nβ1xjββxiββ
which must be an integer. Also, xjβ=(siββsjβ)(nβ1)+xiβ, and when xiβ=1, this implies that each element of S is 1 more than a multiple of nβ1. It follows that (nβ1)2+1β€2002, implying that nβ€45. Since nβ1 is a divisor of 2002β1, conclude that n=2 or n=4 or n=24 or n=30, so n is at most 30β. A thirty-element set S with the requested property is obtained by setting xjβ=29jβ28 for 1β€jβ€29 and x30β=2002.
The problems on this page are the property of the MAA's American Mathematics Competitions