欢迎来到双曲函数（Hyperbolic Functions）的世界！
在 GCSE 和 A-level 的学习中，大家对 \(\sin\)、\(\cos\) 和 \(\tan\) 等三角函数应该已经非常熟悉了。这些函数通常被称为“圆函数”（circular functions），因为它们与圆上的坐标有关。
在这一章，我们要认识它们的“亲戚”：双曲函数。如果刚开始觉得很陌生，别担心！虽然它们的名字（\(\sinh\)、\(\cosh\) 和 \(\tanh\)）看起来很像，但其实它们是由指数函数 \(e^x\) 所构建的。你会发现它们拥有一些与圆函数相似的性质，但却带有一些有趣的细节变化。
为什么要学这个？双曲函数不仅仅是抽象的数学，它们还能描述悬挂的电缆或沉重项链形成的形状（这条曲线称为悬链线，catenary），并广泛应用于工程学和狭义相对论中！
1. 定义：它们是什么？
这些函数不是基于单位圆，而是基于双曲线（hyperbola）。我们使用 \(e^x\) 和 \(e^{-x}\) 来定义这三个主要函数。你需要背诵这三个定义：
- 双曲正弦（Hyperbolic Sine）： \(\sinh x = \frac{e^x - e^{-x}}{2}\) （读作 "shine"）
- 双曲余弦（Hyperbolic Cosine）： \(\cosh x = \frac{e^x + e^{-x}}{2}\) （读作 "cosh"）
- 双曲正切（Hyperbolic Tangent）： \(\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}\) （读作 "tansh"）
小贴士：注意 \(\sinh x\) 的分子是减号，而 \(\cosh x\) 的分子是加号。你可以这样记：\(\cosh\) 是比较“厚重”（"heavier"）的那一个（因为是加法），它创造了悬垂链条的形状！
重点总结：
双曲函数其实就是 \(e^x\) 和 \(e^{-x}\) 的组合。如果你解题时卡住了，永远可以将双曲函数替换为它们的指数定义来进行运算。
2. 绘制图像
透过可视化这些函数，可以帮助你理解它们的行为。让我们来看看它们的形状：
\(y = \sinh x\) 的图像
\(\sinh x\) 的图像看起来有点像 \(y = x^3\)。它从原点 \((0,0)\) 出发，并在两个方向上延伸至无穷大。它是一个奇函数（odd function），这意味着它对原点具有旋转对称性。
\(y = \cosh x\) 的图像
这就是“悬链线”曲线。
- 它永远不会低于 \(y = 1\)。
- y 轴截距永远是 \((0, 1)\)，因为 \(\frac{e^0 + e^0}{2} = \frac{1+1}{2} = 1\)。
- 它是一个偶函数（even function）（对 y 轴对称），就像一般的 \(\cos x\) 一样。
\(y = \tanh x\) 的图像
这个图像被“困”在两条水平渐近线之间：\(y = 1\) 和 \(y = -1\)。它通过原点，看起来像一个拉长的“S”形。无论 \(x\) 多大，它都永远不会真正达到 1 或 -1！
常见错误提醒：很多学生会不小心把 \(\cosh x\) 从原点画起。请记住：\(\cosh 0 = 1\) 而 \(\sinh 0 = 0\)。
3. 双曲恒等式
就像 \(\cos^2 x + \sin^2 x \equiv 1\) 一样，双曲函数也有属于它们自己的规则。不过，符号上有一点点不同！
你必须掌握的基本恒等式是：
\(\cosh^2 x - \sinh^2 x \equiv 1\)
你知道吗？这个恒等式就是它们被称为“双曲”函数的原因。标准双曲线的方程是 \(x^2 - y^2 = 1\)。如果你令 \(x = \cosh t\) 且 \(y = \sinh t\)，它们刚好符合这个方程！
如何证明：
如果你需要证明它，只需代入指数定义即可：
\(\left(\frac{e^x + e^{-x}}{2}\right)^2 - \left(\frac{e^x - e^{-x}}{2}\right)^2\)
展开括号时，\(e^{2x}\) 和 \(e^{-2x}\) 项会抵消，最终剩下 1。
4. 反双曲函数
如果我们想为给定的 \(\sinh x\) 找出 \(x\) 的值，我们需要使用反函数：\(\text{arsinh } x\)、\(\text{arcosh } x\) 和 \(\text{artanh } x\)。（有些计算器使用 \(\sinh^{-1} x\)）。
关于 \(\text{arcosh } x\) 的重要注记：由于 \(\cosh x\) 的图像呈 U 型，它并非“一对一”的（两个不同的 \(x\) 值可以得到相同的 \(y\) 值）。为了要有反函数，我们只考虑 \(x \geq 0\) 的正半部分。因此，\(\text{arcosh } x\) 只在 \(x \geq 1\) 时才有定义。
对数形式
因为原始函数是由 \(e^x\) 组成的，所以反函数是由自然对数（\(\ln\)）构成的。你应该要能运用这些公式：
- \(\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})\) 对所有 \(x\) 成立
- \(\text{arcosh } x = \ln(x + \sqrt{x^2 - 1})\) 对 \(x \geq 1\) 成立
- \(\text{artanh } x = \frac{1}{2} \ln(\frac{1+x}{1-x})\) 对 \(|x| < 1\) 成立
如果这些公式看起来很吓人，不用担心！你其实可以自己推导它们。例如，要找出 \(\text{arsinh } x\)，你可以令 \(y = \sinh x\)，将 \(\sinh x\) 换成其指数定义，然后利用二次方程公式解出 \(x\)。这在考试中是非常常见的题目！
5. 步骤详解：解双曲方程
例子：解 \(2\sinh x + \cosh x = 1\)
第一步：用指数定义取代。
\(2(\frac{e^x - e^{-x}}{2}) + (\frac{e^x + e^{-x}}{2}) = 1\)
第二步：化简分数。
\((e^x - e^{-x}) + \frac{1}{2}e^x + \frac{1}{2}e^{-x} = 1\)
将整式乘以 2 以消除分数：\(2e^x - 2e^{-x} + e^x + e^{-x} = 2\)
\(3e^x - e^{-x} = 2\)
第三步：转化为二次方程。
将整个方程乘以 \(e^x\)（记住 \(e^x \cdot e^{-x} = 1\)）：
\(3e^{2x} - 1 = 2e^x\)
\(3(e^x)^2 - 2e^x - 1 = 0\)
第四步：解二次方程。
令 \(u = e^x\)：\(3u^2 - 2u - 1 = 0\)
因式分解得 \((3u + 1)(u - 1) = 0\)，所以 \(u = 1\) 或 \(u = -1/3\)。
第五步：求 \(x\)。
由于 \(e^x = u\)，我们有 \(e^x = 1\)（这意味着 \(x = 0\)）。
我们也有 \(e^x = -1/3\)，但由于 \(e^x\) 永远为正，这部分没有实数解。
最终答案：\(x = 0\)
速查框
关键恒等式：
\(\tanh x \equiv \frac{\sinh x}{\cosh x}\)
\(\cosh^2 x - \sinh^2 x \equiv 1\)
关键数值：
\(\sinh 0 = 0\)
\(\cosh 0 = 1\)
\(\tanh 0 = 0\)
“终极秘诀”：如果题目看起来太难，将所有东西转换成 \(e^x\) 和 \(e^{-x}\)。这几乎总能把它变成一个你可以解的二次方程！