1. 引言
测地线又称为短程线,在数学上可以理解为平面上的直线在曲面上的推广,用于描述曲面上两点之间的最短曲线,是微分几何中的重要概念。它不仅在数学内部有着十分重要的作用,在物理学、工程学和大地测量学等方面也有广泛的应用。通过曲面上测地线的形状和性质,可以分析曲面的结构和性质。比如,球面上的测地线必在球面的大圆上 [1],因为大圆在其上每一点处的切平面上的正投影曲线为直线,而小圆显然不是。为了更好地应用测地线,求出测地线的方程是一个有效途径。测地线方程可以由多种方法推导出来,参考文献 [2] 利用测地线的定义分析了曲线成为测地线的条件;参考文献 [3] 通过Liouville公式求出了旋转双曲面、正螺面和平面这些具有正交坐标网的曲面上的测地线族,再利用曲面之间的等距对应关系求出了螺旋面、悬链面和抛物柱面上的测地线族;参考文献 [4] 根据测地线的几何性质,应用微分方程及变分法从数学角度阐述了椭圆柱面上测地线的求解方法;参考文献 [5] 通过参数变换为双曲抛物面建立曲率线网参数表示,由此确定该曲面上所有平面曲线类型的测地线。其中参考文献 [5] 在求测地线的过程中借助数学软件Maple编程辅助计算,计算量很大,同时也不利于对曲面上测地线的直观想象。求测地线方程的方法很多,但寻找到一种求解过程简单、有助于人们直观理解的推导方法是不容易的。本文利用测地曲率的几何意义,做出抛物面上原点处以法线为轴的法截面束,以法截面和曲面的交线即法截线为研究对象,通过判断法截面与法截线上除原点外任意一点的切平面是否垂直来判断法截线向其上每点处切平面作正投影的曲线是否为直线,以此求出了椭圆抛物面、旋转抛物面和双曲抛物面上经过原点的平面曲线类型的测地线方程,并利用数学软件Mathematica画出了测地线的图像。
定义1 [6] 所有投射线相互平行的投影称为平行投影,投射线与投影面相互垂直的平行投影称为正投影。
下面我们给出测地曲率的几何意义。
命题1 [7] [8] 曲面S上的曲线(C),它在P点的测地曲率kg的绝对值等于(C)在P点的切平面Π上的正投影曲线(
)的曲率k。
直线的曲率为0 [7],那么根据测地曲率的几何意义,我们知道曲面S上曲线(C)在其上每一点处的切平面上的正投影曲线为直线时,曲线的测地曲率为0,是测地线。
引理1 [9] 如果两个平面
交于一条直线L,那么以直线L为轴的有轴平面束的方程是
其中
是不全为零的任意实数。
引理2当两平面垂直时,其中一个平面上的曲线在另一个平面上的正投影曲线为直线,否则为曲线。
证:当两平面垂直时(见图1),
上的任意点正投影到两平面的交线上,所以
上任意曲线在
上的正投影为直线。当两平面不垂直时(见图2),
上非直线的任意曲线在
上的正投影都不是直线。

Figure 1. The two planes are perpendicular
图1. 两平面垂直

