空间曲线的曲率、挠率和Frenet公式

('空间曲线的曲率、挠率和Frenet公式前言空间曲线的曲率、挠率和Frenet公式是空间曲线基本理论的一部分,它是以空间曲线的密切平面和基本三棱形的知识作为基础的.空间曲线的曲率、挠率和Frenet公式在空间曲线的基本理论中占有重要位置,是空间曲线的一些基本性质和基本公式.曲线的曲率和挠率完全决定了曲线的形状.当曲线的曲率和挠率之间满足多种不同的关系时,就会得到不同类型的曲线.例如:时为直线,时为平面曲线.本文将从定义、公式推导和具体举例三方面逐步解析空间曲线的曲率、挠率和Frenet公式.本文第一部分讲述曲率和挠率的定义,第二部分讲述Frenet公式和曲率、挠率的一般参数表示的推导,第三部分具体举例有关曲率、挠率的计算和证明.1.空间曲线的曲率和挠率的定义1.1准备知识—空间曲线的伏雷内标架给出类空间曲线和上一点.设曲线的自然参数表示是其中是自然参数，得是一单位向量.称为曲线上点的单位切向量.由于，则，即.1在上取单位向量，(1)称为曲线上点的主法向量.再作单位向量，称为曲线上点的副法向量.我们把两两正交的单位向量称为曲线上点的伏雷内(Frenet)标架.1.2空间曲线的曲率我们首先研究空间曲线的曲率的概念.在不同的曲线或者同一条曲线的不同点处，曲线弯曲的程度可能不同.例如半径较大的圆弯曲程度较小，而半径较小的圆弯曲程度较大.为了准确的刻画曲线的弯曲程度，我们引进曲率的概念.要从直观的基础上引出曲率的确切定义，我们首先注意到，曲线弯曲的程度越大，则从点到点变动时，其切向量的方向改变的越快.所以作为曲线在已知一曲线段的平均弯曲程度可取为曲线在间切向量关于弧长的平均旋转角.设空间中类曲线的方程为曲线上一点，其自然参数为，另一邻近点，其自然参数为.在、两点各作曲线的单位切向量和.两个切向量的夹角是也就是把点的切向量平移到点后，两个向量和的夹角为.我们把空间曲线在处的切向量对弧长的旋转速度来定义曲线在点的曲率.定义空间曲线在点的曲率为，2其中为点及其邻近点间的弧长，为曲线在点和的切向量的夹角.再利用命题“一个单位变向量（即）的微商的模的几何意义是对于的旋转速度”.把这个结果应用到曲线的切向量上去，则有.由于，所以曲率也可表示为.由上述空间曲线的曲率的定义可以看出，它的几何意义是曲线的切向量对于弧长的旋转速度.当曲线在一点的弯曲程度越大，切向量对于弧长的旋转速度就越大，因此曲率刻画了曲线的弯曲程度.对于空间曲线，曲线不仅弯曲而且还要扭转（离开密切平面），所以研究空间曲线只有曲率的概念是不够的，还要有刻画曲线扭转的程度的量—挠率.1.3空间曲线的挠率当曲线扭转时，副法向量（或密切平面）位置随着改变（如图一），所以我们用副法向量（或密切平面）的转动速度来刻画曲线的扭转程度（在一点离开密切平面的程度）.现在设曲线上一点的自然参数为，另一邻近点的参数为，在、两点各作曲线的副法向量和.此两个副法向量的夹角是(如图一).3（图一）再利用命题“一个单位变向量（即）的微商的模的几何意义是对于的旋转速度”.把这个结果应用到曲线的副法向量向量上去，得到，此式的几何意义是它的数值为曲线的副法向量（或密切平面）对于弧长的旋转速度.当曲线在一点的扭曲程度越大（离开所讨论点的密切平面的程度越大），副法向量（或密切平面）对于弧长的旋转速度就越大.因此，我们可以用它来刻画曲线的扭转程度.根据（1）和曲率的定义，我们有，即.(2)对求微商，有，因而.又因为是单位向量，所以.由以上两个关系可以推出.(3)现在我们给出挠率的定义如下：4定义曲线在点的挠率为：挠率的绝对值是曲线的副法向量（或密切平面）对于弧长的旋转速度.介绍了曲率、挠率的定义之后，为了更好的应用曲率和挠率,下面我们来看Frenet公式和曲率、挠率的一般参数表示式的推导过程.2.Frenet公式和曲率、挠率的一般参数表示式的推导2.1Frenet公式的推导根据（3）及挠率的定义有（4）另外，对求微商，并利用（4）和（2），可以推导出（5）公式（2），（5），（4）称为空间曲线的伏雷内（Frenet）公式，即，这组公式是空间曲线的基本公式.它的特点是基本向量、、关于弧长的微商可以用、、的线性组合来表示.它的系数组成反称的方阵2.2曲率的一般参数表示式的推导若给出类的空间曲线，则有5，，所以，由上式得.注意上式中，因而有.由此得到曲率的一般参数表示式.2.3挠率的一般参数表示式的推导再由伏雷内公式的（4）式，两边点乘得，因而6再把代入中得，所以得到.这是一般参数表示的挠率计算公式.另外说一下密切圆，曲率中心，曲率半径的定义.空间曲线在一点的密切圆（曲率圆）是过曲线上一点的主法线的正侧取线段，使的长为，以为圆心，以为半径在密切平面上确定一个圆，这个圆称为曲线在点的密切圆（曲率圆），曲率圆的中心称为曲率中心，曲率圆的半径称为曲率半径（如图二）.7（图二）3.有关曲率、挠率的计算和证明例1求圆柱螺线的曲率和挠率.解由圆柱螺线方程，先计算于是有代入曲率和挠率的公式得8由以上可以看出，圆柱螺线的曲率和挠率都是常数.例2证明曲率恒等于零的曲线是直线.证明已知因而由此得到（常向量）.再积分即得其中也是常向量.这是一条直线的参数方程.例3证明挠率恒等于零的曲线是平面曲线.证明若则是固定向量，但是我们已知因而有积分后得（常数），所以曲线在一个平面上，即曲线是平面曲线.以上即为有关曲率、挠率的计算和证明，充分说明了研究空间曲线的曲率、挠率对空间曲线的研究有重要意义.结语:空间曲线的曲率、挠率和Frenet公式是空间曲线基本理论的重要部分.其中Frenet公式是微分几何空间曲线论的基本公式，是研究空间曲线论的基础，在经典微分几何中占有重要地位，可以由它导出曲线的诸多重要性质和定理.参考文献：[1]梅向明，黄敬之.微分几何（第四版）[M].北京：高等教育出版社，2008.9',)