Skip to content

3.6.3 曲面 ​

3.6.3.1 曲面的定义方式 ​

1. 曲面的方程 ​

曲面可以用不同方式来定义:

a) 隐形式

(3.544)F(x,y,z)=0.

b) 显形式

(3.545)z=f(x,y).

c) 参数形式

(3.546)x=x(u,v),y=y(u,v),z=z(u,v).

d) 向量形式

(3.547)r→=r→(u,v),r→=x(u,v)i→+y(u,v)j→+z(u,v)k→.

如果参数 u 和 v 取遍所有的允许值,则通过 (3.546) 和 (3.547) 就得到曲面上所有点的坐标和向径. 从参数形式 (3.546) 消去 u 和 v (如果可能的话) 就得到隐形式 (3.544). 显形式 (3.545) 是参数形式当 u=x 和 v=y 时的特殊情形.

◼ 具有笛卡儿坐标、参数形式和向量形式的球面方程 (图 3.246):

(3.548a)x2+y2+z2−a2=0;(3.548b)x=acos⁡usin⁡v,y=asin⁡usin⁡v,z=acos⁡v;(3.548c)r→=a(cos⁡usin⁡vi→+sin⁡usin⁡vj→+cos⁡vk→).

2. 曲面上的曲线坐标 ​

如果曲面是由形式 (3.546) 或 (3.547) 给出的,而当固定另一个参数 v=v0 时参数值 u 可以变化,则点 r→(x,y,z) 在曲面上描绘出一条曲线 r→=r→(u,v0) . 用不同但是固定的值 v=v1,v=v2,⋯,v=vn 一个接一个地替换 v 则给出曲面上的曲线族. 当设 v= 常数沿一条曲线移动时只有 u 在变动,这条曲线称为 u 线 (图 3.245). 类似地,我们可以通过变动 v 并固定 u1,u2,⋯,un 使 u= 常数得到另一族曲线,即 v 线. 这样,就在曲面 (3.546) 上定义了一个坐标线网,其中两个固定的数 u=ui 和 v=vk 是曲面上点 P 的曲线坐标或高斯坐标.

如果曲面由形式 (3.545) 给出,则坐标线是曲面与平面 x= 常数和 y= 常数的交线. 利用隐形式的方程 F(u,v)=0 或这些坐标的参数方程 u=u(t) 和 v=v(t) , 可以定义曲面上的曲线.

◼ 在球面的参数方程(3.548b, c)中 u 指的是点 P 的地理经度, v 指的是它的极距. 这里 v 线是子午线 APB;u 线是平行圆 CPD (图 3.246).

01935d9a-00b5-7750-94cb-0c4c22581c4c_350_446_1456_306_168_0.jpg

01935d9a-00b5-7750-94cb-0c4c22581c4c_350_892_1280_332_338_0.jpg

3.6.3.2 切平面和曲面法线 ​

1. 定义 ​

(1)切平面 关于切平面的精确的一般数学定义相当复杂, 因此这里限于研究当曲面是由两个参数定义的情形. 假设,对于点 P(x,y,z) 的邻域,映射 (u,v)→r→(u , v) 是可逆的,偏导数 r→u=∂r→∂u 和 r→v=∂r→∂v 是连续的,并且不互相平行. 这时 P(x,y,z) 称为曲面的正则点. 如果 P 是正则的,则过 P 的所有曲线的切线在同一平面内,这一平面称为曲面在 P 点处的切平面. 如果这种情况发生,则偏导数 r→u 和 r→v 是平行的 (或 0) 仅对曲面的某些参数成立. 如果对于任何参数它们都是平行的, 则该点称为奇点(参见第 353 页 3.6.3.2, 3.).

(2) 曲面法线 过点 P 垂直于切平面的直线称为 P 点处的曲面法线(图 3.247).

01935d9a-00b5-7750-94cb-0c4c22581c4c_351_691_712_241_249_0.jpg

