ARTICLE

双曲线

双曲线 (Hyperbola) 双曲线(Hyperbola)是圆锥曲线的三种基本类型之一(另两种为椭圆和抛物线),指平面上到两个定点(焦点)的距离之差的绝对值为常数的点的轨迹。与封闭的椭圆不同,双曲线由两个互不相连的无限延伸分支构成,这一拓扑特征使其在数学性质和应用场景上都与椭圆形成鲜明对照。在经济学中,双曲线的函数形式——尤其是直角双曲线——广泛出现在需求

浏览 0 更新 2025-10-29

双曲线 (Hyperbola)

双曲线(Hyperbola)是圆锥曲线的三种基本类型之一(另两种为椭圆抛物线),指平面上到两个定点(焦点)的距离之差的绝对值为常数的点的轨迹。与封闭的椭圆不同,双曲线由两个互不相连的无限延伸分支构成,这一拓扑特征使其在数学性质和应用场景上都与椭圆形成鲜明对照。在经济学中,双曲线的函数形式——尤其是直角双曲线——广泛出现在需求分析、无差异曲线和双曲贴现等行为经济学模型中。

定义与几何构造

设平面内两定点 F1F_1F2F_2(称为焦点,Foci),距离 F1F2=2c|F_1F_2| = 2c。双曲线定义为满足

PF1PF2=2a(0<a<c)\bigl| |PF_1| - |PF_2| \bigr| = 2a \qquad (0 < a < c)

的动点 PP 的轨迹。常数 2a2a 称为实轴长。当 PP 距离 F1F_1 较近时,PF1PF2=2a|PF_1| - |PF_2| = -2a,对应左支;反之对应右支。双曲线也可通过平面截割双圆锥面而得:当截面与圆锥轴线的夹角小于母线与轴线的夹角时,截口即为双曲线。

标准方程与关键参数

以两焦点所在直线为 xx 轴、焦点连线的中垂线为 yy 轴建立坐标系,中心置于原点。此时焦点坐标为 F1(c,0)F_1(-c, 0)F2(c,0)F_2(c, 0),双曲线的标准方程为:

x2a2y2b2=1,其中 b2=c2a2\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1, \qquad \text{其中 } b^2 = c^2 - a^2

当双曲线开口朝 yy 轴方向时,标准方程为:

y2a2x2b2=1\frac{y^2}{a^2} - \frac{x^2}{b^2} = 1

核心几何元素包括:

  • 中心(Center):两焦点的中点,也是双曲线的对称中心——双曲线关于中心和两条坐标轴均对称。
  • 顶点(Vertices):双曲线与实轴的交点,坐标分别为 (a,0)(-a, 0)(a,0)(a, 0),是两支上距离中心最近的点。
  • 实轴(Transverse Axis):连接两顶点的线段,长度为 2a2a
  • 虚轴(Conjugate Axis):垂直于实轴、过中心的线段,长度为 2b2b,其端点 (0,±b)(0, \pm b) 本身不在双曲线上,但用于确定渐近线。
  • 焦距(Focal Length):2c2c,满足 c2=a2+b2c^2 = a^2 + b^2。双曲线中 c>ac > a 恒成立。

渐近线

双曲线区别于椭圆和抛物线的最显著特征是存在渐近线(Asymptotes)。当 x|x| \to \infty 时,双曲线的两支无限逼近两条过中心的直线:

y=±baxy = \pm \frac{b}{a}x

从代数看,将标准方程变形为 y=±bax1a2x2y = \pm \frac{b}{a}x\sqrt{1 - \frac{a^2}{x^2}},当 xx \to \infty 时根号趋近于 1,故曲线与直线无限接近但永不相交。渐近线刻画了双曲线在无穷远处的行为方向,是绘制和分析双曲线性质的核心辅助线。

离心率

双曲线的离心率(Eccentricity)定义为:

e=ca=a2+b2a>1e = \frac{c}{a} = \frac{\sqrt{a^2 + b^2}}{a} > 1

离心率是度量双曲线"张口"程度的指标:ee 越接近 1,两支越贴近实轴,形状扁平;ee 越大,张口越大,渐近线越陡峭。椭圆中 0<e<10 < e < 1,抛物线中 e=1e = 1,双曲线中 e>1e > 1,离心率由此提供了圆锥曲线统一分类的定量依据。

双曲线还可通过准线(Directrix)定义:平面上到焦点距离与到相应准线距离之比为常数 e>1e > 1 的点的轨迹。两条准线方程分别为 x=±ae=±a2cx = \pm \frac{a}{e} = \pm \frac{a^2}{c}

