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