(3) 法向量 切平面是由两个向量,即 u 线和 v 线的切向量

(3.549a)r→u=∂r→∂u,r→v=∂r→∂v

张成的. 切向量的向量积 r→u×r→v 是曲面法线方向上的一个向量. 其单位向量

(3.549b)N→0=r→u×r→v|r→u×r→v|

称为法向量. 它的方向指向曲面的一侧或另一侧依赖于 u 和 v 中哪一个变量是第一个坐标, 哪一个是第二个坐标.

2. 切平面和曲面法线的方程(表 3.29) ​

◼A: 对于具有方程 (3.548a) 的球面有

a) 切平面

(3.550a)2x(X−x)+2y(Y−y)+2z(Z−z)=0 或 xX+yY+zZ−a2=0;

b) 曲面法线

(3.550b)X−x2x=Y−y2y=Z−z2z 或 Xx=Yy=Zz.

◼B: 对于具有方程 (3.548b) 的球面有

a) 切平面

(3.550c)Xcos⁡usin⁡v+Ysin⁡usin⁡v+Zcos⁡v=a;

b) 曲面法线

(3.550d)Xcos⁡usin⁡v=Ysin⁡usin⁡v=Zcos⁡v.

方程类型

切平面

曲面法线

(3.544) (3.545)

∂F∂x(X−x)+∂F∂y(Y−y)+∂F∂z(Z−z)=0 Z−z=p(X−x)+q(Y−y)

X−x∂F∂x=Y−y∂F∂y=Z−z∂F∂z X−xp=Y−yq=Z−z−1

(3.546) (3.547)

(R→−r→)r1→r2→=0∗ 或 (R→−r→)N→=0

R→=r→+λ(r1→×r2→) 或 R→=r→+λN→

注: 在此表中 x,y,z 和 r→ 是曲线上点 P 的坐标和向径; X,Y,Z 和 R→ 是点 P 处切平面和曲面法线上动点的坐标和向径; 此外 r→1=∂r→∂ur→2=∂r→∂v;p=∂z∂x,q=∂z∂y;N→ 是法向量.

  • 关于三个向量的混合积, 参见第 249 页 3.5.1.6, 2.

3. 曲面的奇点 ​

如果对于坐标为 x=x1,y=y1,z=z1 的曲面上的点和方程 (3.544),等式

(3.551)∂F∂x=0,∂F∂y=0,∂F∂z=0,F(x,y,z)=0

同时满足,即任何一阶偏导数在点 P(x1,y1,z1) 处都等于 0,则该点称为奇点. 通过此点的切线并不形成一个平面而是一个二阶锥面, 方程为

∂2F∂x2(X−x1)2+∂2F∂y2(Y−y1)2+∂2F∂z2(Z−z1)2+2∂2F∂x∂y(X−x1)(Y−y1)(3.552)+2∂2F∂y∂z(Y−y1)(Z−z1)+2∂2F∂z∂x(Z−z1)(X−x1)=0,

其中二阶偏导数在点 P(x1,y1,z1) 处取值. 如果在该点处的二阶偏导数也等于 0 , 则存在着一个更复杂类型的奇点. 那时切线形成的是一个三阶或甚至更高阶的锥面.

3.6.3.3 曲面的线素 ​

1. 弧微分 ​

考虑由形式 (3.546) 或 (3.547) 给出的曲面. 设 P(u,v) 是曲面上的任意点, N(u+du,v+dv) 是曲面上另一个接近于 P 的点. 则曲面上弧段 PN⏜ 的弧长可以通过弧微分或曲面的线素利用下面的公式近似计算:

(3.553a)ds2=Edu2+2Fdudv+Gdv2,

其中三个系数

E=r→u2=(∂x∂u)2+(∂y∂u)2+(∂z∂u)2,F=r→ur→v=∂x∂u∂x∂v+∂y∂u∂y∂v+∂z∂u∂z∂v,(3.553b)G=r→v2=(∂x∂v)2+(∂y∂v)2+(∂z∂v)2

