証明
の導関数を求めます。 とします。このとき、定義により です。
両辺を に関して微分します:
次に、 を解きます:
恒等式 を使用し、 を考慮すると:
したがって、 の導関数は:
説明
の導関数を求めるために、まず とします。これは を意味し、 は のタンジェントである角度を表します。
次に、方程式 の両辺を に関して微分します。 の に関する導関数は単に です。
右辺では、 の に関する導関数は です。そして、連鎖律 によって を掛けます。これにより、 となります。
導関数を等しく設定すると:
次に、両辺を で割って を解きます:
三角関数の恒等式 を使用します。先ほどの定義から なので、 を に置き換えます:
したがって、導関数の式は次のように簡略化されます:
Q.E.D.