令$f_n(t)=(1+t^2)g_n(t)$,易证有
\[f_{n+1}(t)=(1+t^2)f'_n(t)\]
此时换元$t=\tan(x)$,有
\[f_{n+1}(\tan(x))=\sec^2(x)f'_n(\tan(x))=\frac{d}{dx}f_n(\tan(x))\]
易证$f_1(t)=1+t^2=\sec^2(x)$,即有
\[f_n(\tan(x))=\frac{d^n}{dx^n}\sec^2(x)\]\[f_n(t)=\frac{d^n}{dx^n}\sec^2(x)|_{x=\arctan(t)}\]\[g_n(t)=\frac{1}{1+t^2}·\frac{d^n}{dx^n}\sec^2(x)|_{x=\arctan(t)}\] |