tan(x)は(-pi/2,pi/2)のとき双射ですか