.一般曲面

§ 12

一、曲面的方程与曲线的坐标

一般曲面

曲面方程的形式有

隐 式 F(x,y,z)=0 显 式 z=f(x,y) 参数式

矢量式 r=r(u,) 或 r=x(u,)i+y(u,)j+z(u,)k

对于参数式或矢量式表示的曲面，如果取为一系列数值1,2,，而让u连续变动，则r(u,i)(i=1,2,)表示一族曲线，称为u线（图7.23）；同样，如果取u为一系列数值u1,u2,，而让连续变动，则r(ui,)(i=1,2,)表示另一族连续曲线，称为线.u线与线在曲面上构成曲线网，称为坐标线或坐标网.于是u=ui, =j这个数对就可以确定曲面上一点M，这数对(ui,j)称为点M的曲线坐标（或高斯坐标）.

xx(u,)yy(u,) zz(u,) 图 7.23

二、 切面、法线与曲面的方向

[法线单位矢量] 通过曲面上一的M所有曲面曲线（即该曲面上的曲线），在点M的切线落在同一平面上（奇点除外），称这平面为曲面在点M的切面通过点M与切面垂直的直线称为曲面在点M的法线.

切面通过的矢量

r和rr u称为坐标矢量，它们分别是u线和线在点M的切矢量（图7.24）

曲面上点的法线单位矢量为

ru=

Nrur

rur这里为了区别曲线的法线单位矢量和曲面的法线单位矢量，前者以n表示，后者以N表示.

[曲面的方向] 曲面的方向规定如下：朝N的正向那一面是曲面的正面（图7.24中看到的一面）；另一面为反面.

[曲面的切线方程与法线方程] 曲面方程 F(x,y,z)0Fz0(zz0)0 zz0zx0(xx0)zy0(yy0) z=f(x,y) 切面方程 Fx0(xx0)Fy0(yy0)法线方程 xx0yy0zz0Fx0Fy0Fz0图 7.24

xx0yy0zz0xx(u,)xu0yu0zu00  yy(u,)x0y0z0zz(u,) ((rr0)ru0r0)0 r=r(u,) 或(r-r0)N0=0 xx0yy0zz0zx0zy01xx0yy0zz0yu0zu0zu0xu0xu0yu0y0z0z0x0x0y0 rr0(ru0r0) 或rr0N0 式中为参数 Fzx,,在点M(x0,y0,z0)的值，r0是点M的矢径，ru,r分别

00xxu表示r,r在点M的值，N0为点M的法线单位矢量.

u表中Fx0,zx0,xu0分别表示

[曲面的奇点] 若曲面F(x,y,z)=0上一点M(x0,y0,z0)的三个偏导数同时等于零，即

Fx0Fy0Fz00

则称点M为该曲面的奇点.

三、 第一基本二次型与曲面的度量

[第一基本二次型与第一基本量] 曲面方程 z=f(x,y) xx(u,) yy(u,)zz(u,)或 r=r(u,) 第一基本二次型与第一基本量 ds2=Edx22fdxdy+Gdy2 式中 z E=1+ xzz F= xyz G=1+y ds为点M(x,y,z)处的弧的微分，ds2称为第一基本二次型，E,F,G称为第一基本量 22 ds2=dr=Edu2+2Fdud+Gd2 2式中 xyzE=ru2 uuuF=xxyyzzrr uuuu222xyzG=r2 第一基本量E,F,G都在点M处取值. 曲面上每点（奇点除外）的第一基本二次型是正定的，即 E>0,G>0,EG-F2>0 222

[曲面上的弧长、面积、夹角等计算公式] 各量与图形 曲面曲线的弧长L 计算公式 uu(t) (t) 曲面面积S （由曲线围成） 曲线夹角（两条曲线交于点M） 22FuG2dt Lt1dst1Eu00tt SdSEGF2dud SScos drr(dr)(r)22 式中 EduuF(dudu)GdEdu22FdudGd2Eu22FuG2E，F，G为曲面的第一基本量（在点M取值）。坐标线u=常数和v=常数的交角决定于

F cos

EG因此坐标线正交的充分必要条件是：F0 [曲面的变形] 保持曲面曲线长度不变的变换称为曲面的变形。具有相同的第一基本二次型的两个曲面S，S'称为贴合的或等距的。从S到S'和从S'到S的这种变换都称为等距变换。关于曲面的几何量经过等距变换不变者都称为等距不变量。 等距变换的一种具体表现是把一个曲面连续弯曲而保持曲面曲线的长度不变，使这个曲面最后与另一个曲面相贴合；因此，等距变换又称为变形。 从定义可以推出，两个曲面互为变形的充分必要条件是：经过适当地选择参数后，它们具有相同的第一基本二次型。

