の導関数を求めるために、次のように設定します:
これは、 が余弦が である角度であることを意味します。つまり、次のようになります:
ステップ 1: 両辺を微分する
この方程式の両辺を について微分します。左辺は単に になります。右辺については、連鎖律 を使用して:
したがって、方程式は次のようになります:
ステップ 2: を解く
この方程式を について解きます:
ステップ 3: を の関数として表現する
ピタゴラスの恒等式を使用します:
これを使って を次のように表現できます:
ステップ 4: を導関数に代入する
これを の式に代入します:
したがって、 の導関数は次のようになります:
Q.E.D.