atan(x) の導関数 - 証明と説明

証明

arctan(x) の導関数を求めます。 y=arctan(x) とします。このとき、定義により x=tan(y) です。

両辺を x に関して微分します:

ddx(x)=ddx(tan(y)) 1=sec2(y)·dydx

次に、dydx を解きます:

dydx=1sec2(y)

恒等式 sec2(y)=1+tan2(y) を使用し、 tan(y)=x を考慮すると:

dydx=11+x2

したがって、arctan(x) の導関数は:

ddxarctan(x)=11+x2

説明

arctan(x) の導関数を求めるために、まず y=arctan(x) とします。これは x=tan(y) を意味し、yx のタンジェントである角度を表します。

次に、方程式 x=tan(y) の両辺を x に関して微分します。 xx に関する導関数は単に 1 です。

右辺では、tan(y)y に関する導関数は sec2(y) です。そして、連鎖律 によって dydx を掛けます。これにより、sec2(y)·dydx となります。

導関数を等しく設定すると:

1=sec2(y)·dydx

次に、両辺を sec2(y) で割って dydx を解きます:

dydx=1sec2(y)

三角関数の恒等式 sec2(y)=1+tan2(y) を使用します。先ほどの定義から tan(y)=x なので、tan(y)x に置き換えます:

sec2(y)=1+x2

したがって、導関数の式は次のように簡略化されます:

dydx=11+x2

Q.E.D.