難問じゃないけど

Σ[k=1,n]k*a_k=0 と ∀k∈{1,...,n} a_k∈{1,-1} を満たす (a_k) が存在するような n の必要十分条件を求めよ