双曲函数与悬链线
问题提出
呼噜星球的工程师们遇到了一个问题:他们要在两座山之间拉一条电缆,电缆在自身重力下会自然下垂。
一个学生说:
但工程师们通过精确测量发现,电缆的形状不是抛物线,而是另一种曲线。
这种曲线叫做悬链线(catenary),它的方程是:
y=acosh(ax)=2a(ex/a+e−x/a)
学生们惊讶地发现:这里又出现了 e!
老师,为什么悬挂的链条会形成这样一条包含 e 的曲线?双曲函数又是什么?
观察与猜想
我们先定义两个函数:
sinhx=2ex−e−x,coshx=2ex+e−x
分别叫做双曲正弦和双曲余弦。
学生们注意到它们和三角函数很像:
- sinx=2ieix−e−ix,cosx=2eix+e−ix
- sinhx=2ex−e−x,coshx=2ex+e−x
只是把 ix 换成了 x!
他们猜想:双曲函数应该有和三角函数类似的恒等式。
验证一下:
cosh2x−sinh2x=(2ex+e−x)2−(2ex−e−x)2
=4e2x+2+e−2x−4e2x−2+e−2x=44=1
所以有恒等式:
cosh2x−sinh2x=1
这对应于三角函数中的 cos2x+sin2x=1,只是加号变成了减号。
严格证明
双曲函数的定义与性质
定义:
sinhx=2ex−e−x,coshx=2ex+e−x
tanhx=coshxsinhx=ex+e−xex−e−x
基本恒等式:
- cosh2x−sinh2x=1
- sinh(x+y)=sinhxcoshy+coshxsinhy
- cosh(x+y)=coshxcoshy+sinhxsinhy
- sinh2x=2sinhxcoshx
- cosh2x=cosh2x+sinh2x
导数:
(sinhx)′=coshx,(coshx)′=sinhx
注意:双曲余弦的导数是双曲正弦(没有负号!),这和三角函数不同。
级数展开:
sinhx=x+3!x3+5!x5+⋯=∑k=0∞(2k+1)!x2k+1
coshx=1+2!x2+4!x4+⋯=∑k=0∞(2k)!x2k
和三角函数的级数对比,只是没有了交替的正负号。
悬链线方程的推导
考虑一根均匀、柔软、不可伸长的链条,两端固定,在重力作用下下垂。
设链条的线密度为 ρ,重力加速度为 g。取链条最低点为原点,建立坐标系。
在链条上任取一点 (x,y),分析从最低点到该点这段链条的受力:
- 最低点的水平张力 H(常数)
- 该点的张力 T,沿切线方向
- 这段链条的重力 ρgs(s 是弧长),竖直向下
由力的平衡,张力的水平分量等于 H,竖直分量等于 ρgs。因此切线斜率:
dxdy=Hρgs=as,其中 a=ρgH
又因为弧长微分 ds=1+(y′)2dx,对 y′=as 两边求导:
y′′=a1dxds=a11+(y′)2
这是悬链线的微分方程。
求解:令 p=y′,则 p′=a11+p2。
分离变量:
1+p2dp=adx
积分得:
ln(p+1+p2)=ax+C
由初始条件 x=0 时 p=0,得 C=0。所以:
p+1+p2=ex/a
取倒数(注意 −p+1+p2=e−x/a),两式相减:
2p=ex/a−e−x/a⟹p=sinh(ax)
再积分:
y=∫sinh(ax)dx=acosh(ax)+C′
由 x=0 时 y=a(取最低点纵坐标为 a),得 C′=0。
所以悬链线方程为:
y=acosh(ax)=2a(ex/a+e−x/a)
为什么不是抛物线?
学生们可能会问:伽利略曾经猜测悬链线是抛物线,为什么不对?
关键区别在于:
- 抛物线:各点的水平间距相等时,竖直增量恒定(y∝x2)
- 悬链线:各点的弧长相等时,竖直增量递增(因为越往两边,链条越陡,需要承受的重力越大)
悬链线的斜率 y′=sinh(x/a) 随 x 增长得比抛物线的斜率 y′=2kx 更快(指数增长 vs 线性增长)。
当跨度很小、下垂很小时,悬链线可以近似为抛物线——这就是为什么很多人会混淆。
双曲函数的其他应用
- 悬索桥:主缆的形状在均布荷载下是抛物线,但在自重下是悬链线
- 建筑拱门:倒过来的悬链线(悬链拱)是最合理的拱门形状,因为压力沿拱轴传递
- 相对论:快度(rapidity)的加法用双曲正切表示
- 微分方程:y′′=y 的通解是 y=Acoshx+Bsinhx
- 复变函数:sin(ix)=isinhx,cos(ix)=coshx
结论与应用
- 双曲函数定义:sinhx=2ex−e−x,coshx=2ex+e−x
- 核心恒等式:cosh2x−sinh2x=1
- 导数性质:(sinhx)′=coshx,(coshx)′=sinhx
- 悬链线方程:y=acosh(x/a),由受力平衡和微分方程严格推导
- 与三角函数的关系:sin(ix)=isinhx,cos(ix)=coshx
呼噜星球的学生们看着悬链线的方程,感慨道:
从一条悬挂的链条里,竟然又冒出了 e!e 真是无处不在啊。
我总结道:
我们的 e 的数学冒险到此告一段落。从复利极限出发,我们穿越了数列、级数、微积分、复平面、概率、数论,最后来到工程中的悬链线。每一个领域,e 都以不同的面貌出现,却又指向同一个常数。
e≈2.71828,这个看似普通的数字,是数学中最深刻、最通用的常数之一。它的故事,还在继续。