2 Sea $f(x)=\cos(a_1+x)+{1\over2}\cos(a_2+x)+{1\over4}\cos(a_3+x)+\ldots+{1\over2^{n-1}}\cos(a_n+x)$ , donde los $a_i$ son constantes reales y $x$ es una variable real. Si $f(x_1)=f(x_2)=0$ , demuestre que $x_1-x_2$ es un múltiplo de $\pi$ .