直观理解双曲函数（超越三角学的视角）

计算器第一次显示 sinh、cosh 和 tanh 这些按键时，它们很像正弦、余弦和正切的替代版本。名字仿佛在说，有人给三角学加了一个 h，于是又造出三条需要背诵的公式。

这种理解把顺序弄反了。双曲函数从指数出发，而不是从角出发。它们取最简单的两种指数运动，也就是通过 $e^{x}$ 的增长和通过 $e^{-x}$ 的衰减，再把二者以完全平衡的方式相加或相减。之后我们才看见它们与三角学的相似之处，因为这些数对原来是双曲线上的坐标，而不是圆上的坐标。

一旦看见两项指数朝相反方向拉扯，定义就不再显得任意。核心恒等式变成一条曲线的方程，导数几乎成了必然结果，而每本微积分教材里的悬挂电缆也终于有了使用 cosh 的理由。

双曲线是圆的近亲

三角学有一幅核心图：一个点沿着单位圆移动。在参数 t 处，它的坐标是

$$(\cos t, \sin t)$$

这些坐标满足

$$\cos^{2} t + \sin^{2} t = 1$$

因为每个点都落在圆 $x^{2} + y^{2} = 1$ 上。余弦给出横坐标，正弦给出纵坐标，勾股恒等式不过是用它们的名字重写了圆的方程。

双曲函数把同样的坐标思想放到另一条曲线上。用参数方程的语言来说，数对

$$(\cosh t, \sinh t)$$

落在单位双曲线的右支上：

$$x^{2} - y^{2} = 1$$

因此它的坐标满足

$$\cosh^{2} t - \sinh^{2} t = 1$$

符号的改变正是新曲线的个性。圆让 $x^{2} + y^{2}$ 保持不变，双曲线让 $x^{2} - y^{2}$ 保持不变。从加号变成减号这一个变化，就解释了为什么许多双曲恒等式像是某个三角恒等式翻转了一个符号。

这里有个细节必须分清。y = cosh x 的图像是一条 U 形曲线，它不是单位双曲线 $x^{2} - y^{2} = 1$。只有当 cosh 和 sinh 合作充当坐标，也就是 x = cosh t、y = sinh t 时，双曲线才会出现。一个函数给出横坐标，另一个给出纵坐标，就像余弦和正弦合作描出圆一样。

参数 t 有时叫作双曲角，但它不是通过绕圆旋转来测量的普通角。在单位双曲线上，t 等于从 (1, 0) 到移动点所扫过双曲扇形有向面积的两倍。对多数计算而言，只需把 t 看作推动点沿双曲线移动的共同参数。t = 0 时，点在 (1, 0)。正的 t 让它沿右支向上移动，负的 t 让它向下移动。

sinh 和 cosh 平衡增长与衰减

几何解释了名字，定义则说明这些函数究竟怎样运作：

$$\sinh x = \frac{e^{x} - e^{-x}}{2}$$ $$\cosh x = \frac{e^{x} + e^{-x}}{2}$$

两者都从同一对指数函数开始。一个随着 x 增大而增长，另一个则衰减。cosh 把它们相加，所以衡量的是对称的总量。sinh 把它们相减，所以显示哪一个指数项占主导。

当 x = 0 时，两项指数都等于 1。它们的和是 2，差是 0，因此

$$\cosh 0 = 1, \quad \sinh 0 = 0$$

这就得到点 (1, 0)，也就是双曲线右支的顶点。

现在把 x 换成 -x。两项指数会交换位置。它们的和不变，所以 cosh(-x) = cosh x。cosh 是偶函数，图像关于 y 轴对称。它们的差会变号，所以 sinh(-x) = -sinh x。sinh 是奇函数，图像关于原点中心对称。

一个小巧的精确例子能把机制显出来。取 x = ln 2，那么 $e^{x} = 2$，，e^(-x) = 1/2，所以

$$\cosh(\ln 2) = \frac{2 + \frac{1}{2}}{2} = \frac{5}{4}$$ $$\sinh(\ln 2) = \frac{2 - \frac{1}{2}}{2} = \frac{3}{4}$$

这个点是 (5/4, 3/4)。代回双曲线检查：

$$(5/4)^{2} - (3/4)^{2} = 25/16 - 9/16 = 1$$

这条恒等式不是在定义之后硬加上去的巧合。平衡的和与差会自动产生它。

当 x 是很大的正数时，$e^{-x}$ 变得极小，因此 sinh x 和 cosh x 都接近 $e^{x}$ 的一半。当 x 是很大的负数时，cosh 仍为正，sinh 则变成负数。这就是二者图像相关却不相同的原因：cosh 是两个正指数函数相加所得的 U 形总量，sinh 则记录它们带符号的差。

带减号的恒等式

最重要的双曲公式是

