s5曲线论基本定理
§5 曲线论基本定理
一。一般结果曲线论基本定理给定区间/=（a,b)上的连续可微函数x(s)>0 和连续函数 (s)，则在 E3 中①存在弧长 s参数化曲线 C:r=r(s)，使其曲率函数 x(s)= x(s) ， 并且其挠率函数 (s) = (s) ;②上述曲线C在合同意义下是唯一的，曲线论基本定理的考虑对象实际上是无逗留点的正则曲线：其含义明显分为存在性和唯一性两个方面：其证明将分成若于步骤进行，曲线论基本定理证明的过程中在本质上需要用到适当的微分方程组求解的存在唯一性结果一只要考虑到曲率、挠率和弧长微元与位置向量微分运算的关系，并注意到Frenet公式
一．一般结果 曲线论基本定理 给定区间 I = (a, b) 上的连续可微函数 `(s) > 0 和连续函数`(s) ，则在 E3 中 ① 存在弧长 s 参数化曲线 C: r = r(s) ，使其曲率函 数 (s) =`(s) ，并且其挠率函数 (s) =`(s) ； ② 上述曲线 C 在合同意义下是唯一的． 曲线论基本定理的考虑对象实际上是无逗留点的正则曲 线；其含义明显分为存在性和唯一性两个方面；其证明 将分成若干步骤进行． 曲线论基本定理证明的过程中在本质上需要用到适当的 微分方程组求解的存在唯一性结果． ——只要考虑到曲率、挠率和弧长微元与位置向量微 分运算的关系，并注意到Frenet公式．
一。一般结果因此，下面将不加证明地引用关于齐次线性常微分方程-组的解的存在唯一性定理围绕着存在性，首先建立并考察联立的两个齐次线性常微分方程组dr(6.1)erds0K0eid0T(6.2)Ke2e2二ds0.0e3e3联立方程组中所包含的未知向量函数组(r(s); e(s),e2(s)e3(s)可以理解成由12个普通未知函数而构成联立方程组在给定的初值条件下有满足初始条件的唯解（且在整个区间上延拓有定义）
一．一般结果 因此，下面将不加证明地引用关于齐次线性常微分方程 组的解的存在唯一性定理． 围绕着存在性，首先建立并考察联立的两个齐次线性常 微分方程组 (6.1) dr ds = e1 ； (6.2) d ds e1 e2 e3 = 0 ` 0 −` 0 ` 0 −` 0 e1 e2 e3 ． 联立方程组中所包含的未知向量函数组 {r(s); e1 (s), e2 (s), e3 (s)} 可以理解成由12个普通未知函数而构成． 联立方程组在给定的初值条件下有满足初始条件的唯一 解（且在整个区间上延拓有定义）．
一。一般结果引理1给定单位正交右手标架(ro；To，No，B}，在曲线论基本定理条件下任取一点SoE/，则联立方程组(6.1)(6.2）的满足初始条件(r(So); e1(So), e2(so), e3(so)) = (ro; To, No, Bo)的唯一解恰好为一条弧长 s参数化曲线 C:r=r(s)的Frenet标架场首先证明所讨论的解函数组(r(s); ei(s),e2(s), e3(s)) 构成单位正交标架场再证明参数曲线C:r=r(s)为一条弧长s参数化曲线进一步证明解函数组(r(s); e;(s), e2(s), es(s) 是曲线 C的Frenet标架场
一．一般结果 引理1 给定单位正交右手标架 {r0 ; T0 , 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标架场． 首先证明所讨论的解函数组 {r(s); e1 (s), e2 (s), e3 (s)} 构成 单位正交标架场． 再证明参数曲线 C: r = r(s) 为一条弧长 s 参数化曲线． 进一步证明解函数组 {r(s); e1 (s), e2 (s), e3 (s)} 是曲线 C 的Frenet标架场．
一。一般结果引理1给定单位正交右手标架(ro；To，No，B}，在曲线论基本定理条件下任取一点SoE/，则联立方程组(6.1)-(6.2）的满足初始条件(r(So); e1(So), e2(So), e3(so)) = (ro; To, No, Bo)的唯一解恰好为一条弧长 s参数化曲线 C:r=r(s)的Frenet标架场从上述证明过程可以看到，确定曲线的过程可以表现为确定其附属的标架场的过程：从中可以体会标架空间在几何学中的合理运用
一．一般结果 ❖ 引理1 给定单位正交右手标架 {r0 ; T0 , 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标架场． ❖ 从上述证明过程可以看到，确定曲线的过程可以表现 为确定其附属的标架场的过程；从中可以体会标架空 间在几何学中的合理运用．