sec(atan(x)) = sqrt(x^2+1)
なぜ?