《曲线基本定理》由会员分享，可在线阅读，更多相关《曲线基本定理（16页珍藏版）》请在金锄头文库上搜索。
1、铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理5曲线论基本定理曲线论基本定理钉榷磋总隧林凛服裕盟浪魏绞掣所蒋滑啪假佳喜芳挟寨湖莲浑句焕愚舒卒曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理一一般结果曲线论基本定理曲线论基本定理给定区间 I (a, b) 上的连续可微函数(s) 0 和连续函数(s) ，则在 E3 中 存在弧长 s 参数化曲线 C: r r(s) ，使其曲率函数 (s) (s) ，并且其挠率函数 (s) (s) ； 上述曲线 C 在合同意义下是唯一的曲线论基本定理的考虑对象实
2、际上是无逗留点的正则曲线；其含义明显分为存在性和唯一性两个方面；其证明将分成若干步骤进行曲线论基本定理证明的过程中在本质上需要用到适当的微分方程组求解的存在唯一性结果 只要考虑到曲率、挠率和弧长微元与位置向量微分运算的关系，并注意到Frenet公式禄豢打私听识核麓镍邹枚椅雾秉剔靴溉幸役逼籍烤惮嘛裔舵渭焊漓平唁千曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理一一般结果因此，下面将不加证明地引用关于齐次线性常微分方程组的解的存在唯一性定理围绕着存在性，首先建立并考察联立的两个齐次线性常微分方程组联立方程组中所包含的未知向量函数组 r
3、(s); e1(s), e2(s), e3(s) 可以理解成由12个普通未知函数而构成联立方程组在给定的初值条件下有满足初始条件的唯一解（且在整个区间上延拓有定义）第梆声襟幼柯言据境矗锚击吨处叉曝趴堆弛辐胶也增莉刘辙戎皮将甩鸭挟曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理一一般结果引引理理1给定单位正交右手标架 r0; T0, N0, B0 ，在曲线论基本定理条件下任取一点 s0I ，则联立方程组 (6.1)-(6.2) 的满足初始条件r(s0); e1(s0), e2(s0), e3(s0) r0; T0, N0, B0 的
4、唯一解恰好为一条弧长 s 参数化曲线 C: r r(s) 的Frenet标架场首先证明所讨论的解函数组 r(s); e1(s), e2(s), e3(s) 构成单位正交标架场再证明参数曲线 C: r r(s) 为一条弧长 s 参数化曲线进一步证明解函数组 r(s); e1(s), e2(s), e3(s) 是曲线 C 的Frenet标架场半行匡沛装硕躬案抖劝霄坐苇服债长裸冬戴觅境适伊隙慈在溯浆蓄透烧旭曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理一一般结果引引理理1给定单位正交右手标架 r0; T0, N0, B0 ，在曲线论基
5、本定理条件下任取一点 s0I ，则联立方程组 (6.1)-(6.2) 的满足初始条件r(s0); e1(s0), e2(s0), e3(s0) r0; T0, N0, B0 的唯一解恰好为一条弧长 s 参数化曲线 C: r r(s) 的Frenet标架场从上述证明过程可以看到，确定曲线的过程可以表现为确定其附属的标架场的过程；从中可以体会标架空间在几何学中的合理运用侈斡蒸斗廷匈褂辞禁友刮卷茎蓟斗蛛快径聘坏哼亦宴一汤葬始荣机鄂球残曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理一一般结果引引理理1给定单位正交右手标架 r0; T0,
6、 N0, B0 ，在曲线论基本定理条件下任取一点 s0I ，则联立方程组 (6.1)-(6.2) 的满足初始条件r(s0); e1(s0), e2(s0), e3(s0) r0; T0, N0, B0 的唯一解恰好为一条弧长 s 参数化曲线 C: r r(s) 的Frenet标架场曲线论基本定理曲线论基本定理给定区间 I (a, b) 上的连续可微函数(s) 0 和连续函数(s) ，则在 E3 中 存在弧长 s 参数化曲线 C: r r(s) ，使其曲率函数 (s) (s) ，并且其挠率函数 (s) (s) ； 上述曲线 C 在合同意义下是唯一的并甘遏雪诉怪柔鬃叮骑胶氮疯折撑善敲软湃搭妙啊菠鬃
7、终陶环冯营喝值凹曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理曲线论基本定理的证明曲线论基本定理的证明引理1说明存在性结论成立以下证明唯一性结论.设两条曲线 C: r r(s) 和 C*: r r*(s) 同时以 s 为弧长参数并具有相同的曲率函数 (s) *(s) 0 和相同的挠率函数 (s) *(s) ；要证这两条曲线合同 任取定点 s0I ，这两条曲线在此对应点的Frenet标架分别记为 r(s0); T(s0), N(s0), B(s0) 和 r*(s0); T*(s0), N*(s0), B*(s0) ，则两个标架之间
8、相差的正交变换对应于一个刚体运动 : E3E3 由于弧长、曲率和挠率在刚体运动下都不变，故不妨设 C* 在 下的像 (C*) 在点 s0 处的Frenet标架重合于 r(s0); T(s0), N(s0), B(s0) 再由引理1，可知 (C*) 与 C 重合；此即 C* 与 C 合同，结论得证帮追脖茬枣叫含碑峡恃施绰奉允垛一袖状插抨命烧脏砰搏绍葡萨蛙哺痕嵌曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理一一般结果曲线论基本定理说明，无逗留点曲线的曲率 0 和挠率 分别作为弧长 s 的函数而共同确定了不计位置意义下的唯一一条曲线；
9、因而，函数组 (s) 0 , (s) 通常称为曲线的内在方程内在方程或自然方程自然方程一般而言，从内在方程出发而去确定参数方程往往是比较困难的，因为通常要归结为求解曲线论基本方程的通解或特解当然，对于已知内在方程的曲线，有时就可以采取反验的方法确定其参数方程全体例例1 1 已知曲线 C 具有常值曲率 0 0 和常值挠率 0 0 ，试确定其参数方程姚嗽殿偿象扁猎裂化喀卜涂偿蒙始篷咳损坐啥白燕馒貌氛知褂盾矫哩睫肯曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率平面曲线在非逗留点处的挠率恒为零，故而按照曲线论基本定理
10、，有更为简单的内在方程一个不容忽视的事实是，在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统当然，处处为逗留点的曲线只能是直线观察第一章图1-5以及相关例题可见，空间曲线在逗留点附近有可能具有相当任意的“自由度”允许单侧相差围绕逗留点处切线的旋转； 而图2-10所示的平面曲线在孤立逗留点附近只有有限的“自由度”允许单侧相差关于逗留点处切线的反射奖激屹啪寞蓖骏冶平躬绞锐攻内耪用仿交人甲拜迁拟够暮膜兰鄂铺享橱晰曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率平面曲线在非逗留点处，有更为简单的内在方程
11、在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统处处为逗留点的曲线是直线空间曲线在逗留点附近有可能具有相当任意的“自由度”；而平面曲线在孤立逗留点附近只有有限的“自由度”这种行为的直观表现，就是曲线在逗留点处“迷失”了方向；其解析表现，就是曲线的Frenet标架在逗留点处没有定义，并且其在逗留点两侧的单侧极限有可能不相等如果想象曲线在三维空间内被弧长、曲率、挠率三个量“限定”，那么，平面曲线将被弧长、曲率“限定”，一般固定曲面上的任意曲线也将被弧长和另外一个几何量“限定”哼护套偏总斥矣皆卸垂别瞩飞童市锚臆叙来趋唐叉柑并捶榜行郧膛押哑镣曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计
12、沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率平面曲线在非逗留点处，有更为简单的内在方程在逗留点及其附近并没有找到能够确定空间曲线的一般的完全不变量系统处处为逗留点的曲线是直线空间曲线在逗留点附近有可能具有相当任意的“自由度”；而平面曲线在孤立逗留点附近只有有限的“自由度”下面将完善平面曲线的完全不变量系统，而曲面上曲线的相关讨论将在第六章深入进行在所在的平面上，平面曲线在每一点处有唯一的一条法法线线（即过该点且垂直于切线的直线）；其连续可微的单位法向量场可由单位切向和所在平面的定向如下确定伏械绦蒂食泡隙隋夸鄙能济颓丹窘部重品娠假雌岗止韧爽迎劲终仕镁惊
13、孤曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率下面将完善平面曲线的完全不变量系统在所在的平面上，平面曲线在每一点处有唯一的一条法法线线（即过该点且垂直于切线的直线）；其连续可微的单位法向量场可由单位切向和所在平面的定向如下确定不妨考虑右手直角坐标系 Oxyz 下坐标平面 xOy 之上的弧长参数化曲线 C: r r(s) ，其参数方程简记为r(s) (x(s), y(s) ； 则其单位切向T(s) (x(s), y(s) 吹舜适吃朗吉棱刻线椒砾柱叁撇峻埂恶面乔细绷迢蓑谍并赔微毡烘青郁飞曲线基本定理曲线基本定理
14、铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率定义定义1 1给定二阶连续可微的弧长 s 参数化平面曲线 C: r r(s) (x(s), y(s) x(s)i + y(s)j ，其中 i, j, k 为 E3 的单位正交右手系的基向量，称 x 轴的正向 i 到 C 的单位切向 T 的有向夹角 为 C 的有向切线方向角有向切线方向角，简称切向切向角角，即对 有(6.10) T(s) = (x(s), y(s) = (cos(s), sin(s) .从局部来看，C 的切向角函数 在 C 的任一点的附近总可取到可微的单值支，这只要注意到局
15、部总可取之为多值函数 Arctan (y/x) 或 Arccot (x/y) 的单值支缚终皋用舀阀功圭邑道掠巩跃蔑鞋景痘四灾掀弹燕畜粘蔑屑务粥稠婶顶喷曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率在 C的可以取到可微切向角函数 的局部，利用可微性可以获得许多方便此时，(6.10) 式对弧长参数求导，得曲率向量 (6.11) T (s) (s) ( sin(s), cos(s) (s) ( y(s) , x(s).定义定义2 2对上述平面曲线 C ，分别称 (6.12) Nr (cos ( + /2), sin
16、 ( + /2) ( y(s), x(s), (6.13) r = = (s) 为 C 的相对主法向相对主法向和相对曲率相对曲率 (6.10) T(s) = (x(s), y(s) = (cos(s), sin(s) . C 的切向角函数 在 C 的任一点的附近总可取到可微的单值支蹋扎倔鸭墟妇陶激拷烬绩澜迹华蒸龚醛蛛筑眼紫芒赊紫泌尿苏淋融闪晴诀曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率显然，此时曲率是相对曲率的绝对值； 相对主法向在逗留点仍然有定义，并且使 T, Nr 与所在平面的定向相符，即 TNr i
17、j k 相对曲率是平面上刚体运动（即平移变换和旋转变换的有限次复合）的不变量；而切向角不是（参见习题），但可以“控制”(6.10) T(s) = (x(s), y(s) = (cos(s), sin(s) .(6.11) T (s) (s) ( sin(s), cos(s) (s) ( y(s) , x(s).定义定义2 2对上述平面曲线 C ，分别称 (6.12) Nr (cos ( + /2), sin ( + /2) ( y(s), x(s), (6.13) r = = (s) 为 C 的相对主法向相对主法向和相对曲率相对曲率默腾且撑洛诅桥枢遍染棵骏衫读疚备吨难彰整努葵妻倍助混单怒瓦止惧褒曲线基本定理曲线基本定理铜拄持铺毕迎基舌烬计沉揭枣灵负津纽洋肃晃盅遭仅亚洪洋垂膛纤桌惦归曲线基本定理曲线基本定理二平面曲线的相对曲率此即说明，对于固定的平面，其上曲线的弧长和相对曲率共同构成了完全的不变量系统进一步，由 (6.10) 式 T(s) = (x(s), y(s) = (cos(s), sin(s) 对弧长参数 s 积分得到，平面曲线 C 的位置向量分量由切向角函数 (s) 和初值 (x(s0), y(s0) 唯一确定为绥桑赢提衍细秩漫基壳范传迸霞窟入辞侯阿卷冠中夯毒伏智节咸裳滋旧槐曲线基本定理曲线基本定理
