双曲线（英文：hyperbola）是常见的一类圆锥曲线，可以由一个不通过直圆锥面的顶点的平面去截取圆锥体的两个叶得到。双曲线也是平面到两个固定的点的距离差为常数的点的轨迹。

对双曲线的研究始于古希腊时期，当时人们是从纯几何的思路进行研究的。随着17世纪解析几何的建立，人们开始采用方程思想研究双曲线的性质。双曲线在生产实践中具有广泛的应用。

约公元前 4 世纪，古希腊学者梅内克谬斯(Menaechmus)在研究平面与圆锥相交时最先发现了圆锥曲线，即椭圆，抛物线和双曲线是圆锥体表面与平面的交点产生的。如图所示，为直角三角形，首先以的短直角边 AB 为轴旋转一周得到圆锥体，然后取一垂直于斜边（BC边）的平面截取这个圆锥体切口形成的曲线即为双曲线。

公元前2世纪，古希腊数学家阿波罗尼奥斯（Apollonius of Perga）从纯几何的思想出发，建立起系统的圆锥曲线理论。讨论如右图所示，他在同一个圆锥体中使用不同的切割面得到了圆、椭圆、双曲线、抛物线4种图形。阿波罗尼奥斯发表了数学著作《圆锥曲线论》，该著作详细介绍了双曲线等圆锥曲线的性质。

16世纪，德国数学家约翰尼斯·开普勒（Johannes Kepler）发现了行星三大定律，意大利数学家伽利略·伽利莱（Galileo di Vincenzo Bonaulti de Galilei）基于运动合成的思想，发现了物体斜抛运动的轨迹为抛物线，人们开始意识到圆锥曲线不单是圆锥体的切割面，还与自然界的运动变化息息相关。

17世纪，法国数学家勒内·笛卡尔（René Descartes）和皮耶·德·费马（Pierre de Fermat）创立了解析几何，建立起坐标系的概念，用数学方程来研究圆锥曲线的各种性质。1745 年，瑞士数学家莱昂哈德·欧拉（Leonhard Euler）发表了《分析引论》，基于方程思想对圆锥曲线进行了系统的研究。

把平面内与两个定点的距离差的绝对值等于常数 (小于并且大于0) 的点的轨迹叫作双曲线，这两个定点称为双曲线的焦点，两焦点的距离叫作双曲线的焦距，焦距的一半长度称为半焦距。

如图所示，直角坐标系中在轴上，且线段的中点与直角坐标系的原点相重合。设为双曲线上任意一点，焦距为，两焦点坐标为。根据双曲线的定义，得方程。

上述方程的曲线即为双曲线。

对整理可得：

。

上式记为式（1）。由于，即。

令代人式得：

。

两边同除以, 得：

。

该方程称为焦点在轴上的双曲线的标准方程。式中, 满足关系式。

如果双曲线的焦点在轴上, 焦点为。双曲线的标准方程为：

式中, 同样满足关系式。

焦点在轴上的双曲线的标准方程具有如下的几何性质，焦点在轴上的双曲线的标准方程的性质可类似得出。

整理方程可以得到 。

也就是说，即或者时，才有意义。因此，双曲线不存在位于两条直线和之间的区域。

从双曲线的标准方程可以看到，双曲线的图像关于轴、轴和原点都是对称的，也就是说，两条坐标轴是双曲线的标准方程图像的对称轴，其中两个焦点所在的轴（轴）称为焦点轴或实对称轴，另一条轴称为虚对称轴。此外，坐标原点为双曲线图像的对称中心点或者中心。

将代入方程可得，。也就是说，双曲线与轴存在两个交点，可记为 和，这两个交点也称为双曲线的顶点，顶点相连的线段 称为双曲线的实轴，实轴的一半称为实半轴，长度为。

将代入方程，解得，可以看到并没有实数解，也就是说，双曲线与轴不能相交。如果在轴上取两个点，把线段称为双曲线的虚轴，虚轴的一半称为虚半轴，长度为。

从上述分析也可以看出，双曲线的焦点在实轴上，焦点和顶点总是在同一条对称轴。

