🚀 欢迎来到双曲函数：FP3 学习指南！

你好，未来的进阶数学家！欢迎来到激动人心的双曲函数（Hyperbolic Functions）世界。别担心这个名字听起来很深奥，这些函数实际上就是你所熟悉的三角函数（圆函数）的“伙伴”。只不过三角函数与圆有关，而双曲函数与双曲线（hyperbola）有关。

在本章中，我们将学习它们的定义，发现它们独特的恒等式，并掌握它们的微分与积分。这是高等微积分和几何的基础章节，让我们开始吧！

第一节：构建基石——定义与图像

双曲函数是利用指数函数 \(\text{e}^x\) 定义的。这使得它们在工程学、物理学（尤其是相对论）和建筑学中极其有用。

1.1 基本定义

两个最基础的双曲函数是 sinh（读作“shine”）和 cosh（读作“kosh”）。

  • 双曲正弦 (\(\sinh x\))：
    \[ \sinh x = \frac{\text{e}^x - \text{e}^{-x}}{2} \]

    类比：由于存在减号，\(\sinh x\) 是奇函数（类似于 \(\sin x\)）——它经过原点。

  • 双曲余弦 (\(\cosh x\))：
    \[ \cosh x = \frac{\text{e}^x + \text{e}^{-x}}{2} \]

    类比：由于存在加号，\(\cosh x\) 是偶函数（类似于 \(\cos x\)）——它关于 y 轴对称，并在 \(x=0\) 处取得最小值。

💡 记忆小贴士： \(\cosh x\) 中的字母 'C' 可以让你联想到 悬链线（Catenary），这是悬挂的链条或电缆所形成的形状。这条曲线呈 U 型，这也印证了 \(\cosh x\) 总是正值的特点。

1.2 衍生定义

正如在三角学中一样，我们基于上述基础函数定义了正切、正割、余割和余切：

  • 双曲正切 (\(\tanh x\))： \[ \tanh x = \frac{\sinh x}{\cosh x} = \frac{\text{e}^x - \text{e}^{-x}}{\text{e}^x + \text{e}^{-x}} \]
  • 双曲正割 (\(\text{sech } x\))： \[ \text{sech } x = \frac{1}{\cosh x} \]
  • 双曲余割 (\(\text{cosech } x\))： \[ \text{cosech } x = \frac{1}{\sinh x} \]
  • 双曲余切 (\(\coth x\))： \[ \coth x = \frac{1}{\tanh x} \]
1.3 定义部分的要点总结


指数定义是所有一切的基础。如果你忘记了某个恒等式或导数，随时可以回到定义式进行证明或推导！

第二节：基本恒等式——双曲线法则

这一节至关重要！双曲恒等式看起来与三角恒等式非常相似，但请务必密切注意符号——它们往往是相反的。

2.1 核心恒等式

最重要的恒等式将 \(\cosh x\) 和 \(\sinh x\) 联系了起来。

双曲勾股恒等式（The Hyperbolic Pythagorean Identity）： \[ \cosh^2 x - \sinh^2 x = 1 \]

🔥 特别注意： 在三角学中，它是 \(\cos^2 \theta + \sin^2 \theta = 1\)。在双曲函数中，中间符号是减号！这个减号正是双曲线定义的来源。

逐步证明（简要回顾）：

  1. 从 \(\cosh^2 x - \sinh^2 x\) 开始。
  2. 代入定义： \( \left(\frac{\text{e}^x + \text{e}^{-x}}{2}\right)^2 - \left(\frac{\text{e}^x - \text{e}^{-x}}{2}\right)^2 \)
  3. 展开分子： \( \frac{(\text{e}^{2x} + 2 + \text{e}^{-2x}) - (\text{e}^{2x} - 2 + \text{e}^{-2x})}{4} \)
  4. 化简： \( \frac{4}{4} = 1 \)。证毕。

2.2 衍生恒等式

我们通过将核心恒等式分别除以 \(\cosh^2 x\) 或 \(\sinh^2 x\) 来导出另外两个恒等式：

  • 除以 \(\cosh^2 x\)： \[ 1 - \frac{\sinh^2 x}{\cosh^2 x} = \frac{1}{\cosh^2 x} \] \[ 1 - \tanh^2 x = \text{sech}^2 x \quad \implies \quad \mathbf{1 - \tanh^2 x = \text{sech}^2 x} \]

    （对比三角学：\(1 + \tan^2 \theta = \sec^2 \theta\)。再次强调，符号是相反的！）

  • 除以 \(\sinh^2 x\)： \[ \frac{\cosh^2 x}{\sinh^2 x} - 1 = \frac{1}{\sinh^2 x} \] \[ \coth^2 x - 1 = \text{cosech}^2 x \quad \implies \quad \mathbf{\coth^2 x - 1 = \text{cosech}^2 x} \]

    （对比三角学：\(1 + \cot^2 \theta = \csc^2 \theta\)。符号又是相反的！）

