双曲函数简介
欢迎来到双曲函数 (Hyperbolic Functions) 的世界！如果你曾经留意过悬挂在两根电线杆之间的电缆，或是挂在颈上的贵重金链，其实你已经见过双曲函数的应用了。链条自然下垂形成的形状称为悬链线 (catenary)，它正是由 cosh 函数所描述的。
在本章中，我们将探讨一些外观和表现都与你所熟知的三角函数（sin、cos 和 tan）非常相似的函数，但它们并非基于圆形，而是基于双曲线 (hyperbola)。如果起初觉得有些困难也不用担心——一旦你掌握了当中的规律，就会发现它们往往比标准的三角函数更容易运算！
1. 定义双曲函数
三个主要的双曲函数分别是 sinh（读作 "shine"）、cosh（读作 "cosh"）和 tanh（读作 "than"）。与标准三角函数不同，它们是利用指数函数 \( e^x \) 来定义的。
定义如下：
• 双曲正弦： \( \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}} \)
可视化函数图像
• Cosh x： 这看起来像一个“U”形（类似抛物线，但更陡峭）。它从 \( (0, 1) \) 开始，并向两个方向延伸至无穷大。其值域 (range) 为 \( \cosh x \ge 1 \)。
• Sinh x： 这看起来像一条“三次”曲线。它穿过原点 \( (0, 0) \)。其值域为所有实数。
• Tanh x： 这看起来像一个“拉长的 S”。它被夹在 \( y = 1 \) 和 \( y = -1 \) 这两条水平渐近线之间。其值域为 \( -1 < \tanh x < 1 \)。
你知道吗？
美国圣路易市的拱门 (Gateway Arch) 是利用倒转的 cosh 曲线设计的！它是工程学中最稳固的形状之一，因为它能完美地分散重量。
重点总结：双曲函数其实就是 \( e^x \) 和 \( e^{-x} \) 的组合。如果你能进行指数的代数运算，那你就能轻松驾驭双曲函数！
2. 基本恒等式
在标准三角学中，你知道 \( \cos^2 x + \sin^2 x = 1 \)。双曲函数也有非常相似的规则，只是符号上有一点点“小转变”。
关键恒等式：
\( \cosh^2 x - \sinh^2 x = 1 \)
避免常见错误：
许多学生因为习惯了标准三角学，会不小心写成加号。记忆小撇步：回想一下双曲线的方程式 \( x^2 - y^2 = 1 \)，当中的“减号”就是双曲恒等式使用减号的原因！
重点提示：一定要记住中间是减号！\( \cosh^2 x - \sinh^2 x = 1 \)。
3. 微积分：微分与积分
双曲函数在微积分中最棒的地方在于它们的表现。它们比三角函数“友善”得多，因为我们不必担心那么多负号问题。
微分
• \( \frac{d}{dx}(\sinh x) = \cosh x \)
• \( \frac{d}{dx}(\cosh x) = \sinh x \)
• \( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)（注意：虽然 \( \text{sech } x \) 不是绘图的重点，但你要认得它是 \( \frac{1}{\cosh x} \)）。
比较技巧：
在三角函数中，\( \frac{d}{dx}(\cos x) = -\sin x \)。
在双曲函数中，对于 sinh 和 cosh，**所有结果都保持正号**！微分 \( \cosh x \) 时没有负号。
积分
由于积分是微分的逆运算：
• \( \int \cosh x \, dx = \sinh x + c \)
• \( \int \sinh x \, dx = \cosh x + c \)
快速回顾：要对 sinh 和 cosh 进行微分或积分，你只需把它们互换即可。就是这么简单！
4. 反双曲函数
就像我们有 \( \sin^{-1} x \) 一样，我们也有反双曲函数：arsinh、arcosh 和 artanh。由于双曲函数是由指数构成的，它们的反函数可以用对数 (logarithms) 来表示。
对数形式
你需要能够运用（有时甚至需要推导）这些公式：
• \( \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(\frac{1+x}{1-x}) \)，适用于 \( |x| < 1 \)
理解定义域
• arcosh x： 由于 \( \cosh x \) 永远不会小于 1，所以你只能将 \( \ge 1 \) 的数字代入 \( \text{arcosh } x \)。
• artanh x： 由于 \( \tanh x \) 始终保持在 -1 和 1 之间，所以你只能将 -1 到 1 之间的数字代入 \( \text{artanh } x \)。
逐步推导：arsinh x
1. 从 \( y = \text{arsinh } x \) 开始，即 \( x = \sinh y \)。
2. 使用定义： \( x = \frac{e^y - e^{-y}}{2} \)。
3. 乘以 2： \( 2x = e^y - e^{-y} \)。
4. 将所有项乘以 \( e^y \)： \( 2xe^y = (e^y)^2 - 1 \)。
5. 这是一个隐藏的二次方程： \( (e^y)^2 - 2x(e^y) - 1 = 0 \)。
6. 使用二次方程求根公式解出 \( e^y \)，然后取自然对数！
5. 在积分中使用反函数
在考试中，你常会遇到看似与双曲函数无关的积分，但答案却包含反双曲函数。你应该要能辨认出这些“标准形式”：
标准积分：
• \( \int \frac{1}{\sqrt{x^2 + a^2}} \, dx = \text{arsinh}(\frac{x}{a}) + c \)
• \( \int \frac{1}{\sqrt{x^2 - a^2}} \, dx = \text{arcosh}(\frac{x}{a}) + c \)
类比：
把这些视为“模式”。当你看到分母带有平方根的分数时，检查它符合“加号”模式 (arsinh) 还是“减号”模式 (arcosh)。
重点提示：如果分母有 \( \sqrt{x^2 + a^2} \)，请联想到 arsinh。如果分母有 \( \sqrt{x^2 - a^2} \)，请联想到 arcosh。
章节总结检核表
你能否：
• 写出 sinh、cosh 和 tanh 使用 \( e^x \) 的定义？
• 绘制函数图像并说明其定义域与值域？
• 运用恒等式 \( \cosh^2 x - \sinh^2 x = 1 \)？
• 正确地对双曲函数进行微分与积分？
• 使用反双曲函数的对数形式？
• 辨认出导向反双曲函数的标准积分？