Figure 2. The two planes are not perpendicular
图2. 两平面不垂直
2. 主要结果
曲面上如果存在直线,则此直线一定是测地线 [7],故下面只寻找曲面上非直线的测地线。
定理1椭圆抛物面
上经过原点的非直线的平面曲线类型的测地线有且仅有两条,分别为
和
。
证:椭圆抛物面
的一般方程为
。
令
,则
。
所以椭圆抛物面在点
处的切平面方程为
.
法线方程为
.
则法线的一般方程为
,
即
.
所以椭圆抛物面一点处的法截面束为
,
即
.
其中
是不全为零的任意实数。
因为
,
所以椭圆抛物面每点处的法截面与该点处的切平面垂直。
当
为原点
点时,法截面束与椭圆抛物面相交得到的法截线为
,
存在三种情况:
①
时法截面方程为
,法截线的参数方程为
. (1)
②
时法截面方程为
,法截线的参数方程为
. (2)
③
时法截面方程为
,法截线的参数方程为
. (3)
情况①中法截线(1)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(1)的法截面
与(1)上任意一点处的切平面都垂直。
从而由引理2知法截线(1)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
情况②中法截线(2)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(2)的法截面
与(2)上任意一点处的切平面都垂直。
从而由引理2知法截线(2)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
情况③中法截线(3)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(3)的法截面
与(3)上除原点外任意一点处的切平面都不垂直,由引理2知法截线(3)在其上任意点处的切平面上的正投影曲线都不是直线,则法截线(3)不是测地线。
从而椭圆抛物面
上经过原点的非直线的平面曲线类型的测地线方程有且仅有两条,分别为
和
。
下面给出椭圆抛物面上测地线向原点处切平面作正投影的图像(见图3),其中红色线曲线是测地线,绿色曲线是测地线在原点处切平面上的正投影曲线。
定理2旋转抛物面
上原点处的法截面束与旋转抛物面相交得到的法截线都是测地线。
(a)
(b)
Figure 3. Orthographic projection of the geodesic of the elliptic paraboloid at the origin (a) (b)
图3. 椭圆抛物面上测地线在原点处作正投影(a) (b)
证:旋转抛物面
的一般方程为
。
令
,则
。
所以旋转抛物面在点
处的切平面方程为
.
法线方程为
.
则法线的一般方程为
,
即
.
所以旋转抛物面一点处的法截面束为
,
即
.
其中
是不全为零的任意实数。
因为
,
所以旋转抛物面每点处的法截面与该点处的切平面垂直。
当
为原点
点时,法截面束与旋转抛物面相交得到的法截线为
,
存在三种情况:
①
时法截面方程为
,法截线的参数方程为
. (4)
②
时法截面方程为
,法截线的参数方程为
. (5)
③
时法截面方程为
,法截线的参数方程为
. (6)
情况①中法截线(4)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(4)的法截面
与(4)上任意一点处的切平面都垂直。
从而由引理2知法截线(4)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
情况②中法截线(5)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(5)的法截面
与(5)上任意一点处的切平面都垂直。
从而由引理2知法截线(5)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
情况③中法截线(6)上除原点外任意一点
处的切平面方程为
因为
,
所以通过(6)的法截面
与(6)上任意一点处的切平面都垂直。
从而由引理2知法截线(6)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
综上旋转抛物面
上原点处的法截面束与旋转抛物面相交得到的法截线都是测地线。
下面给出旋转抛物面上部分测地线向原点处切平面作正投影的图像(见图4),其中红色线曲线是测地线,绿色曲线是测地线在原点处切平面上的正投影曲线。

Figure 4. Orthographic projection of the geodesic of the rotating paraboloid at the origin
图4. 旋转抛物面上测地线在原点处作正投影
定理3双曲抛物面
上经过原点的非直线的平面曲线类型的测地线有且仅有两条,分别为
和
。
证:双曲抛物面
的一般方程为
。
令
,则
,
所以双曲抛物面在点
处的切平面方程为
.
法线方程为
.
法线的一般方程为
,
即
.
则双曲抛物面一点处的法截面束为
,
即
.
其中
是不全为零的任意实数。
因为
,
所以双曲抛物面每点处的法截面与该点处的切平面垂直。
当
为原点
点时,法截面束与双曲抛物面相交得到的法截线为
,
存在三种情况:
①
时法截面方程为
,法截线的参数方程为
. (7)
②
时法截面方程为
,法截线的参数方程为
. (8)
③
时法截面方程为
,法截线的参数方程为
. (9)
情况①中法截线(7)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(7)的法截面
与(7)上任意一点处的切平面都垂直。
从而由引理2知法截线(7)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
情况②中法截线(8)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(8)的法截面
与(8)上任意一点处的切平面都垂直。
从而由引理2知法截线(8)在其上任意点处的切平面上的正投影曲线为直线,是测地线。
情况③中法截线(9)上除原点外任意一点
处的切平面方程为
.
因为
,
所以通过(9)的法截面
与(9)上任意一点处的切平面都不垂直,由引理2知法截线(9)在其上任意点处的切平面上的正投影曲线都不是直线,则法截线(9)不是测地线。
从而双曲抛物面
上经过原点的非直线的平面曲线类型的测地线方程有且仅有两条,分别为
和
。
下面给出双曲抛物面上测地线向原点处切平面作正投影的图像(见图5),其中红色线曲线是测地线,绿色曲线是测地线在原点处切平面上的正投影曲线。
(a)
(b)
Figure 5. Orthographic projection of the geodesic of the hyperbolic paraboloid at the origin (a) (b)
图5. 双曲抛物面上测地线在原点处作正投影(a) (b)
3. 结论
本文利用测地曲率的几何意义求出了抛物面上经过原点的平面曲线类型的测地线,为测地线的求法提供了新思路。目前本文的工作仅针对于经过曲面原点的测地线,将本文的方法应用到求经过曲面任意一点的测地线的可行性也是值得研究的。
致 谢
作者非常感谢相关文献对本文的启发以及审稿专家提出的宝贵意见。
基金项目
国家自然科学基金(11661062);
内蒙古自然科学基金(2022MS01015);
内蒙古自治区高等学校青年科技英才支持计划(NJYT-19-A09)。
NOTES
*通讯作者。