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