[0, 2pi) で sin x = -\sqrt 3/2 を解け。