是在点 P 处计算的. 等式 (3.553a) 的右侧称为曲面的第一二次基本形式.

◼A: 对于由形式 (3.548c) 给出的球面, 显然有

(3.554)E=a2sin2v,F=0,G=a2,ds2=a2(sin2vdu2+dv2).

◼B: 对于由形式 (3.545) 给出的曲面, 显然有

(3.555)E=1+p2,F=pq,G=1+q2, 其中 p=∂z∂x,q=∂z∂y.

2. 曲面上的度量 ​

(1) 弧长 曲面上曲线 u=u(t),v=v(t)(0≤t≤t1) 的弧长由下面的公式计算

(3.556)L=∫t0t1ds=∫t0t1E(dudt)2+2Fdudtdvdt+G(dvdt)2dt.

(2) 两曲线之间的夹角 曲面 r→=r→(u,v) 上两条曲线 r→1=r→(u1(t),v1(t)) 和 r→2=r→(u2(t),v2(t)) 之间的夹角是它们具有方向向量 r˙→1 和 r˙→2 的两条切线之间的夹角 (图 3.248). 它由下面的公式给出

cos⁡α=r˙→1r˙→2r˙→12r˙→22(3.557)=Eu˙1u˙2+F(u˙1v˙2+v˙1u˙2)+Gv˙1v˙2Eu˙12+2Fu˙1v˙1+Gv˙12Eu˙22+2Fu˙2v˙2+Gv˙22,

这里系数 E,F 和 G 是在点 P 计算的, u˙1,u˙2,v˙1 和 v˙2 表示 u1(t),u2(t),v1(t) 和 v2(t) 关于在点 P 对应的参数值 t 计算的一阶导数.

如果 (3.557) 的分子等于 0,则两条曲线相互垂直. 坐标曲线 v= 常数和 u= 常数正交的条件是 F=0 .

(3)曲面片的面积 曲面上由任意曲线所界的曲面片面积 S 可以用二重积分

计算:

(3.558a)S=∫(S)dS

其中

(3.558b)dS=EG−F2dudv,

dS 称为曲面的面积元素.

如果第一基本形式的系数 E,F 和 G 已知,则利用 (3.556)∼(3.558(a),(b)) 可以计算曲面上的长度、角和面积. 因此第一二次基本形式定义了曲面上的度量.

01935d9a-00b5-7750-94cb-0c4c22581c4c_354_669_727_292_258_0.jpg

3. 通过弯曲进行曲面贴合 ​

如果曲面通过弯曲变形, 而不是拉伸、压缩或撕裂, 则其度量保持不变. 换句话说, 第一二次基本形式在弯曲下是一个不变量. 具有相同第一二次基本形式的两个曲面可以相互贴合.

3.6.3.4 曲面的曲率 ​

1. 曲面上曲线的曲率 ​

如果引不同的曲线 Γ 通过曲面上的点 P (图 3.249),则它们在点 P 处的曲率半径 ρ 有如下关系:

(1)曲率半径 曲线 Γ 在点 P 处的曲率半径 ρ 等于曲线 C 的曲率半径,它是曲面与曲线 Γ 的密切平面的交线 (图 3.249(a)).

(2) 默尼耶 (Meusnier) 定理 对于曲面的任意平面截曲线 C (图 3.249),曲率半径可以用公式

(3.559)ρ=Rcos⁡(n→,N→)

计算. 这里 R 是法截线 Cnorm  的曲率半径,它和 C 一样过同一切线 NQ 并且也包含曲面法线的单位向量 N→;$(n,N) 是曲线 C 的主法截线的单位向量 n→ 与曲面法线的单位向量 N→ 之间的夹角. 如果 N→ 位于曲线 Cnorm  的凹侧,则 (3.559) 中 ρ 的符号为正, 否则为负.

(3) 欧拉公式 对于点 P 处的任何一条法截线 Cnorm  ,曲面的曲率可以用欧拉公式

