もしも高校で双曲線関数をやったなら (7) ：双曲線関数の合成

双曲線関数の公式を見ていくシリーズ（目次）。　今回は双曲線関数の合成を見ていきます。　三角関数の場合と同様、合成で使うのはやはり加法定理です。　加法定理を最初に学習したときは、それを使って展開もしくは分解のようなことを行いますが、合成は逆に複数の項を1つにまとめます。　合成を実行できるのは ${ a,\,b }$ を実数として以下の形をした式です：

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x \end{align*}}$

では本題の双曲線関数の合成。　基本的には三角関数の場合とやることは同じで、加法定理を使って1つの項にまとめるのが目的です。　ただし、係数の ${ a,\,b }$ の（絶対値の）大小関係によって合成の仕方が異なります。

ちなみに、双曲線関数の加法定理は三角関数のものと少し符号が異なる部分があるので注意。　こちらを参照。

${ |a| > |b| }$ の場合

${ a > 0 }$ のとき

手順はこんな感じ：

${ \sqrt{a^2 - b^2} }$ でくくる
適切な角度 ${ \alpha }$ を探す
加法定理によって1つの双曲線関数に合成する

計算自体は三角関数の場合とそんなに変わらないのでサラっといきます。

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x = \sqrt{a^2 - b^2}\left(\frac{a}{\sqrt{a^2 - b^2}}\sinh x + \frac{b}{\sqrt{a^2 - b^2}}\cosh x\right) \end{align*}}$

ここで

　　 ${ \displaystyle\begin{align*} \cosh \alpha &= \frac{a}{\sqrt{a^2 - b^2}}, & \sinh \alpha &= \frac{b}{\sqrt{a^2 - b^2}} & \left(\cosh^2 \alpha - \sinh^2 \alpha = 1\right) \end{align*}}$

を満たす ${ \alpha }$ を用いて以下のように合成できます：

　　 ${ \displaystyle\begin{align*} &\sqrt{a^2-b^2}\left(\frac{a}{\sqrt{a^2 - b^2}}\sinh x + \frac{b}{\sqrt{a^2 - b^2}}\cosh x\right) \\[4mm] &\qquad= \sqrt{a^2-b^2}\left(\sinh x \cosh \alpha + \cosh x \sinh \alpha\right) \\ &\qquad= \sqrt{a^2-b^2}\;\sinh(x + \alpha) \end{align*}}$

${ a < 0 }$ のとき

手順は、最初に因子でくくるときに負符号を余計に入れる以外は ${ a > 0 }$ のときと同じです：

