双曲函数 (进阶纯数 2，第 2.1 节)
你好！欢迎来到双曲函数的世界。别担心，名字听起来可能有点吓人，但这些函数其实就是我们熟知的三角（圆）函数（sin, cos, tan）的“伙伴”，只不过它们是利用指数函数 \(e^x\) 定义的。它们在物理学、工程学（尤其是模拟悬挂的电缆——著名的悬链线！）以及进阶数学的积分方法中至关重要。
在本章中，我们将掌握它们的定义、恒等式、图像，以及其反函数强大的对数形式。
1. 双曲函数的定义
双曲函数直接由指数函数 \(e^x\) 和 \(e^{-x}\) 构建而成。
a) 核心定义：\(\cosh x\) 和 \(\sinh x\)
两个基本的双曲函数是双曲余弦（\(\cosh x\)，读作 cosh）和双曲正弦（\(\sinh x\)，读作 shine 或 sinh）。
1. 双曲余弦 (\(\cosh x\)):
\(\cosh x\) 的定义是 \(e^x\) 和 \(e^{-x}\) 的算术平均值。 \[\n\cosh x = \frac{e^x + e^{-x}}{2}\n\]
记忆小贴士： 由于 \(\cos x\) 是偶函数，\(\cosh x\) 也是偶函数。该公式使用加号，使其关于 y 轴对称。
2. 双曲正弦 (\(\sinh x\)):
\(\sinh x\) 的定义是 \(e^x\) 和 \(e^{-x}\) 的差的一半。 \[\n\sinh x = \frac{e^x - e^{-x}}{2}\n\]
记忆小贴士： 由于 \(\sin x\) 是奇函数，\(\sinh x\) 也是奇函数。该公式使用减号，使其关于原点对称。
b) 其他双曲函数
就像标准三角函数一样，其他四个双曲函数根据 \(\sinh x\) 和 \(\cosh x\) 之间的关系定义：
- 双曲正切: \(\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}\)
- 双曲余切: \(\text{coth } x = \frac{1}{\tanh x} = \frac{\cosh x}{\sinh x}\)
- 双曲正割: \(\text{sech } x = \frac{1}{\cosh x} = \frac{2}{e^x + e^{-x}}\)
- 双曲余割: \(\text{cosech } x = \frac{1}{\sinh x} = \frac{2}{e^x - e^{-x}}\)
\(\cosh x = \frac{e^x + e^{-x}}{2}\)
\(\sinh x = \frac{e^x - e^{-x}}{2}\)
2. 双曲恒等式
这些恒等式与三角恒等式相似，但要特别注意：符号经常是相反的！
a) 基本恒等式（双曲勾股定理）
最重要的恒等式连接了 \(\cosh x\) 和 \(\sinh x\)：
\[\n\cosh^2 x - \sinh^2 x = 1\n\]
证明（你必须掌握此证明）：
- 从定义出发： \[\n \cosh^2 x - \sinh^2 x = \left(\frac{e^x + e^{-x}}{2}\right)^2 - \left(\frac{e^x - e^{-x}}{2}\right)^2\n \]
- 展开分子： \[\n = \frac{1}{4} \left[ (e^{2x} + 2e^x e^{-x} + e^{-2x}) - (e^{2x} - 2e^x e^{-x} + e^{-2x}) \right]\n \]
- 简化中间项（\(e^x e^{-x} = e^0 = 1\)）： \[\n = \frac{1}{4} \left[ (e^{2x} + 2 + e^{-2x}) - (e^{2x} - 2 + e^{-2x}) \right]\n \]
- 分配减号并消去项： \[\n = \frac{1}{4} \left[ e^{2x} + 2 + e^{-2x} - e^{2x} + 2 - e^{-2x} \right]\n \]
- 剩余项为 \(2 + 2 = 4\)： \[\n = \frac{1}{4} (4) = 1\n \]
关键点： 请记住，在常规三角函数中，\(\cos^2 x + \sin^2 x = 1\)。在双曲函数中，符号变为：\(\cosh^2 x - \sinh^2 x = 1\)。这是计算错误的主要来源，请在笔记中重点标注！
b) 推导恒等式
我们可以通过将基本恒等式除以 \(\cosh^2 x\) 或 \(\sinh^2 x\) 来推导其他恒等式：
- 除以 \(\cosh^2 x\)： \[\n \frac{\cosh^2 x}{\cosh^2 x} - \frac{\sinh^2 x}{\cosh^2 x} = \frac{1}{\cosh^2 x}\n \] 恒等式 2: \(1 - \tanh^2 x = \text{sech}^2 x\)（注意与 \(1 + \tan^2 x = \sec^2 x\) 的符号差异）
- 除以 \(\sinh^2 x\)： \[\n \frac{\cosh^2 x}{\sinh^2 x} - \frac{\sinh^2 x}{\sinh^2 x} = \frac{1}{\sinh^2 x}\n \] 恒等式 3: \(\coth^2 x - 1 = \text{cosech}^2 x\)（注意与 \(1 + \cot^2 x = \csc^2 x\) 的符号差异）
c) 二倍角恒等式
这些遵循标准三角二倍角的结构，但再次强调，注意符号！
- 双曲正弦: \(\sinh 2x = 2 \sinh x \cosh x\)（与三角函数相同）
- 双曲余弦: \(\cosh 2x = \cosh^2 x + \sinh^2 x\)（注意：这是加号，与 \(\cos 2x = \cos^2 x - \sin^2 x\) 不同）
利用基本恒等式，我们可以改写 \(\cosh 2x\)： \[\n\cosh 2x = 2 \cosh^2 x - 1\n\] \[\n\cosh 2x = 1 + 2 \sinh^2 x\n\]
给同学的学习建议： 如果你记不住双曲恒等式，试着快速写出对应的三角恒等式，并记住对于任何最初包含正弦奇次幂的项，都要翻转符号。由于 \(\cosh x\) 始终为正，当它在恒等式中占主导地位时，通常会保持正号。
3. 图像与关键性质
绘制这些图像是必备技能。你必须了解它们的定义域、值域和渐近行为。
a) \(y = \cosh x\) 的图像
- 形状： 看起来像抛物线，但实际上是均匀重链在两个支撑点之间自由悬挂时形成的形状——这被称为悬链线。
- 定义域： \(x \in \mathbb{R}\)
- 值域： \(y \ge 1\)（因为 \(\frac{e^x + e^{-x}}{2}\) 总是正的，且其最小值出现在 \(x=0\) 处，此时 \(\cosh 0 = 1\)）。
- 对称性： 偶函数（关于 y 轴对称）。
你知道吗？ 建筑师使用倒置的悬链线形状（拱形），因为它能完美地分散重量，避免弯曲应力。美国圣路易斯的拱门就是一座倒悬链线！
b) \(y = \sinh x\) 的图像
- 形状： S 型曲线，类似于 \(y = x^3\)，但呈指数增长。
- 定义域： \(x \in \mathbb{R}\)
- 值域： \(y \in \mathbb{R}\)
- 对称性： 奇函数（关于原点对称），经过 (0, 0)。
c) \(y = \tanh x\) 的图像
- 形状： 类似于 \(\tan^{-1} x\)。
- 定义域： \(x \in \mathbb{R}\)
- 值域： \(-1 < y < 1\)
- 渐近线： 水平渐近线为 \(y = 1\)（当 \(x \to \infty\) 时）和 \(y = -1\)（当 \(x \to -\infty\) 时）。
为什么 \(\tanh x\) 有渐近线？
当 \(x \to \infty\) 时： \[\n\tanh x = \frac{e^x - e^{-x}}{e^x + e^{-x}}\n\] 分子分母同时除以 \(e^x\)： \[\n\tanh x = \frac{1 - e^{-2x}}{1 + e^{-2x}}\n\] 当 \(x \to \infty\) 时，\(e^{-2x} \to 0\)，所以 \(\tanh x \to \frac{1 - 0}{1 + 0} = 1\)。这证实了渐近线为 \(y=1\)。
4. 反双曲函数
由于 \(\sinh x\) 和 \(\tanh x\) 是一一对应（单调）的，它们的逆函数很容易求出。但是，\(\cosh x\) 是多对一的（因为它是偶函数），所以必须将定义域限制为 \(x \ge 0\) 以确保存在有效的反函数。
a) 定义
反函数表示为 \(\sinh^{-1} x\)、\(\cosh^{-1} x\) 和 \(\tanh^{-1} x\)。它们回答的问题是：“什么值 \(x\) 能得到这个输出？”
b) 推导对数形式（面积函数）
课程大纲的关键要求是推导并使用这些反函数的对数形式。这些形式通常被称为面积函数，因为它们与双曲线下的面积有关。
我们将逐步推导 \(\sinh^{-1} x\)。\(\cosh^{-1} x\) 和 \(\tanh^{-1} x\) 的推导过程类似。
\(\sinh^{-1} x\) 的逐步推导
设 \(y = \sinh^{-1} x\)。根据定义，这意味着 \(x = \sinh y\)。
第一步：代入指数定义。 \[\nx = \frac{e^y - e^{-y}}{2}\n\]
第二步：去掉分数并消除负指数。
乘以 2：
\[\n2x = e^y - e^{-y}\n\]等式两边同时乘以 \(e^y\)（这是形成二次方程的关键代数技巧）：
\[\n2x e^y = e^{2y} - e^0\n\] \[\n2x e^y = e^{2y} - 1\n\]第三步：整理成关于 \(e^y\) 的二次方程。
\[\n(e^y)^2 - (2x) e^y - 1 = 0\n\]第四步：使用求根公式求解二次方程。
设 \(E = e^y\)。那么 \(E^2 - (2x)E - 1 = 0\)。使用 \(E = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}\)，其中 \(a=1, b=-2x, c=-1\)：
\[\ne^y = \frac{-(-2x) \pm \sqrt{(-2x)^2 - 4(1)(-1)}}{2(1)}\n\] \[\ne^y = \frac{2x \pm \sqrt{4x^2 + 4}}{2}\n\] \[\ne^y = \frac{2x \pm 2\sqrt{x^2 + 1}}{2}\n\] \[\ne^y = x \pm \sqrt{x^2 + 1}\n\]第五步：应用定义域限制。
由于 \(e^y\) 必须为正，我们检查两个解：
由于 \(\sqrt{x^2 + 1}\) 总是大于 \(x\)，负根 \(x - \sqrt{x^2 + 1}\) 是负数。因此，我们必须取正根。
\[\ne^y = x + \sqrt{x^2 + 1}\n\]第六步：取自然对数求 \(y\)。
\[\ny = \ln(x + \sqrt{x^2 + 1})\n\]因此，\(\sinh^{-1} x\) 的对数形式为：
\[\n\sinh^{-1} x = \ln(x + \sqrt{x^2 + 1}) \quad \text{对于 } x \in \mathbb{R}\n\]
c) 对数形式汇总 (MF19 公式)
你必须能够使用这些公式，并推导出前三个（或识别其推导过程）：
- \(\sinh^{-1} x = \ln(x + \sqrt{x^2 + 1}) \quad (\text{对于所有 } x)\)
- \(\cosh^{-1} x = \ln(x + \sqrt{x^2 - 1}) \quad (\text{对于 } x \ge 1)\)
- \(\tanh^{-1} x = \frac{1}{2} \ln \left(\frac{1 + x}{1 - x}\right) \quad (\text{对于 } |x| < 1)\)
常见错误警示！
在求解 \(\cosh^{-1} x\) 时，二次方程步骤会给出两个正的 \(e^y\) 解。但是，由于我们将 \(\cosh x\) 的定义域限制在 \(y \ge 0\)，我们必须选择能产生 \(y \ge 0\) 的解。对于 \(\cosh^{-1} x\)，惯例始终是取正根：\(e^y = x + \sqrt{x^2 - 1}\)。
应用举例：解方程
题目： 解方程 \(\cosh x = 3\)。
解答（使用对数形式）：
由于 \(x = \cosh^{-1} 3\)，我们使用对数形式：
\[\nx = \ln(3 + \sqrt{3^2 - 1})\n\] \[\nx = \ln(3 + \sqrt{8})\n\] \[\nx = \ln(3 + 2\sqrt{2})\n\]
因为 \(\cosh x\) 的图像是对称的，所以还有一个负解，即 \(\ln(3 - 2\sqrt{2})\)，但除非另有说明，否则由正分支导出的主值就足够了。
对数形式将潜在的复杂双曲方程转化为标准的对数方程，使其更容易求解！
双曲函数学习重点
1. 定义基于指数： \(\cosh\)（加）和 \(\sinh\)（减）是基础。
2. 恒等式符号相反： 基本恒等式是 \(\cosh^2 x - \sinh^2 x = 1\)（注意减号！）。
3. 对数形式至关重要： 理解推导过程（利用 \(e^y\) 和二次公式）以求出反函数的对数形式。