solve cos(2x) = sqrt(3)/2 no intervalo