欢迎来到双曲函数（Hyperbolic Functions）的世界！
你好！今天我们将探索双曲函数。如果你已经学过三角函数，你一定对圆形以及 \(\sin\) 和 \(\cos\) 等函数非常熟悉。双曲函数与三角函数非常相似，但它们并不是基于圆形，而是基于一条称为双曲线（hyperbola）的曲线。
起初如果觉得这些概念有点“抽象”也别担心。看完这些笔记后，你会发现它们其实就是你已经熟悉的指数函数（\(e^x\)）的一种特殊组合方式。这些函数在工程学和物理学中非常有用——例如，悬挂的电缆所形成的形状，其实就是一条双曲曲线！
1. 三大主力：定义
在标准三角学中，我们有正弦（sine）、余弦（cosine）和正切（tangent）。在双曲数学中，我们则有 sinh（读作 "shine"）、cosh（读作 "cosh"）和 tanh（读作 "tansh"）。
它们是利用指数常数 \(e\) 定义的：
• 双曲正弦： \(\sinh x = \frac{e^x - e^{-x}}{2}\)
• 双曲余弦： \(\cosh x = \frac{e^x + e^{-x}}{2}\)
• 双曲正切： \(\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}\)
类比：增长与衰减的平均值
将 \(e^x\) 想成“增长”，将 \(e^{-x}\) 想成“衰减”。
\(\cosh x\) 正好是增长与衰减之间的“中间值”（平均值）。
\(\sinh x\) 则是增长与衰减之差的一半。
快速复习：
永远记住 \(\cosh x\) 和 \(\sinh x\) 只是 \(e^x\) 和 \(e^{-x}\) 的组合。如果你忘记了某个恒等式，随时可以回到这些 \(e\) 的定义进行推导！
2. 图形长什么样子？
可视化这些函数能帮助你了解它们的行为。
• \(\cosh x\) 的图形： 它看起来像一个“U”型，与抛物线类似，但实际上它被称为悬链线（catenary）。它始于 \((0, 1)\)，并在两侧向上无限延伸。它永远不会低于 1。
• \(\sinh x\) 的图形： 这个看起来有点像 \(x^3\) 的图形。它通过原点 \((0, 0)\)，向正无穷大和负无穷大方向延伸。
• \(\tanh x\) 的图形： 这个非常“扁平”。它始终保持在 \(y = -1\) 和 \(y = 1\) 之间，在这两个数值处有水平渐近线。
你知道吗？
如果你在两根柱子之间悬挂一条沉重的铁链，它自然形成的形状正好就是 \(y = \cosh x\) 的图形！建筑师利用这个特性来设计稳定的拱门，例如圣路易的捷运拱门（Gateway Arch）。
3. 双曲恒等式
就像 \(\sin^2 x + \cos^2 x = 1\) 一样，双曲函数也有一套自己的规则。不过，这里有一个微小的“符号”变动！
基本恒等式：
\(\cosh^2 x - \sinh^2 x = 1\)
其他关键恒等式：
• \(1 - \tanh^2 x = \text{sech}^2 x\)
• \(\sinh(x \pm y) = \sinh x \cosh y \pm \cosh x \sinh y\)
• \(\cosh(x \pm y) = \cosh x \cosh y \pm \sinh x \sinh y\)
记忆法：奥斯本规则（Osborn’s Rule）
别担心要死记两套公式！你可以使用奥斯本规则将任何三角恒等式转化为双曲恒等式：
1. 将 \(\sin\) 替换为 \(\sinh\)，将 \(\cos\) 替换为 \(\cosh\)。
2. 诀窍： 如果原来的三角恒等式涉及两个正弦函数的乘积（例如 \(\sin^2 x\) 或 \(\tan^2 x\)，后者等于 \(\sin^2/\cos^2\)），请反转该项前面的符号。
例子： \(\cos 2x = 1 - 2\sin^2 x\) 会变为 \(\cosh 2x = 1 + 2\sinh^2 x\)（因为 \(\sin^2\) 变成了 \(\sinh^2\)，所以我们把减号改成了加号）。
关键要点：
双曲恒等式与三角恒等式几乎一模一样，但只要你看到两个 \(\sinh\) 项的乘积，就必须改变符号。
4. 反双曲函数
有时我们需要反向操作。如果 \(\sinh x = y\)，那么 \(x = \text{arsinh } y\)。这些被称为面积函数（area functions）（这就是为什么我们用 "ar" 而不是单纯的 "inv"）。
由于原函数是由 \(e^x\) 组成的，反函数则由自然对数（\(\ln\)）组成：
• \(\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})\)
• \(\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{arcosh } x\) 只在 \(x \geq 1\) 时才有定义。如果你尝试代入较小的数，你就会试图对负数进行开方，或者对非正数取对数！
5. 双曲函数的微积分
这部分是双曲函数比三角函数更容易的地方！
微分
在三角学中，\(\frac{d}{dx}(\cos x) = -\sin x\)。但在双曲世界中，基本函数导数中没有负号：
• \(\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\)
步骤示范：微分
如果你被要求对 \(y = \cosh(3x^2)\) 进行微分：
1. 使用链式法则（Chain Rule）。
2. “外部”（\(\cosh\)）的导数是 \(\sinh\)。
3. “内部”（\(3x^2\)）的导数是 \(6x\)。
4. 将它们相乘：\(\frac{dy}{dx} = 6x \sinh(3x^2)\)。
6. 总结与最后提示
重要记住点：
• 双曲函数只是 \(e^x\) 和 \(e^{-x}\) 的特定组合。
• \(\cosh x\) 是“悬挂链”函数。
• 使用奥斯本规则将三角恒等式转换为双曲恒等式（遇到 \(\sinh \times \sinh\) 时反转符号）。
• \(\text{arsinh}\)、\(\text{arcosh}\) 和 \(\text{artanh}\) 都可以写成对数形式。
• \(\sinh\) 和 \(\cosh\) 的导数始终是彼此的正值版本。
不要被这些新名字吓倒。把它们想成是你已经熟悉的三角函数的“指数表亲”。练习绘制几次图形，你很快就能掌握这一章的内容！