証明
の導関数を求めるために、その定義から始めます:
商の法則 を使用します。商 の導関数は:
ここで、 及び とします。導関数は 及び です。
商の法則 を適用すると:
分子を簡略化します:
したがって、導関数は次のようになります:
したがって、 の導関数は:
説明
の導関数を理解するために、その定義である双曲線余割関数から始めます。これは として表されます。この関数は双曲線余弦 と双曲線正弦 の比率を表します。
商の二つの関数の導関数を求めるために、商の法則 を使用します。この法則によれば、関数 の導関数は です。ここで、 と は の関数です。
の場合、 及び とします。 の導関数は であり、 の導関数は です。
これらの導関数を商の法則 に適用すると:
分子は に簡略化されます。恒等式 によれば、 であることが分かります。
したがって、式は次のようになります:
は であるため、最終的な結果は:
Q.E.D.