For a positive integer $n$, consider the set \[S = \{0, 1, 1 + 2, 1 + 2 + 3, \ldots, 1 + 2 + 3 +\ldots + (n - 1)\}\] Prove that the elements of $S$ are mutually incongruent modulo $n$ if and only if $n$ is a power of $2$.
Source:
Tags: induction, number theory proposed, number theory
For a positive integer $n$, consider the set \[S = \{0, 1, 1 + 2, 1 + 2 + 3, \ldots, 1 + 2 + 3 +\ldots + (n - 1)\}\] Prove that the elements of $S$ are mutually incongruent modulo $n$ if and only if $n$ is a power of $2$.