共轭双曲线与直角双曲线

x2a2y2b2=1\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1 中的符号互换得到 y2b2x2a2=1\frac{y^2}{b^2} - \frac{x^2}{a^2} = 1,称为原双曲线的共轭双曲线(Conjugate Hyperbola)。二者共享同一组渐近线,但实轴与虚轴互换。

a=ba = b 时,双曲线方程为 x2y2=a2x^2 - y^2 = a^2,渐近线 y=±xy = \pm x 相互垂直,称为直角双曲线等轴双曲线(Rectangular / Equilateral Hyperbola),其离心率 e=2e = \sqrt{2}。将直角双曲线旋转 4545^\circ 后,可化为更简洁的形式:

xy=k(k0)xy = k \quad (k \neq 0)

y=kxy = \frac{k}{x}。这一形式在经济学中出现频率极高:需求曲线中价格与数量的反比关系、等支出线、无差异曲线中完全替代品的边界情形,均涉及此类函数。其核心性质是:曲线上任意点的横纵坐标之积恒为常数,即变量间满足严格的倒数关系。

参数方程与双曲函数

双曲线的右支可用双曲函数参数化:

{x=acosht=aet+et2y=bsinht=betet2,tR\begin{cases} x = a \cosh t = a \cdot \frac{e^t + e^{-t}}{2} \\ y = b \sinh t = b \cdot \frac{e^t - e^{-t}}{2} \end{cases}, \quad t \in \mathbb{R}

其中 cosht\cosh tsinht\sinh t 分别为双曲余弦与双曲正弦函数,满足恒等式 cosh2tsinh2t=1\cosh^2 t - \sinh^2 t = 1。这一关系与三角恒等式 cos2θ+sin2θ=1\cos^2\theta + \sin^2\theta = 1 结构平行:三角(圆)函数对应单位圆 x2+y2=1x^2 + y^2 = 1,双曲函数对应单位直角双曲线 x2y2=1x^2 - y^2 = 1。双曲函数在连续复利、期权定价的布莱克-斯科尔斯模型中的正态分布尾部近似等金融数学场景中均有应用。

一般二次方程与判别式分类

在一般解析几何框架中,任意二次曲线可表示为:

Ax2+Bxy+Cy2+Dx+Ey+F=0Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0

判别式 Δ=B24AC\Delta = B^2 - 4AC 决定了曲线的类型:当 Δ>0\Delta > 0 时为双曲型,Δ=0\Delta = 0 时为抛物型,Δ<0\Delta < 0 时为椭圆型。双曲线对应的二次型 Ax2+Bxy+Cy2Ax^2 + Bxy + Cy^2 为不定型(Indefinite),即特征值一正一负。这一代数特征使得双曲线在最优化理论中对应于鞍点(Saddle Point):沿某一方向函数取极大值,沿另一方向取极小值。在线性约束下的二次规划问题中,双曲型约束结构在投资组合理论的有效前沿推导中扮演基础角色。

经济学应用

双曲线及其函数形式在经济学中扮演着多重角色:

直角双曲线与单位弹性需求:形式为 q=k/pq = k/p 的需求函数在所有价格水平上都具有恒定的单位价格弹性(ε=1\varepsilon = -1),即总支出 pq=kp \cdot q = k 恒定不变。这是需求理论中的基准情形。

双曲贴现行为经济学中的双曲贴现模型使用双曲函数刻画时间偏好,其贴现因子形式为 D(t)=11+ktD(t) = \frac{1}{1 + kt}(其中 k>0k > 0 为贴现强度),区别于传统指数贴现模型。双曲贴现导致了时间不一致性——人们在短期比长期更具冲动性——为理解拖延、成瘾、储蓄不足等现象提供了分析框架。

生产与效用理论等产量线无差异曲线中,当两种投入或商品的替代弹性为常数且不等于1时,CES函数形式涉及双曲型结构。在完全互补品的极端情形(Leontief型)与完全替代品之间的连续谱系中,双曲形式的函数族提供了灵活的描述工具。

一般二次型分类:在计量经济学与优化理论中,二次型 f(x,y)=Ax2+Bxy+Cy2f(x, y) = Ax^2 + Bxy + Cy^2 的分类直接依赖于判别式 B24ACB^2 - 4AC:当判别式为正时,二次型为双曲型,相应的无约束优化问题呈现鞍点结构,这对理解博弈论中混合策略均衡和宏观经济动态系统的稳定性分析具有重要意义。