Problem

Source: Danube 2012 p4

Tags: combinatorics, Sum, Subsets, set, divisor



Given a positive integer $n$, show that the set $\{1,2,...,n\}$ can be partitioned into $m$ sets, each with the same sum, if and only if m is a divisor of $\frac{n(n + 1)}{2}$ which does not exceed $\frac{n + 1}{2}$.