欢迎来到双曲函数（Hyperbolic Functions）的世界！
在标准的 A Level 数学课程中，你已经花了很多时间研究基于圆形（Circle）的三角函数（Trigonometric Functions）（如 sin, cos 和 tan）。在进阶数学（Further Mathematics）中，我们要引入它们的“表亲”：双曲函数。顾名思义，这些函数与双曲线（Hyperbola）密切相关。
别担心这些术语听起来很陌生！你很快就会发现，许多你已经熟悉的三角函数规则，在双曲函数中都有非常相似的版本。我们在现实工程中会使用这些函数，例如计算电力缆线在两座电塔之间如何悬垂，或是描述冷却塔的形状。
1. 基本定义
与通常由三角形定义的三角函数不同，双曲函数是使用指数函数 \( e^x \) 来定义的。你需要掌握三个主要的函数：
双曲正弦（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}} \)
倒数双曲函数
就像 \( \sec x \)、\( \text{cosec } x \) 和 \( \cot x \) 一样，双曲函数也有对应的倒数版本：
- 双曲正割（Hyperbolic Secant）： \( \text{sech } x = \frac{1}{\cosh x} \)
- 双曲余割（Hyperbolic Cosecant）： \( \text{cosech } x = \frac{1}{\sinh x} \)
- 双曲余切（Hyperbolic Cotangent）： \( \text{coth } x = \frac{1}{\tanh x} \)
快速复习：双曲函数不过是 \( e^x \) 和 \( e^{-x} \) 的组合。如果你忘记了某个恒等式，随时可以回到这些指数定义进行证明！
2. 图像、定义域与值域
理解这些函数的“形状”有助于你直观地掌握数学概念。
\( \cosh x \) 的图像
\( \cosh x \) 的图像看起来像一个“杯子”形状或“悬垂的链条”。在物理学中，这种形状被称为悬链线（Catenary）。
- 定义域： 所有实数 \( x \) (\( -\infty < x < \infty \))。
- 值域： \( \cosh x \ge 1 \)。(它永远不会低于 1！)
- 对称性： 它是一个偶函数（Even function），这意味着它关于 y 轴对称 (\( \cosh(-x) = \cosh x \))。
\( \sinh x \) 的图像
\( \sinh x \) 的图像是一个穿过原点的“S”形曲线。
- 定义域： 所有实数 \( x \)。
- 值域： 所有实数 \( y \)。
- 对称性： 它是一个奇函数（Odd function） (\( \sinh(-x) = -\sinh x \))。
\( \tanh x \) 的图像
\( \tanh x \) 的图像看起来像一个被夹在两条隐形线之间的水平“S”形。
- 定义域： 所有实数 \( x \)。
- 值域： \( -1 < \tanh x < 1 \)。
- 渐近线： 它在 \( y = 1 \) 和 \( y = -1 \) 处有水平渐近线。
你知道吗？ 如果你将一条沉重的项链悬挂在双手中，它形成的曲线正是 \( y = \cosh x \) 的图像！
3. 双曲恒等式
你已经知道 \( \cos^2 x + \sin^2 x \equiv 1 \)。双曲函数也有类似的恒等式，但通常涉及符号改变（Sign change）。
基本恒等式
\( \cosh^2 x - \sinh^2 x \equiv 1 \)
其他关键恒等式
- \( \text{sech}^2 x \equiv 1 - \tanh^2 x \)
- \( \text{cosech}^2 x \equiv \text{coth}^2 x - 1 \)
- 倍角公式： \( \sinh 2x \equiv 2\sinh x \cosh x \)
- 倍角公式： \( \cosh 2x \equiv \cosh^2 x + \sinh^2 x \)
记忆小撇步：奥斯本法则（Osborne’s Rule）
要将三角恒等式转换为双曲恒等式，只需将 \( \cos \) 替换为 \( \cosh \)，将 \( \sin \) 替换为 \( \sinh \)。但是，如果该恒等式涉及两个正弦的乘积（如 \( \sin^2 x \) 或 \( \tan^2 x \)，因为 \( \tan^2 = \sin^2 / \cos^2 \)），你必须改变该项前面的符号。
重点总结：如果式子中有 \( \sinh^2 x \) 或 \( \tanh^2 x \)，其前面的正负号通常与三角函数版本相反。
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 \)
- \( \int \text{sech}^2 x \, dx = \tanh x + C \)
常见错误：学生在对 \( \cosh x \) 微分时经常加上负号，因为他们习惯了三角函数（\( \frac{d}{dx} \cos x = -\sin x \)）。在双曲函数中，\( \sinh \) 和 \( \cosh \) 互相微分后都保持正号！
5. 反双曲函数
如果我们想“还原”双曲函数，我们使用 \( \text{arsinh } x \)、\( \text{arcosh } x \) 和 \( \text{artanh } x \)。
对数形式
由于原始函数是基于 \( e^x \)，因此它们的反函数基于自然对数（\( \ln \)）。你必须知道（并能推导）这些公式：
- \( \text{arsinh } x = \ln(x + \sqrt{x^2 + 1}) \) 适用于所有 \( x \)
- \( \text{arcosh } x = \ln(x + \sqrt{x^2 - 1}) \) 适用于 \( x \ge 1 \)
- \( \text{artanh } x = \frac{1}{2}\ln\left(\frac{1 + x}{1 - x}\right) \) 适用于 \( |x| < 1 \)
反函数的定义域与值域
记住，反函数的定义域就是原始函数的值域！
- \( \text{arcosh } x \)： 由于 \( \cosh x \) 永远不会低于 1，因此 \( \text{arcosh } x \) 只存在于 \( x \ge 1 \)。
- \( \text{artanh } x \)： 由于 \( \tanh x \) 保持在 -1 和 1 之间，因此 \( \text{artanh } x \) 只存在于 -1 和 1 之间的值。
6. 使用代换法进行积分
双曲函数在解决涉及二次式平方根的积分时非常有用。
情况 1：涉及 \( \sqrt{x^2 + a^2} \) 的积分
使用代换 \( x = a\sinh u \)。
为什么？ 因为 \( a^2\sinh^2 u + a^2 = a^2(\sinh^2 u + 1) = a^2\cosh^2 u \)。平方根就消失了！
情况 2：涉及 \( \sqrt{x^2 - a^2} \) 的积分
使用代换 \( x = a\cosh u \)。
为什么？ 因为 \( a^2\cosh^2 u - a^2 = a^2(\cosh^2 u - 1) = a^2\sinh^2 u \)。同样地，平方根消失了！
快速复习箱：
- \( \sqrt{x^2 + a^2} \rightarrow \) 使用 \( \sinh \)
- \( \sqrt{x^2 - a^2} \rightarrow \) 使用 \( \cosh \)
- \( \sqrt{a^2 - x^2} \rightarrow \) 使用 \( \sin \) (来自标准 A Level！)
7. 构建证明
你可能会被要求证明一个双曲恒等式。主要有两种方法：
- 方法 A（指数定义法）： 将 \( \sinh x \) 和 \( \cosh x \) 替换为它们的 \( e^x \) 公式并进行代数展开。这方法一定可行，但过程可能会很繁琐。
- 方法 B（恒等式变形法）： 从 \( \cosh^2 x - \sinh^2 x \equiv 1 \) 开始，同除以 \( \cosh^2 x \) 或 \( \sinh^2 x \) 来推导其他恒等式，就像你在三角函数中所做的那样。
分步提示：在证明反函数的对数形式时，令 \( y = \text{arsinh } x \)，即 \( x = \sinh y \)。写出 \( x = \frac{e^y - e^{-y}}{2} \)，两边同时乘以 \( 2e^y \) 以得到一个关于 \( e^y \) 的二次方程，然后利用二次公式解出它！
总结检查清单
考试前，请确保你能：
- 说出 \( \sinh, \cosh, \) 和 \( \tanh \) 的指数定义。
- 绘制图像并说出它们的定义域与值域。
- 使用奥斯本法则（Osborne’s Rule）写出恒等式。
- 对基础双曲函数进行微分与积分。
- 背诵反双曲函数的对数形式。
- 为积分问题选择正确的双曲代换法。
最后鼓励：双曲函数可能因为名称中的“h”看起来很吓人，但它们运作起来非常有逻辑。掌握好指数定义和奥斯本法则，其余的一切都会迎刃而解！