Solve in nonnegative integers the equation $$2^x -1 = xy$$

Let $a_1, a_2, \cdots, a_{2n+1}$ be a set of integers such that, if any one of them is removed, the remaining ones can be divided into two sets of $n$ integers with equal sums. Prove $a_1 = a_2 = \cdots = a_{2n+1}$.

© 2009 - Math All Star