(3.560)1R=cos2αR1+sin2αR2

计算,其中 R1 和 R2 是主曲率半径(见 (3.562a)), α 是法截线 Cnorm  和 C1 的平面之间的夹角 (图 3.249(c)).

01935d9a-00b5-7750-94cb-0c4c22581c4c_355_455_592_731_310_0.jpg

2. 主曲率半径 ​

曲面的主曲率半径是具有极大值和极小值的半径. 它们可以用主法截线 C1 和 C2 (图 3.249(c)) 计算. C1 和 C2 的平面相互垂直,它们的方向用值 dydx 确定,后者可以由二次方程

(3.561)[tpq−s(1+q2)](dydx)2+[t(1+p2)−r(1+q2)]dydx+[s(1+p2)−rpq]=0

计算,其中参数 p,q,r,s,t 由 (3.562b) 定义. 如果曲面由显形式 (3.545) 给出,则 R1 和 R2 是下面二次方程的根:

(3.562a)(rt−s2)R2+h[2pqs−(1+p2)t−(1+q2)r]R+h4=0,

其中

p=∂z∂x,q=∂z∂y,r=∂2z∂x2,s=∂2z∂x∂y,t=∂2z∂y2 和 h=1+p2+q2.

(3.562b)

R,R1 和 R2 的符号可以用和 (3.559) 中同样的规则确定.

如果曲面由向量形式 (3.547) 给出, 则取代 (3.561) 和 (3.562a) 相应的方程为

(3.563a)(GM−FN)(dvdu)2+(GL−EN)dvdu+(FL−EM)=0,(3.563b)(LN−M2)R2−(EN−2FM+GL)R+(EG−F2)=0,

其中 L,M,N 是第二二次基本形式的系数. 它们由以下等式给出:

L=r→uuR→=dEG−F2,M=r→uvR→=d′EG−F2,(3.563c)N=r→vvR→=d′′EG−F2,

这里向量 r→uu,r→uv 和 r→vv 是向径 r→ 关于参数 u 和 v 的二阶偏导数. 在分子中有行列式

d=|∂2x∂u2∂2y∂u2∂2z∂u2∂x∂u∂y∂u∂z∂u∂x∂v∂y∂v∂z∂v|,d′=|∂2x∂u∂v∂2y∂u∂v∂2z∂u∂v∂x∂u∂y∂u∂z∂u∂x∂v∂y∂v∂z∂v|,(3.563d)d′′=|∂2x∂v2∂2y∂v2∂2z∂v2∂x∂u∂y∂u∂z∂u∂x∂v∂y∂v∂z∂v|

表达式

(3.563e)Ldu2+2Mdudv+Ndv2

称为第二二次基本形式. 它包含曲面的曲率性质. 曲率线是曲面上的曲线, 它在每一点处具有主法截线的方向. 通过积分 (3.561) 或 (3.563a) 可以得到它们的方程.

3. 曲面上点的分类 ​

(1) 椭圆点 如果在点 P 主曲率半径 R1 和 R2 具有相同的符号,则在该点的邻近范围内曲面上的每一点都位于切平面的同侧,这时 P 称为椭圆点(图 3.250(a)). 它的分析特征是关系

(3.564a)LN−M2>0.

01935d9a-00b5-7750-94cb-0c4c22581c4c_356_385_1440_875_261_0.jpg

(2) 圆点或脐点 这是曲面上的点 P ,在此处主曲率半径相等:

(3.564b)R1=R2.

因此对于法截线有 R= 常数.

(3) 双曲点 在主曲率半径 R1 和 R2 具有不同符号的情形,主法截线的凹侧具有相反的方向. 切平面与曲面相交,因此曲面在点 P 的邻近具有马鞍形. P 称为双曲点(图 3.250(b)); 该点的分析特征是关系

(3.564c)LN−M2<0.

