[math] 什么是双曲函数（转发）

时间：2019-02-05 21:55:30 阅读：265 评论：0 收藏：0 [点我收藏+]

我完全不记得上高中的时候学习过双曲函数。。。额，暴露了。。。

原文地址：https://zhuanlan.zhihu.com/p/20042215

可能是最好的讲解双曲函数的文章

零、写在前面

（近期好几个知友询问我能否转载，我在这说一下：随意，无论你是不是商业的。但是任何转载都请私信我转载到了哪里，以及转载时告诉读者从哪里转载的）

对之前在双曲函数的来历是什么，与三角函数有什么关系？ - 数学问题下的回答不太满意，故在此重新撰文。尽我所能全面具体详细地介绍双曲函数相关的方方面面，希望它能成为最好的讲解双曲函数的文章。

除了第七部分，高中生都应该可以看懂，因此我不希望大家回复「不明觉厉」，而是看懂它并回复「受益匪浅」。

我希望想了解双曲函数的知友看了我的文章都能有所收获。

一、发展历史

双曲函数的起源是悬链线，首先提出悬链线形状问题的人是达芬奇。他绘制《抱银貂的女人》时曾仔细思索女人脖子上的黑色项链的形状，遗憾的是他没有得到答案就去世了。

时隔170年之久，著名的雅各布·伯努利在一篇论文中又提出了这个问题，并且试图去证明这是一条抛物线。事实上，在他之前的伽利略和吉拉尔都猜测链条的曲线是抛物线。

一年之后，雅各布的证明毫无进展（废话，证明错的东西怎么会有进展）。而他的弟弟约翰·伯努利却解出了正确答案，同一时期的莱布尼茨也正确的给出了悬链线的方程。他们的方法都是利用微积分，根据物理规律给出悬链线的二次微分方程然后再求解。

18世纪，约翰·兰伯特开始研究这个函数，首次将双曲函数引入三角学；19世纪中后期，奥古斯都·德·摩根将圆三角学扩展到了双曲线，威廉·克利福德则使用双曲角参数化单位双曲线。至此，双曲函数在数学上已经占有了举足轻重的地位。

19世纪有一门学科开始了全面发展——复变函数。伴随着欧拉公式的诞生，双曲函数与三角函数这两类看起来截然不同的函数获得了前所未有的统一。

二、函数定义

在讲双曲函数的定义之前，我们先看一看三角函数的定义。如图所示：

在实域内，三角函数的值是通过单位圆和角终边上三角函数线的长度定义的。当然这个「长度」是有正负的。

同理，双曲函数的值也是通过双曲线和角终边上的双曲函数线的长度定义的。如图：

具体的定义为

$技术分享图片$ ，

$技术分享图片$ 。

三、函数性质

和对应的三角函数性质十分类似，但又有一定的区别。

四、恒等式

双曲函数恒等式一定要结合着三角函数恒等式一起看，真的是太像了：

五、欧拉公式

欧拉公式是复变函数里几乎最重要的一个公式，它揭示了三角函数和指数函数之间的内在联系，从形式上也十分简洁优美：

$技术分享图片$

用 $技术分享图片$ 替换掉 $技术分享图片$ ，得到

$技术分享图片$

这样我们可以解出正弦和余弦函数与指数函数的关系式：

$技术分享图片$

再把双曲函数拉过来看看

$技术分享图片$ $技术分享图片$

是不是非常接近了呢？很容易看出它们之间存在这样的关系：

$技术分享图片$

六、复域统一

先研究一下三角函数和双曲函数的级数展开。

$技术分享图片$ $技术分享图片$

双曲函数和三角函数的区别仅仅在于是否有 $技术分享图片$ 的幂这一项，双曲函数就是将三角函数改为非交错级数。正是由于其无比相似的级数展开，才使得它们具有十分相似的性质。

我们说了这么多，两类函数似乎各种相似却还是不一样。那么三角函数和双曲函数的关系到底是什么呢？

在复域上，它们的形状其实是一样的！

不信？我们画一画图像。

直观地看，同一行的两个函数除了角度不同之外形状是一样的。

而其实这个关系前边已经说明过了：

$技术分享图片$

这两个式子说明对应的两个函数仅通过旋转（对于复变函数，乘 $技术分享图片$ 就相当于逆时针旋转90°）即可重合。

对了，大家都知道三角函数的周期是 $技术分享图片$ ，那么大家猜猜双曲函数的周期是多少？没错，是 $技术分享图片$ ！

七、映射关系（需具备复变函数基础）

正弦与余弦映射均由复变函数里的基本映射复合而成。如 $技术分享图片$ 是由旋转 $技术分享图片$ 的映射、指数函数映射以及如可夫斯基映射复合而成：

$技术分享图片$

由公式

$技术分享图片$

同样可知 $技术分享图片$ 的复合过程。

由上述知，宽度为 $技术分享图片$ 的铅直带状区域是 $技术分享图片$ 的单叶区域。

我们来看看余弦函数在带状域 $技术分享图片$ 的映射情况：

$技术分享图片$

求直线 $技术分享图片$ 的像，有

$技术分享图片$

由此得

$技术分享图片$

这是一个直线到双曲线的映射，当 $技术分享图片$ 为正数和负数时分别为其一个分支。而直线 $技术分享图片$ 被映射为正实轴从1到 $技术分享图片$ 的割痕，直线 $技术分享图片$ 被映射为沿实轴 $技术分享图片$ 到 $技术分享图片$ 的割痕。带状域的像为整个 $技术分享图片$ 平面，除去实轴上从-1穿过无穷远到1的线段。