欢迎来到双曲函数（Hyperbolic Functions）的世界！
欢迎来到单元 FP3！在本章中，我们将一起探索双曲函数。如果你已经学过三角函数（sin、cos 和 tan），那你很幸运——双曲函数就像它们的“表亲”。三角函数是基于圆形（circle）的，而双曲函数则是基于一种叫做双曲线（hyperbola）的图形。
我们为什么要学这个呢？如果你看过两根电线杆之间悬挂的电缆，那条曲线其实就是一个双曲函数（悬链线，catenary）！它们在工程学、物理学甚至狭义相对论中都至关重要。别担心，如果刚开始觉得这些概念有点“复杂”；我们会一步一步把它拆解开来。
1. 定义双曲函数
在进阶纯数 3 (Further Pure 3) 中，我们使用指数函数 (\(e^x\)) 来定义这些函数。这是因为双曲函数能描述各种生长与衰减的规律。
所有双曲函数的两个“根基”是 sinh（读作 'shine'）和 cosh（读作 'cosh'）：
- 双曲正弦 (Hyperbolic Sine)： \( \sinh x = \frac{e^x - e^{-x}}{2} \)
- 双曲余弦 (Hyperbolic Cosine)： \( \cosh x = \frac{e^x + e^{-x}}{2} \)
就像普通三角函数一样，我们可以由这两个函数推导出其他的函数：
- 双曲正切 (Hyperbolic Tangent)： \( \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \)
- 双曲正割 (Hyperbolic Secant)： \( \text{sech } x = \frac{1}{\cosh x} = \frac{2}{e^x + e^{-x}} \)
- 双曲余割 (Hyperbolic Cosecant)： \( \text{cosech } x = \frac{1}{\sinh x} = \frac{2}{e^x - e^{-x}} \)
- 双曲余切 (Hyperbolic Cotangent)： \( \coth x = \frac{1}{\tanh x} = \frac{e^x + e^{-x}}{e^x - e^{-x}} \)
小复习箱
请记住 \(e^0 = 1\)。这意味着：
\( \cosh 0 = \frac{1+1}{2} = 1 \)
\( \sinh 0 = \frac{1-1}{2} = 0 \)
2. 函数图像与关键性质
理解这些函数的图像形状能帮助你直观地掌握数学概念！
- \( \cosh x \)： 看起来像个“U”字形（类似抛物线但更陡峭）。它永远不会低于 1。它是一个偶函数（even function），这意味着 \( \cosh(-x) = \cosh(x) \)。
- \( \sinh x \)： 从下方开始，穿过原点 (0,0)，然后向上延伸。它是一个奇函数（odd function），这意味着 \( \sinh(-x) = -\sinh(x) \)。
- \( \tanh x \)： 这个图像被困在水平渐近线 \( y = 1 \) 和 \( y = -1 \) 之间。它看起来像一个拉长的“S”形。
你知道吗？ 与 \( \sin x \) 和 \( \cos x \) 不同，双曲函数不是周期性的。它们不会重复出现；它们只会不断增长！
3. 双曲恒等式与奥斯本法则 (Osborne's Rule)
就像 \( \cos^2 x + \sin^2 x = 1 \) 一样，双曲函数也有一套自己的规则。不过，正负号会有一个小小的变动。
基本恒等式
\( \mathbf{\cosh^2 x - \sinh^2 x = 1} \)
（注意这里的减号！你可以利用我们在第 1 节学到的指数定义来证明这一点。）
记忆小撇步：奥斯本法则 (Osborne's Rule)
如果你已经掌握了标准三角恒等式（从 P3 学过的），你可以使用奥斯本法则将它们转换为双曲恒等式：
将所有的 \( \cos \) 替换为 \( \cosh \)，将所有的 \( \sin \) 替换为 \( \sinh \)。但是，只要你看到两个正弦函数的积（例如 \( \sin^2 x \) 或 \( \sin A \sin B \)），就必须翻转它前面的符号。
例子：
三角函数：\( \cos 2x = 1 - 2\sin^2 x \)
双曲函数：\( \cosh 2x = 1 + 2\sinh^2 x \) （因为 \( \sinh^2 \) 的缘故，原本的减号变成了加号）。
重点总结
双曲函数是由 \(e^x\) 定义的。利用奥斯本法则来记忆恒等式，并记住 \( \cosh^2 x - \sinh^2 x = 1 \)。
4. 解方程
你经常会被要求解这类方程，例如 \( a \cosh x + b \sinh x = c \)。主要有两种处理方法：
- 方法 A：指数代换法。 用 \(e^x\) 的定义来替换 \( \sinh x \) 和 \( \cosh x \)。这通常会将方程转换为关于 \(e^x\) 的二次方程。
- 方法 B：利用恒等式。 利用诸如 \( \cosh^2 x - \sinh^2 x = 1 \) 的恒等式，将所有项统一为同一个函数（例如全部转为 \( \sinh x \)），然后像解标准二次方程那样去解。
常见错误提醒： 当你解出 \(e^x\) 的值时，请记住 \(e^x\) 必须永远大于零。如果你算出的结果是 \(e^x = -3\)，你必须舍弃它，因为对于实数 \(x\) 来说这是不可能的。
5. 反双曲函数
反双曲函数写作 arsinh、arcosh 和 artanh。它们告诉我们：“什么样的 \(x\) 值会得出这个双曲函数值？”
对数形式
由于原始函数是基于 \(e^x\) 的，因此它们的反函数是基于自然对数 (\(\ln\)) 的。你需要掌握这三个公式（以及如何证明它们）：
- \( \mathbf{\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})} \) 对于所有 \(x\)
- \( \mathbf{\text{arcosh } x = \ln(x + \sqrt{x^2 - 1})} \) 对于 \(x \ge 1\)
- \( \mathbf{\text{artanh } x = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right)} \) 对于 \(|x| < 1\)
逐步推导：如何证明 \( y = \text{arsinh } x \)
- 从 \( x = \sinh y \) 开始。
- 写成 \( x = \frac{e^y - e^{-y}}{2} \)。
- 两边乘以 \( 2e^y \) 得到一个二次式： \( 2xe^y = (e^y)^2 - 1 \)。
- 整理： \( (e^y)^2 - 2xe^y - 1 = 0 \)。
- 使用二次公式（quadratic formula）解出 \(e^y\)。
- 对两边取 \(\ln\)（并保留正根）。
6. 双曲函数的微积分
这部分真的很有趣！其导数与三角函数非常相似，但 \( \cosh \) 不需要处理恼人的负号。
微分 (Differentiation)
- \( \frac{d}{dx}(\sinh x) = \cosh x \)
- \( \frac{d}{dx}(\cosh x) = \sinh x \) （这里没有负号！）
- \( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)
积分 (Integration)
积分只是微分的逆过程。你还会使用双曲代换法来解决涉及根式（如 \( \sqrt{x^2 + a^2} \)）的复杂积分。
代换小技巧： 如果你看到 \( \sqrt{x^2 + a^2} \)，试着令 \( x = a \sinh u \)。因为 \( \cosh^2 u - \sinh^2 u = 1 \)，根式部分就能漂亮地简化为 \( a \cosh u \)！
小复习箱
三角函数导数： \( \sin \to \cos \)， \( \cos \to -\sin \)
双曲函数导数： \( \sinh \to \cosh \)， \( \cosh \to \sinh \)
它们友好多了！
本章总结
双曲函数让我们连结了指数函数与三角函数。要学好这一章，请务必做到：
- 精通 \( \sinh \) 和 \( \cosh \) 的指数定义。
- 使用奥斯本法则来灵活运用你已知的三角恒等式。
- 熟练转换反双曲函数与它们的对数形式。
- 解方程时，务必检查你的 \(e^x\) 值是否有效（必须为正）。
多练习这些代换与恒等式——这些工具会让 FP3 后面的章节变得简单得多！