>>621
そういうのはarctanの微分の逆をなぞっていけばよい。
y=arctanx
x=tany→1=y'/(cosy)^2
y'=(cosy)^2=1/[sin^2+cos^2]/(cosy)^2=1/x^2+1
したがって成り立つ
これでいい。