在一般曲面的情况下,沿曲面测量的两点之间的距离称为测地线。例如,球面上两点之间的最短距离是大球体的大圆弧。
在欧几里得平面 中,最小化两点之间距离的曲线显然是直线段。这可以使用变分法和所谓的欧拉-拉格朗日微分方程在数学上证明如下。线元素在
中由下式给出
|
(1)
|
因此,两点 和
之间的弧长为
|
(2)
|
其中 ,我们要最小化的量是
|
(3)
|
求导数得到
|
(4)
| |||
|
(5)
|
因此,欧拉-拉格朗日微分方程变为
|
(6)
|
积分并重新排列,
|
(7)
|
|
(8)
|
|
(9)
|
|
(10)
|
因此,解为
|
(11)
|
这是一条直线。现在验证弧长确实是点之间的直线距离。 和
由下式确定
|
(12)
| |||
|
(13)
|
求解 和
得到
|
(14)
| |||
|
(15)
|
因此,距离是
|
(16)
| |||
|
(17)
| |||
|
(18)
| |||
|
(19)
|
正如预期的那样。
对于具有精确三线坐标 和
的两点,它们之间的距离是
|
(20)
| |||
|
(21)
|
其中 是三角形的面积(Scott 1894;Carr 1970;Kimberling 1998,第 31 页)。
球面上两点之间的最短距离是所谓的大圆距离。