Problem

Source: III International Festival of Young Mathematicians Sozopol 2012, Theme for 10-12 grade

Tags: algebra, number theory, Coloring



Let $\sum_{i=1}^n a_i x_i =0$, $a_i,x_i\in \mathbb{Z}$. It is known that however we color $\mathbb{Z}$ with finite number of colors, then the given equation has a monochromatic (of one color) solution. Prove that there is some non-empty sum of its coefficients equal to 0.