2.3 加法公式

这些是倍角公式和复合角公式的类比。它们在解方程或化简表达式时极其有用。

复合角公式：

  • \(\cosh(A+B) = \cosh A \cosh B + \sinh A \sinh B\)
  • \(\cosh(A-B) = \cosh A \cosh B - \sinh A \sinh B\)
  • \(\sinh(A+B) = \sinh A \cosh B + \cosh A \sinh B\)
  • \(\sinh(A-B) = \sinh A \cosh B - \cosh A \sinh B\)
  • \(\tanh(A+B) = \frac{\tanh A + \tanh B}{1 + \tanh A \tanh B}\)

💡 观察： 请注意，\(\sinh\) 的加法公式保持了原有的符号（加号保持为加号，减号保持为减号），这与 \(\sin\) 是一样的。但是，\(\cosh\) 的公式与 \(\cos\) 不同：对于 \(\cosh(A+B)\)，符号是加号（+），而对于 \(\cos(\alpha+\beta)\)，符号是减号（-）。

倍角公式（令 \(A=B=x\)）：

  • \(\cosh(2x) = \cosh^2 x + \sinh^2 x\) （三角学中没有直接的简单对应！）
  • \(\cosh(2x) = 2\cosh^2 x - 1\)
  • \(\cosh(2x) = 1 + 2\sinh^2 x\)
  • \(\sinh(2x) = 2\sinh x \cosh x\)

重点总结： 处理双曲恒等式时，除非你证明了结果，否则默认符号与三角版本相反！记住 \(\cosh^2 x - \sinh^2 x = 1\) 永远是你的锚点。

第三节：反双曲函数（对数形式）

就像求 \(\arcsin\) 是为了求出角度一样，求 \(\text{arsinh\) 是为了求出产生该函数值的自变量 \(x\)。

我们使用 \(\text{arsinh } x\)，\(\text{arcosh } x\) 等记号，尽管你有时也会看到 \(\sinh^{-1} x\)。

FP3 课程的一个核心要求是用自然对数（\(\ln\)）来表示这些反函数。

3.1 推导对数形式

让我们看看如何推导 \(\text{arsinh } x\)。这一过程是考试中的常见考点。

第一步：设 \(y = \text{arsinh } x\)。
这意味着 \(x = \sinh y\)。

第二步：使用指数定义。
\[ x = \frac{\text{e}^y - \text{e}^{-y}}{2} \]

第三步：去分母并乘以 \(\text{e}^y\)。
\( 2x = \text{e}^y - \text{e}^{-y} \)
\( 2x\text{e}^y = (\text{e}^y)^2 - 1 \)

第四步：整理成关于 \(\text{e}^y\) 的一元二次方程。
\[ (\text{e}^y)^2 - 2x\text{e}^y - 1 = 0 \]

第五步：利用求根公式求解。
令 \(A=\text{e}^y\)。 \( A = \frac{-(-2x) \pm \sqrt{(-2x)^2 - 4(1)(-1)}}{2(1)} \)
\( A = \frac{2x \pm \sqrt{4x^2 + 4}}{2} = \frac{2x \pm 2\sqrt{x^2 + 1}}{2} \)
\( A = x \pm \sqrt{x^2 + 1} \)

第六步：选择正确的根并解出 \(y\)。
由于 \(A = \text{e}^y\) 必须是正数，且 \(\sqrt{x^2+1}\) 总是大于 \(x\)，我们必须选择正根： \( \text{e}^y = x + \sqrt{x^2 + 1} \)。
因此，\( y = \ln \left( x + \sqrt{x^2 + 1} \right) \)。

3.2 标准对数形式

你必须熟练掌握这三个标准结果：


1. 反双曲正弦 (定义域: \(x \in \mathbb{R}\)) \[ \mathbf{\text{arsinh } x = \ln \left( x + \sqrt{x^2 + 1} \right)} \]

2. 反双曲余弦 (定义域: \(x \ge 1\)) \[ \mathbf{\text{arcosh } x = \ln \left( x + \sqrt{x^2 - 1} \right)} \]

（注意定义域限制：由于 \(\cosh x \ge 1\)，自变量 \(x\) 至少必须为 1。）

3. 反双曲正切 (定义域: \(-1 < x < 1\)) \[ \mathbf{\text{artanh } x = \frac{1}{2} \ln \left( \frac{1+x}{1-x} \right)} \]

（注意定义域限制：\(\tanh x\) 的值总是在 -1 和 1 之间。）

简要回顾： 对数形式对于解方程和特定的积分技巧至关重要。多加练习推导过程，尤其是 \(\text{arsinh } x\)。

第四节：双曲函数的微积分

这是双曲函数在进阶数学中真正大放异彩的地方。它们的微分和积分形式优雅，且具有极其优美的对称性。

4.1 标准双曲函数的微分

微分双曲函数时，规则与三角函数几乎相同，但符号的处理要友好得多！

主要区别： 你很少会引入负号。

  • \[ \frac{\text{d}}{\text{d}x} (\sinh x) = \cosh x \]
  • \[ \frac{\text{d}}{\text{d}x} (\cosh x) = \sinh x \]
  • \[ \frac{\text{d}}{\text{d}x} (\tanh x) = \text{sech}^2 x \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{sech } x) = -\text{sech } x \tanh x \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{cosech } x) = -\text{cosech } x \coth x \]
  • \[ \frac{\text{d}}{\text{d}x} (\coth x) = -\text{cosech}^2 x \]

