3 椭球面的数学性质
椭球的几何元素
无论是参考椭球抑或是平均地球椭球,从几何上来说都是旋转椭球,亦即由长半轴为 、短半轴为 的椭圆绕其短轴而成的几何形体。
以椭球的中心 为原点,旋转轴为 轴,赤道面为 平面,构建空间直角坐标系,则旋转椭球面可以描述为
由椭球的长短半轴 即可确定椭球的形状和大小。通常仅采用一个长度元素 以确定椭球的大小,而用扁率 (有时也用 )或第一偏心率 来反映椭球的形状(扁平程度
定义扁率 与第一偏心率 :
二者的关系为:
通常采用数值接近于零的 或 取代 ,以便于作级数展开等运算。扁率 的倒数 常称作反扁率。
近似看作圆球面时,。
有时也使用第二偏心率 ,满足 。
椭球上的点和线
经线和纬线的曲线方程
我们在高等数学中学过,空间曲线通常使用两个面的交线表达。
以起始子午面为 坐标面建系,则起始子午线( 经线)是 面与椭球的交线。其方程为:
设 为该起始经线上一点,其三维坐标满足上式。
设 旋转一定角度后生成一个点 ,则称这个角度为 处的大地经度,通常用字母 表示。大地经度定义为所在子午面与起始子午面间二面角的平面角,规定向东( 轴的右手螺旋方向)为正、向西为负。
经线圈方程可以表达为所在子午面截椭圆:
点 在旋转过程中,产生了旋转椭球面上的一个纬圈(平行圈
纬线圈方程可以表达为所在平面截椭圆:
椭球面法线与大地纬度
过点 ,作平行圈的切线 ,作子午圈的切线 ,则 与 构成在 椭球面的切平面。过点 作切平面的垂线 ,称为 处的椭球面法线。
椭球面法线交旋转轴于 ,交赤道面于 。定义椭球面法线与赤道面的夹角为 点处的大地纬度,通常用 表示。规定北半球为正,南半球为负。
在微分几何的曲线理论中,利用曲线上任一点处的三个互相正交的单位向量来构成一个三维直角坐标系,称之为 Frenet 活动标架。在椭球面上,这里的 三个方向可以定义此处的 Frenet 标架。若将原点由 移至测站中心,即可构建站心地平坐标系。我们将在后续章节详细讨论。
归化纬度与地心纬度
值得一提的是,椭球面法线不是点与椭球中心的连线,只有南北两极的椭球面法线会过椭球中心。
在大地测量中除了用大地纬度 外,还采用归化纬度 和地心纬度 来表示椭圆上点的位置。
作中心与椭球中心 重合、半径等于椭球长半轴的球。过点 作赤道面的垂线,交该球于点 。连接 与椭球中心 。定义 与赤道面的夹角为 点的归化纬度,通常用字母 表示。
连接点 与椭球中心 。定义 与赤道面的夹角为 点的地心纬度,通常用字母 表示。
下面是一幅交互式示意图。 点可以拖动,也可以点击左下角播放暂停按钮控制自动移动。
不难证明,地心纬度 、归化纬度 和大地纬度 存在如下关系:
证明过程
为熟悉起见,取过点 的子午面重新建立平面直角坐标系 。设截出的椭圆方程为 ,截出的圆方程为 ,点 坐标为 。
最简单的是地心纬度:。
接下来考虑归化纬度。过点 垂直于赤道面的直线为 ,即 。代入圆方程求 :
由于 坐标符合椭圆方程,因此有
代入 表达式得到
故有
值得一提的是,这里 方向上的比例关系实际上对应了椭圆与圆在 方向 的缩放比例关系。我们后面还会碰到这个关系。
考虑大地纬度。设椭圆过点 的切线为 。要先求 的斜率 。
在初等数学中,我们可以用 表达出 的方程 ,与椭圆方程联立并代入消 后得到一个关于 的二次方程,令判别式 解方程得到 。不过我们现在已经是大学生了,不妨使用高等数学中介绍过的 隐函数求导 直接求解。
已知 的关系由 确定。由偏导数
则有
故
则有
总结一下,有:
因此有
证毕。
椭球的参数方程
正则曲面上的点有两个自由度,因此曲面上点位的坐标 可表示成两个参数的单值函数,即曲面的参数方程。而曲线上的点只有一个自由度,可表示为单参数的函数。
以归化纬度与大地经度为参数
我们前面提到了归化纬度 。为何要定义一个以长半轴为半径的球,导出这样一个量?我们知道,在平面上,圆与椭圆具有仿射变换关系。椭圆可以看作是圆在短轴上缩放 倍的结果。可以利用这一点书写参数方程。
取首子午面( 坐标面)研究。以 为半径的圆,以 为参数,参数方程可以写作:
在短轴( 轴)上缩放 倍,即把 坐标乘以 ,即可得到首子午圈的曲线参数方程:
首子午圈绕 轴旋转形成椭球面。取旋转角(也就是大地经度) 为第二个参数,即可写出参考椭球的参数方程:
三角函数将旋转语义表达得很直观。
参数方程里,固定大地经度 即可得到对应经圈(子午圈)关于 的参数方程;固定归化纬度 即可得到对应纬圈(平行圈)关于 的参数方程。
以大地纬度与大地经度为参数
我们前面已经提到大地纬度与归化纬度之间的转化关系:
因此,只需要按此式推出 与 正弦、余弦值的关系,代入即可得到以大地纬度与大地经度为参数的椭球面参数方程了。
推导过程
其中的分母:
带回 得
由几何关系可得, 与 必为同象限角,余弦值正负性相同。故舍去负根。
又有
其中的分子:
带回 得
由几何关系可得, 与 必为同象限角,正弦值正负性相同。故舍去负根。
综上,有
又已知参考椭球关于 的参数方程
代入即可得到关于 的参数方程。
原始方程:
采用辅助符号:
代入则有:
这个 是一个有意义的量。我们后续会提到它。
以球心纬度与大地经度为参数
推导过程类似大地纬度,从略。
椭球的几何性质
旋转椭球面具有下述性质:
- 对称性:椭球关于中心点对称、关于赤道面对称、关于任意子午面对称;
- 有界性:。也就是说,椭球面被限定在六个平面 所围成的长方体内;
- 正则性:椭球面是一个连续、封闭的正则曲面,每个曲面点上都有唯一确定的非零法向量;
- 不可展性:旋转椭球面不可展开为平面,若强行拉平则会出现重叠和裂口
柱面与锥面是可展曲面)。 (
椭球的切向量与法向量
子午圈切向量
我们可以把椭球上的点用位置矢量 表示:
其中 ,
这样, 与 就分别是椭球面上 处的经线和纬线方向的切向量,也就是子午圈与平行圈的切向量。
推导过程
考虑 :
其中:
带回 得到:
令 ,则有:
同理有:
下面考虑 :
综上,有
可以得到:
其中
这个 是一个有意义的量。我们后续会提到它。
所以有 处的子午圈单位切向量:
其模长为 。
平行圈切向量
推导过程
可以得到:
所以有 处的平行圈单位切向量:
其模长为 。
椭球面法向量
将子午圈与平行圈的单位切向量作叉积,即可得到单位法向量:
其模长为 。
忘记叉积怎么算了?高数笔记传送门
所以,法向量处处存在且不等于零。椭球面是正则的。
椭球面法向量的方向也就是铅垂线的方向。
椭球法截线的曲率及曲率半径
空间曲线的曲率及曲率半径
高数课程中介绍过曲率以及曲率半径。我们简单回顾一下。
曲线的曲率 用于反映曲线的弯曲程度。一段弧 的平均曲率定义为 点切向量与 点切向量的夹角,与这段弧长之比。 两点无限接近时,定义这段曲线的曲率为 处的曲率。定义曲率的倒数为曲率半径。曲率越大或曲率半径越小,则曲线的完全程度越高。
则曲线上一点 的曲率记为该点切向量的一阶导数向量的模,或为该点位置向量 二阶导数向量的模,即有
一种几何的理解方式
首先,若曲线以弧长 为参数,则 ,。
假设有一段弧 ,前后位置向量关于 的导数分别为 。 在几何上是切向量,与 组成三角形。由于 ,二者的夹角 。
所以 。
若曲线不以弧长 为参数,则由 再推及二阶导数式,即可得到在任意参数 下,曲率的计算公式为
一种物理的理解方式
我们知道曲率半径的引入让我们可以将更一般的曲线运动当作圆周运动处理。回忆一下高中物理中介绍的圆周运动向心加速度公式:
把半径 改成曲率半径 ,整理一下:
这里的 是向心加速度,也就是正交于速度 方向上的加速度,也就是有:
带回原式就有
取参数为时间 ,那么就有 ,,这就得到了:
法截线的定义
过椭球面上一点的椭球面法线所作的平面称为法截面,法截面同椭球的交线则称为法截线(也称法截弧
包含椭球面上一点的法线可以构成无数个法截面,相应的也有无数条法截线,它们都是平面曲线,而且曲率各不相同。
由于旋转曲面的特性,曲率的大小与经度无关。
子午圈曲率半径
子午线是特殊的法截线。
不失一般性,取 坐标面上的起始子午线,推求其上任一点 的子午线曲率半径。为简化计算,使用归化纬度 作为参数,则有 的位置向量
求一阶和二阶导数
于是得到
代入前面的曲率半径即可得到
利用我们前面提到过的 与 的关系,可以推出以大地纬度 表达的曲率半径 :
通常使用字母 代表子午线曲率半径:
这个 就是我们前面在 子午圈切向量 那里遇到的那个 。
卯酉圈曲率半径
卯酉圈在某处的曲率 满足:
其中 是平行圈在该处的曲率。此结论涉及微分几何中的麦尼厄定理,这里不证。
平行圈是圆。所以其曲率半径即为圆的半径 。我们已经有了大地纬度与大地经度表达的椭球参数方程:
定 ,则 为参数画出一个圆,半径为 。所以有
所以我们此前提到的 就是某点卯酉圈在该点的曲率半径。
任意方向法截线的曲率半径
根据微分几何中的欧拉公式,大地方位角 方向上法截线的曲率与子午、卯酉曲率半径的关系为:
因此,该方向上的曲率半径为
当 时,取得极值。
平均曲率半径
平均曲率定义为某点所有方向法截线曲率半径的平均值。
三角换元,设 ,则有
代入得到
公式汇总
一般方程:
- 椭球方程:
- 子午圈方程:与 联立
- 平行圈方程:与 联立
三个纬度关系:
参数方程:
切向量与法向量
- 子午圈单位切向量
- 平行圈单位切向量
- 单位法向量
曲率半径:
- 子午圈曲率半径:
- 卯酉圈曲率半径:
- 平均曲率半径:
其中