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