ARTICLE

线段

线段(Line Segment)是欧几里得几何中最基本的对象之一,指直线上两个端点之间的部分,包括这两个端点。与直线(两端无限延伸)和射线(一端固定、另一端无限延伸)不同,线段具有确定的长度,是度量距离和构建多边形的基本单元。在经济学中,线段的概念广泛应用于预算约束线、生产可能集边界、无差异曲线上的局部近似以及凸优化理论中的连接论证,是解析几何与微观经济分析

浏览 0 更新 2026-05-26

线段(Line Segment)是欧几里得几何中最基本的对象之一,指直线上两个端点之间的部分,包括这两个端点。与直线(两端无限延伸)和射线(一端固定、另一端无限延伸)不同,线段具有确定的长度,是度量距离和构建多边形的基本单元。在经济学中,线段的概念广泛应用于预算约束线、生产可能集边界、无差异曲线上的局部近似以及凸优化理论中的连接论证,是解析几何与微观经济分析之间的重要桥梁。

数学定义与表示

在欧氏空间中,给定两点 A A B B ,线段 AB AB 是所有满足如下形式的点 P P 的集合:

AB={PP=A+t(BA),  0t1}\overline{AB} = \left\{ P \mid P = A + t(B - A),\; 0 \le t \le 1 \right\}

其中参数 t t 控制从 A A t=0 t=0 )到 B B t=1 t=1 )的线性插值。这一参数化形式在计算机图形学(贝塞尔曲线的基础)、数值逼近和计量经济学中的分段线性回归中均有广泛应用。

长度是线段最基本的度量性质。在 n n 维欧氏空间中,线段 AB AB 的长度由欧几里得范数给出:

AB=i=1n(biai)2\| \overline{AB} \| = \sqrt{\sum_{i=1}^n (b_i - a_i)^2}

对于二维平面上的两点 A(x1,y1) A(x_1, y_1) B(x2,y2) B(x_2, y_2) ,长度公式简化为著名的距离公式 (x2x1)2+(y2y1)2 \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} 。线段的中点为 M=A+B2 M = \frac{A + B}{2} ,这一对称性质在数值积分的中点法则和金融中的平均成本计算中发挥基础作用。

几何性质

线段具有多条重要的几何性质。连通性与紧致性是拓扑学视角下的两条关键性质:线段是连通且紧致的点集,这一性质保证了定义在线段上的连续函数必然取到最大值和最小值,是极值定理(Extreme Value Theorem)在闭区间上的几何表述。垂足(Foot of Perpendicular)描述了点到线段的最短距离问题:过直线外一点向线段所在直线作垂线,若垂足落在线段内部,则该垂线段长度为点到线段的最短距离;否则最短距离为点到较近端点的距离。定比分点公式:若点 P P 在线段 AB AB 上将线段分成 λ:μ \lambda : \mu 的两段,则 P=μA+λBλ+μ P = \frac{\mu A + \lambda B}{\lambda + \mu} 。当 λ=μ \lambda = \mu 时即为中点。这些性质在计算几何中的碰撞检测、路径规划算法以及运筹学中的选址问题中均有直接应用。

经济学中的线段

线段在经济学中作为线性关系的几何表达,构成了各类分析框架的基础。

预算约束线

消费者理论中,预算约束线连接两种商品的截距点,表示消费者在给定收入 I I 和价格 p1,p2 p_1, p_2 下能够购买的全部商品组合:

p1x1+p2x2=Ip_1 x_1 + p_2 x_2 = I

(x1,x2) (x_1, x_2) 平面内,这是一条通过 (Ip1,0) (\frac{I}{p_1}, 0) (0,Ip2) (0, \frac{I}{p_2}) 的线段。当收入或价格发生变化时,该线段平行移动或绕截距旋转,构成比较静态分析的核心图形工具。预算线内部的任何一点都代表可行的消费组合,外部则不可行,由此引出对消费者最优选择的标准化求解。

生产可能性边界

在两产品生产模型中,生产可能性边界(PPF)通常表示为一条凸向原点的曲线,但其线性近似在局部使用割线段来分析两种产品之间的边际转换率。线性生产模型中的PPF本身就是一条线段,当资源约束为线性时,生产可能性集为凸多面体,其边界上的线段代表效率生产组合,在该线上多生产一个单位产品 X X 需放弃的 Y Y 数量恒定。这一思想在线性规划标准型中发展为可行域的边——求解最优解只需检查约束条件所围成的多面体的顶点和线段边界。

博弈论与凸分析

线段连接是凸集定义的基石:集合 S S 是凸的当且仅当其中任意两点的连线(线段)完全包含在 S S 中。在博弈论中,混合策略空间是一个凸集——两个纯策略之间的线段对应二者的凸组合,即随机化策略。分离超平面定理的核心在于严格区分一个凸集与一个外部点的问题,而该定理的证明常常借助最短距离线段的存在性和垂足性质。

图形学与数据处理

在计算机图形学和计量经济学中,线段是不可或缺的构成元素。线性插值指利用两个已知数据点 A(xa,ya) A(x_a, y_a) B(xb,yb) B(x_b, y_b) 之间的线段来估计中间值:

y(t)=ya+t(ybya),t[0,1]y(t) = y_a + t (y_b - y_a), \quad t \in [0,1]

这是分段线性插值(Piecewise Linear Interpolation)的基础。计量经济学中,分段线性回归模型将自变量空间分割为若干区间,在每一段上拟合一条直线段,两段之间的连接点称为节点(Knot)。这种模型既能捕捉非线性关系,又保持了线性回归的可解释性,广泛应用于宏观经济结构突变检测和环境库兹涅茨曲线的实证研究。折线(Polyline)是首尾相接的线段序列,在时间序列的折线图可视化、生产函数等产量线的绘制和向量图形渲染中是最核心的绘制原语。

扩展与推广

线段的概念可以推广到度量空间中的测地线段(Geodesic Segment):在黎曼流形上,两点之间长度最短的曲线称为测地线,连接两点的测地线段对应最短路径,这是最优化原理在几何中的直接体现。在经济学语境下,迪克西特—斯蒂格利茨(Dixit-Stiglitz)垄断竞争模型中,产品空间中的线段对应多样性偏好下消费者对不同品种组合的评价路径。概率论中,两点分布与均匀分布的连接对应混合分布的支撑集。在金融数学的布朗运动轨迹中,尽管真实路径处处不可微,但离散观测生成的点之间的线段——连接采样点的折线——是收益率序列可视化的基本方法。

参考文献

  1. Rudin, W. (1976). *Principles of Mathematical Analysis* (3rd ed.). McGraw-Hill.
  2. Mas-Colell, A., Whinston, M. D., \& Green, J. R. (1995). *Microeconomic Theory*. Oxford University Press.
  3. Rockafellar, R. T. (1970). *Convex Analysis*. Princeton University Press.
  4. Boyd, S., \& Vandenberghe, L. (2004). *Convex Optimization*. Cambridge University Press.
  5. de Berg, M., Cheong, O., van Kreveld, M., \& Overmars, M. (2008). *Computational Geometry: Algorithms and Applications* (3rd ed.). Springer.