>>338
{arctan(x)}'=1/{1+(x^2)}は覚えておいた方がいい

＞nx=tan(y)
問題ない
両辺をxで微分すればn=cos^2(y)*dy/dx
cos^2(y)=1/{1+tan^2(y)}よりdy/dx=n/{1+tan^2(y)}=n/{1+(nx)^2}