solve sin x = (sqrt(3))/(2) em