双曲函数在积分换元中的应用

常见的双曲函数为：
$$\cosh t=\frac{1}{2}\left(e^t+e^{-t}\right),\sinh t=\frac{1}{2}\left(e^t-e^{-t}\right)$$
他们的性质如下：
(1) $(\cosh t{)}^{\prime }=\sinh t,(\sinh t{)}^{\prime }=\cosh t$
(2) ${\cosh }^{2}t-{\sinh }^{2}t=1,\cosh 2t={\cosh }^{2}t+{\sinh }^{2}t,\sinh 2t=2\sinh t\cosh t$
(3)$x=\sinh t$ 的反函数为 $t=\ln (x+\sqrt{1+x^2})$, $x=\cosh t$ 的反函数为 $t=\ln (x+\sqrt{x^2-1})$
对于$\sqrt{a^2+x^2}$类型，我们可以令$x=a\sinh t$(其实也可以进行$x=\tan x$或者$x=\cot x$的替换，只不过上述方法更简单)。