2cos(x)-raiz de 2=0