四、第二基本二次型曲面曲线的曲率

[第二基本二次型与第二基本量] 曲 面 方 程 zf(x,y) 第二基本二次型与第二基本量 2Ldx22MdxdyNdy2 式中 rstL,M,Nhhh2z2z2zr2,s,t2 xyxyzzp,q,h1p2q2xy 曲 面 方 程 第二基本二次型与第二基本量 xx(u,) yy(u,) zz(u,)或 rr(u,) 2称为第二基本二次型，L，M，N称为第二基本量 2Nd2rdNdrLdu22MdudNd2 xuuxuLruNyuuyuyzuuzuz ruururEGF2xMruNrururEGF2EGF2xyzxuyuzuxyz rrurNruN2EGFEGF2uEGF2xuyuzuxuyuzuxyz 式中偏导数x2x等在点M(x,y,z)取值，E，F，G为u第一基本量，N为曲面在点M的法线单位矢量。 2表示曲面上两个无限邻近点中，一点到另外一点的切面的距离的主要部分的两倍，它表明曲面与切面的离差的特征，也反映曲面在空间中的弯曲程度 [主法截线（主方向、主曲率半径与脐点）] 通过曲面上一点M的法线的平面与曲面的交线（C法）都称为点M的法截线。所以通过曲面上一点的法截线有无穷多条，给定点M的一个切线方向就有一条确定的法截线。在点M的法截线中曲率最大和最小的两条分别记为C1,C2，它们称为主法截线，C1,C2在点M所对应的切线方向称为主方向，这两个方向互相垂直。C1,C2的曲率半径（R1,R2）称为主曲率半径，它们等于下列方程的两个根： 对于曲面zf(x,y)，方程为

(rts2)R2h[2pqs(1p2)t(1q2)r]Rh40 式中p，q，r，s，t，h见上页表。 对于曲面xx(u,),yy(u,),zz(u,)，方程为

(LNM2)R2(EN2FMGL)R(EGF2)0

式中E，F，G为曲面的第一基本量，L，M，N为曲面的第二基本量。 主曲率半径相等的点称为曲面的脐点，在脐点上

LMN 

EFG图 7.25

[曲率线与罗德里克公式] 主方向

d是二次方程 dudd (GMFN)(GLEN)(FLEM)0 dudu的两个根。满足这个微分方程的曲面曲线称为曲率线。曲率线上每点的切线方向都是主方向，曲率线构成曲面上一个正交曲线网，曲率线还有如下的一个特征： 一条曲面曲线C是曲率线的充分必要条件是：沿C的曲面法线组成一个可展曲面，即当C上的点M变动时，曲面在M点的法线有包络线C1。 这个特征也可表示为