分别作两条对角线，其斜率的绝对值为虚轴和实轴的长度之比，可以看到，双曲线图像局限在两条对角线之内，直线称为双曲线的渐近线。 对于焦点在轴上的双曲线而言，其渐近线方程为。

如图所示，可以根据如下步骤作出渐近线。

分别过 作出四条直线和 ，它们围成一个矩形。再画出该矩形的两条对角线，显然，这两条对角线为，也就是该双曲线的渐近线。双曲线不与渐近线相交，但在离中心很远的地方，双曲线将无限接近于其渐近线。

定义双曲线的离心率为焦距与实轴之比，即：

由于，离心率，离心率决定了双曲线的形状。离心率越大，双曲线的开口也就越大。若两条双曲线的离心率相等，那么这两条双曲线相似。

如图所示，直线（即）和直线（即）称为这条双曲线的准线，其中叫作左准线，叫作右准线。双曲线的准线具有以下的性质：

双曲线上任意一点到左焦点的距离与它到左准线的距离之比等于这双曲线的离心率，任意一点到右焦点的距离与它到右准线的距离之比也等于这双曲线的离心率。

对于双曲线的标准方程或来说，

曲线上的一点对应的切线方程分别为：

或

若已知切线方程的斜率为，则该切线方程分别为：

和

下表是双曲线两类标准的方程的部分性质。

如图所示，用一个不通过直圆锥面的顶点的平面去截取圆锥体的两个叶，所得的截痕是一条双曲线。该双曲线的焦点为两个叶的内切球切点。

当焦点位于轴，即，双曲线的标准方程为：

上述方程也称为第一标准方程。

当焦点位于轴，，双曲线的标准方程为：

或

上述方程也称为第二标准方程。

在双曲线的标准方程中，满足以下关系：

建立如右图所示的极坐标，则双曲线的极坐标方程为：

式中，与标准方程中的存在如下关系：,。

当 ，方程表示双曲线的右支，当时，方程表示双曲线的左支。

双曲线的参数方程有如下多种表达形式。

类似地，双曲线的参数方程也有以下对应的表达形式。

实轴和虚轴相等的双曲线，称为等轴曲线，也称为直角双曲线。

由等轴双曲线的定义可知，以下曲线均为等轴双曲线。

所有等轴双曲线的离心率，也就是说等轴双曲线都是相似的。此外，等轴双曲线的两条渐近线互相垂直。

如果一条双曲线的实轴和虚轴分别是另一条双曲线的虚轴和实轴(这里的实轴和虚轴指的是线段)，则称这两条双曲线是共轭的。每条双曲线都叫作另一条双曲线的共轭双曲线。如果两条双曲线共轭，则这两条双曲线的四个焦点到共同中心是等距的，此外，它们有共同的渐近线。

由共轭双曲线的定义可知：

双曲线和互为共轭双曲线。

形如的函数称为反比例函数。如右图所示，在平面直角坐标系中, 反比例函数 的图象是二次双曲线，时, 该双曲线的两支分别位于一、三象限；时, 该双曲线的两支分别位于二、四象限。

反比例函数的曲线是一种特殊的等轴双曲线，其图像关于原点对称，渐近线为轴和轴。反比例函数的图像可以看作把等轴双曲线的渐进线作为坐标轴后得到图像。

证明如下：

在直角坐标系中，焦点位于轴时，等轴双曲线的方程可以表示为：

等轴双曲线的两条渐近线互相垂直，因此可以将这两条渐近线旋转45°得到新的坐标系，其坐标轴分别记为轴。

该等轴双曲线上点在新的坐标系中的坐标与原坐标系坐标存在如下关系：

则新的坐标系中可以得到：

如果令，

则有。

不妨使用代替，

则有，

即得到反比例函数的图像。

双曲线是一种常见的圆锥曲线，在许多领域都有着广泛的用途。例如, 在军事上, 根据观察站所测得的炮声的时间差, 借助于双曲线方程, 就可以 确定出敌人的炮兵阵地的位置. 又如, 巴黎有名的埃菲尔铁塔是双曲线形的建筑。由双曲线生成 的曲面具有良好的抗压能力, 被广泛用于多类工程设计中, 能节省大量的建筑材料, 进而减少投资,降低成本。如许多水电站大坝就是采用的是双曲面构型。