Si $a_1, a_2, . . . , a_n$ son constantes reales, y si $y = \cos(a_1 + x) +2\cos(a_2+x)+ \cdots+ n \cos(a_n + x)$ tiene dos ceros $x_1$ y $x_2$ cuya diferencia no es un múltiplo de $\pi$ , demuestre que $y = 0.$