1

双曲線関数の個人的まとめ

355
0

はじめに

ここでは、僕が自分なりに調べた双曲線関数の性質などをまとめたいと思う。誰得でもない記事であることを注意しておこう。

定義

双曲線関数を以下で定義する。
coshx=ex+ex2
sinhx=exex2
tanhx=sinhxcoshx

他にも、cothxcscxなどがあるが、ここでは扱わない。

性質

双曲線関数の性質についてまとめておこう。もっとも単純な性質として、以下の式がある。

cosh2xsinh2x=111tanh2x=cosh2x

定義から、
cosh2x=e2x+2+e2x4
sinh2x=e2x2+e2x4
であるから、両辺引いて、
cosh2xsinh2x=1
また、第2式については、第1式の両辺をcosh2xで割れば成り立つ。

これは、双曲線関数が双曲線x2y2=1の媒介変数となっていることを意味している。

他には、三角関数と同じように加法定理が成立する。

加法定理

sinh(x+y)=sinhxcoshy+coshxsinhysinh(xy)=sinhxcoshycoshxsinhycosh(x+y)=coshxcoshy+sinhxsinhycosh(xy)=coshxcoshysinhxsinhy tanh(x+y)=tanhx+tanhy1+tanhxtanhytanh(xy)=tanhxtanhy1tanhxtanhy

上4式については指数法則を用いて展開、因数分解すれば導ける。また下2式は、上4式を用いればtanhxの定義からすぐに導ける。なので証明は略する。

後に使うので、応用例を二つほど載せておこう。

cosh2x=cosh2x+sinh2x=2sinh2x+1
sinh2x=2sinhxcoshx

微分についてもまとめておこう。

ddxsinhx=coshxddxcoshx=sinhxddxtanhx=1cosh2x

上2式はただ計算すれば導ける。第3式についても、商の微分を行い、定理1第2式を用いれば導ける。

双曲線関数の冪級数展開についてまとめておこう。各関数のマクローリン展開は以下で与えられる。

マクローリン展開

sinhx=n=0x2n+1(2n+1)!coshx=n=0x2n(2n)!

ex=coshx+sinhx
である。ここで、coshxは偶関数であり、sinhxは奇関数であるから、それぞれのマクローリン展開は指数関数exをマクローリン展開した式の偶数次、奇数次の項が並ぶ。
ex=n=0xnn!
であるから、定理は示された。

他にも、tanhxの冪級数展開などがあるが、僕がまだ証明を知らないため載せなかった。

最後に、あまり知られていないけど面白そうだと思った性質を挙げておく。

第一象限についてのみ考える。θ>0として、双曲線H:x2y2=1上の点A(coshθ,sinhθ)と、x軸上の点B(1,0)をとる。線分OA,OBと双曲線Hで囲まれた領域の面積はθ2となる。

求める面積をSとおく。また、点Aからx軸に下ろした垂線の足をPとする。すなわち、P(coshθ,0)である。そして、三角形OAPの面積をT、線分AP,BPと双曲線Hで囲まれた面積をUとする。すると、求める面積Sは、S=TUとかける。
U=1coshθx21dx
であり、x=coshtと置換すると、
U=0θsinh2xdx=0θcosh2t12dt=12coshθsinhθ12θ
であり、また、
T=12coshtsinht
であるから、
S=TU=12θ

三角関数との関係

ここでは、双曲線関数と三角関数との関係についてみていきたいと思う。前章からわかるように、双曲線関数は三角関数で成り立つ性質と似たような性質が成り立っていることがわかったと思う。さらなる両者の関係を見る前に、オイラーの公式について触れておきたいと思う。

以降では、x,yを実数、zは複素数として、z=x+iyとすることを約束する。なお、以下で出てくる等式はx,yを複素数としても成り立つが、今回はあくまで実数の範囲で扱う。

オイラーの公式

eix=cosx+isinx

長くなるので証明は略する。もしかしたら、いつか書くかもしれない。
オイラーの公式を用いた三角関数の表記についても書いておこう。

cosx=eix+eix2=coshixsinx=eixeix2i=1isinhix

オイラーの公式から、
eix=cosx+isinxeix=cosxisinx
2式を足して、
2cosx=eix+eixcosx=eix+eix2
また、2式を引いて、
2isinx=eixeixsinx=eixeix2i

また、定理2から次のことがわかる。

cosix=coshx sinix=sinhx

定理2で得られた等式において、xixとすると、
cosix=coshi(ix)=cosh(x)=coshxsinix=1isinhi(ix)=isinh(x)=isinhx

これを利用して、複素変数における三角関数の加法定理を認めると、次の式が示せる。

実数x,yに対してz=x+iyとすると、
cosz=cosxcoshyisinxsinhysinz=sinxcoshy+icosxsinhy

cosz=cos(x+iy)=cosxcosiysinxsinhiy=cosxcoshyisinxsinhysinz=sin(x+iy)=sinxcosiy+cosxsiniy=sinxcoshy+icosxsinhy

これを用いた応用例として、有名な問題を一つ出しておきたいと思う。なお、解答は省略するので各自調べてもらいたい。

方程式sinz=2を解け。

最後に、前章の定理5につながる話をしたいと思う。まず、三角関数について以下のことが成り立つ。(なお、証明は簡単のため例によって略)

弧度法で表された角θに対し、単位円C:x2+y2=1上の点A(cosθ,sinθ)と、x軸上の点B(1,0)をとる。線分OA,OBと円Cで囲まれた領域の面積はθ2となる。

これと定理5を見比べると、曲線の方程式におけるy2の係数が異なるだけの、非常に類似した定理になっていることがわかる。実は双曲線関数は三角関数を定義する際にはこういった背景が存在する。それゆえ、双曲線関数は三角関数が満たすいくつかの関係式に似たような関係式を満たすのだろう。

おわりに

この記事を書いていて、やはり双曲線関数は美しい関数だなと再認識した。解析系は複素まで絡んでからが本番、そしてもっと美しい側面が見えてくるのだと思う。今回取り上げられなかった式もいつかは取り上げたい。ついでに証明略としてしまった部分についても追々記事を書いて行ければなあと思う。長くなってしまったが、最後まで読んでくれてありがとう。

投稿日:20201115
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

空集合
空集合
20
4981

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 定義
  3. 性質
  4. 三角関数との関係
  5. おわりに