[0, 2pi) で tan x = -1 を解け。