${ -\sqrt{a^2 - b^2} }$ でくくる
適切な角度 ${ \alpha' }$ を探す
加法定理によって1つの双曲線関数に合成する

角度を ${ \alpha' }$ にしてるのは ${ \alpha }$ と定義が異なるのを示すためです。　負符号を入れる理由は後ほど。

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x = -\sqrt{a^2 - b^2}\left(-\frac{a}{\sqrt{a^2 - b^2}}\sinh x - \frac{b}{\sqrt{a^2 - b^2}}\cosh x\right) \end{align*}}$

ここで

　　 ${ \displaystyle\begin{align*} \cosh \alpha' &= -\frac{a}{\sqrt{a^2 - b^2}}, & \sinh \alpha' &= \frac{b}{\sqrt{a^2 - b^2}} & \left(\cosh^2 \alpha' - \sinh^2 \alpha' = 1\right) \end{align*}}$

を満たす ${ \alpha' }$ を見つけます。　今の場合、 ${ -\frac{a}{\sqrt{a^2 - b^2}} > 1 }$ なので ${ \cosh \alpha' = -\frac{a}{\sqrt{a^2 - b^2}} }$ が存在します（任意の実数 ${ x }$ に対して ${ \cosh x > 1 }$ が成り立ちます）。　これが負符号を余計にくくった理由です。　そして、この ${ \alpha' }$ を使って、以下のように合成を行えます：

　　 ${ \displaystyle\begin{align*} &-\sqrt{a^2-b^2}\left(-\frac{a}{\sqrt{a^2 - b^2}}\sinh x - \frac{b}{\sqrt{a^2 - b^2}}\cosh x\right) \\[4mm] &\qquad= -\sqrt{a^2-b^2}\left(\sinh x \cosh \alpha' - \cosh x \sinh \alpha'\right) \\ &\qquad= -\sqrt{a^2-b^2}\;\sinh(x - \alpha') \end{align*}}$

${ |a| < |b| }$ の場合

${ b > 0 }$ のとき

こちらの場合の大まかな手順

${ \sqrt{b^2 - a^2} }$ でくくる
適切な角度 ${ \beta }$ を探す
加法定理によって1つの双曲線関数に合成する

最初にくくる因子の引く方、引かれる方が変わってることに注意。　平方根の中なので、絶対値が大きい方から小さい方を引くと思えば混乱はしないでしょう。　それ以外は基本的に今までと同じですが、角度の定義が少々異なるので注意。

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x = \sqrt{b^2 - a^2}\left(\frac{a}{\sqrt{b^2 - a^2}}\sinh x + \frac{b}{\sqrt{b^2 - a^2}}\cosh x\right) \end{align*}}$

ここで

　　 ${ \displaystyle\begin{align*} \sinh \beta &= \frac{a}{\sqrt{b^2 - a^2}}, & \cosh \beta &= \frac{b}{\sqrt{b^2 - a^2}} & \left(\cosh^2 \beta - \sinh^2 \beta = 1\right) \end{align*}}$

を満たす ${ \beta }$ を用いて以下のように合成できます：

　　 ${ \displaystyle\begin{align*} &\sqrt{b^2 - a^2}\left(\frac{a}{\sqrt{b^2 - a^2}}\sinh x + \frac{b}{\sqrt{b^2 - a^2}}\cosh x\right) \\[4mm] &\qquad= \sqrt{b^2 - a^2}\left(\sinh x \sinh \beta + \cosh x \cosh \beta \right) \\ &\qquad= \sqrt{b^2 - a^2}\;\cosh(x + \beta) \end{align*}}$

${ b < 0 }$ のとき

やはり ${ b > 0 }$ の場合に比べて負符号を余計にくくります。

${ -\sqrt{b^2 - a^2} }$ でくくる
適切な角度 ${ \beta' }$ を探す
加法定理によって1つの双曲線関数に合成する

あとは大体同じ。

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x = -\sqrt{b^2 - a^2}\left(-\frac{a}{\sqrt{b^2 - a^2}}\sinh x - \frac{b}{\sqrt{b^2 - a^2}}\cosh x\right) \end{align*}}$

ここで

　　 ${ \displaystyle\begin{align*} \sinh \beta' &= \frac{a}{\sqrt{b^2 - a^2}}, & \cosh \beta' &= -\frac{b}{\sqrt{b^2 - a^2}} & \left(\cosh^2 \beta - \sinh^2 \beta = 1\right) \end{align*}}$

を満たす ${ \beta' }$ を用いて

　　 ${ \displaystyle\begin{align*} &-\sqrt{b^2 - a^2}\left(-\frac{a}{\sqrt{b^2 - a^2}}\sinh x - \frac{b}{\sqrt{b^2 - a^2}}\cosh x\right) \\[4mm] &\qquad= -\sqrt{b^2 - a^2}\left(-\sinh x \sinh \beta' + \cosh x \cosh \beta' \right) \\ &\qquad= -\sqrt{b^2 - a^2}\;\cosh(x - \beta') \end{align*}}$

${ |a| = |b| }$ の場合

この場合は、定義より単なる指数関数になることが簡単に分かります：

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x = \begin{cases} \;\;\; ae^x & (a = b) \\ -ae^{-x} & (a = -b) \end{cases} \end{align*}}$

公式まとめ

　　 ${ \displaystyle\begin{align*} a\sinh x + b\cosh x = \begin{cases} \;\;\; \sqrt{a^2 - b^2}\;\sinh(x + \alpha) & (|a| > |b|,\,a > 0) \\[4mm] -\sqrt{a^2 - b^2}\;\sinh(x - \alpha') & (|a| > |b|,\,a < 0) \\[4mm] \;\;\; \sqrt{b^2 - a^2}\;\cosh(x + \beta) & (|a| < |b|,\,b > 0) \\[4mm] -\sqrt{b^2 - a^2}\;\cosh(x - \beta') & (|a| < |b|,\,b < 0) \\[4mm] \;\;\; ae^x & (a = b) \\[4mm] -ae^{-x} & (a = -b) \end{cases} \end{align*}}$

ただし ${ \alpha,\,\beta }$ は以下を満たす実数：

　　 ${ \displaystyle\begin{align*} \cosh \alpha \;&= \frac{a}{\sqrt{a^2 - b^2}}, & \sinh \alpha \;&= \frac{b}{\sqrt{a^2 - b^2}} \\ \cosh \alpha' &= -\frac{a}{\sqrt{a^2 - b^2}}, & \sinh \alpha' &= \frac{b}{\sqrt{a^2 - b^2}} \\ \sinh \beta \;&= \frac{a}{\sqrt{b^2 - a^2}}, & \cosh \beta \;&= \frac{b}{\sqrt{b^2 - a^2}} \\ \sinh \beta' &= \frac{a}{\sqrt{b^2 - a^2}}, & \cosh \beta' &= - \frac{b}{\sqrt{b^2 - a^2}} \end{align*}}$