双曲線関数

双曲線関数とは、三角関数と類似の関数で、標準形の双曲線の媒介変数表示などに使用される関数である。 ハイパボリックコサイン・サインなどとも呼ばれる。

定義

三角関数を(複素数の範囲で)指数関数を用いて定義したのとよく似ている。また、余弦・正弦から他の関数を定義するのも同様である。

• 双曲線余弦関数:構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \cosh(x)=\frac{e^x+e^{-x}}{2}}
• 双曲線正弦関数:構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sinh(x)=\frac{e^x-e^{-x}}{2}}
• 双曲線正接関数:$\tanh(x)={\frac {\sinh(x)}{\cosh(x)}}={\frac {e^{x}-e^{-x}}{e^{x}+e^{-x}}}$
• 双曲線余接関数:$\coth(x)={\frac {1}{\tanh(x)}}={\frac {\cosh(x)}{\sinh(x)}}={\frac {e^{x}+e^{-x}}{e^{x}-e^{-x}}}$
• 双曲線正割関数:$\operatorname {sech(x)} ={\frac {1}{\cosh(x)}}={\frac {2}{e^{x}+e^{-x}}}$
• 双曲線余割関数:$\operatorname {csch(x)} ={\frac {1}{\sinh(x)}}={\frac {2}{e^{x}-e^{-x}}}$

性質

標準形の双曲線の定義式

• $x^{2}-y^{2}=1$

に対して、coshはxに、sinhはyに対応するように定義されている。
これは、三角関数を円を表す式

• $x^{2}+y^{2}=1$

に対して、cosはxに、sinはyに対応するように定義したのと同様である。 そのため、三角関数に似通った性質をもつ。

相互関係

• $\cosh ^{2}(x)-\sinh ^{2}(x)=1$
• $1-\tanh ^{2}(x)={\frac {1}{\cosh ^{2}x}}=\operatorname {sech} ^{2}(x)$
• $\coth ^{2}(x)-1={\frac {1}{\sinh ^{2}x}}=\operatorname {csch} ^{2}(x)$

偶奇性

• coshは偶関数である。
• sinhは奇関数である。

以上より他の関数の偶奇性も分かる。

• tanhはsinh/coshなので奇関数である。
• cothはcosh/sinhなので奇関数である。
• sechは1/coshなので偶関数である。
• cschは1/sinhなので奇関数である。

極限

指数関数の極限より以下が従う。

$\lim _{x\to \pm \infty }\cosh(x)=\infty$

$\lim _{x\to \pm \infty }\sinh(x)=\pm \infty$(複号同順)

$\lim _{x\to \pm \infty }\tanh(x)=\pm 1$(複号同順)

$\lim _{x\to \pm \infty }\coth(x)=\pm 1$(複号同順)

$\lim _{x\to \pm \infty }\operatorname {sech} (x)=0$

$\lim _{x\to \pm \infty }\operatorname {csch} (x)=0$

加法定理

指数法則などより以下が従う。(ただし、全て複号同順)

• $\cosh(\alpha \pm \beta )=\cosh(\alpha )\cosh(\beta )\pm \sinh(\alpha )\sinh(\beta )$
• $\sinh(\alpha \pm \beta )=\sinh(\alpha )\cosh(\beta )\pm \cosh(\alpha )\sinh(\beta )$
• $\tanh(\alpha \pm \beta )={\frac {\tanh(\alpha )\pm \tanh(\beta )}{1\pm \tanh(\alpha )\tanh(\beta )}}$
• $\coth(\alpha \pm \beta )={\frac {1\pm \coth(\alpha )\coth(\beta )}{\coth(\alpha )\pm \coth(\beta )}}$
• $\operatorname {sech} (\alpha \pm \beta )={\frac {\operatorname {sech} (\alpha )\operatorname {sech} (\beta )\operatorname {csch} (\alpha )\operatorname {csch} (\beta )}{\operatorname {csch} (\alpha )\operatorname {csch} (\beta )\pm \operatorname {sech} (\alpha )\operatorname {sech} (\beta )}}$
• $\operatorname {csch} (\alpha \pm \beta )={\frac {\operatorname {sech} (\alpha )\operatorname {sech} (\beta )\operatorname {csch} (\alpha )\operatorname {csch} (\beta )}{\operatorname {sech} (\alpha )\operatorname {csch} (\beta )\pm \operatorname {csch} (\alpha )\operatorname {sech} (\beta )}}$

積和公式

coshとsinhの加法定理より以下が従う。和積公式の逆。

• $\cosh(\alpha )\cosh(\beta )={\frac {1}{2}}(\cosh(\alpha +\beta )+\cosh(\alpha -\beta ))$
• $\sinh(\alpha )\sinh(\beta )={\frac {1}{2}}(\cosh(\alpha +\beta )-\cosh(\alpha -\beta ))$
• $\sinh(\alpha )\cosh(\beta )={\frac {1}{2}}(\sinh(\alpha +\beta )+\sinh(\alpha -\beta ))$
• $\cosh(\alpha )\sinh(\beta )={\frac {1}{2}}(\sinh(\alpha +\beta )-\sinh(\alpha -\beta ))$

和積公式

積和公式の逆。