drdN0(为参数） 这个公式称为罗得里克公式。

2五、 曲面曲线的曲率半径

[法截线的曲率半径与欧拉公式] 设

R法Edu22FudGd2 Ldu22MdudNd2右边为正时，表示法截线的法线单位矢量n与曲面的法线单位矢量N一致，则法截线的曲率半径为R法；右边为负时，表示n与N相反，则法截线的曲率半径为R法。 若通过法截线C法的截平面与通过主法截线C1的截平面之间的夹角为，则

1cos2sin2 R法R1R21式中R1,R2为主曲率半径，称为法曲率，这个等式称

R法为欧拉公式。

[任意平截线的曲率半径] 用通过点M的任意平面截曲面得截线C（图7.26），它在点M的切线为PQ，曲线C的法线单位矢量为n，通过直线PQ和曲面的法线单位矢量N作意平面法，截曲面得法截线C法。若矢量N与n夹角为，而C法的曲率半径为R法，则截线C的曲率半径为

图 7.26

RCR法cos （1）

[曲面上任意曲线的曲率半径与梅尼埃定理]

设曲面上任意曲线B上一点M的密切面与曲面交线为C，则曲面B的曲率半径等于截线C的曲率半径RC，于是从式（1）得到梅尼埃定理：曲面上任意曲线B的曲率半径等于在曲面法线上所截取的对应法截线的曲率半径在曲线B的主法线上的正射影。

六、 第三基本二次型与曲面的曲率

[第三基本二次型与第三基本量]

3dN2E0du22F0dudG0d2

称为第三基本二次型，式中N为曲面的法线单位矢量，

22NNNN E,G0,F0 0uu

称为第三基本量。 [曲面的平均曲率与总曲率（或高斯曲率）] 曲面方程 曲率定义 公式 1EN2FMGL 主曲率的平H 均数称为曲率，2EGF2 rr(u,) 2记作H， 2E0G0F0LNMK111EGF2EGF2 H2R1R2 1(1q2)y2pas(1p2)t 主曲率的乘H2223(1pq)2 积称为总曲率 zf(x,y) rts2（或高斯曲率），K记作K， (1p2q2)21式中p，q，r，s，t见前表 K R1R2 注：1、R1,R2，H和K都是曲面上点的函数，与所取的曲线坐标u，无关。 2、K0的点称为椭圆点，这种点邻近的曲面在该点切面的同侧；K0的点称为双曲点，这种点邻近的曲面象马鞍形；K0的点称为抛物点，这种点邻近的曲面象半马鞍形。 3、三个基本二次型1,2,3有如下的线性关系： K12H230 或

E0KE2HL F0KF2HM

G0KGHN

七、 渐近曲线、共轭曲线与极小曲面

1等于零的方向d称为渐近方向。假定一R法du条曲面曲线C上所有点的切线方向都是渐近方向，则称C为曲面的一条渐近曲线。d是渐

[渐近曲线] 在曲面上一点M(u,)的法曲率

du近方向的条件是第二基本二次型等于零： Ldu22MdudNd20 或

rdx22sdxdytdy20

这就是渐近曲线的微分方程。这种曲线有一个简单的几何特征： 渐近曲线的密切面与曲面一致。 由此可见，渐近曲线在其上一点与曲面构成二阶接触。 此外还有爱涅勃定理： 渐近曲线的挠率K，K为曲面的总曲率（K0时，无渐近曲线）。 [共轭曲线] 在曲面上一点M(u,)的两个方向d与满足

dudd LM0 Nduuduu则称它们互为共轭方向。

u

渐近方向是自己共轭的。

曲面上一条曲线C的切面族的特征线的方向为C的切线的共轭方向。 满足上面的微分方程的两族曲线构成的网称为共轭网。

[极小曲面] 平均曲率H(u,)0的曲面称为极小曲面，它也可定义为张在已知边界上面

积最小的曲面。一个曲面为极小曲面的充分必要条件是：渐近曲线构成正交网。 注意：坐标线（u=常数和=常数）是共轭的充分必要条件是：M0；坐标线是曲率线的充分必要条件是：FM0；坐标线是渐近曲线的充分必要条件是：LN0。

八、 曲面的基本公式与基本方程

[高斯公式与外因格尔登公式] 设曲面的参数方程为rr(u,)，在曲面上每点M取三个不共面的矢量ru,r,N，由这三个矢量组成的三面形称为曲面的活动标架或伴随三面形；要注意，在这里ru和r不互相垂直，

但它们都在切面上而垂直于法线单位矢量N. 图 7.27 可以把ru,r,N关于u，的偏导数表示为下列形式的线性组合：

12ruu11ru11rLN r1r2rMN （1）

u12u12r1r2rNN22u22MFLGLFMENrruEGF2uEGF2 （2） NFMGMFNENrr2u2EGFEGF式中E，F，G和L，M，N分别为曲面的第一和第二基本量；六个系数ijk称为第一基本二次型的第二类克里斯托弗尔记号，它们的表达式是

GEu2FFuFE2EFuEEFEu1211,112(EGF2)2(EGF2) 1 GEFGuEGuFE212,1222(EGF)2(EGF2)2GFGGuFGEG2FFFGu1222,222(EGF2)2(EGF2)方程组（1）称为曲面的偏微分方程，又称为高斯公式；方程组（2）称为外因格尔登公式；（1），（2）合称为曲面的基本公式，这些公式的特点是，把矢量ru,r,N的导数用矢量ru,r,N本身的线性组合来表达，其系数仅与曲面的第一、第二基本量有关. [高斯方程与柯达奇方程] 方程组（1）的可积条件为

112121KF(12)u(11)121211222212221222 （3） KE(11)(12)u111211222211(12)1121112112KG(22)u(12)221222111222(12)KF(2)(2)12121222u12122211和

LM1212LM()N12121111 u （4） MN1212L22M(2212)N12u

方程组（2）的可积条件是（4）.方程组（4）成为柯达奇方程. 从（3）可以得到下列定理：

1、高斯定理 曲面的总曲率K可以用第一基本量和它们的一阶，二阶偏导数来表示；因而总曲率是曲面的一个等距不变量. 2、在等距对应下，曲面的对应点必有相同的总曲率. 这个重要结果表明，总曲率不同的两个曲面具有很大的差别性，即使允许曲面经过任意的弯曲，也不能使这两个曲面互相贴合. 总曲率K以E，F，G的表达式称为高斯方程，与柯达奇方程合并起来称为曲面的基本方程. [波恩涅定理] 给定任意两个二次型

1Edu22FdudGd22Ldu22MdudNd2

其中1是正定的，假定1和2的系数满足高斯方程和柯达奇方程，则除了空间位置的差别外，唯一地存在一个曲面，以1和2分别作为它的第一和第二基本二次型.

九、 曲面曲线的测地曲率、测地线与测地坐标

[测地曲率与贝尔特拉米公式] 设M为曲面S上一点，C为S上通过点M的一条曲线，为S在M的切面，

C为C在上的正射影，则C在M的曲率称为C在M的

1测地曲率，记作.

R测

设曲面S的参数方程为rr(u,)，曲面曲线C的方程为uu(t),(t)，则C的测地曲率

图 7.28

__

1EGF2uABu) （1） (u3R测(Eu22FuG2)212112式中 A1121222 uu2222221222 B11uu如果曲线C以弧长s为参数，则

1EGF2(uuABu) （2）

R测1211式中 A11u212u222

22222B11u212u22

公式（1）和（2）称为测地曲率的贝尔特拉米公式.

测地曲率是等距不变量. [测地线] 如果一条曲面曲线C上每点的测地曲率都等于零，则称C为曲面上的一条测地线. 测地线的微分方程是

uABu0 u也可写为

d2u dsds1du112ds2212122212dud1d220 dsdsdsdud2d220dsdsds22d22du112ds或

2d12d12d2 d1(2)(2)221222111211dudududu2 对于曲面zf(x,y)上的测地线的微分方程为

2dydydy22dy (1pq)2ptqr (2psqt)(pr2qs)dxdxdxdx式中p，q，r，s，t 见前表. 测地线具有性质： 1、测地线在每点M的曲率小于与它在M相切的任何曲线在M的曲率.

2、如果把曲面曲线C的可展曲面变成平面时，那末只有测地线所对应的曲线是直线. 3、一条曲面曲线C是测地线的充分必要条件是：在C上每点的主法线与该点的曲面法线重合，即C的密切面包含曲面法线.

4、如果两个曲面沿一共同曲线C相切，假设C是其中一个曲面的测地线，则C也是另一个曲面的测地线.

5、通过曲面上每点沿每一方向有一条且有一条测地线.

6、在充分小的邻域里，测地线是短程线，即连接曲面上两个邻近点的一切曲面曲线中，测地线的长度最短. [测地坐标] 若取坐标线u=常数为测地线=常数的正交轨线，则称(u,)为测地坐标，这族正交轨线称为测地平行线，这时

ds2du2G(u,)d2

2232 以测地坐标表示的总曲率为

12GGu22GGuu K 22u4GG若测地线=常数交于一点O，表示测地线和测地线v0的交角，则称(u,)为测地极坐标，这时的测地平行线称为测地圆，其半径等于u. [高涅-波恩涅公式] 设G为曲面S上一个单连通区域，G的边界C是一条逐段光滑并无自交点的闭曲线，其运行的方向是使G总是在它的左侧.

1 设表示曲线C上任一点的测地曲率，dS为曲面面积元素，1,2,,n分别为C的

R测角点A1,A2,,An的内角（图7.29），则在G上的二重积分

KdSi(n2)Gi1n1ds RG测这称为高斯-波恩涅公式.特别

1、如果C是一条正则曲线（即无角点），这时n0，则

1ds KdS2R测GG2、如果C是由n条测地线C1,C2,,Cn组成的测地多角1形，这时（因=0）

R测

图 7.29

i1ni(n2)KdS

G 当n3时，C为三条测地线组成的测地三角形，这时 12KdS

G因次，K0的曲面上的测地三角形三内角之和大于；K0的曲面上测地三角形三内角之和小于；K0的曲面上测地三角形三内角之和等于.