$$\cosh^{2} x - \sinh^{2} x = 1$$

你可以把它记成双曲线方程，也可以用一行代数把它推出来。令 A = $e^{x}$，B = $e^{-x}$。那么 AB = 1，并且

$$\cosh x = \frac{A + B}{2}, \quad \sinh x = \frac{A - B}{2}$$

把两个平方相减：

$$\left(\frac{A + B}{2}\right)^{2} - \left(\frac{A - B}{2}\right)^{2} = AB = 1$$

这里完全是平方差结构在发挥作用。相减时 $A^{2}$ 和 $B^{2}$ 两项抵消，交叉项合并，留下 AB = $e^{x}$ 乘以 $e^{-x}$，也就是 1。

这条恒等式会生成其余成员。两边除以 $\cosh^{2} x$，可得

$$1 - \tanh^{2} x = \operatorname{sech}^{2} x$$

其中 tanh x = sinh x / cosh x，sech x = 1 / cosh x。当 sinh x 不为零时，改为除以 $\sinh^{2} x$，就能得到 coth 和 csch 对应的恒等式。名称看起来可能很拥挤，但结构与三角学相同：正切是比值，正割与余割是倒数，而核心曲线的方程会生成这些恒等式。

最可靠的记忆提示不是告诉自己“双曲三角学的符号很奇怪”，而是想起曲线。圆意味着加号，双曲线意味着减号。只要能看见自己在哪条方程上，符号就不再需要猜。

tanh 衡量什么

双曲正切是比值

$$\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^{x} - e^{-x}}{e^{x} + e^{-x}}$$

这个比值把增长与衰减的差同它们的总量作比较。x = 0 时，两项指数恰好平衡，所以 tanh 0 = 0。随着 x 增大，$e^{x}$ 同时主导分子和分母，因此比值趋近 1。随着 x 变成很大的负数，$e^{-x}$ 占主导，比值趋近 -1。

因此 tanh 是一条夹在 -1 与 1 之间的 S 形函数。它在零点附近几乎就像 x，随后随着一个指数项压倒另一个而逐渐变平。与普通正切不同，它没有周期性重复的分支，也没有竖直渐近线。两者名称相同，是因为它们都是类似正弦与余弦坐标的比值，而不是因为图像相同。

当一个无界输入需要产生平滑而有界的输出时，这种形状很有用。不过在纯数学课程里，重点可以说得更简单：tanh 就是用正的总量 cosh 对带符号的不平衡量 sinh 进行归一化所得的结果。

其余函数遵循同样的逻辑：

• $\operatorname{sech} x = \frac{1}{\cosh x}$
• $\operatorname{csch} x = \frac{1}{\sinh x}$
• $\coth x = \frac{\cosh x}{\sinh x}$

对于实数 x，cosh 永远不会等于零，所以 sech 处处有定义。sinh 在 x = 0 时等于零，所以 csch 和 coth 在那里没有定义。如果直接从定义去读，这些就不是需要分开背诵的事实。

为什么微积分偏爱双曲函数

指数定义让导数格外简洁。先对 sinh 求导：

$$\frac{d}{dx} \sinh x = \frac{d}{dx} \left[\frac{e^{x} - e^{-x}}{2}\right] = \frac{e^{x} + e^{-x}}{2} = \cosh x$$

第二项从减号变成加号，是因为对 $e^{-x}$ 求导又引入了一个减号。对 cosh 求导时，符号则朝相反方向变化：

$$\frac{d}{dx} \cosh x = \sinh x$$

普通余弦求导后会带上减号，双曲余弦不会。这个差别形成了很有用的对照：

• sin x 和 cos x 满足 y'' = -y，由此产生振荡
• sinh x 和 cosh x 满足 y'' = y，由此产生指数增长与衰减

这就是双曲函数自然出现在微分方程里的原因。微分方程描述导数之间的关系。y'' = y 的通解可以写成 A $e^{x}$ + B $e^{-x}$，也可以写成 C cosh x + D sinh x。两种形式包含相同的信息。cosh 和 sinh 只是把对称与反对称组合打包起来，往往能更好地贴合初始条件。

例如，满足 y(0) = 1 和 y'(0) = 0 的解是 cosh x。它从高度 1 出发，切线水平。满足 y(0) = 0 和 y'(0) = 1 的解是 sinh x。它从原点出发，斜率为 1。这些初始条件从图像上一眼就能看出。

tanh 的导数也同样简洁：

$$\frac{d}{dx} \tanh x = \operatorname{sech}^{2} x$$

因为 $\operatorname{sech}^{2} x$ 为正，所以 tanh 始终递增。离原点越远，sech 越接近零，因此 tanh 的斜率也趋近零。这就解释了它图像两端为何逐渐变平。

