培風館『入門微分積分』第1章・問題1.3.4の解答解説です。問題文、解法の要点、途中式を含む解答例を整理しています。
問題1.3.4
（１）$\cosh^2 x -\sinh^2 x =1$
（２）$\sinh (x \pm y)=\sinh x \cosh y \pm \cosh x \sinh y$
（３）$\cosh (x \pm y)=\cosh x \cosh y \pm \sinh x \sinh y$
解法の要点
数Ⅲの双曲線の積分などでは$x =\dfrac{e^t+e^{-t}}{2}$といった置換が有効なのですが、これは$\cosh t$に他なりません。
問題を解くにあたって、$\sinh x =\dfrac{e^x-e^{-x}}{2}$、$\cosh x =\dfrac{e^x+e^{-x}}{2}$という定義をまず覚えてしまいましょう。
解答例
$\begin{align} \cosh^2 x -\sinh^2 x &= \left( \dfrac{e^x+e^{-x}}{2} \right)^2 \left( \dfrac{e^x-e^{-x}}{2} \right)^2 \\ &=\dfrac{e^2x+2+e^{-2x}}{4}-\dfrac{e^2x-2+e^{-2x}}{4} \\ &=1\end{align}$
$\therefore \cosh^2 x -\sinh^2 x =1$
（２）
$\sinh (x \pm y)=\dfrac{e^{x \pm y}-e^{-x \mp y}}{2}$ である。また、
$\begin{align} & \ \ \ \ \sinh x \cosh y \pm \cosh x \sinh y \\ &=\dfrac{e^x-e^{-x}}{2} \cdot \dfrac{e^y+e^{-y}}{2} \pm \dfrac{e^x+e^{-x}}{2} \cdot \dfrac{e^y-e^{-y}}{2} \\ &=\dfrac{e^{x + y}-e^{-x + y}+e^{x – y}-e^{-x – y}}{4} \pm \dfrac{e^{x + y}+e^{-x + y}-e^{x – y}-e^{-x – y}}{4} \\ &=\dfrac{e^{x \pm y}-e^{-x \mp y}}{2} \end{align}$
であるから、$\sinh (x \pm y)=\sinh x \cosh y \pm \cosh x \sinh y$が成立する。
（３）
$\cosh (x \pm y)=\dfrac{e^{x \pm y}+e^{-x \mp y}}{2}$ である。また、
$\begin{align} &\ \ \ \ \cosh x \cosh y \pm \sinh x \sinh y \\ &=\dfrac{e^x+e^{-x}}{2} \cdot \dfrac{e^y+e^{-y}}{2} \pm \dfrac{e^x-e^{-x}}{2} \cdot \dfrac{e^y-e^{-y}}{2} \\ &=\dfrac{e^{x + y}+e^{-x + y}+e^{x – y}+e^{-x – y}}{4} \pm \dfrac{e^{x + y}-e^{-x + y}-e^{x – y}+e^{-x – y}}{4} \\ &=\dfrac{e^{x \pm y}+e^{-x \mp y}}{2} \end{align}$
であるから、$\cosh (x \pm y)=\cosh x \cosh y \pm \sinh x \sinh y$が成立する。
《コメント》
慎重に計算すればOKです。目的の式がはっきりしているので式変形にも困らないでしょう。
復習例題1.3.4
曲線 $y=\cosh x$、曲線 $y=\sinh x$、$y$軸および直線 $x=1$ で囲まれた図形を$x$軸のまわりに１回転してできる立体の体積を求めよ。
（※積分は範囲外ですが、（１）で示した性質が利用できるので掲載します）