§3 曲面的第一基本形式

2024年1月16日发(作者：猎豹黑金刚论坛)

作者：王幼宁

第三章 曲面的第一基本形式

§3 曲面的第一基本形式

在指定的曲面上，测量曲线的长度并确定弧长元素、面积元素等等几何量，理所当然是曲面几何学基本的问题之一．第二章已经提到，勾股定理确定了三维 Euclid 空间的基本度量规则，确定了这个空间中的长度的概念以及关于距离的几何学．作为该空间的几何子体，曲线和曲面上的度量规则由空间的度量规则而“诱导”确定，这是一种直观的自然方式；子体和原有空间——三维 Euclid 空间的几何属性，将在这种方式之下自然地联系在一起，构成空间几何属性的整体．本节将讨论曲面在这种方式之下的基本结果；而关于其他方式之下的讨论，将在第六章中和第八章中逐步引出和深入进行．

本节总记正则曲面 S 的参数方程为 r ? r(u, v) , (u, v)?U?R2 ．

一．曲面上的弧长元素

首先考虑曲面 S 上的曲线段的长度和弧长元素．

设 C: r ? r(u(t), v(t)) , t?[a, b]

是 S 的正则曲线上的一个弧段．通常也用平面区域 U 上的u ? u(t)参数方程

{ , t?[a, b] 表示v ? v(t)曲线 C ；但要注意区分该表示式的双重含义：既表示平面区域 U

上的一条参数曲线 C?1 ，同时也时往往强调“在曲面 S 上”．对曲线 C 而言，有

du dv

dr ? ru du ? rv dv ? ru dt ? rv dt ，

dtdt dr

? du dv

? ru ? rv

??u?u(t),

，

v?v(t)dt?dtdt?ds2 ? dr?dr ? (ru?ru) du2 ? 2(ru?rv) dudv ? (rv?rv) dv2

v

R2

E3

U

r

v线

u?ru?v?rv

(u?, v?)

r(u, v)

C?1

u线

C

(u, v)

S

O

u

图3-13

表示在曲面 S 上的对应曲线 C ．为了区别不同的所在场合，当表示曲线 C

- 1 -

作者：王幼宁

?

dr dr

2 du

2 du dv dv

2? dt ? ?ru?2

??

? 2(ru?rv)

?

? ? ?rv?2

??

dt2 .

dtdt?dt??dtdt??dt?[]按照经常通用的记号，记曲面上的量

(3.1) E ? E(u, v) ? ru?ru ? ?ru?2 , F ? F(u, v) ? ru?rv , G ? G(u, v) ? rv?rv ?

?rv?2 ,

则进一步对曲线 C 有

ds2 ? dr?dr ? [E(u, v) du2 ? 2F(u, v) dudv ? G(u, v) dv2 ]?u?u(t), v?v(t)

? E

?此时取

[ du

?2? du

dv

? ? G

? dv

?2dt2 ， ? 2F

?dt?

?dtdt??dt?

]ds ?

?则有

dr

? dt ?

dtb ds

E

? du

?2? du

dv

? ? G

? dv

?2 ? 2F

?dt?

?dtdt??dt?

?

u?u(t), v?v(t) dt ，

s(b) ? s(a) ?

?a

?

?a

bb dr

dt ?

?a

?? dt

dtdtE

? du

?2? du

dv

? ? G

? dv

?2 ? 2F

?dt?

?dtdt??dt?

?

u?u(t), v?v(t) dt ．

由此可见，使用平面区域 U 上的参数方程以及曲面的相应量，就可以得到曲面上的曲线的弧长元素和弧段长度；至于曲面及其上的曲线的位置向量如何，在上述算式中并不直接影响结果．曲面上的量对其上曲线的影响程度，将在进行进一步抽象之后，得到更明确的了解．对此应注意体会．

二．第一基本形式

定义1 对正则曲面 S: r ? r(u, v) , (u, v)?U?R2 ，称二次微分式

(3.2)

Ⅰ ? ds2 ? E(u, v) du2 ? 2F(u, v) dudv ? G(u, v) dv2

为曲面 S 的第一基本形式，或称线素，其中系数由 (3.1) 式给出．

注记： 曲面的第一基本形式系数也称为其第一基本量． 用进一步的几何语言来说，第一基本形式是由 E3 的欧氏度量在曲面上所诱导出来的一种Riemann度量．

按照定义，曲面第一基本形式ds2 ? dr?dr 的几何意义可用逼近的观点解释为：切向微元 dr 是位置差向量 [r(u?du, v?dv) ? r(u, v)] 的线性主部，而弧长元素 ds ? ?dr ? 是相应两点之间的距离微元的主部（略去的是高阶无穷小）．

- 2 -

作者：王幼宁

可证（留作习题）第一基本形式在容许参数变换下不变，且在刚体运动下不变；因而确实是曲面的几何量．

从定义出发，第一基本形式的计算较为简单；但这是关于曲面的最基本和最重要的计算，一定要熟练掌握．下例展示了基本运算途径；同时，所得到的结论也是基本的．

例1 已知平面

?: r(u, v) ? r0 ? u a ? v b ，其中三个常向量 r0, a, b 满足规范条件 ?a? ? ?b? ? 1 , a?b ? 0 ．观察其第一基本形式的三种系数行为．

① 平面

? 的第一基本形式为

ds2 ? dr?dr ? (a du ? b dv)?(a du ? b dv) ? du2 ? dv2 ．

u ?

? cos?

② 若在平面

? 上采用极坐标系 (?,

?) ，即

{ ，则

v ?

? sin?

r? ? a cos? ? b sin? ，r? ? (? a

?sin? ? b

?cos? ) ；

E(?,

?) ? r??r? ? (a cos? ? b sin?)?(a cos? ? b sin?) ? 1 ，

F(?,

?) ? r??r? ? (a cos? ? b sin?)?(? a

?sin? ? b

?cos?) ? 0 ，

G(?,

?) ? r??r? ? (? a

?sin? ? b

?cos?)?(? a

?sin? ? b

?cos?) ?

?2 ；

此时，平面

? 的第一基本形式（在极点无意义）为

ds2 ? E(?,

?) d?2 ? 2F(?,

?) d?d? ? G(?,

?) d? 2 ? d?2 ?

?2 d? 2 ．

③ 在平面

? 上取任意一条无逗留点弧长 w 参数化曲线 C:

?(w) ，则其切线面r(w, t) ?

?(w) ? t T(w) 可表示一部分平面区域，其中 T 为 C 的单位切向．局部可得

rw ? T ? t

? N ，rt ? T ；

E(w, t) ? rw?rw ? (T ? t

? N)?(T ? t

? N) ? 1 ? t2? 2 ，

F(w, t) ? rw?rt ? (T ? t

? N)? T ? 1 ，

G(w, t) ? rt?rt ? T ? T ? 1 ；

此时，在平面

? 上相应区域内，第一基本形式为

ds2 ? E(w, t) dw2 ? 2F(w, t) dwdt ? G(w, t) dt2

? [1 ? t2? 2(w)]dw2 ? 2dwdt ? dt2 ． ?

基于第一基本形式的不变性，需要注意，第一基本形式系数在容许参数变换下必须满足一定的变换规律．为了简便，可将第一基本形式 (3.2) 改写为形式矩阵，表示为

E F??du?(3.3)

Ⅰ ? ds2 ? (du , dv)

??F G?

?dv? ；

- 3 -

作者：王幼宁

相关各量分别表示为

ru?(3.4) dr ? (du , dv)?? rv? ,

ru??ru?T?du?(3.5) dr?dr ? (du , dv)?? rv?

? rv?

?dv? ,

E F??ru??ru?T?ru?(3.6)

??F G? ?

? rv?

? rv?

?

? rv? ? (ru, rv) ，

其中各式之中的位置向量视为行向量，分块矩阵之间用“?”表示数量积．

定义2 对正则曲面 S: r ? r(u, v) ，称二次型 (3.2) 或 (3.3) 的系数矩阵，即 (3.6) 式左端，为曲面 S 的第一基本形式系数矩阵；其行列式

E F(3.7)

F G ? EG ? F2 ? ?ru?2?rv?2 ? (ru?rv)2 ? ?ru?rv?2 ? 0 ，

称为曲面 S 的第一基本形式系数行列式．

性质 ① 正则曲面 S 的第一基本形式 (3.2) 是正定的二次型，即：ds2

≥ 0 ，且等号当且仅当 du ? dv ? 0 时成立；

② 正则曲面 S 的第一基本形式系数矩阵是正定的．

这两条性质是等价的；它们的证明已经隐含在定义之中．下面具体考u ? u(u*, v*)虑它们在容许参数变换下的行为．在容许参数变换

{ 下，记v ? v(u*, v*)Jacobi矩阵和Jacobi行列式分别为

?u?v

?u* ?u*?(u, v)(3.8) J ? ， ? ?J ? ；

?u?v ?(u*, v*)

?v* ?v*??????记参数 (u*, v*) 下曲面 S 的第一基本形式为

ds2 ? E*(u*, v*) du*2 ? 2F*(u*, v*) du*dv* ? G*(u*, v*) dv*2 ．

则由 (1.6) 式和 (1.7) 式分别代入 (3.6) 式和 (3.7) 式可得

E* F*?? ru*

?? ru*

?T(3.9)

??F* G*? ?

?rv*?

?rv*?

ru

?? ru

?T T?E F? J T， ? J

? J ? J

? r?? r?

?F G?vv(3.10) E*G* ? F*2 ? ?J ?2(EG ? F2) ．

- 4 -

作者：王幼宁

这是两个具有理论意义的等式．第一个等式说明，第一基本形式系数矩阵服从所谓“张量”的变换规律，从而成为张量概念（将在后续几何或代数课程中出现）的直观背景之一．第二个等式将在下一段用来支持面积元素的概念，等价地写为

(3.11) E*G* ? F*2 ?

??J ?? EG ? F2 ．

例2 以平面弧长参数曲线为准线作柱面 S ，考察其第一基本形式；并证明其第一基本形式在某正则参数 (u, v) 下可以表示为 ds2 ? du2 ? dv2 ．

解：平面弧长参数曲线设为 C: a(s*) ，设 S: r(s*, v) ? a(s*) ? v l , l ?

const. , ?l ? ? 1 ．则其第一基本形式为

ds2 ? ?dr?2 ? ?a?(s*) ds* ? l dv?2 ? ds*2 ? 2[a?(s*)?l] ds*dv ? dv2 ．

当直纹与准线 C 所在平面垂直时，a?(s*)?l ? 0 ，则令 (u, v) ? (s*, v) ，便可满足要求．当直纹与准线 C 所在平面不垂直时，可选取新的平面弧长参数曲线使直纹与新准线所在平面垂直（想想理由并自行给出解析论证），故可转化为上一种情形． ?

三．交角与面积元素

作为应用，下面考虑如何利用曲面的第一基本形式，以确定交角和面积等几何量．对于不同的曲线或曲面，它们在公共点的交角总是指它们在该点处的切线或切平面之间的夹角，而有向交角通常是指它们在该点处的单位切向或有向切平面之间的有向夹角．在自然标架下，有关曲面以及其上曲线的交角问题和面积问题，都可以利用自然基向量的数量积或向量积进行计算，从而转化为如何用第一基本形式表述或求解的问题．一般化的算法，体现在下面的较为具体的抽象计算过程中；而计算结果的意义，需要特别注意体会．

1．曲面上的曲线的交角

假设曲面 S 的第一基本形式以 (3.2) 式确定；曲面 S 上的两条曲线 Ci:

? ui(ti){u 相交于点 P0: r(u0, v0) ，(u0, v0) ? (ui(ti0), vi(ti0)) ，i ? 1, 2 ． Ci 在点

v ? vi(ti)P0 处的自然切向为 ru(u0, v0) ui?(ti0) ? rv(u0, v0) vi?(ti0) ．简记

ai ? ui?(ti0) , bi ? vi?(ti0) ,

- 5 -

作者：王幼宁

E0 ? E(u0, v0) , F0 ? F(u0, v0) , G0 ? G(u0, v0) ．

则 Ci 在点 P0 处的交角

?0 的余弦确定为

ru(u0, v0) u1?(t10) ? rv(u0, v0) v1?(t10) ru(u0, v0) u2?(t20) ? rv(u0, v0) v2?(t20)

?

?ru(u0, v0) u1?(t10) ? rv(u0, v0) v1?(t10)? ?ru(u0, v0) u2?(t20) ? rv(u0, v0) v2?(t20)??

a1a2E0 ? (a1b2 ? b1a2)F0 ? b1b2G0

．

a12E0 ? 2a1b1F0 ? b12G0 a22E0 ? 2a2b2F0 ? b22G0利用微分形式的不变性，可知

(dui : dvi )

?u ? u(t) , v ? ? ui?(ti0) : vi?(ti0) ? ai : bi ，

v(t) ; t ? tiiiiiiii0从而 cos?0 确定为

Edu1du2 ? F(du1dv2 ? dv1du2) ? Gdv1dv2

? ．

2222u ? u(t) , v ? v(t) ; t ? t Edu1 ? 2Fdu1dv1 ? Gdv1 Edu2 ? 2Fdu2dv2 ? Gdv2iiiiiiii0此式自然推广到一般切方向之上；即，设点 (u, v) 处的两个切向微元在自然基 {ru, rv} 下分别为 du:dv 和 ?u:?v ，则其间夹角余弦确定为

Edu?u ? F(du?v ? dv?u) ? Gdv?v

(3.12) cos? ? ．

Edu2 ? 2Fdudv ? Gdv2 E?u2 ? 2F?u?v ? G?v2该式表明：曲面上的曲线的交角，由曲面的第一基本形式以及曲线在交点处的切方向完全确定；而曲线的切方向只由参数区域上的原像即可确定．此处要注意，参数区域上的曲线原像之间的交角取决于区域本身，而与曲面上的交角没有必然的联系．可参考图3-13观察这个事实．将 (3.12)

式用于坐标曲线族，将得到有价值的推论，列为如下定理．

定理1 对正则曲面而言，两族坐标曲线处处正交的充要条件为其第一基本形式系数矩阵处处是对角阵．

证明（从自然切向的数量积出发，直接易证；下述过程是为了帮助理解 (3.12) 式） 在本节通用记号下，两族坐标曲线的切线分别为 1:0 和

F0:1 ，代入 (3.12) 式即得坐标曲线夹角余弦cos? ? ；从而两族坐标曲 EG线处处正交的充要条件为 F ? 0 ，即得结论． ?

定义2 对正则曲面 S: r ? r(u, v) ，若两族坐标曲线处处正交，则称参数 (u, v) 为曲面 S 的一组正交参数，同时称这两族坐标曲线构成曲面 S 的一组正交参数网或正交网．

- 6 -

作者：王幼宁

定理1确定了曲面正交参数网的第一基本形式特征．在计算问题中，简短的第一基本形式显然会带来许多方便；因此，正交参数无疑是曲面上的一种较好的参数．关于曲面上较“好”参数（不一定正交）的讨论，将在 §5 以及第四章和第六章中多处出现．

例3 对正则曲面 S: r ? r(u, v) ，求两族坐标曲线的二等分角轨线 C 的微分方程．

解：对于两族坐标曲线的自然切向 ru 和 rv ，二等分角向量场为

rurvrurv ? ? ? ．

?ru? ?rv?

E G

故轨线 C 的切向微元 ru du ? rv dv 处处与该向量场平行，即沿 C 有

1?1du:dv ? : ，

E G

从而所求微分方程为

E du ? G dv ? 0 ． ?

例4 已知正则曲面 S: r ? r(u, v) 的第一基本形式确定为 (3.2) 式．设微分方程

?(u, v) du2 ? 2?(u, v) dudv ?

?(u, v) dv2 ? 0 在定义区域内过点 (u0, v0)

u ? ui(ti)有且仅有不相切的正则解曲线

?i: {，i ? 1, 2 ；两条曲面 S 上的曲线

v ? vi(ti)u ? ui(ti)Ci:

{ 相交于点 P0: r(u0, v0) ．试证：两条曲线 Ci 正交于点 P0 的充要v ? vi(ti)条件为

(E? ? 2F? ? G?)?(u, v) ?

(u, v) ? 0 ．

00证明：记

?0 ?

?(u0, v0) ,

?0 ?

?(u0, v0) ,

?0 ?

?(u0, v0) ．记两条曲线 Ci 在点 (u0, v0) 处的两个切向微元分别为 ai : bi ，则由正则性可知 ai2 ? bi2 ? 0 ；由微分方程可知

?0 ai2 ? 2?0 aibi ?

?0 bi2 ? 0 ．

而由 (3.12) 式， Ci 之间正交条件写为

a1a2E0 ? (a1b2 ? b1a2)F0 ? b1b2G0 ? 0 ．

以下分两种情形讨论．

情形①：?0 ?

?0 ? 0 ，则

?0 ? 0 ；否则过点 (u0, v0) 的正则曲线都是解曲线，而与已知矛盾．此时，由微分方程知 aibi ? 0 ，故只能有两组解

b1 ? 0 , a1 ? 0 ，1 ? 0, b1 ? 0 ，{

a 或

{

a2 ? 0 , b2 ? 0 ； b2 ? 0 , a2 ? 0 ；

- 7 -

作者：王幼宁

对应正交条件等价化为 F0 ? 0 ，即为所论条件．

情形②：?0 和

?0 不同时为 0 ，不妨设

?0 ? 0 ；则由微分方程可知，必有 bi ? 0 ；此时，不妨规范为 bi ? 1 ，则方程转化为

?0 ai2 ? 2?0 ai ?

?0 ? 0 ．

此时，由一元二次方程系数的性质，得知

?2?0?0a1 ? a2 ? ，a1a2 ? ，

?0

?0

从而

a1a2E0 ? (a1b2 ? b1a2)F0 ? b1b2G0 ? a1a2E0 ? (a1 ? a2)F0 ? G0

?0?2?01? E0 ? F0 ? G0 ? (?0E0 ?2?0F0 ?

?0G0) ．

?0

?0

?0

此式说明所论条件为充要条件．

以上情形是完全分类，故结论得证． ?

2．曲面的面积元素和区域面积

现考虑曲面 S 的面积在已知第一基本形式之时的求解问题．

在参数区域 U 内，任取矩形使其分别以点 (u, v), (u?du, v),

(u, v?dv), (u?du, v?dv) 为顶点，则在曲面 S 上对应形成以点 P1:

(u, v), P2: (u?du, v), P3: (u, v?dv),

P4: (u?du, v?dv) 为顶点的坐标曲线四边形．按照微积分理论，在略去更高阶无穷小量时，该曲边四边形的面积就等于直边三角形 P1P2P3 面积的二倍，从而就等于由向量

P1P2 和 P1P3 所张成的平行四边形的面积．而在略去更高阶无穷小量时，

P1P2?P1P3 ? [r(u?du, v) ? r(u, v)]?[r(u, v?dv) ? r(u, v)]

? [ru(u, v)du]?[rv(u, v)dv] ? EG ? F2 du dv n(u, v) ，

故曲面的面积元素可以表示为

(3.13) d? ? ?ru?rv? du dv ? EG ? F2 du dv ，

其中第二个等号是根据 (3.7) 式．进而，曲面上任一有界区域 r(U0) 的面积

A(U0) 可以表示为

(3.14) A(U0) ? ?? d? ? ?? ?ru?rv? du dv ? ??EG ? F2 du dv ．

U0

U0

U0

v

U

P3

P4

(u, v?dv)

(u?du, v?dv)

P1

P2

(u, v)

(u?du, v)

S

O

u

图3-14

- 8 -

作者：王幼宁

在参数变换下，根据 (3.8) 和 (3.10) 式以及二重积分的变量代换公式，易知面积元素对应相同，面积也对应相同；这与几何属性是相容的．以上结果的核心，列为如下定理．

定理2 正则曲面的面积元素和区域面积由第一基本形式可完全确定．

习 题

⒈ 证明正则曲面的第一基本形式在容许参数变换下不变．

⒉ 证明正则曲面的第一基本形式在 E3 的正交标架变换下不变．

⒊ 试求下列曲面的第一基本形式：

2u2vu2 ? v2 ? 1① 单位球面 r(u, v) ?

(22,

22,

22) ；

u ? v ? 1 u ? v ? 1 u ? v ? 1

② 悬链面 r(u, t) ? (t , cos u ch t , sin u ch t) ．

⒋ 在螺面 r ? (u cos v , u sin v , ln cos u ? v) 上，试证：每两条螺线（v线）在任一 u 曲线上截取等长的曲线段．

⒌ 球面上的斜驶线是指与经线交成定角的轨线，试在经纬参数化下确定其微分方程．

⒍ 已知正则曲面 S: r(u, v) 之上有两族正则曲线

?( u, v) ? a 和

?( u, v) ? b ，其中a 和b

与 (u, v) 无关．试证：它们互相正交的充要条件为

E?v?v ? F (?u?v ?

?v?u) ? G?u?u ? 0 ．

⒎ 已知曲面的第一基本形式为 ds2 ? du2 ? (u2 ? 4) dv2 ．试求：

① 其上两条曲线 C1: u ? v ? 0 与 C2: u ? v ? 0 的交角；

② 其上三条曲线 C1: u ? v2 , C2: u ? ? v2 与 C3: v ? 1 所围成的曲边三角形的边长和各个内角；

③ 其上三条曲线 C1: u ? v , C2: u ? ? v 与 C3: v ? 1 所围成的曲边三角形的面积．

- 9 -