Appearance
3.6.3 曲面
3.6.3.1 曲面的定义方式
1. 曲面的方程
曲面可以用不同方式来定义:
a) 隐形式
b) 显形式
c) 参数形式
d) 向量形式
如果参数
2. 曲面上的曲线坐标
如果曲面是由形式 (3.546) 或 (3.547) 给出的,而当固定另一个参数
如果曲面由形式 (3.545) 给出,则坐标线是曲面与平面


3.6.3.2 切平面和曲面法线
1. 定义
(1)切平面 关于切平面的精确的一般数学定义相当复杂, 因此这里限于研究当曲面是由两个参数定义的情形. 假设,对于点
(2) 曲面法线 过点

(3) 法向量 切平面是由两个向量,即
张成的. 切向量的向量积
称为法向量. 它的方向指向曲面的一侧或另一侧依赖于
2. 切平面和曲面法线的方程(表 3.29)
a) 切平面
b) 曲面法线
a) 切平面
b) 曲面法线
方程类型 | 切平面 | 曲面法线 |
(3.544) (3.545) | ||
(3.546) (3.547) |
注: 在此表中
- 关于三个向量的混合积, 参见第 249 页 3.5.1.6, 2.
3. 曲面的奇点
如果对于坐标为
同时满足,即任何一阶偏导数在点
其中二阶偏导数在点
3.6.3.3 曲面的线素
1. 弧微分
考虑由形式 (3.546) 或 (3.547) 给出的曲面. 设
其中三个系数
是在点
2. 曲面上的度量
(1) 弧长 曲面上曲线
(2) 两曲线之间的夹角 曲面
这里系数
如果 (3.557) 的分子等于 0,则两条曲线相互垂直. 坐标曲线
(3)曲面片的面积 曲面上由任意曲线所界的曲面片面积
计算:
其中
如果第一基本形式的系数

3. 通过弯曲进行曲面贴合
如果曲面通过弯曲变形, 而不是拉伸、压缩或撕裂, 则其度量保持不变. 换句话说, 第一二次基本形式在弯曲下是一个不变量. 具有相同第一二次基本形式的两个曲面可以相互贴合.
3.6.3.4 曲面的曲率
1. 曲面上曲线的曲率
如果引不同的曲线
(1)曲率半径 曲线
(2) 默尼耶 (Meusnier) 定理 对于曲面的任意平面截曲线
计算. 这里
(3) 欧拉公式 对于点
计算,其中

2. 主曲率半径
曲面的主曲率半径是具有极大值和极小值的半径. 它们可以用主法截线
计算,其中参数
其中
(3.562b)
如果曲面由向量形式 (3.547) 给出, 则取代 (3.561) 和 (3.562a) 相应的方程为
其中
这里向量
表达式
称为第二二次基本形式. 它包含曲面的曲率性质. 曲率线是曲面上的曲线, 它在每一点处具有主法截线的方向. 通过积分 (3.561) 或 (3.563a) 可以得到它们的方程.
3. 曲面上点的分类
(1) 椭圆点 如果在点

(2) 圆点或脐点 这是曲面上的点
因此对于法截线有
(3) 双曲点 在主曲率半径
(4) 抛物点 如果两个主曲率半径
- 椭球面上的所有点都是椭圆点, 单叶双曲面上的点是双曲点, 柱面上的点是抛物点.
4. 曲面的曲率
刻画曲面的曲率最常用的两个量如下.
(1)平均曲率 曲面在点
(2) 高斯曲率 曲面在点
(3)
如果曲面由形式
关于
(4)曲面按照其曲率所作的分类.
(a) 极小曲面 极小曲面是在每点处具有 0 平均曲率
(b) 常曲率曲面 常曲率曲面具有常高斯曲率

3.6.3.5 直纹面和可展曲面
1. 直纹面
如果曲面可以由空间中一条移动的直线生成, 则它称为直纹面.
2. 可展曲面
如果直纹面可以展开在平面上, 即铺开而不拉伸或压缩它的任何部分, 则该曲面称为可展曲面. 并不是任何直纹面都是可展的.
可展曲面具有下列属性:
a) 对于所有的点高斯曲率都等于 0 , 并且
b) 如果曲面由显形式
关于
3.6.3.6 曲面上的测地线
1. 测地线的概念
(也见第 213 页 3.4.1.1,3.) 过曲面上的每一点,沿微商
(1)测地线是曲面上两点之间最短的曲线.
(2) 如果曲面上一个质点被在同一曲面上的另一个质点拖曳移动, 并且没有其他的力作用于它, 则它将沿测地线移动.
(3) 如果将一根松紧带在给定的曲面上拉伸, 则它具有测地线的形状.
2. 定义
曲面上的测地线是这样一条曲线使得它在每点处的主法线具有与曲面法线相同的方向.
在圆柱面上测地线是圆柱螺旋线.
3. 测地线的方程
如果曲面由显形式
如果曲面由参数形式 (3.546) 给出, 则测地线的微分方程将会十分复杂. 关于