数学推导揭示悬链线与简谐振动同源 双曲与三角函数仅为复平面不同切片

【漫士】双曲余弦：指数和三角函数，本来就是一个东西 — Meditation Math

Meditation Math

双曲函数与圆三角函数的恒等式巧合及正负号变异完全由虚数单位平方项 i² = -1 决定，二者本质上是同一复变函数分别沿实轴与虚轴演化的物理投影。

AI-assisted summary of 【漫士】双曲余弦：指数和三角函数，本来就是一个东西 — original source. Check the original for full context.

Source published:

Key ideas

  • 悬链线的解析形式为双曲余弦方程 $y = a \cosh(x/a)$，虽然由自然指数函数构成，却在代数与微积分性质上与圆三角函数存在高度平行的镜像关系。 (0:01)
  • 四阶微分方程 $f^{(4)} = f$ 的解在复数域被统一为四次单位根 $r^4 = 1$ 的四个特征解；实数根 $\pm 1$ 对应单向指数演化与双曲函数，虚数根 $\pm i$ 则对应周期旋转与三角函数。 (7:25)
  • 代入纯虚数关系 $\cos(ix) = \cosh x$ 证明了余弦与双曲余弦本质是复变函数 $\cosh z$ 在不同坐标轴上的切片，公式中的正负号差异均源自 $i^2 = -1$。 (10:18)
  • 力学分析表明，重力沿弧长均匀分布的均质悬链呈现双曲余弦形态，而载荷沿水平跨度均匀分布的悬索桥主缆则严格呈现抛物线形态。 (16:32)

Detailed notes

## Background 该视频由清华大学人工智能博士生运营的 YouTube 频道“Meditation Math”（漫士）于 2026 年 10 月 5 日发布。频道简介表明作者专注于日常深度思考与数学、物理科普，本期内容围绕双曲余弦展开，探讨指数函数与三角函数在本质上的深层统一。

## TL;DR 视频从悬垂链条构成的“悬链线”历史难题切入，指出其真实形态并非伽利略猜想的抛物线，而是由双曲余弦（cosh）描述。主讲人通过对比双曲函数与圆三角函数的代数恒等式与求导规律，引入满足四阶微分方程 $f^{(4)} = f$ 的四维解空间，并借助复平面上的欧拉公式将两类函数完美统一——实轴特征根对应指数与悬链线，虚轴特征根对应周期振荡与圆三角函数，所有正负号的变异均源于 $i^2 = -1$。最后，视频通过受力分析严格推导了悬链线方程，并对比了悬链线与悬索桥抛物线在力学机理上的区别，升华了数学洞察本质与统一结构的审美价值。

## Atmosphere & style 视频展现出一种从容深邃、条理清晰且富有数学审美的思辨氛围。主讲人以日常绳索悬挂的生活现象为引子，层层剥茧地引入微积分与复分析的高维视角，叙述节奏舒缓沉稳，极具启发性。整个推导过程如同一场行云流水的解谜之旅，从看似偶然的符号巧合逐步推向复平面上的壮阔统一，带给观众恍然大悟的智力愉悦与对数学本质的敬畏感。

## Bulletin - [00:01](https://www.youtube.com/watch?v=TFFKVj-isys&t=1s) 悬链线的解析形式为双曲余弦方程 $y = a \cosh(x/a)$，虽然由自然指数函数构成，却在代数与微积分性质上与圆三角函数存在高度平行的镜像关系。 - [07:25](https://www.youtube.com/watch?v=TFFKVj-isys&t=445s) 四阶微分方程 $f^{(4)} = f$ 的解在复数域被统一为四次单位根 $r^4 = 1$ 的四个特征解；实数根 $\pm 1$ 对应单向指数演化与双曲函数，虚数根 $\pm i$ 则对应周期旋转与三角函数。 - [10:18](https://www.youtube.com/watch?v=TFFKVj-isys&t=618s) 代入纯虚数关系 $\cos(ix) = \cosh x$ 证明了余弦与双曲余弦本质是复变函数 $\cosh z$ 在不同坐标轴上的切片，公式中的正负号差异均源自 $i^2 = -1$。 - [16:32](https://www.youtube.com/watch?v=TFFKVj-isys&t=992s) 力学分析表明，重力沿弧长均匀分布的均质悬链呈现双曲余弦形态，而载荷沿水平跨度均匀分布的悬索桥主缆则严格呈现抛物线形态。

## Key takeaways - [00:01](https://www.youtube.com/watch?v=TFFKVj-isys&t=1s) 伽利略曾猜想自由下垂的悬链近似抛物线，容吉乌斯证实存在偏差，1691年莱布尼茨、惠更斯与约翰·伯努利独立求解出悬链线的精确形态并定名。 - [00:01](https://www.youtube.com/watch?v=TFFKVj-isys&t=1s) 双曲函数由自然指数函数拼接而成，其恒等式（平方差、二倍角、求导对偶）与圆三角函数惊人相似，区别主要在于局部的正负号。 - [00:01](https://www.youtube.com/watch?v=TFFKVj-isys&t=1s) 参数点 $(\cos t, \sin t)$ 与 $(\cosh t, \sinh t)$ 分别参数化单位圆 $x^2 + y^2 = 1$ 与等轴双曲线 $x^2 - y^2 = 1$，且扫过的扇形面积均为 $t/2$。 - [03:50](https://www.youtube.com/watch?v=TFFKVj-isys&t=230s) 圆三角函数描述弹簧振子所满足的简谐振动方程 $y'' = -y$，呈现四阶求导循环回到自身的特性；指数函数 $e^{\pm x}$ 同样满足四阶导数等于自身的条件。 - [07:25](https://www.youtube.com/watch?v=TFFKVj-isys&t=445s) 欧拉公式 $e^{it} = \cos t + i \sin t$ 揭示了在复平面上乘以虚数单位 $i$ 代表逆时针旋转 $90^\circ$，连续旋转四次即回到自身。 - [07:25](https://www.youtube.com/watch?v=TFFKVj-isys&t=445s) 特征方程 $r^4 = 1$ 的四对特征根将宏观运动截然分开：实轴上的 $\pm 1$ 导致指数发散与衰减，虚轴上的 $\pm i$ 导致闭合的简谐周期振荡。 - [10:18](https://www.youtube.com/watch?v=TFFKVj-isys&t=618s) 三角恒等式中出现的所有符号变异，均可通过令自变量代入 $ix$ 并在遇到两个 $\sin$ 乘积时产生 $i^2 = -1$ 给出统一的代数解释。 - [13:16](https://www.youtube.com/watch?v=TFFKVj-isys&t=796s) 对下垂链条的微元进行静力平衡分析，可得切线斜率满足 $p = s/a$，其二次求导后导出齐次微分方程 $a^2 p'' = p$。 - [13:16](https://www.youtube.com/watch?v=TFFKVj-isys&t=796s) 通过双曲换元 $p = \sinh u$ 分离变量求解，链条斜率被积分为 $p = \sinh(x/a)$，二次积分严格得出悬链线方程 $y = a \cosh(x/a)$。 - [16:32](https://www.youtube.com/watch?v=TFFKVj-isys&t=992s) 在链条绷紧且弧长接近水平跨度时，对 $\cosh(x/a)$ 展开泰勒级数，前两项正是二次抛物线，解释了伽利略直觉猜想的合理性与局限性。 - [16:32](https://www.youtube.com/watch?v=TFFKVj-isys&t=992s) 在 AI 能够熟练求解标准数学题的背景下，人类探索数学的核心价值在于洞察不同现象底层的对称性与统一性，探求公式背后深层的结构联系。

## Detailed walkthrough ### [00:01](https://www.youtube.com/watch?v=TFFKVj-isys&t=1s) 悬链线之谜与双曲函数的神奇巧合

