Hyperbolic Functions

欢迎来到双曲函数（Hyperbolic Functions）的世界！

欢迎来到高等数学（Further Mathematics）中最优雅的章节之一。如果你曾经好奇为什么电缆挂起来会呈现特定的曲线，或者圣路易市的“大拱门”（Gateway Arch）是怎么设计出来的，现在你就要找到答案了！

在本章中，我们将探讨双曲函数。你可以把它们想象成你已经熟悉的三角函数（\(\sin\)、\(\cos\) 和 \(\tan\)）的“表亲”。虽然普通的三角函数是基于圆（circular functions）的，但双曲函数是基于双曲线（hyperbolas）的。它们的行为非常相似，这让学习变得容易，不过它们有一些独特的“个性特征”，我们需要好好掌握。

1. 定义：认识家族成员

在普通三角函数中，我们使用单位圆上的坐标。而在双曲三角函数中，我们使用指数函数 \(e^x\) 来定义一切。这正是双曲函数的“DNA”。

三大核心函数

1. 双曲正弦（Hyperbolic Sine，读作 'shine'）： \( \sinh x = \frac{e^x - e^{-x}}{2} \)

2. 双曲余弦（Hyperbolic Cosine，读作 'kosh'）： \( \cosh x = \frac{e^x + e^{-x}}{2} \)

3. 双曲正切（Hyperbolic Tangent，读作 'than' 或 'tansh'）： \( \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \)

快速回顾：

• \(\sinh x\) 是一个奇函数（关于原点对称）。
• \(\cosh x\) 是一个偶函数（关于 y 轴对称）。
• \(\cosh x\) 的值永远不会小于 1。把它想象成一个永远不会触碰到地面的“杯子”！

类比： 试着把 \(\sinh\) 和 \(\cosh\) 想象成食谱里的食材。它们由相同的成分（\(e^x\) 和 \(e^{-x}\)）组成，但 \(\sinh\) 是将它们相减，而 \(\cosh\) 是将它们相加。

重点总结： 所有的双曲函数都只是 \(e^x\) 和 \(e^{-x}\) 的组合。如果你忘记了某个公式，永远可以回头利用这些指数定义推导出来！

2. 可视化函数：图像

了解它们的模样能帮助你解方程，并理解它们的定义域（\(x\) 可以取什么值）和值域（\(y\) 可以取什么值）。

\(y = \cosh x\) 的图像

这通常被称为悬链线（catenary）。它看起来像一个“U”字形或悬挂着的链条。
定义域： \(x \in \mathbb{R}\)（任何实数）
值域： \(y \geq 1\)

\(y = \sinh x\) 的图像

它看起来有点像立方函数（\(x^3\)），但由于指数项的存在，它上升的速度要快得多。
定义域： \(x \in \mathbb{R}\)
值域： \(y \in \mathbb{R}\)

\(y = \tanh x\) 的图像

这看起来像一个被夹在两条水平线（渐近线）之间的“滑梯”。
渐近线： \(y = 1\) 和 \(y = -1\)
定义域： \(x \in \mathbb{R}\)
值域： \(-1 < y < 1\)

重点总结： 只有 \(\cosh x\) 的值域受到限制（\(y \geq 1\)）。\(\tanh x\) 则被“困”在 -1 和 1 之间。

3. 双曲恒等式

就像 \(\sin^2 x + \cos^2 x = 1\) 一样，双曲函数也有它们自己的规则。最重要的一个是：
\( \cosh^2 x - \sinh^2 x \equiv 1 \)

如果这看起来有点难记，别担心！ 注意那个减号，它与圆三角函数的恒等式刚好相反。

记忆法：奥斯本法则（Osborne’s Rule）

要将任何普通三角恒等式转换为双曲恒等式：
1. 保持公式结构不变。
2. 改变符号：任何涉及两个正弦函数乘积（例如 \(\sin^2 x\)、\(\tan^2 x\) 或 \(\sin A \sin B\)）的项，都要变号。

例子： \(\cos(2x) = 1 - 2\sin^2 x\) 变成了 \(\cosh(2x) = 1 + 2\sinh^2 x\)。（因为 \(\sinh^2\) 的缘故，我们把减号变成了加号！）

你知道吗？ 你可以通过将 \(\sinh\) 和 \(\cosh\) 替换为它们的指数定义并展开括号，来证明任何这类恒等式！

重点总结： 使用奥斯本法则来迁移你既有的三角函数知识。只是要小心处理那些含有“正弦平方”项的符号变化！

4. 微分与积分

双曲函数的微积分其实比普通三角函数更简单，因为需要担心的负号更少。

导数

\( \frac{d}{dx}(\sinh x) = \cosh x \)
\( \frac{d}{dx}(\cosh x) = \sinh x \) （这里没有负号！）
\( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)

积分

\( \int \cosh x \, dx = \sinh x + C \)
\( \int \sinh x \, dx = \cosh x + C \)

常见错误： 学生常会因为习惯了 \(\frac{d}{dx}(\cos x) = -\sin x\)，而在 \(\frac{d}{dx}(\cosh x)\) 时不自觉加上负号。在双曲世界里，\(\sinh\) 和 \(\cosh\) 的微分是正向循环的！

重点总结： 对 \(\sinh\) 和 \(\cosh\) 进行微分是一个没有负号的“循环”。这让它们在处理冗长的微积分题目时显得非常友善。

5. 反双曲函数

如果我们有 \(y = \sinh x\)，那么它的反函数就是 \(x = \text{arsinh } y\)。我们使用前缀 "ar"（代表 area，面积）而不是 "arc"。

对数形式

由于双曲函数是由 \(e^x\) 组成的，它们的反函数则是由自然对数（\(\ln\)）构成的。你需要记住这些：

1. \( \text{arsinh } x = \ln(x + \sqrt{x^2 + 1}) \) 对所有 \(x\) 成立

2. \( \text{arcosh } x = \ln(x + \sqrt{x^2 - 1}) \) 对 \(x \geq 1\) 成立

3. \( \text{artanh } x = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right) \) 对 \(|x| < 1\) 成立

如何推导（逐步教学）

如果题目要求你推导 \(y = \text{arcosh } x\)：
1. 将其写为 \(x = \cosh y\)。
2. 使用定义： \(x = \frac{e^y + e^{-y}}{2}\)。
3. 同乘以 \(2\) 再同乘以 \(e^y\)，得到： \(2xe^y = (e^y)^2 + 1\)。
4. 这是一个伪装成二次方程的式子： \((e^y)^2 - 2x(e^y) + 1 = 0\)。
5. 使用二次公式解出 \(e^y\)，然后对两边取 \(\ln\) 即可！

重点总结： 反双曲函数其实就是特定类型的对数。如果你在积分结果中看到含有平方根的式子，它很可能就导向这些反双曲函数！

本章总结

- 定义： 请务必记住 \(\sinh x = \frac{e^x - e^{-x}}{2}\) 和 \(\cosh x = \frac{e^x + e^{-x}}{2}\)。
- 恒等式： \(\cosh^2 x - \sinh^2 x = 1\)。其他恒等式请使用奥斯本法则。
- 微积分： \(\sinh \to \cosh\) 且 \(\cosh \to \sinh\)。没有负号！
- 反函数： 这些可以表示为对数形式。使用“伪装的二次方程”方法来进行推导。