双曲函数还会出现在积分与换元法中。它们的反函数可以表示含 sqrt($x^{2}$ + 1) 或 sqrt($x^{2}$ - 1) 这类平方根的原函数。理解双曲函数不要求先记住这些公式，但这个联系解释了为什么微积分课程常在指数函数与三角换元之后不久介绍它们。

为什么悬挂电缆会用到 cosh

最直观的应用是一根悬挂电缆。一根均匀柔软、悬在两点之间且除自身重量外不承受其他载荷的电缆，会稳定成一条悬链线。当最低点位于 y 轴上时，它的方程具有以下形式：

$$y = a \cosh(x / a) + C$$

常数 C 决定竖直位置。如果选择坐标原点使 C 等于零，就得到熟悉的 y = a cosh(x / a)。常数 a 控制曲线下垂的深浅。a 较大时电缆更平，a 较小时下垂更明显。最低点附近的形状很像抛物线，因此人们常猜悬挂链条是抛物线。然而只受自身重量时，它的精确平衡曲线由 cosh 描述。

这个公式不是装饰性的巧合。电缆拉力的水平分量保持不变，变化的竖直分量则平衡逐渐累积的重量。这个力的平衡导向一条微分方程，其解由 cosh 表示。同一个从 $e^{x}$ 与 $e^{-x}$ 的平衡中产生的函数，会在物理力沿曲线取得平衡时再次出现。

错误从哪里来

双曲函数里的错误通常来自类比。这些函数与三角学足够相似，会诱使人直接猜；但又没有相似到让每条三角性质都继续成立。

第一个错误是把 sinh x 读成 sin(hx)，仿佛 h 是乘在角上的变量。这个名称应读作“双曲正弦”，并把它视为一个完整函数。h 是标签，不是输入。

第二个错误是照抄圆的恒等式，保留加号。正确公式是 $\cosh^{2} x$ - $\sinh^{2} x$ = 1。想起 $x^{2} - y^{2} = 1$，符号自然就会归位。

第三个错误是因为普通余弦的导数是负正弦，就认为 cosh 的导数是 -sinh。回到指数定义：cosh 是两项指数的和，导数是它们的差，所以 $\frac{d}{dx} \cosh x = \sinh x$。

第四个错误是混淆反函数与倒数。不同教材可能把 sinh 的反函数写成 asinh、arcsinh 或 sinh⁻¹。它的倒数是 csch，不是 sinh⁻¹。同理，cosh 的反函数是 acosh 或 arcosh，倒数则是 sech。

反函数的定义域同样重要。sinh 的值域覆盖所有实数，因此 asinh 接受任意实数输入。cosh 的最小值是 1，而且零点两侧会取到重复值。要在实数范围内定义反函数，必须把 cosh 限制在 x 大于等于 0 的分支上，而 acosh 只接受大于等于 1 的输入。tanh 的值严格位于 -1 与 1 之间，因此 atanh 只接受这个区间内的输入。

最后，不要说 y = cosh x“就是一条双曲线”。它的图像是一条悬链线形状的 U 形曲线。描出双曲线的是数对 (cosh t, sinh t)。把函数图像与参数曲线分开，就能避开一个出奇常见的概念混淆。

Math Zen 在哪里发挥作用

双曲函数位于指数、恒等式与导数的交汇处。如果指数定义足够牢固，这一主题的大部分内容都能重新推导，不必死记。否则，sinh、cosh、tanh、sech、csch 和 coth 就会变成六个新按键，各自配上一张毫无关联的规则表。

Math Zen 的双曲函数练习遵循这条依赖关系。计算 sinh 与 cosh 能让定义变得熟悉。恒等式问题会强化双曲线的减号。求导题展现 sinh 与 cosh 之间干净的互换，后续问题则训练反双曲函数。目标不是把表格背一遍，而是认出哪幅图让这张表成为必然。

一套有效的练习顺序应当短而混合：算一个精确值，验证一条恒等式，对一个函数求导，再判断正确的反函数或倒数。隔一段时间再回到这组题，就像用间隔重复练习数学那样。与普通三角函数反复对照，才能真正固定这些符号与名称。

归根结底

双曲函数是彼此平衡的指数函数。cosh 把增长与衰减相加，sinh 把二者相减，tanh 则把它们的差与总量相比。把 cosh 和 sinh 一起用作坐标，它们会描出 $x^{2} - y^{2} = 1$。这就是许多对应恒等式看起来像三角恒等式，只是把圆的加号换成双曲线减号的原因。

双曲线这幅图与指数定义结合起来，解释了核心恒等式、函数图像和导数。它们也解释了为什么这些函数会出现在增长与衰减结合的地方，从微分方程 y'' = y 到悬挂电缆的悬链线。这个 h 没有造出一堵新的公式墙，它指向了另一条曲线，以及曲线背后另一种运动。