💡 记忆小贴士： 在三角学中，以 'co' 开头的导数（\(\cos, \cot, \csc\)）通常带有负号。而在双曲函数中，只有倒数函数（\(\text{sech}, \text{cosech}, \coth\)）的微分才产生负号。

示例：链式法则（别忘了内部函数的导数！）
如果 \(y = \cosh(3x^2)\)，则 \(\frac{\text{d}y}{\text{d}x} = \sinh(3x^2) \times (6x) = 6x \sinh(3x^2)\)。

4.2 反双曲函数的微分

这些导数常作为考题，因为它们是标准积分形式的基础。你可以通过微分它们的对数形式来证明这些结论。

  • \[ \frac{\text{d}}{\text{d}x} (\text{arsinh } x) = \frac{1}{\sqrt{x^2 + 1}} \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{arcosh } x) = \frac{1}{\sqrt{x^2 - 1}} \quad (x>1) \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{artanh } x) = \frac{1}{1 - x^2} \quad (|x|<1) \]

你知道吗？ \(\text{artanh } x\) 的导数在复分析和工程学中非常重要。注意观察这些形式与反三角函数导数有多么相似，但务必再次留意符号！

4.3 标准双曲函数的积分

积分是微分的逆运算。因为微分规则大部分为正，所以积分规则非常直观：

  • \[ \int \sinh x \text{d}x = \cosh x + C \]
  • \[ \int \cosh x \text{d}x = \sinh x + C \]
  • \[ \int \text{sech}^2 x \text{d}x = \tanh x + C \]
4.4 导向反双曲函数的积分

FP3 课程的一个重点是识别出最终结果为反双曲函数的积分，特别是那些源自 4.2 节微分结果的积分。通常通过换元法或直接识别下列标准形式来处理：

必须背诵的标准形式（其中 \(a\) 为常数）：

  1. 导致 \(\text{arsinh\) 的积分： \[ \mathbf{\int \frac{1}{\sqrt{x^2 + a^2}} \text{d}x = \text{arsinh} \left(\frac{x}{a}\right) + C} \] （或者写成对数形式： \( \ln \left( x + \sqrt{x^2 + a^2} \right) + C \))
  2. 导致 \(\text{arcosh\) 的积分： \[ \mathbf{\int \frac{1}{\sqrt{x^2 - a^2}} \text{d}x = \text{arcosh} \left(\frac{x}{a}\right) + C} \] （或者写成对数形式： \( \ln \left( x + \sqrt{x^2 - a^2} \right) + C \)。必须满足 \(|x| > a\)。）
  3. 导致 \(\text{artanh\) 的积分： \[ \mathbf{\int \frac{1}{a^2 - x^2} \text{d}x = \frac{1}{2a} \ln \left( \frac{a+x}{a-x} \right) + C} \] （这是 \(\frac{1}{a} \text{artanh} \left(\frac{x}{a}\right) + C \) 的结果。必须满足 \(|x| < a\)。）

常见错误警示： 学生经常会将这些双曲积分形式与反三角形式（例如 \(\int \frac{1}{\sqrt{a^2 - x^2}} \text{d}x = \arcsin (\frac{x}{a}) \)）混淆。注意符号出现的位置！

总结：双曲微积分

掌握双曲微积分需要两项技能：1) 熟悉标准的微分/积分公式，2) 识别何时需要在计算定积分时将最终答案代入对数形式。多加练习在 \(\text{arsinh\) 及其 \(\ln\) 形式之间进行转化吧！