(4) 抛物点 如果两个主曲率半径 R1 和 R2 之一等于 ∞ ,则主法截线中任何一条在此具有拐点,或它是一条直线. 因此 P 是曲面的一个抛物点并有分析特征

(3.564d)LN−M2=0.
  • 椭球面上的所有点都是椭圆点, 单叶双曲面上的点是双曲点, 柱面上的点是抛物点.

4. 曲面的曲率 ​

刻画曲面的曲率最常用的两个量如下.

(1)平均曲率 曲面在点 P 处的平均曲率:

(3.565a)H=12(1R1+1R2).

(2) 高斯曲率 曲面在点 P 处的高斯曲率:

(3.565b)K=1R1R2.

◼A: 对于半径为 a 的圆柱面,这些是 H=12a 和 K=0 .

◼B: 对于椭圆点有 K>0 ,对于双曲点有 K<0 ,对于抛物点有 K=0 .

(3) H 和 K 的计算.

如果曲面由形式 z=f(x,y) 给出,则有

(3.566a)H=r(1+q2)−2pqs+t(1+p2)2(1+p2+q2)3/2,(3.566b)K=rt−s2(1+p2+q2)2.

关于 p,q,r,s,t 的含义,见 (3.562b).

(4)曲面按照其曲率所作的分类.

(a) 极小曲面 极小曲面是在每点处具有 0 平均曲率 H ,即 R1=−R2 的曲面.

(b) 常曲率曲面 常曲率曲面具有常高斯曲率 K= 常数.

◼A: K>0 ,例如球面.

◼B: K<0 ,例如伪球面 (图 3.251),即曳物线 (图 2.79) 围绕对称轴旋转所得到的曲面.

01935d9a-00b5-7750-94cb-0c4c22581c4c_358_654_491_332_220_0.jpg

3.6.3.5 直纹面和可展曲面 ​

1. 直纹面 ​

如果曲面可以由空间中一条移动的直线生成, 则它称为直纹面.

2. 可展曲面 ​

如果直纹面可以展开在平面上, 即铺开而不拉伸或压缩它的任何部分, 则该曲面称为可展曲面. 并不是任何直纹面都是可展的.

可展曲面具有下列属性:

a) 对于所有的点高斯曲率都等于 0 , 并且

b) 如果曲面由显形式 z=f(x,y) 给出则可展性的条件满足:

(3.567)a)K=0,b)rt−s2=0.

关于 r,t 和 s 的含义,见(3.562b).

◼A: 锥面 (图 3.192) 和柱面 (图 3.198) 是可展曲面.

◼B: 单叶双曲面 (图 3.196) 和双曲抛物面 (图 3.197) 是直纹面但它们不能展开在一个平面上.

3.6.3.6 曲面上的测地线 ​

1. 测地线的概念 ​

(也见第 213 页 3.4.1.1,3.) 过曲面上的每一点,沿微商 dvdu 所确定的任何方向可以有一条假想曲线通过, 它称为测地线. 它在曲面上与直线在平面上所起的作用相同, 并具有下列性质:

(1)测地线是曲面上两点之间最短的曲线.

(2) 如果曲面上一个质点被在同一曲面上的另一个质点拖曳移动, 并且没有其他的力作用于它, 则它将沿测地线移动.

(3) 如果将一根松紧带在给定的曲面上拉伸, 则它具有测地线的形状.

2. 定义 ​

曲面上的测地线是这样一条曲线使得它在每点处的主法线具有与曲面法线相同的方向.

在圆柱面上测地线是圆柱螺旋线.

3. 测地线的方程 ​

如果曲面由显形式 z=f(x,y) 给出,则测地线的微分方程是

(3.568)(1+p2+q2)d2ydx2=pt(dydx)3+(2ps−qt)(dydx)2+(pr−2qs)dydx−qr.

如果曲面由参数形式 (3.546) 给出, 则测地线的微分方程将会十分复杂. 关于 p,q,r,s 和 t 的含义,见(3.562b).

version 1.24.0