把一根链子的两端固定在同一高度，松开手让它自然垂下，便会在重力作用下形成一条优美的弧线。很多人直觉上会认为这是一条抛物线，连伽利略在 1638 年的《关于两门新科学的对谈》中也曾写道悬挂的链条近似于一条抛物线。然而它并非真正的抛物线。1669 年，德国学者约阿希姆·容吉乌斯（Joachim Jungius）的遗著出版，用精密实验证实链条的真实形状与抛物线之间存在着微小却不可忽视的确定偏差。1690 年，雅各布·伯努利在《学术纪事》（*Acta Eruditorum*）上向全欧洲数学界公开悬赏征解。仅仅一年之后，莱布尼茨、惠更斯以及雅各布的弟弟约翰·伯努利各自独立给出了答案。惠更斯将其命名为“catenary”（源自拉丁语 *catena*，意为链条），中文正式译作“悬链线”。

```mermaid flowchart LR accTitle: 悬链线历史探寻 accDescr: 展示从伽利略的抛物线猜想到伯努利家族征解并得出双曲余弦方程的演变过程。 G["1638 伽利略<br/>猜想：近似抛物线"] --> J["1669 容吉乌斯<br/>实验：证实存在偏差"] J --> B["1690 雅各布·伯努利<br/>《学术纪事》公开征解"] B --> S["1691 莱布尼茨 / 惠更斯 / 约翰·伯努利<br/>独立求解：命名 Catenary"] ```

现代数学中，悬链线的解析表达式为： $$y = a \cosh\left(\frac{x}{a}\right)$$ 其中的 $\cosh$ 称为双曲余弦，而与之对称的还有双曲正弦 $\sinh$。它们的定义纯粹由自然指数函数拼接而成： $$\cosh x = \frac{e^x + e^{-x}}{2}, \quad \sinh x = \frac{e^x - e^{-x}}{2}$$ 令人困惑的是，这个公式里既没有圆，也没有角度，为何偏偏被冠以“正弦”和“余弦”的名号？只要亲手推导就会发现一连串令人震撼的数学巧合： - **平方差与勾股恒等式**：计算 $\cosh^2 x - \sinh^2 x$，展开两者的完全平方分子后做差，$e^{2x}$ 与 $e^{-2x}$ 完美抵消，只剩下常数项 $\frac{2 - (-2)}{4} = 1$。这与圆三角函数的基本恒等式 $\cos^2 x + \sin^2 x = 1$ 如出一辙，仅仅是加号变成了减号。 - **二倍角公式**：计算 $2\sinh x \cosh x$，利用平方差公式展开，直接得到 $\frac{e^{2x} - e^{-2x}}{2} = \sinh(2x)$，与 $\sin(2x) = 2\sin x \cos x$ 形式完全一致，连符号都没有偏差。 - **求导运算**：由于 $(e^x)' = e^x$ 而 $(e^{-x})' = -e^{-x}$，双曲余弦求导直接变成双曲正弦 $(\cosh x)' = \sinh x$；而双曲正弦求导同样变成双曲余弦 $(\sinh x)' = \cosh x$。这与三角函数的求导对偶循环（$(\sin x)' = \cos x, (\cos x)' = -\sin x$）极其相似，唯一的区别仅是 $\cosh x$ 求导少了一个负号。

之所以带有“双曲”二字，根源在几何参数化：正如点 $(\cos t, \sin t)$ 始终落在单位圆 $x^2 + y^2 = 1$ 上（因此三角函数也称“圆函数”），点 $(\cosh t, \sinh t)$ 则天然落在标准等轴双曲线 $x^2 - y^2 = 1$ 上。参数 $t$ 的几何意义同样能够对齐：从坐标原点向曲线上对应点引一条线段，当点移动时线段扫过的扇形面积，在单位圆上是 $\frac{t}{2}$，在双曲线上也恰好是 $\frac{t}{2}$。无论是和角公式、三倍角公式、正切形式、泰勒级数乃至积分换元，双曲函数都像圆函数在镜子里的翻版，有的完全相同，有的恰好相差一个正负号。

---

