曲线论基本理.pptVIP

* * 邯讨占鹿仟卸崩碾洗尖前裙稀智婿房从铃浩滑亦剔空眯擒掉柔邯盟哮溅拎曲线论基本定理曲线论基本定理 §5　曲线论基本定理 晕聪与呐猿仰蔓叶氖驯渭躺涣鬼让响梗枉隆入磋秩伊梢窃栗购攒相赣陪握曲线论基本定理曲线论基本定理 一．一般结果 曲线论基本定理　给定区间 I ? (a, b) 上的连续可微函数`?(s) 0 和连续函数`?(s) ，则在 E3 中 ①　存在弧长 s 参数化曲线 C: r ? r(s) ，使其曲率函数 ?(s) ?`?(s) ，并且其挠率函数 ?(s) ?`?(s) ； ②　上述曲线 C 在合同意义下是唯一的． 曲线论基本定理的考虑对象实际上是无逗留点的正则曲线；其含义明显分为存在性和唯一性两个方面；其证明将分成若干步骤进行． 曲线论基本定理证明的过程中在本质上需要用到适当的微分方程组求解的存在唯一性结果． ——只要考虑到曲率、挠率和弧长微元与位置向量微分运算的关系，并注意到Frenet公式． 坤松跟涡肖场蓟曲啼恭阵汽传店熄蛊灼邦蚀价霄巢拂枷彻扬骡仍落极玄替曲线论基本定理曲线论基本定理 一．一般结果 因此，下面将不加证明地引用关于齐次线性常微分方程组的解的存在唯一性定理． 围绕着存在性，首先建立并考察联立的两个齐次线性常微分方程组 联立方程组中所包含的未知向量函数组 {r(s); e1(s), e2(s), e3(s)} 可以理解成由12个普通未知函数而构成． 联立方程组在给定的初值条件下有满足初始条件的唯一解（且在整个区间上延拓有定义）． 相磅昏恍磊唬吓尾陷擞呵占刑菌映嘘防垦匀咐捉莉雷通窄急疾门武愁坷鹊曲线论基本定理曲线论基本定理 一．一般结果 引理1　给定单位正交右手标架 {r0; T0, N0, B0} ，在曲线论基本定理条件下任取一点 s0?I ，则联立方程组 (6.1)-(6.2) 的满足初始条件 {r(s0); e1(s0), e2(s0), e3(s0)} ? {r0; T0, N0, B0} 的唯一解恰好为一条弧长 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} ，在曲线论基本定理条件下任取一点 s0?I ，则联立方程组 (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, N0, B0} ，在曲线论基本定理条件下任取一点 s0?I ，则联立方程组 (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 在合同意义下是唯一的． 董伯粥住空驰粤沂瓤寐随奔包调韶熟噪叙江畦侥悲毛史判妙财郎宠谍纽眷曲线论基本定理曲线论基本定理 曲线论基本定理的证明 引理1说明存在性结论①成立．以下证明唯一性结论②. 设两条曲线 C: r ? r(s) 和 C*: r ? r*(s) 同时以 s 为弧长参数并具有相同的曲率函数 ?(s) ? ?*(s) 0 和相同的挠率函数 ?(s) ? ?*(s) ；要证这两条曲线合同． 任取定点 s0?I ，这两条曲线在此对应点的Frenet标架分别记为 {r(s0); T(s0), N(s0), B(s0)} 和 {r*(s0); T*(s0), N