ふゅか
そういえば、双曲線関数の加法定理って三角関数の加法定理に似てるって聞いたことがあるの!
はるか
1. 双曲線関数とは
双曲線関数は次のように定義されます。
sinh(x)=2ex–e−x
cosh(x)=2ex+e−x
tanh(x)=cosh(x)sinh(x)=ex+e−xex–e−x

2. 双曲線関数の加法定理
2.1. 加法定理
ほとんど三角関数の加法定理と同じですが、符号が異なります。三角関数の加法定理とは異なり双曲線関数の加法定理は符号は一致しています。
1.sinh(x+y)=sinhxcoshy+sinhycoshx
2.sinh(x−y)=sinhxcoshy−sinhycoshx
3.cosh(x+y)=coshxcoshy+sinhxsinhy
4.cosh(x−y)=coshxcoshy−sinhxsinhy
5.tanh(x+y)=1+tanhxtanhytanhx+tanhy
6.tanh(x−y)=1−tanhxtanhytanhx−tanhy
2.2. 計算による証明
coshx=2ex+e−x,sinhx=2ex−e−x,tanhx=coshxsinhxを用いる。
2.3. 加法定理1の証明
右辺から左辺を導きます。
sinhxcoshy+sinhycoshx
=2(ex+e−x)⋅2(ey−e−y)+2(ex−e−x)⋅2(ey+e−y)
=42(ex+y+e−x−y)
=2ex+y+e−x−y
=sinh(x+y)
左辺と一致している。
2.4. 加法定理3の証明
coshxcoshy+sinhxsinhy
=2(ex+e−x)⋅2(ey+e−y)+2(ex−e−x)⋅2(ey−e−y)
=42(ex+y−e−x−y)
=2ex+y−e−x−y
=cosh(x+y)
左辺と一致している。
2.5. 加法定理5の証明
1、3をtanh(x+y)に代入すると、
tanh(x+y)
=cosh(x+y)sinh(x+y)
=coshxcoshy+sinhxsinhycoshxsinhy+coshysinhx
分子分母をcoshxcoshyで割ると
=1+tanhxtanhytanhx+tanhy
2.6. 加法定理2,4,6の証明
三角関数と同様にyを−yと考えれば2.4.6は証明できます。
3. 双曲線関数の加法定理の例題
ふゅか
面白い!じゃあ、この特性を使っていろいろな式を証明してみたいわね。
3.1. 例題1:sinh(2x)
次の式を双曲線関数の加法定理を用いて証明しなさい。
sinh(2x)=2sinh(x)cosh(x)
双曲線関数の加法定理を使います。
sinh(2x)=sinh(x+x)
=sinh(x)cosh(x)+cosh(x)sinh(x)
∴sinh(2x)=2sinh(x)cosh(x)
双曲線関数の加法定理を使って、sinh(2x)=2sinh(x)cosh(x) が証明されました。
3.2. 例題2:cosh(2x)
次の式を双曲線関数の加法定理を用いて証明しなさい。
cosh(2x)=cosh2(x)+sinh2(x)
双曲線関数の加法定理を使います。
cosh(2x)=cosh(x+x)
cosh(2x)=cosh(x)cosh(x)+sinh(x)sinh(x)
cosh(2x)=cosh2(x)+sinh2(x)
双曲線関数の加法定理を使って、cosh(2x)=cosh2(x)+sinh2(x) が証明されました。
3.3. 例題3:sinh(3x)
次の式を双曲線関数の加法定理を用いて証明しなさい。
\ sinh(3x)=3sinh(x)+4sinh3(x)
sinh(3x) を求める際に、まず sinh(2x) の結果を利用して計算してみましょう。
sinh(3x) は sinh(2x+x) として表すことができます。双曲線関数の加法定理を使用します。
sinh(3x)=sinh(2x+x)=sinh(2x)cosh(x)+cosh(2x)sinh(x)
sinh(2x)=2sinh(x)cosh(x) を代入します。
sinh(3x)=[2sinh(x)cosh(x)]cosh(x)+cosh(2x)sinh(x)
sinh(3x)=2sinh(x)cosh2(x)+cosh(2x)sinh(x)
cosh(2x)=cosh2(x)+sinh2(x) を代入します。
sinh(3x)=2sinh(x)cosh2(x)+(cosh2(x)+sinh2(x))sinh(x)
sinh(3x)=2sinh(x)cosh2(x)+sinh(x)cosh2(x)+sinh3(x)
sinh(3x)=3sinh(x)cosh2(x)+sinh3(x)
双曲線関数の関係式を利用して cosh2(x)=1+sinh2(x) を代入します。
sinh(3x)=3sinh(x)(1+sinh2(x))+sinh3(x)
sinh(3x)=3sinh(x)+3sinh3(x)+sinh3(x)
sinh(3x)=3sinh(x)+4sinh3(x)