solve tan(2x) = sqrt(3) em [0, 2pi)