証明
まず、 を と定義します。導関数を求めるために、商の微分法則を使用します。これは、商 の導関数が であるという法則です。
ここで、 及び とします。導関数は 及び です。
商の微分法則を適用すると、次のようになります:
これを簡略化すると:
恒等式 を用いると、次のようになります:
したがって、 の導関数は:
説明
の導関数を理解するために、まず が 双曲線正弦関数 と 双曲線余弦関数 の比として定義されることを認識しましょう。つまり、 です。これは双曲線正接を表し、微積分や双曲線幾何学でよく使用されます。
の導関数を求めるために、<strong>商の微分法則</strong> を適用します。商の微分法則は、他の2つの関数の商として表される関数を微分するのに役立ちます。具体的には、関数が と与えられている場合、その導関数は であり、ここで と は の微分可能な関数です。
の場合、 及び です。 の導関数は であり、 の導関数は です。
商の微分法則を適用して導関数を代入すると、次のようになります:
分子は に簡略化されます。双曲線恒等式によれば、 です。これにより、全体の式は次のように簡略化されます:
式 は の定義であり、これは双曲線正割関数の二乗を表します。
したがって、 の に関する導関数は です。
Q.E.D.