SCHWEITZER 1995 Problem 4

For odd numbers $a_1 , ..., a_k$ and even numbers $b_1 , ..., b_k$ , we know that $\sum_ {j = 1}^k a_j^n = \sum_{j = 1}^k b_j^n$ is satisfied for n = 1,2, ..., N. Prove that $k\geq 2^N$ and that for $k = 2^N$ there exists a solution $(a_1,...,b_1,...)$ with the above properties.