[0, 2pi) で sin(x + pi/3) = 0 を解け。