[03:50](https://www.youtube.com/watch?v=TFFKVj-isys&t=230s) 振荡、衰减与四阶导数方程

圆函数在物理学中最经典的原型是简谐振动（弹簧振子）。当把木块拉开距离 $y$ 松手，弹簧施加的回复力与位移成正比、方向相反。在合适的物理单位下，由牛顿第二定律可写成微分方程： $$y'' = -y$$ 该方程的基解正是 $\cos t$ 与 $\sin t$。连续求导展示出四步循环的周期节律： $$\sin x \to \cos x \to -\sin x \to -\cos x \to \sin x$$ 绝大多数常见函数都不具备这种求导四步回归自身的奇妙性质：多项式函数如 $x^3$ 求导四次后归零消失；对数函数 $\ln x$ 导数依次为 $\frac{1}{x}, -\frac{1}{x^2}, \frac{2}{x^3}\cdots$ 永不回头。在所有函数中，唯有指数函数能展现类似的神迹：$e^x$ 求导一次直接回到自身；$e^{-x}$ 每求导一次产生一个负号，求导两次即可抵消回归。它们正是拼装 $\cosh$ 和 $\sinh$ 的基础原料。

由此我们手中掌握了四个满足四阶微分方程 $f^{(4)} = f$ 的解： $$e^x, \quad e^{-x}, \quad \cos x, \quad \sin x$$ 由于该微分方程是线性的，满足解的线性叠加性。一个解的完整信息由它在原点处的四个初始值完全锁定：函数值 $f(0)$ 以及前三阶导数 $f'(0), f''(0), f'''(0)$。一旦这四个值确定，高阶导数均以 4 为周期循环，泰勒级数展开便将整条曲线彻底锁死。通过这四个基底函数，可以通过选取特定的线性组合，任意凑出这四个导数在零点取任意实数 $a, b, c, d$ 的初始配置： - 线性组合对应的四个系数严格为：$\frac{a+b+c+d}{4}$、$ \frac{a-b+c-d}{4}$、$\frac{a-c}{2}$ 以及 $\frac{b-d}{2}$。

在本质上，四阶导数等于自身的独立解只有这四个。然而它们在实数轴上的宏观行为截然两分：$e^x$ 与 $e^{-x}$ 代表单调的指数爆炸和渐近衰减，而 $\sin x$ 和 $\cos x$ 却在 $[-1, 1]$ 之间永恒震荡。连接这种剧烈反差的桥梁，必须深入到复平面中寻找。

---

[07:25](https://www.youtube.com/watch?v=TFFKVj-isys&t=445s) 复平面上的欧拉公式与特征根

在复数空间中，乘以虚数单位 $i$ 的几何意义等同于绕原点逆时针旋转 $90^\circ$（因为 $i(a+bi) = -b+ai$）。当考虑复指数轨迹 $e^{it}$ 随时间 $t$ 演化时，其速度向量为其导数： $$\frac{d}{dt} e^{it} = i e^{it}$$ 速度始终垂直于径向位置，迫使质点只能沿着单位圆以单位角速度匀速旋转，横坐标即 $\cos t$，纵坐标即 $\sin t$。这就是著名的欧拉公式： $$e^{it} = \cos t + i \sin t$$

从复数视角看，求导四次重回原点找到了极度自然的几何映射：每求一次导相当于乘一次 $i$（逆时针转 $90^\circ$），旋转四次转满 $360^\circ$ 回到原位。同时，反向旋转的点 $e^{-it}$ 与 $e^{it}$ 永远关于实轴对称，纵坐标相消，两点连线的中点恰好在实轴上做简谐往复运动（值为 $\cos t$）；两点相减除以 $2i$ 则截取出纵坐标 $\sin t$。此时，方程 $f^{(4)} = f$ 的四个解可以统一写为： $$e^x, \quad e^{-x}, \quad e^{ix}, \quad e^{-ix}$$

```mermaid flowchart TD accTitle: 四次单位根与微分方程的解 accDescr: 说明代换 r 的四次方等于 1 产生的两对解及其对应的物理和几何意义。 R["特征方程 r⁴ = 1"] R --> R_real["实数根 r = ±1 (实轴)"] R --> R_imag["虚数根 r = ±i (虚轴)"]

subgraph 实数分支 R_real --> S1["单向演化：y'' = y"] S1 --> S2["双曲函数：cosh x 与 sinh x (悬链线)"] end

subgraph 虚数分支 R_imag --> T1["周期旋转：y'' = -y"] T1 --> T2["三角函数：cos x 与 sin x (弹簧振动)"] end ```

统一设解的形式为 $e^{rx}$，代入方程求导四次得到特征方程 $r^4 = 1$。这四个解正是复平面上的 4 次单位根：$1, i, -1, -i$。它们两两成对： - **纯虚数对 $r = \pm i$**：对应 $e^{\pm it}$，在单位圆上旋转，求导两次相当于转 $180^\circ$ 变成相反数，满足 $y'' = -y$。这正是向心加速度指向圆心的匀速圆周运动在实轴上的投影，也是弹簧振子的力学本质。 - **实数对 $r = \pm 1$**：对应 $e^{\pm t}$，永远停留在实轴上，求导两次仍为自身，满足 $y'' = y$。此时加速度与位移同向，离原点越远推力越大，$e^t$ 一去不回，$e^{-t}$ 则逐渐向原点滑落。

振荡与指数增长的本质分野，仅仅取决于特征根 $r$ 究竟取虚数还是取实数。两对解通过完全对称的结构拼合： $$\cos x = \frac{e^{ix} + e^{-ix}}{2}, \quad \sin x = \frac{e^{ix} - e^{-ix}}{2i}$$ $$\cosh x = \frac{e^{x} + e^{-x}}{2}, \quad \sinh x = \frac{e^{x} - e^{-x}}{2}$$

---

[10:18](https://www.youtube.com/watch?v=TFFKVj-isys&t=618s) 虚轴与实轴：统一框架下的正负号之谜

将自变量代入虚数 $ix$ 之后，圆函数与双曲函数之间的鸿沟瞬间弥合： $$\cos(ix) = \cosh x, \quad \sin(ix) = i \sinh x$$ 几何上，$\cos x$ 是复平面上两个反向旋转质点的中点，而 $\cosh x$ 则是实平面上一条上升曲线 $e^x$ 与一条下降曲线 $e^{-x}$ 的中线。代数恒等式的平方差本质彻底浮出水面： - 三角恒等式：$\cos^2 x + \sin^2 x = e^{ix} \cdot e^{-ix} = 1$ - 双曲恒等式：$\cosh^2 x - \sinh^2 x = e^x \cdot e^{-x} = 1$

两者之所以一个呈现加号、一个呈现减号，完全是因为在圆函数中 $\sin$ 项前带有一个虚数单位 $i$，平方后激发出 $i^2 = -1$，负负得正转化为了加号。所有三角恒等式中正负号的变异法则也由此豁然开朗： - 将任意三角恒等式中的 $x$ 替换为 $ix$； - 每一个 $\sin$ 都会转化出一个伴随的因子 $i$； - 当遇到两个 $\sin$ 相乘项时，$i \cdot i = i^2 = -1$，该项必然发生变号； - 若等式两端只含单个 $\sin$ 项，两边的 $i$ 可以直接约去，正负号保持不变； - 在导数关系中，链式法则对 $\cos(ix)$ 求导额外产生一个 $i$，与 $\sin$ 项自带的 $i$ 相乘凑成 $i^2 = -1$，刚好抵消了负正弦前面的负号，使得双曲余弦的导数 $\sinh x$ 不带负号。

这证实了 $\cos$ 和 $\cosh$ 根本就是同一个复变函数 $\cosh z$ 在复平面不同方向的切片展现：当沿着实轴切开，呈现出来的是悬链线的 U 型对称曲线；而沿着虚轴切开，呈现出来的则是来回波动的正弦/余弦曲线。"开头的那些巧合是同一批恒等式在两个不同轴方向上的样子，差出来的正负号，全部来自 $i^2 = -1$。"

---

[13:16](https://www.youtube.com/watch?v=TFFKVj-isys&t=796s) 悬链线力学推导与微积分求解

回到最初的那根自然悬挂的链子。以链条最低点为坐标原点（$x = 0$），在链条上任意取一点 $P$，截取最低点到 $P$ 点的长为 $s$ 的链段进行受力分析。该链段在静力平衡下受到三个力： 1. 最低点左侧链条施加的水平拉力 $T_0$（水平切线方向）； 2. $P$ 点上方链条施加的拉力 $T$，方向沿该点切线方向，与水平方向夹角设为 $\theta$； 3. 该链段自身的重力，等于线密度 $\rho$、重力加速度 $g$ 与弧长 $s$ 的乘积 $\rho g s$。

```mermaid flowchart TD accTitle: 悬链线受力平衡与微分方程推导 accDescr: 从链条微元受力平衡导出斜率微分方程，最终求积分得出双曲余弦曲线。 F["静力平衡分解<br/>水平: T cos θ = T₀<br/>竖直: T sin θ = ρgs"] --> S["两式相除消去 T<br/>tan θ = s/a (其中 a = T₀/ρg)"] S --> D["微元几何关系 ds = √(1 + p²) dx<br/>微分得: a p' = √(1 + p²)"] D --> ODE["二次求导化简<br/>a² p'' = p (对应 y'' = y 分支)"] D --> INT["换元分离变量积分<br/>令 p = sinh u 得到 p = sinh(x/a)"] INT --> RES["二次积分求得方程<br/>y = a cosh(x/a)"] ```

在水平与竖直方向分别列平衡方程： $$T \cos\theta = T_0, \quad T \sin\theta = \rho g s$$ 两式相除消去张力 $T$，得到： $$\tan\theta = \frac{s}{a}, \quad \text{其中 } a = \frac{T_0}{\rho g}$$ 常数 $a$ 反映链条绷紧的程度（张力越大，$a$ 越大，曲线越平缓）。由于 $\tan\theta$ 正是 $P$ 点切线斜率 $p = y'$，因此有 $p = \frac{s}{a}$。挂着的链子越长，末端斜率就必须越陡才能维持竖直方向的力平衡。

考虑沿水平方向移动微元 $dx$，对应弧长微元为 $ds = \sqrt{1 + p^2} dx$。对关系式 $p = \frac{s}{a}$ 两端关于 $x$ 求导： $$a p' = \sqrt{1 + p^2}$$ 两边平方并再次对 $x$ 求导： $$a^2 (p')^2 = 1 + p^2 \implies 2a^2 p' p'' = 2p p'$$ 由于 $a p' = \sqrt{1 + p^2} \ge 1$，一阶导数恒不为零，两边约去 $2p'$，得到二阶齐次微分方程： $$a^2 p'' = p$$ 斜率自身的二阶导等于其自身，这正是方程 $y'' = y$（特征值 $r^2 = 1$）的具体体现。振动的弹簧占领了 $r^4 = 1$ 中虚数特征值的那一半解，而下垂的悬链线恰好占据了实数特征值的那一半解。

为了求解该方程，利用 $a p' = \sqrt{1 + p^2}$ 进行分离变量： $$\frac{dp}{\sqrt{1 + p^2}} = \frac{dx}{a}$$ 利用双曲恒等式进行换元积分：令 $p = \sinh u$，则 $\sqrt{1 + p^2} = \sqrt{1 + \sinh^2 u} = \cosh u$，且 $dp = \cosh u \, du$。代入后根式与微分式中的 $\cosh u$ 完美对消： $$\int du = \int \frac{dx}{a} \implies u = \frac{x}{a}$$ （最低点处斜率 $p(0) = 0$ 对应 $u(0) = 0$，积分常数为 0）。于是直接求出斜率： $$y' = p = \sinh\left(\frac{x}{a}\right)$$ 再对其进行一次积分（双曲正弦积分得双曲余弦且不带负号），最终严格解出悬链线方程： $$y = a \cosh\left(\frac{x}{a}\right)$$

---

[16:32](https://www.youtube.com/watch?v=TFFKVj-isys&t=992s) 抛物线近似与数学的核心追求

伽利略最初认为悬链线是抛物线并非无稽之谈。当链条拉得极为紧绷平坦时，弧长 $s$ 与水平投影距离 $x$ 极其接近，关系式 $p = \frac{s}{a}$ 可以近似为 $p \approx \frac{x}{a}$，直接积分得到抛物线 $y \approx \frac{x^2}{2a}$。从代数展开来看，$\cosh\left(\frac{x}{a}\right)$ 的麦克劳林级数展开为： $$\cosh\left(\frac{x}{a}\right) = 1 + \frac{x^2}{2a^2} + \frac{x^4}{24a^4} + \cdots$$ 其前两项正是标准的二次抛物线，真正的偏差直到四次项才开始显露。

现实工程中的悬索桥（吊桥）则完美区分了这两种物理机理： - **悬链线（$\cosh$）**：重力沿着**链条弧长**均匀分布（受自身均质质量主导）； - **抛物线（Parabola）**：悬索桥的主缆通过密集的吊杆拉扯着平直的桥面，其总重力主要沿着**水平跨度**均匀分布。若忽略主缆自重，主缆受力严格满足 $p = \frac{x}{a}$，其形态是标准严格的抛物线。

| 曲线类型 | 重量分布方式 | 控制微分关系 | 解析形态 | |:--- |:--- |:--- |:--- | | **悬链线 (Catenary)** | 沿弧长 $s$ 均匀分布 (链条自重) | $p = \frac{s}{a}$ | $y = a \cosh(\frac{x}{a})$ | | **抛物线 (Parabola)** | 沿水平跨度 $x$ 均匀分布 (吊桥桥面) | $p = \frac{x}{a}$ | $y = \frac{x^2}{2a}$ |

很多人的刻板印象认为数学只是按部就班地解题、套公式和争取分数。但在人工智能能够将各类标准习题解答得越来越完美的时代，数学家和人类学习者真正追求的核心价值是洞察看似无关事物背后的深层统一结构：追问为什么两件风马牛不相及的事物拥有相同的规律，弄清楚为什么公式之间偏偏差了一个负号，找到能将不同领域纳入同一宏观框架的深刻视角。这种察觉巧合与洞悉本质的思考方式，才是数学探索者在 AI 浪潮下最坚实的诺亚方舟。

## Notable quotes > [00:01](https://www.youtube.com/watch?v=TFFKVj-isys&t=1s) 无论是和角公式、三倍角公式、正切形式、泰勒级数乃至积分换元，双曲函数都像圆函数在镜子里的翻版，有的完全相同，有的恰好相差一个正负号。

> [03:50](https://www.youtube.com/watch?v=TFFKVj-isys&t=230s) 一个解的完整信息由它在原点处的四个初始值完全锁定：函数值 f(0) 以及前三阶导数 f'(0), f''(0), f'''(0)。

> [07:25](https://www.youtube.com/watch?v=TFFKVj-isys&t=445s) 每求一次导相当于乘一次 i（逆时针转 90°），旋转四次转满 360° 回到原位。

> [07:25](https://www.youtube.com/watch?v=TFFKVj-isys&t=445s) 振荡与指数增长的本质分野，仅仅取决于特征根 r 究竟取虚数还是取实数。

> [10:18](https://www.youtube.com/watch?v=TFFKVj-isys&t=618s) 开头的那些巧合是同一批恒等式在两个不同轴方向上的样子，差出来的正负号，全部来自 i² = -1。

> [13:16](https://www.youtube.com/watch?v=TFFKVj-isys&t=796s) 挂着的链子越长，末端斜率就必须越陡才能维持竖直方向的力平衡。

> [13:16](https://www.youtube.com/watch?v=TFFKVj-isys&t=796s) 振动的弹簧占领了 r⁴ = 1 中虚数特征值的那一半解，而下垂的悬链线恰好占据了实数特征值的那一半解。

> [16:32](https://www.youtube.com/watch?v=TFFKVj-isys&t=992s) 重力沿着链条弧长均匀分布；悬索桥的主缆通过密集的吊杆拉扯着平直的桥面，其总重力主要沿着水平跨度均匀分布。

> [16:32](https://www.youtube.com/watch?v=TFFKVj-isys&t=992s) 追问为什么两件风马牛不相及的事物拥有相同的规律，弄清楚为什么公式之间偏偏差了一个负号，找到能将不同领域纳入同一宏观框架的深刻视角。

## Mentioned 伽利略, 《关于两门新科学的对谈》, 约阿希姆·容吉乌斯, 雅各布·伯努利, 《学术纪事》, 莱布尼茨, 惠更斯, 约翰·伯努利, 欧拉公式, 漫士, 清华大学

## Video description 一位来自清华的人工智能博士生，日常思索和科普。 An artificial intelligence doctoral student from Tsinghua University who likes to delve into thinking and science popularization.

喜欢我的内容欢迎订阅、评论、点赞^_^ Welcome to subscribe, like, and leave comments under my videos^_^ 打开小铃铛🔔获取频道最新动态 Turn on the little bell🔔 to receive my latest updates -------------------------------------------------------------------------------------- #科学 #科普 #知识 #物理 #数学

[Source](https://www.youtube.com/watch?v=TFFKVj-isys)

中文简报

数学推导揭示悬链线与简谐振动同源 双曲与三角函数仅为复平面不同切片 双曲函数与圆三角函数的恒等式巧合及正负号变异完全由虚数单位平方项 i² = -1 决定，二者本质上是同一复变函数分别沿实轴与虚轴演化的物理投影。 视频从悬垂链条构成的“悬链线”历史难题切入，指出其真实形态并非伽利略猜想的抛物线，而是由双曲余弦（cosh）描述。主讲人通过对比双曲函数与圆三角函数的代数恒等式与求导规律，引入满足四阶微分方程 $f^{(4)} = f$ 的四维解空间，并借助复平面上的欧拉公式将两类函数完美统一——实轴特征根对应指数与悬链线，虚轴特征根对应周期振荡与圆三角函数，所有正负号的变异均源于 $i^2 = -1$。最后，视频通过受力分析严格推导了悬链线方程，并对比了悬链线与悬索桥抛物线在力学机理上的区别，升华了数学洞察本质与统一结构的审美价值。 悬链线的解析形式为双曲余弦方程 $y = a \cosh(x/a)$，虽然由自然指数函数构成，却在代数与微积分性质上与圆三角函数存在高度平行的镜像关系。 (0:01) 四阶微分方程 $f^{(4)} = f$ 的解在复数域被统一为四次单位根 $r^4 = 1$ 的四个特征解；实数根 $\pm 1$ 对应单向指数演化与双曲函数，虚数根 $\pm i$ 则对应周期旋转与三角函数。 (7:25) 代入纯虚数关系 $\cos(ix) = \cosh x$ 证明了余弦与双曲余弦本质是复变函数 $\cosh z$ 在不同坐标轴上的切片，公式中的正负号差异均源自 $i^2 = -1$。 (10:18) 力学分析表明，重力沿弧长均匀分布的均质悬链呈现双曲余弦形态，而载荷沿水平跨度均匀分布的悬索桥主缆则严格呈现抛物线形态。 (16:32)

Reading summary

本文阐述了描述悬挂链条形态的双曲余弦函数与经典圆三角函数之间的深层统一性。两者表面上的代数与求导巧合，本质源于四阶微分方程特征根在复平面上的正交分布，实轴上的指数增长与虚轴上的周期振荡通过欧拉公式及虚数单位平方项实现了内在统一。 悬链线历史与双曲对偶巧合 (0:01) 伽利略曾在 1638 年的著作中猜测自然下垂的链条近似于抛物线，但容吉乌斯在 1669 年通过精密实验证实其与抛物线之间存在确定偏差。1690 年雅各布·伯努利在《学术纪事》公开征解，次年莱布尼茨、惠更斯与约翰·伯努利各自独立给出解法，惠更斯将其命名为悬链线。在现代数学中，悬链线的解析表达式为 $y = a \cosh(x/a)$，其核心由双曲余弦 $\cosh x = (e^x + e^{-x})/2$ 与双曲正弦 $\sinh x = (e^x - e^{-x})/2$ 构成。 双曲函数定义中仅有自然指数而无角度与圆，却与圆三角函数呈现出精密的镜像对称关系：两者满足平方差恒等式 $\cosh^2 x - \sinh^2 x = 1$，仅比勾股恒等式多一个减号；二倍角公式 $\sinh(2x) = 2\sinh x \cosh x$ 在形式与符号上完全一致；微积分求导同样对偶循环，仅 $\cosh x$ 求导缺少一个负号。几何上，点 $(\cos t, \sin t)$ 参数化了单位圆 $x^2 + y^2 = 1$，点 $(\cosh t, \sinh t)$ 则参数化了等轴双曲线 $x^2 - y^2 = 1$，且原点到曲线扫过的扇形面积均为 $t/2$。 四阶微分方程与特征根的分野 (3:50) 圆函数在物理中对应弹簧振子的简谐振动方程 $y'' = -y$，求导过程呈现出四步循环回归自身的节律；而在常见函数中，唯有自然指数函数具备求导一次或两次回归自身的性质。由此构成了四阶线性微分方程 $f^{(4)} = f$ 的四个基解：$e^x, e^{-x}, \cos x, \sin x$。任一解的宏观行为由原点处的函数值及前三阶导数完全锁定，且可通过线性组合拟合任意初始条件。 然而，这四组基解在实数轴上的宏观形态截然两分：指数项单调爆炸或衰减，而三角项在 $[-1, 1]$ 之间持续振荡。设解为 $e^{rx}$ 可推导出特征方程 $r^4 = 1$，其解恰为复平面的 4 次单位根。纯虚数对 $r = \pm i$ 对应匀速圆周运动的向心加速度投影，满足 $y'' = -y$ 的振动系统；实数对 $r = \pm 1$ 则对应加速度与位移同向的单向发散，满足 $y'' = y$。振荡与指数演化的物理差异，本质仅由特征根落在虚轴还是实轴决定。 复变统一框架与符号变异根源 (10:18) 在复平面中，乘以虚数单位 $i$ 等同于逆时针旋转 $90^\circ$。由欧拉公式 $e^{it} = \cos t + i \sin t$ 可知，旋转四次转满 $360^\circ$ 即对应求导四次重回自身。将自变量代入虚数后，两类函数的代数隔阂彻底弥合：$\cos(ix) = \cosh x$ 且 $\sin(ix) = i \sinh x$。从代数结构看，$\cos x$ 是复平面反向旋转质点的中点，而 $\cosh x$ 则是实平面单调曲线 $e^x$ 与 $e^{-x}$ 的中线。 恒等式中正负号的变异根源全部来自于 $i^2 = -1$。由于圆函数中正弦项带有伴随因子 $i$，当遇到两个正弦相乘项时便会触发变号，而单正弦项则符号不变；对 $\cos(ix)$ 求导产生的内层因子 $i$ 与正弦项的 $i$ 相乘抵消了负号，致使双曲余弦导数不带负号。节目指出，$\cos$ 与 $\cosh$ 是同一个复变函数 $\cosh z$ 在不同方向的切片展现：沿实轴切开为悬链线的对称 U 型曲线，沿虚轴切开则为波动的正弦与余弦曲线。 悬链线力学平衡与工程近似 (13:16) 对自然悬挂的链条微元进行静力平衡分析，水平拉力 $T_0$、切线拉力 $T$ 以及链段重力 $\rho g s$ 满足平衡条件，导出切线斜率关系式 $p = y' = s/a$（其中 $a = T_0 / (\rho g)$）。结合弧长微元 $ds = \sqrt{1 + p^2} dx$ 对关系式求导，得到一阶微分方程 $a p' = \sqrt{1 + p^2}$，进而整理为二阶齐次微分方程 $a^2 p'' = p$。这证明了悬链线斜率系统严格属于特征根为实数的 $y'' = y$ 分支。利用换元 $p = \sinh u$ 积分即可严格求得斜率 $y' = \sinh(x/a)$，二次积分最终解出悬链线方程 $y = a \cosh(x/a)$。 伽利略对抛物线的猜想源于物理近似与级数展开。当链条高度紧绷平坦时，弧长 $s$ 接近水平跨度 $x$；而 $\cosh(x/a)$ 的麦克劳林级数展开前两项为 $1 + x^2 / (2a^2)$，真正的偏差直到四次项才开始显露。现代工程中的悬索桥与均质链条具有不同的物理载荷：悬链线的重量沿弧长均匀分布，受自重主导；悬索桥的主缆通过密集吊杆吊起平直桥面，荷载主要沿水平跨度均匀分布，若忽略主缆自重，其受力严格遵循 $p = x/a$，曲线呈现为标准抛物线。 节目总结认为，从悬链线力学求解到双曲与三角函数的对偶，揭示了看似无关现象背后的同构数学实体。面对人工智能解答标准题目的能力，数学学习与探索的核心价值在于洞察跨领域规律的统一结构，探究符号差异的本质来源，从而形成深刻的宏观理解认知。

Source quotes

[0:01] 无论是和角公式、三倍角公式、正切形式、泰勒级数乃至积分换元，双曲函数都像圆函数在镜子里的翻版，有的完全相同，有的恰好相差一个正负号。 [3:50] 一个解的完整信息由它在原点处的四个初始值完全锁定：函数值 f(0) 以及前三阶导数 f'(0), f''(0), f'''(0)。 [7:25] 每求一次导相当于乘一次 i（逆时针转 90°），旋转四次转满 360° 回到原位。 [7:25] 振荡与指数增长的本质分野，仅仅取决于特征根 r 究竟取虚数还是取实数。 [10:18] 开头的那些巧合是同一批恒等式在两个不同轴方向上的样子，差出来的正负号，全部来自 i² = -1。 [13:16] 挂着的链子越长，末端斜率就必须越陡才能维持竖直方向的力平衡。 [13:16] 振动的弹簧占领了 r⁴ = 1 中虚数特征值的那一半解，而下垂的悬链线恰好占据了实数特征值的那一半解。 [16:32] 重力沿着链条弧长均匀分布；悬索桥的主缆通过密集的吊杆拉扯着平直的桥面，其总重力主要沿着水平跨度均匀分布。 [16:32] 追问为什么两件风马牛不相及的事物拥有相同的规律，弄清楚为什么公式之间偏偏差了一个负号，找到能将不同领域纳入同一宏观框架的深刻视角。

Original transcript

[0:01] 把一根链子的两端 [0:02] 钉在同样高的地方 [0:04] 松手让它自然垂下 [0:05] 会形成一条很好看的曲线 [0:07] 这是什么曲线呢 [0:09] 很多人第一眼会说是抛物线 [0:11] 看起来确实很像 [0:12] 1638 年 伽利略 [0:15] 在《关于两门新科学的对谈》中也写到 [0:17] 悬挂的链条近似于一条抛物线 [0:20] 但是它并不是抛物线 [0:22] 1669 年 德国学者容吉乌斯的遗著出版 [0:25] 书中给出了精密的实验证据 [0:28] 链条的形状和抛物线之间 [0:30] 存在着微小但确定的偏差 [0:32] 1690 年 雅各布·伯努利在《学术纪事》上 [0:35] 向全欧洲的数学家公开征解 [0:38] 第二年 莱布尼茨、惠更斯和 [0:40] 约翰·伯努利各自独立给出了答案 [0:43] 惠更斯更是给这条 [0:44] 曲线起了名字 catenary [0:47] 来自拉丁语 catena [0:48] 意思是链条 [0:49] 中文就叫做悬链线 [0:52] 用今天的写法 [0:53] 悬链线的方程是 [0:54] y 等于 a 乘以 cosh a 分之 x [0:57] 其中的 cosh 叫做双曲余弦 [1:00] 它还有个兄弟 sinh 叫双曲正弦 [1:03] 一个是 e 的 x 次方和 e 的负 x 次方的平均 [1:07] 一个是两者之差的一半 [1:09] 里面既没有圆也没有角度 [1:11] 可它们偏偏叫余弦和正弦 [1:14] 动手算一下 [1:15] 你就会看到它们之间的巧合 比如说 [1:18] 如果算 cosh 的平方减去 sinh 的平方 [1:21] 分子上用完全平方式展开 [1:23] 然后做差 [1:25] e 的 2x 次方和 e 的负 2x 次方会全部抵消 [1:29] 只剩下中间的常数 [1:30] 刚好是 1 [1:32] 而三角函数里也有 [1:33] cos 平方 x 加 sin 平方 x 等于 1 [1:36] 这里几乎一模一样 [1:37] 只是加号变成了减号 [1:39] 我们也可以算 2 倍的 sinh x 乘以 cosh x [1:43] 乘开之后你会发现 [1:44] 是一个平方差公式 [1:47] 刚好等于二分之 e 的 2x 次方 [1:50] 减去 e 的负 2x 次方 [1:52] 而这正是 sinh 2x [1:54] 所以这和正弦的二倍角公式 [1:57] sin 2x 等于 2 倍 sin x cos x 一模一样 [2:00] 连符号都不差 [2:02] 那最后我们还可以求个导 [2:04] e 的 x 次方求导不变 [2:05] e 的负 x 次方求导会多一个负号 [2:08] 所以 cosh 的求导会变成 sinh x [2:11] sinh x 的求导会变成 cosh x [2:13] 三角函数这边是 sin 求导变成 cos [2:16] cos 求导变成负 sin [2:17] 那 sinh 和 cosh 呢 [2:19] 它们的求导就几乎一样 [2:20] 只不过 cosh 求导会少一个负号 [2:23] 那为什么它们名字里 [2:24] 还要带一个双曲呢 [2:26] 这就藏在第一个等式里 [2:28] cos 平方 t 加 sin 平方 t 等于 1 [2:30] 说明坐标为 (cos t, sin t) 的点 [2:32] 永远落在单位圆上 [2:34] 那同样 cosh 平方 t 减去 sinh 平方 t [2:37] 等于 1 就说明坐标为 (cosh t, sinh t) [2:40] 的点永远落在 [2:42] x 平方减 y 平方等于 1 上 [2:45] 这是一条双曲线 [2:46] 三角函数会描绘出圆 [2:48] 也叫圆函数 [2:49] cosh 和 sinh 描绘出双曲线 [2:52] 就叫做双曲函数 [2:53] 参数 t 也能对得上 [2:55] 从原点向这个点连一根线段 [2:58] 点往上走 [2:59] 线段扫过一块面积 [3:00] 在圆上扫过的面积是 t 的一半 [3:03] 在双曲线上 [3:04] 扫过的面积也正好是 t 的一半 [3:07] 这样的对应远远不止这几条 [3:09] 我们可以列出一个很大很大的表 [3:12] 二倍角 和角公式 [3:13] 三倍角 正切 泰勒展开 [3:15] 连积分都有 [3:18] 几乎一模一样的双曲函数的翻版 [3:20] 有的是完全一样的 [3:21] 有的会差一个正负号 [3:24] 只用指数函数拼出来的 [3:25] 两个函数和三角函数居然 [3:27] 有如此美妙的一一对应 [3:29] 这是巧合吗 [3:30] 哪里变号 [3:31] 哪里不变 [3:32] 有没有什么规律呢 [3:34] 这底层又有什么共有的结构 [3:36] 一根挂着的链子又怎么会 [3:38] 和指数函数扯上关系呢 [3:40] 点赞收藏 [3:41] 数学启动 [3:50] 余弦和正弦在物理里 [3:52] 有一个经典的出处 就是弹簧 [3:55] 把木块拉开一段距离再松手 [3:57] 它会来回振动 [3:59] 弹簧对木块的力和位移成正比 [4:01] 方向相反 [4:02] 按照牛顿第二定律 [4:04] 木块的位移 y 满足 y 的二阶导等于负 y [4:08] 其中左边就是加速度 [4:09] 右边就是位移 [4:10] 这里呢 我们选取单位 [4:12] 使得这个比例系数恰好是 1 [4:14] 此时你就会发现 [4:16] 木块在右边时加速度朝左 [4:18] 在左边时加速度朝右 [4:20] 它总是往平衡点往回拉 [4:22] 所以呢就会来回地振动 [4:24] 这个方程的解啊 [4:25] 就是 cos t 和 sin t [4:27] cos 求一次导是负 sin [4:28] 再求一次是负 cos [4:30] 的确正好是自己的相反数 [4:33] 那如果我们一直求导求下去呢 [4:35] sin 变成 cos [4:36] cos 变成负 sin [4:37] 负 sin 再变成负 cos x [4:39] 再变成 sin x [4:41] 求到第四次又回到 sin [4:43] 四步转一圈 [4:44] 回到原处 [4:46] 要知道大多数的函数 [4:47] 根本没有这样有趣的性质 [4:50] x 的三次方一路求导 [4:52] 3x 平方、6x、6、0 [4:55] 4 次之后就什么都不剩了 [4:57] 而 ln x 一路求导会从 x 分之一 [5:00] 负 x 平方分之一 [5:01] x 三次方分之 2 [5:02] 一路下去 [5:03] 再也回不到对数 [5:05] 还有谁能求 4 次导回到自己呢 [5:08] 哎 e 的 x 次方可以 [5:09] 它求一次导就回来了 [5:11] e 的负 x 次方也可以 [5:13] 求一次导多一个负号 [5:14] 求两次就抵消了 [5:16] 巧的是 这两个正是拼出 cosh 和 sinh 的材料 [5:20] 所以我们手上有 4 个函数 [5:23] 它们都满足 f 的四阶导等于 f 自己 [5:26] 还有别的吗 [5:28] 这个方程有一个好的性质 [5:30] 那就是如果你取两个满足它的解 [5:33] 再乘上各自的常数相加起来 [5:36] 得到的函数还是 [5:38] 满足四阶导等于自己 [5:39] 比如说 e 的 x 次方加 e 的负 x 次方 [5:42] sin x 减去 5 倍的 cos x [5:45] 这样拼出来的东西叫做线性组合 [5:47] 所以我们要问的是 [5:49] 所有的解是不是都能 [5:51] 由这四个函数线性组合出来呢 [5:53] 一个解由什么东西决定呢 [5:55] 我们只要知道它在 0 点的四个数字 [5:58] 也就是函数值 f(0) 和它的前三阶导 [6:02] f′(0)　f′′(0)　f′′′(0) [6:04] 方程就告诉我们 [6:05] 四阶导会等于函数值 [6:07] 而再求一次导会得到 [6:08] 五阶导等于一阶导 [6:10] 再求导得到六阶导等于二阶导 [6:12] 往后所有的导数啊 [6:14] 都在这 4 个数里循环 [6:15] 那各阶导数如果全都知道了 [6:18] 泰勒公式就把整个函数定死了 [6:20] 刚才这四个函数啊 [6:22] 还有一些有趣的特性 [6:23] 那就是它们每一个函数的 [6:25] 这四个数字都完全不相同 [6:28] 而且用它们之间线性组合 [6:31] 你可以任意凑出你想要的四个导 [6:34] 比如说你想要 1、0、0、0 [6:36] 那就可以取 e 的 x 次方 [6:38] 和 e 的负 x 次方各四分之一 [6:40] 再加二分之一的 cos x 就可以了 [6:44] 一般地 想要凑出 a、b、c、d 这 0 到 3 阶导 [6:48] 我们可以取 4 个系数 [6:49] 依次是 (a+b+c+d)/4 [6:52] (a−b+c−d)/4 [6:54] (a−c)/2 和 (b−d)/2 [6:57] 随便拿来一个解 [6:58] 你总能用这四个函数凑出一个 [7:00] 开头 0 到 3 阶导完全相同的组合 [7:03] 而根据泰勒展开 [7:04] 这两者几乎就是同一个函数 [7:06] 求 4 次导回到自己的函数 [7:08] 本质上只有这四个 [7:10] 可是它们明显地分成了两类 [7:12] e 的 x 次方和 e 的负 x 次方 [7:14] 都是实数范围的 [7:15] 一个上涨 [7:16] 一个衰减 [7:17] 而 cos 和 sin 在 −1 和 1 之间 [7:19] 会来回振荡摇摆 [7:22] 一个方程的解为什么 [7:23] 会是这两样东西呢 [7:25] 哎 答案要到复数里去找 [7:27] 在复平面上 [7:28] 乘以 i 就是把点绕 [7:30] 原点逆时针旋转 90 度 [7:33] i 乘以 a+bi 会等于 −b+ai [7:36] 所以点 (a, b) 转到了 (−b, a) [7:38] 我们把 e 的 it 次方看成 [7:39] 一个随时间 t 运动的点 [7:41] 按照指数函数的求导规则 [7:43] 它的速度是 i 乘以 e 的 it 次方 [7:45] 等于把位置转 90 度 [7:46] 永远垂直于半径 [7:48] 所以从这个点一出发 [7:50] 就只能沿单位圆匀速转圈 [7:52] 横坐标是 cos t [7:53] 纵坐标是 sin t [7:54] 啊 这就是欧拉公式 [7:55] e 的 it 次方等于 cos t 加上 i 乘以 sin t [7:59] sin 和 cos 求四次导转一圈 [8:02] 在这里就有一个 [8:03] 非常直观的几何对应 [8:05] e 的 it 次方 [8:06] 每求一次导就会乘以一个 i [8:08] 转 90 度 转 4 次就会正好是一整圈 [8:12] 而 e 的负 it 次方则沿单位圆反方向转 [8:15] 两个点始终关于横轴对称 [8:18] 纵坐标相加会抵消 [8:20] 所以它们连线的中点 [8:22] 只在 x 轴上来回滑动 [8:24] 位置正好是 cos t [8:26] 而把两点相减 [8:27] 剩下的就是纵坐标 [8:29] 那这样一拆 [8:31] 这 4 个解就刚好换成了 e 的 x 次方 [8:34] e 的负 x 次方 [8:35] e 的 ix 次方和 e 的负 ix 次方 [8:38] 它们都有一个共同的形式 [8:40] 那就是 e 的 rx 次方 [8:42] 代进方程 [8:43] 求 4 次导 [8:44] 每次都会多乘一个 r [8:46] 也就是会多出一个 r 的 4 次方 [8:48] 所以想要让原来的微分方程成立 [8:51] 只需要 r 的 4 次方等于 1 [8:53] 4 次方等于 1 的数恰好是 4 次单位根 [8:57] 分别是 1、i [8:58] −1、−i [9:00] 正好在单位圆上相隔 90 度 [9:03] 这 4 个解两两一对 [9:05] 其中 r 等于正负 i 的这一对 [9:07] e 的正负 it 次方就会在单位圆上转圈 [9:11] 求两次导就是乘两次 i [9:13] 转 180 度 得到自己的相反数 [9:15] 加速度永远指向圆心 [9:17] 这正是匀速圆周运动的向心加速度 [9:20] 而弹簧的 y 的二阶导等于负 y [9:23] 就是这个圆周运动在横轴上的投影 [9:26] 而 r 等于正负 1 的这一对 [9:28] 则永远待在实轴上 [9:30] e 的正负 t 次方求两次导还是自己 [9:33] y 的二阶导等于自己 [9:34] 加速度和位置同向 [9:36] 离原点越远推得越厉害 [9:38] e 的 t 次方一去不回 [9:40] 而 e 的负 t 次方 [9:41] 则越来越慢地滑向原点 [9:44] 振荡和指数增长差别就在 [9:46] r 到底是虚数还是实数上 [9:49] 这个 y 的二阶导等于 y [9:51] 后面还会用到 [9:53] cos 和 sin 由 [9:55] e 的正负 ix 次方这一对组合而成 [9:58] 一个取平均 [9:59] 一个取差的一半再除以 i [10:01] 实数那一对 e 的正负 x 次方 [10:03] 按照相同的配方组合 [10:05] 得到的正是开头的那两个 [10:07] 函数 cos x、cosh x、sin x 和 sinh x [10:12] 左边的 r 等于 i [10:13] 右边的 r 等于 1 [10:14] 叫它们余弦和正弦 [10:16] 其实是名副其实的 [10:18] cosh 的图像是一条 U 型曲线 [10:20] 最低点在 (0, 1) [10:21] 和开头的那根链子是同一个形状 [10:24] 因为这两种函数有着 [10:26] 非常相似的结构和形式 [10:29] 只差 r 是取 i 还是取 1 [10:31] 所以如果我们把 ix 作为 [10:33] 自变量代入 cosh 和 sinh [10:36] 你就自动得到了 cos 和 sin [10:40] 只不过这里的 sinh 会多出一个乘以 i [10:44] 那么把 cos 写成两个指数的平均 [10:47] 乍一看是把简单的东西写复杂了 [10:49] 可这样写 [10:50] cos 和 cosh 变成了同一个形式 [10:53] 几何上也有非常漂亮的图像对应 [10:56] cos 是两个反向转圈的点的中点 [10:59] 而 cosh 是上升的 e 的 x 次方 [11:02] 和下降的 e 的负 x 次方两条曲线的中线 [11:06] 恒等式因此也会变得很短 [11:09] cos 平方 x 加 sin 平方 x [11:11] 是一个平方差公式 [11:12] 就会变成 e 的 ix 次方乘以 e 的负 ix 次方等于 1 [11:15] cosh 平方 x 减去 sinh 平方 x [11:19] 也是平方差公式 [11:21] 变成 e 的 x 次方乘以 e 的负 x 次方等于 1 [11:26] 两个式子说的都是一对 [11:28] 相反的指数相乘等于 1 [11:30] 开头那道题里的 e 的 2x 次方 [11:32] 和 e 的负 2x 次方抵消 [11:34] 背后正是 e 的 x 次方 [11:36] 乘 e 的负 x 次方等于 1 [11:38] 圆的版本是一个加号 [11:40] 因为 sin 前面带着 i [11:41] 所以 i 乘以 sin x 括号的平方 [11:44] 就会出来一个负号 [11:45] 是负的 sin 平方 x [11:48] 所以现在开头的那一系列谜团 [11:50] 就可以一起解释了 [11:52] 往 cos 和 sin 里代入 ix [11:55] 所以 cos ix 就会变成 cosh x [11:59] 而 sin ix 会变成 i 乘以 sinh x [12:02] 可 cos 什么也没多 [12:04] 但 sin 会多出一个 i [12:05] 那么三角恒等式都可以用 [12:08] 这种指数的双曲函数写出来 [12:11] 在复数里将会同样成立 [12:13] 我们可以放心地把 ix 代入 [12:16] 各种各样的三角恒等式 [12:18] 此时你就会发现 [12:19] 每个 sin 换成 sinh 都会带出一个 i [12:22] 两个 sin 相乘就会出现 [12:24] 一个 i 的平方等于 −1 [12:25] 因此要变号 [12:27] 只有一个 sin 的项 [12:28] i 在两边等式里都会约掉 不变号 [12:32] 那求导的时候 [12:33] 链式法则会再带出一个 i [12:35] 和 sin 的 i 凑成一对变成 i 平方 [12:38] 正好抵消掉 cos 求导前面的负号 [12:41] 所以 sinh 的求导和 cosh 的 [12:42] 求导都不带负号了 [12:44] 所以 cos 和 cosh 其实 [12:47] 根本就是同一个函数 [12:49] 我们可以把它写成 cosh z [12:52] 让 z 在整个复平面上取值 [12:55] z 沿着实轴走 [12:56] 我们看到的就是 U 型的 cosh [12:59] 也是悬链线 [13:00] 沿着虚轴走 [13:01] 你看到的就是波浪形的 cos [13:04] 开头的那些巧合是同一批 [13:06] 恒等式在两个不同轴方向上的样子 [13:10] 差出来的正负号 [13:11] 全部来自 i 平方等于 −1 [13:14] 是不是非常 interesting 呢 [13:16] 那最后我们再回到那根链子 [13:18] 把链子的最低点位置记为 x 等于 0 [13:21] 从最低点到任意一点 P 截出一段 [13:23] 它受 3 个力 [13:25] 最低点左边那截链子的 [13:26] 拉力 T0 沿着水平方向 [13:28] P 点处上面那截链子的 [13:30] 拉力 T 沿着切线方向 [13:32] 和水平方向的夹角为 θ [13:34] 还有这段链子自身的重力 [13:36] 等于线密度 ρ 乘以 g 再乘以这段的长度 s [13:40] 这三个力平衡 [13:41] 我们可以在水平和竖直方向分解 [13:43] 水平方向 T cos θ 等于 T0 [13:45] 竖直方向 T 乘 sin θ 等于 ρgs [13:48] 两式相除 [13:49] 消去 T 你就会得到 tan θ 等于 a 分之 s [13:54] 其中 a 等于 T0 除以 ρg 是一个常数 [13:57] 它表示这个链子到底绷得有多紧 [14:00] 如果绷得越紧 [14:01] a 就越大 [14:02] 曲线越平 [14:03] tan θ 就是 P 这个点的斜率 [14:06] 记作 p 等于 y′ [14:08] 所以呢 p 就等于 a 分之 s [14:10] P 点下面挂的链子越长 [14:12] P 点的斜率就得越陡才能拉得住它 [14:15] 那接下来我们把 s 换掉 [14:17] 往右走一小步 dx [14:19] 高度呢就会变化斜率 p 乘以 dx [14:22] 由勾股定理 [14:23] 这一小段的链子长度是 [14:24] 根号下 1 加 p 平方倍的 dx [14:27] 把 p 等于 a 分之 s 两边对 x 求导 [14:30] 就会得到 a 乘以 p′ 等于 [14:32] 根号下 1 加 p 的平方 [14:34] 两边平方再对 x 求一次导 [14:36] 你就会得到 a 平方乘以 p′ 的平方 [14:39] 等于 1 加 p 的平方 [14:41] 这会进一步告诉我们 [14:43] 2a 平方乘以 p 的一阶导乘以 p 的二阶导 [14:45] 等于 2 倍的 p 乘以 p 的一阶导 [14:48] a 乘以 p 的一阶导等于一个 [14:50] 不小于 1 的根号的数字 [14:52] 所以不会是 0 [14:53] 我们可以约掉 2 倍的 p′ [14:55] 就会得到 a 平方乘以 p 的二阶导等于 p [14:59] 发现没有 [15:00] 不要眨眼 [15:01] 斜率的二阶导等于斜率自己 [15:03] 只差一个常数 a 的平方 [15:06] 这正是 y 的二阶导等于 y 自己 [15:08] r 的平方等于 1 那一半的解 [15:11] 弹簧占了 r 的 4 次方等于 1 的一半 [15:14] 而这个链子刚好占据了另一半的解 [15:17] 那现在想要把 p 解出来 [15:18] 我们可以回到上面那行 [15:20] a 乘以 p′ 等于根号下 1 加 p 的平方 [15:23] 它可以直接积分出来 [15:25] 我们把 p 和 x 分到等号两边 [15:27] 就会得到根号下 1 加 p 平方分之 dp [15:29] 等于 a 分之 dx [15:31] 左边的根号就能用得上 [15:33] 开头的那条双曲线了 [15:35] 我们可以令 p 等于 sinh u [15:38] 那么 1 加上 sinh 平方 u 正好是 cosh 平方 u [15:42] 根号开出来就是 cosh u [15:45] 而 dp 呢 你把它展开也刚好 [15:47] 等于 cosh u 乘以 du 一约分 [15:50] 左边非常漂亮 [15:51] 只剩下 du [15:52] 两边一积分 [15:53] 你就会得到 u 等于 a 分之 x [15:56] 最低点 p 等于 0　u 也是 0 [15:57] 所以我们不需要加任何常数 [15:59] 因此你就会得到 y′ [16:00] 等于 p 等于 sinh a 分之 x [16:04] 开头那张表的最后一行 [16:05] 说的就是这一招 [16:07] 碰到 1 减 x 平方开根号时 [16:09] 我们就会换元 令 x 等于 sin t [16:12] 靠的是圆的几何性质 [16:13] 而碰到根号下 1 加 x 平方 [16:16] 我们往往会想到令 x 等于 sinh t [16:18] 靠的就是双曲线的性质 [16:20] 再积分一次 [16:21] cosh 的导数是 sinh [16:23] 没有负号 [16:24] 所以你就得到 y 等于 a 乘以 cosh a 分之 x [16:28] 这就是悬链线 [16:30] 是不是很妙呢 [16:32] 那伽利略为什么 [16:33] 一开始会觉得它像抛物线 [16:34] 因为在这个链子拉得很平的时候啊 [16:37] 这个链长 s 和水平距离 x 差不多 [16:39] 此时 p 等于 a 分之 s [16:41] 可以近似成 p 等于 a 分之 x [16:44] 积分出来就是一个抛物线 [16:46] 那展开 cosh 也可以看出来 [16:48] 它的泰勒展开前两项就是抛物线 [16:50] 差别从四次项才开始 [16:53] 而悬索桥的主缆吊着桥面时 [16:55] 重量会沿着水平方向均匀分布 [16:58] 此时如果忽略主缆自重的时候 [17:00] p 等于 a 分之 x 就会精确成立 [17:02] 所以这种吊桥的主缆 [17:05] 就是严格意义上的抛物线 [17:07] 重量沿着链长均匀分布 [17:08] 就会得到 cosh [17:10] 沿着水平方向均匀分布 [17:11] 就会得到抛物线 [17:13] 伽利略的直觉其实并没有错得太多 [17:16] 所以你看 [17:17] 看上去毫不相干的两样东西 [17:19] 看上去纯属巧合的性质 [17:21] 背后常常连带着一层更深的结构 [17:24] cosh 和 cos 是这样 [17:26] 挂着的链子和振动的弹簧也是这样 [17:29] 很多人印象里的数学就是解题 [17:31] 给定条件 求出答案 [17:32] 得到分数 [17:33] 可数学家真正在找的 [17:35] 更多的是这种背后的联系和结构 [17:38] 为什么两件事情会一样呢 [17:40] 为什么偏偏差一个负号呢 [17:42] 如今解题这件事 [17:44] AI 做得一年比一年好 [17:45] 能察觉巧合 [17:47] 追问它的来历 [17:48] 找到把两样东西放到 [17:50] 同一个框架的视角 [17:51] 而这种能力或许是 AI 时代 [17:54] 数学研究者和学习者 [17:56] 最重要也是最后的诺亚方舟 [17:59] 如果你觉得这期内容有意思 [18:00] 还希望你能点赞支持一下 UP 主 [18:02] 我是漫士 [18:03] 一名毕业于清华姚班的人工智能博士生 [18:05] 漫士沉思录 [18:05] 学海引路不辛苦 [18:06] 我们下期再会