証明 #1
説明
証明はタンジェント関数の定義から始まります:
次に、サイン と コサイン の以前に証明された導関数を使用します:
次に、導関数の商の法則を適用します。この法則は、2つの関数 と に対して次のように述べています:
この場合、 と です。商の法則を適用すると:
分子は標準的な三角関数の恒等式 を用いて簡略化されます:
ステップ4の恒等式を使用して、分子は1に簡略化されます:
この証明は の場合のみ有効です。ゼロでの除算は定義されていないからです。
最後に、セカント はコサインの逆数であることから、結果が得られます: 。
したがって、 の導関数は です。
証明 #2
説明
証明は点における実関数の導関数の定義から始まります。この場合、それは に関するタンジェントの導関数であり、これは が に近づく極限として定義されます: 。
次のステップでは、和のタンジェントに関する三角関数の恒等式を使用します: 。ここで、 は であり、 は です。この恒等式を に適用すると、次のようになります: 。
分子は を加減することによって展開されます: 。
分子は因数分解され、分母は を掛けられます: 。
極限の積の法則を適用し、極限を2つの積に分けます: 。
2つ目の極限は標準的な極限です: 。1つ目の極限では、 であるため、 とともに となります。したがって、1つ目の極限は次のように評価されます: 。
結果は三角
関数の恒等式 を使用して簡略化されます。
- 最後に、結果は コサイン を使用して の恒等式により表現されます。ただし、 の場合に限ります。
したがって、 に関する の導関数は または です。ただし、 の場合に限ります。