双曲線関数のソースを表示

{{出典の明記|date=2020-06}}
[[画像:Mplwp hyperbolic functions.svg|300px|thumb|6つの双曲線関数 ({{math2|{{Color|#0000cc|sinh}}}}, {{Color|#dd00aa|cosh}}, {{Color|#bbbb00|tanh}}, {{Color|#00bb00|coth}}, {{Color|#00bbcc|sech}}, {{Color|#af77dd|csch}}) のグラフ]]
[[数学]]において、{{Color|#000000|'''双曲線関数'''（そうきょくせんかんすう、{{lang-en-short|''hyperbolic function''}}）}}とは、[[三角関数]]と類似の[[関数 (数学)|関数]]で、標準形の[[双曲線]]を[[媒介変数表示]]するときなどに現れる。

== 概要 ==
[[画像:Circle area 1.png|200px|thumb|斜線の領域の面積が {{math|''θ''/2}} のとき、単位円周上の座標が {{math2|(cos ''θ'', sin ''θ'')}} となる。]]
[[画像:Hyperbolic area 1.png|200px|thumb|斜線の領域の面積が {{math|''θ''/2}} のときの双曲線上の座標が {{math|(cosh ''θ'', sinh ''θ'')}}]]
三角関数は単位円周を用いて定義することができる。
: 以下、説明を簡単にするために第一象限（{{math|''x'' ≥ 0}} かつ {{math|''y'' ≥ 0}}）の議論に限る。

単位円周上の点 {{math|A (cos ''θ'', sin ''θ'')}} と {{mvar|x}}軸上の点 {{math|B(1, 0)}}、[[原点 (数学)|原点]] {{math|O}} を考える。[[線分]] {{math2|AO, BO}} と[[円 (数学)|弧]] {{math|AB}} によって囲まれた[[領域 (解析学)|領域]]の面積は {{math|''θ''/2}} である。

この性質を用いて逆に三角関数を定義することもできる。すなわち、単位円周上の点 {{math|A}} と {{mvar|x}}軸上の点 {{math|B(1, 0)}} を取り、線分 {{math2|AO, BO}} と弧 {{math|AB}} によって囲まれた領域の面積が {{math|''θ''/2}} であるとき、{{math|A}} の座標を {{math2|(cos ''θ'', sin ''θ'')}} として、三角関数を定義することができる。

単位円の定義式は
:<math>x^2 + y^2 = 1</math>
であり、標準形の双曲線の定義式は {{math|''y''{{sup|2}}}} の符号を変えただけの
:<math>x^2 - y^2 = 1</math>
である。単位円の面積で三角関数を定義したのと同じように双曲線を用いて双曲線関数を定義することができる。

標準形の双曲線上の点 {{math|A}} と {{mvar|x}}軸上の点 {{math|B(1, 0)}} を取り、線分 {{math2|AO, BO}} と双曲線の囲む領域の面積が {{math|''θ''/2}} であるとき、{{math|A}} の座標を {{math2|(cosh ''θ'', sinh ''θ'')}} として、双曲線関数 {{math2|cosh, sinh}} が定義される。

ちなみに、三角関数の定義に現れた {{mvar|θ}} は、[[ラジアン|弧度法]]における角度に対応していたが、双曲線関数では角度には対応しない。

このように三角関数と双曲線関数は非常に似通った関数として定義され、いろいろな場面でその類似性が現れる。定義に双曲線を用いる関数を双曲線関数と呼ぶことに合わせて、定義に単位円を用いる三角関数を'''円関数''' (''circular function'') と呼ぶこともある。

== 定義 ==
双曲線関数は[[指数関数]] {{mvar|e{{sup|x}}}} を用いて
:<math>\sinh x = {e^x - e^{-x} \over 2},\; \cosh x = {e^x + e^{-x} \over 2}</math>
と定義される。sinh, cosh をそれぞれ'''双曲線正弦'''関数 (''hyperbolic sine''; ハイパボリックサイン)、'''双曲線余弦'''関数 (''hyperbolic cosine''; ハイパボリックコサイン) と呼ぶ。他にも三角関数との類似で'''双曲線正接・余接関数'''
:<math>\tanh x = {\sinh x \over \cosh x}, \; \coth x = {1 \over \tanh x}</math>
や、'''双曲線正割・余割関数'''
:<math>\operatorname{sech} x = {1 \over \cosh x},\; \operatorname{cosech} x = {1 \over \sinh x}</math>
も定義できる。また、例えば cosh を cos hyp や <math>\mathfrak{cos}</math> などと表すこともあり cosech は長いので csch と書くこともある。

このように定義された、双曲線正弦関数、双曲線余弦関数、双曲線正接関数、双曲線余接関数、双曲線正割関数、双曲線余割関数を総称して'''双曲線関数'''という。

指数関数 {{mvar|e{{sup|x}}}} は {{mvar|x}} を複素変数に拡張できるので、指数関数で定義されている双曲線関数自体も ''x'' を複素変数にとってもよい。

双曲線関数はいずれも名称が長いため、読むときは省略されて、sinh は'''シャイン'''あるいは'''シンチ'''<ref name="wadachi">{{Cite book|和書 |author=和達三樹 |title=物理のための数学 |edition=新装版 |series=物理入門コース |publisher=岩波書店 |year=2017 |pages=18, 232 |isbn=978-4-00-029870-4}}</ref>、cosh は'''コッシュ'''<ref name="wadachi" />あるいは'''コシャイン'''、tanh は'''タンチ'''<ref name="wadachi" />とも読まれる。

記号としての sinh, cosh , tanh は[[ヨハン・ハインリヒ・ランベルト]]が導入した<ref>{{Cite|和書 |author=黒木哲徳 |title=なっとくする数学記号 |year=2021 |page=146 |publisher=講談社 |isbn=9784065225509 |series=ブルーバックス |ref=harv}}</ref>。

== 性質 ==
=== 基本性質 ===
[[画像:Sinh cosh tanh.png|200px|thumb|{{Color|#b30000|sinh}}, {{Color|#00b300|cosh}} と {{Color|#0000b3|tanh}} のグラフ。特に {{math2|cosh ''x''}} のグラフは[[カテナリー曲線|懸垂線]]として知られている。]]
[[画像:Csch sech coth.png|200px|thumb|{{Color|#b30000|csch}}, {{Color|#00b300|sech}} と {{Color|#0000b3|coth}} のグラフ]]
[[指数関数]]を[[偶関数と奇関数|偶関数]]の部分と[[偶関数と奇関数|奇関数]]の部分に分けたとき、
:<math>\begin{align}
e^x &= \cosh x + \sinh x \\
e^{-x} &= \cosh x - \sinh x
\end{align}</math>
となり、偶関数部分が {{math2|cosh ''x''}} で、奇関数部分が {{math2|sinh ''x''}} であることが分かる。
また {{math2|(cosh ''x'', sinh ''x'')}} は、双曲線 {{math2|1=''x''{{sup|2}} &minus; ''y''{{sup|2}} = 1}} 上の点であり
:<math>\cosh^2 x - \sinh^2 x = 1</math>
が成り立つ。

=== 加法定理 ===
[[三角関数]]の場合と同様に次の[[加法定理]]が成立する<ref name="wadachi" />。
:<math>\begin{align}
  \sinh(\alpha + \beta) &= \sinh \alpha \cosh \beta + \cosh \alpha \sinh \beta \\
  \sinh(\alpha - \beta) &= \sinh \alpha \cosh \beta - \cosh \alpha \sinh \beta \\
  \cosh(\alpha + \beta) &= \cosh \alpha \cosh \beta + \sinh \alpha \sinh \beta \\
  \cosh(\alpha - \beta) &= \cosh \alpha \cosh \beta - \sinh \alpha \sinh \beta \\
  \tanh(\alpha + \beta) &= \frac{\tanh \alpha + \tanh \beta}{1 + \tanh \alpha \tanh \beta} \\
  \tanh(\alpha - \beta) &= \frac{\tanh \alpha - \tanh \beta}{1 - \tanh \alpha \tanh \beta}
\end{align}</math>

=== 微分公式 ===
:<math>\begin{align}
  \frac{\mathrm d}{\mathrm{d}x} \sinh x &= \cosh x \\
  \frac{\mathrm d}{\mathrm{d}x} \cosh x &= \sinh x \\
  \frac{\mathrm d}{\mathrm{d}x} \tanh x &= 1 - \tanh^2 x = \operatorname{sech}^2 x = \frac{1}{\cosh^2 x} \\
  \frac{\mathrm d}{\mathrm{d}x} \coth x &= 1 - \coth^2 x = -\operatorname{csch}^2 x = -\frac{1}{\sinh^2 x} \\
  \frac{\mathrm d}{\mathrm{d}x} \operatorname{csch} x &= - \coth x \operatorname{csch} x \\
  \frac{\mathrm d}{\mathrm{d}x} \operatorname{sech} x &= - \tanh x \operatorname{sech} x
\end{align}</math>
したがって、{{math2|sinh ''x''}} と {{math2|cosh ''x''}} はいずれも二階の[[線型微分方程式]]
: <math>{{\rm d}^2 \over {\rm d}x^2} y(x) = y(x)</math>
の解であり、この微分方程式の基本解系の一つになる。

=== 冪級数展開 ===
双曲線関数の[[テイラー展開]]あるいは[[ローラン級数|ローラン展開]]は、以下の式で与えられる。ただし、{{math2|''B{{sub|n}}'', ''E{{sub|n}}''}} はそれぞれ[[ベルヌーイ数]] ({{math2|1=''B''{{sub|2}} = {{sfrac|1|6}}, ''B''{{sub|4}} = &minus;{{sfrac|1|30}}, …}})、[[オイラー数]] ({{math2|1=''E''{{sub|0}} = 1, ''E''{{sub|2}} = &minus;1, …}}) である。
:<math>\begin{align}
  \sinh x &= \sum_{n=0}^\infty \frac{x^{2n+1}}{(2n+1)!}
  = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \frac{x^7}{7!} + \dotsb \\[1ex]
  \cosh x &= \sum_{n=0}^\infty {x^{2n} \over (2n)!}
  = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \frac{x^6}{6!} + \dotsb \\[1ex]
  \tanh x &= \sum_{n=1}^\infty \frac{2^{2n} (2^{2n} - 1) B_{2n} x^{2n-1}}{(2n)!}
  = x - \frac{x^3}{3} + \frac{2x^5}{15} - \frac{17x^7}{315} + \dotsb,
  \quad |x| < \frac{\pi}{2} \\[1ex]
  \operatorname{csch} x &= \frac{1}{x} + \sum_{n=1}^\infty \frac{2 (1 - 2^{2n-1}) B_{2n} x^{2n-1}}{(2n)!}
  = \frac{1}{x} - \frac{x}{6} + \frac{7x^3}{360} - \frac{31x^5}{15120} + \dotsb,
  \quad 0 < |x| < \pi \\[1ex]
  \operatorname{sech} x &= \sum_{n=0}^\infty \frac{E_{2n} x^{2n}}{(2n)!}
  = 1 - \frac{x^2}{2} + \frac{5x^4}{24} - \frac{61x^6}{720} + \dotsb,
  \quad |x| < \frac{\pi}{2} \\[1ex]
  \coth x &= \frac{1}{x} + \sum_{n=1}^\infty \frac{2^{2n} B_{2n} x^{2n-1}}{(2n)!}
  = \frac{1}{x} + \frac{x}{3} - \frac{x^3}{45} + \frac{2x^5}{945} + \dotsb,
  \quad 0 < |x| < \pi
\end{align}</math>

== 無限乗積展開 ==
双曲線関数は以下に示す[[無限乗積]]に展開される。(→[[三角関数の無限乗積展開|証明]])
:<math>\begin{align}
\sinh (\pi z) &= \pi z \prod_{n=1}^{\infty} \left( 1 + \frac{z^2}{n^2} \right) \\
\cosh (\pi z) &= \prod_{n=1}^{\infty} \left( 1 + \frac{z^2}{(n - 1/2)^2} \right)
\end{align}</math>

== 三角関数との関係 ==
複素変数で定義された三角関数と双曲線関数を比べてみると
:<math>\begin{align}
\sinh x &= -i \sin(ix) \\
\cosh x &= \cos(ix)
\end{align}</math>
という関係にある。

これは、それぞれの指数関数による表現の比較、テイラー展開の比較などによって導出することができる。

== 逆双曲線関数 ==
{{main|逆双曲線関数}}
双曲線関数が指数関数で表せるように、その[[逆関数]]である逆双曲線関数は[[対数関数]]を用いて表示することができる。等式 {{math2|1=''x'' = sinh ''y''}} や {{math2|1=''x'' = cosh ''y''}} などを考えれば、これらは {{mvar|e{{sup|y}}}} に関する[[2次方程式|二次方程式]]であるから解くことができて、次の表示を得る。
:<math>\begin{align}
  \sinh^{-1} x &= \log \left( x + \sqrt{x^2 + 1} \right) \\
  \cosh^{-1} x &= \log \left( x + \sqrt{x^2 - 1} \right) \\
  \tanh^{-1} x &= \frac{1}{2} \log \frac{1+x}{1-x}
\end{align}</math>
逆関数 {{math2|sinh{{sup|&minus;1}}, cosh{{sup|&minus;1}}}} などはそれぞれ area sin hyp, area cos hyp （area は「面積」の意）もしくはそれを略して ar sinh, ar cosh と書いたり、逆三角関数と同様に arcsinh, arccosh などと書いたりすることもある。

=== 微分公式 ===
:<math>\begin{align}
  \frac{\mathrm d}{\mathrm{d}x} \sinh^{-1} x &= \frac{1}{\sqrt{x^2 + 1}} \\
  \frac{\mathrm d}{\mathrm{d}x} \cosh^{-1} x &= \frac{1}{\sqrt{x^2 - 1}} \\
  \frac{\mathrm d}{\mathrm{d}x} \tanh^{-1} x &= \frac{1}{1 - x^2}
\end{align}</math>
このことから、{{math2|(1 &minus; ''x''{{sup|2}}){{sup|1/2}}}} を含む[[有理関数]]の原始関数を求めるために {{math2|1=''x'' = sin ''t''}} などと三角関数を用いた置換[[積分]]を考えると有用である場合が多いのと同様に、{{math2|(''x''{{sup|2}} + 1){{sup|1/2}}}} を含む有理関数の積分に双曲線関数を用いた置換積分を考えることは有用であることが多い。
<gallery>
Arcsinh.png|arcsinh のグラフ
Arccosh.png|arccosh のグラフ
Arctanh.png|arctanh のグラフ
</gallery>

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}}
{{ウィキポータルリンク|数学|[[画像:Nuvola apps edu mathematics-p.svg|34px|Portal:数学]]}}
* [[三角関数]]
* [[媒介変数]]
* [[指数関数]]
* [[カテナリー曲線]] - cosh
* [[シグモイド関数]]、[[ロジスティック関数]] - tanh
* [[双曲線正割分布]] - sech
* [[グーデルマン関数]] - 双曲線関数と三角関数の組合せ
* [[双曲線関数の原始関数の一覧]]

== 外部リンク ==
* {{高校数学の美しい物語|617|双曲線関数(sinh,cosh,tanh)の意味・性質・楽しい話題まとめ}}
* {{MathWorld|urlname=HyperbolicFunctions|title=Hyperbolic functions}}

{{Normdaten}}
{{DEFAULTSORT:そうきよくせんかんすう}}
[[Category:初等関数]]
[[Category:指数関数]]
[[Category:双曲線関数|*]]
[[Category:数学に関する記事]]