• $\cosh(\alpha )+\cosh(\beta )=2\cosh \left({\frac {\alpha +\beta }{2}}\right)\cosh \left({\frac {\alpha -\beta }{2}}\right)$
• $\cosh(\alpha )-\cosh(\beta )=2\sinh \left({\frac {\alpha +\beta }{2}}\right)\sinh \left({\frac {\alpha -\beta }{2}}\right)$
• $\sinh(\alpha )+\sinh(\beta )=2\sinh \left({\frac {\alpha +\beta }{2}}\right)\cosh \left({\frac {\alpha -\beta }{2}}\right)$
• $\sinh(\alpha )-\sinh(\beta )=2\cosh \left({\frac {\alpha +\beta }{2}}\right)\sinh \left({\frac {\alpha -\beta }{2}}\right)$

微分

cosh,sinhの微分は指数関数の微分より従う。
tanh,coth,sech,cschの微分は商の微分を計算して、cosh,sinhの微分を代入して求まる。

• ${\frac {d}{dx}}\cosh(x)=\sinh(x)$
• ${\frac {d}{dx}}\sinh(x)=\cosh(x)$
• ${\frac {d}{dx}}\tanh(x)={\frac {1}{\cosh ^{2}(x)}}=\operatorname {sech} ^{2}(x)=1-\tanh ^{2}(x)$
• ${\frac {d}{dx}}\coth(x)={\frac {-1}{\sinh ^{2}(x)}}=-\operatorname {csch} ^{2}(x)=1-\coth ^{2}(x)$
• ${\frac {d}{dx}}\operatorname {sech} (x)={\frac {-\sinh(x)}{\cosh ^{2}(x)}}={\frac {-\operatorname {sech} ^{2}(x)}{\operatorname {csch} (x)}}$
• ${\frac {d}{dx}}\operatorname {csch} (x)={\frac {-\cosh(x)}{\sinh ^{2}(x)}}={\frac {-\operatorname {csch} ^{2}(x)}{\operatorname {sech} (x)}}$

逆関数

三角関数と異なり、逆関数をそのまま表せる。

• $\cosh ^{-1}(x)=\log \left(x+{\sqrt {x^{2}-1}}\right)$
• $\sinh ^{-1}(x)=\log \left(x+{\sqrt {x^{2}+1}}\right)$
• $\tanh ^{-1}(x)={\frac {1}{2}}\log \left({\frac {1+x}{1-x}}\right)$
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \coth^{-1}(x)=\frac{1}{2}\log\left(\frac{x+1}{x-1}\right)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \operatorname{sech}^{-1}(x)=\log\left(\frac{1}{x}+\sqrt{\frac{1}{x^2}+1} \right)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \operatorname{csch}^{-1}(x)=\log\left(\frac{1}{x}+\sqrt{\frac{1}{x}+1}\sqrt{\frac{1}{x}-1} \right)}

また、逆関数の微分を積分の変換のテクニックなどに使えるのは三角関数と同様。

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}\cosh^{-1}(x)=\frac{1}{\sqrt{x^2-1}}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}\sinh^{-1}(x)=\frac{1}{\sqrt{x^2+1}}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}\tanh^{-1}(x)=\frac{1}{1-x^2}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}\coth^{-1}(x)=\frac{1}{1-x^2}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}\operatorname{sech}^{-1}(x)=\frac{-1}{x(x+1)\sqrt{\frac{1-x}{1+x}}}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}\operatorname{csch}^{-1}(x)=\frac{-1}{x^2\sqrt{1+\frac{1}{x^2}}}}

テイラー展開

cosh,sinhの微分より

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \cosh(x)=\sum_{n=0}^{\infin}\frac{x^{2n}}{(2n)!}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sinh(x)=\sum_{n=0}^{\infin}\frac{x^{2n+1}}{(2n+1)!}}

複素数と三角関数

双曲線関数および三角関数の指数関数を用いた定義、あるいは、それぞれのテイラー展開から以下を得る。

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \cosh(x)=\cos(ix),\cosh(ix)=\cos(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sinh(x)=-i\sin(ix),\sinh(ix)=i\sin(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tanh(x)=-i\tan(ix),\tanh(ix)=i\tan(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \coth(x)=i\cot(ix),\coth(ix)=-i\cot(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \operatorname{sech}(x)=\sec(ix),\operatorname{sech}(ix)=\sec(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \operatorname{csch}(x)=i\csc(ix),\operatorname{csch}(ix)=-i\csc(x)}

coshとcos及びsinhとsinの関係式と、三角関数の無限乗積展開より双曲線関数の無限乗積展開も得られて、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \cosh(\pi x)=\cos(i\pi x)=\prod_{n=1}^{\infty}\left( 1+\frac{x^2}{(n-\frac{1}{2})^2} \right)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sinh(\pi x)=-i\sin(i\pi x)=\pi x\prod_{n=1}^{\infty}\left( 1+\frac{x^2}{n^2} \right)}

懸垂線

ひもの両端を手で持ってたらした曲線の式である、懸垂線(カテナリー)は

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=a\cosh\left(\frac{x}{a}\right)}

で表される。

関連する関数

• 指数関数
• 三角関数
• シグモイド関数
• グーデルマン関数