証明
双曲線余弦関数は次のように定義されます:
導関数を求めるために、和の法則を使用して微分します:
各項を微分すると:
これは次のように簡略化されます:
したがって、 の導関数は次のようになります:
説明
双曲線余弦関数 は として定義されます。この公式は、指数関数 と を組み合わせたものです。
を微分するには、基本的な微分規則を使用します。この関数は に分解できます。ここで、 は定数係数であり、微分中に取り出すことができます。
次に、各部分の式に微分規則を適用します。 の導関数は単に であり、連鎖律により の導関数は です。
これらの結果を合わせると、導関数は となります。この式は 、すなわち双曲線正弦関数の定義です。したがって、cosh(x) の導関数は sinh(x) です。
Q.E.D.