在 [0, 2pi) 内求解 tan x = \sqrt 3 。