Q37 Matemática  (IMO Shortlist 1969)

$(HUN4)$IMO2 Se $a_1,a_2,...,a_n$ são constantes reais, e se $y=\cos (a_1+x)+2\cos (a_2+x)+\cdots +n\cos (a_n+x)$ tem dois zeros $x_1$ e $x_2$ cuja diferença não é um múltiplo de $\pi$, prove que $y=0.$