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

1空间曲线的曲率、挠率和Frenet公式摘要：本文研究了刻画空间曲线在某点邻近的弯曲程度和离开平面程度的量—曲率和挠率以及空间曲线论的基本公式--Frenet公式,并且举例有关曲率、挠率的计算和证明.关键词：空间曲线；曲率；挠率；Frenet公式Spatialcurvature,torsionandFrenetformulasAbstract:Thispaperstudiesspacecurvesdepictapointnearthebendinthedegreeandextendoftheamountofleaveplane-thecurvatureandtorsionandthebasicformulaofspacecurves-Frenetformulas,andforexamplethecurvatureandtorsionofthecalculationandproof.KeyWords:spacecurves;curvature;torsion;Frenetformulas前言空间曲线的曲率、挠率和Frenet公式是空间曲线基本理论的一部分,它是以空间曲线的密切平面和基本三棱形的知识作为基础的.空间曲线的曲率、挠率和Frenet公式在空间曲线的基本理论中占有重要位置,是空间曲线的一些基本性质和基本公式.曲线的曲率和挠率完全决定了曲线的形状.当曲线的曲率和挠率之间满足多种不同的关系时,就会得到不同类型的曲线.例如:0k时为直线,0时为平面曲线.本文将从定义、公式推导和具体举例三方面逐步解析空间曲线的曲率、挠率和Frenet公式.本文第一部分讲述曲率和挠率的定义,第二部分讲述Frenet公式和曲率、挠率的一般参数表示的推导,第三部分具体举例有关曲率、挠率的计算和证明.1.空间曲线的曲率和挠率的定义1.1准备知识—空间曲线的伏雷内标架给出2c类空间曲线()c和()c上一点p.设曲线()c的自然参数表示是2(),rrs其中s是自然参数，得drdsrα是一单位向量.α称为曲线()c上p点的单位切向量.由于1α，则αα，即rr.在α上取单位向量αrβαr，(1)β称为曲线()c上p点的主法向量.再作单位向量γαβ，γ称为曲线()c上p点的副法向量.我们把两两正交的单位向量,,αβγ称为曲线上p点的伏雷内(Frenet)标架.1.2空间曲线的曲率我们首先研究空间曲线的曲率的概念.在不同的曲线或者同一条曲线的不同点处，曲线弯曲的程度可能不同.例如半径较大的圆弯曲程度较小，而半径较小的圆弯曲程度较大.为了准确的刻画曲线的弯曲程度，我们引进曲率的概念.要从直观的基础上引出曲率的确切定义，我们首先注意到，曲线弯曲的程度越大，则从点到点变动时，其切向量的方向改变的越快.所以作为曲线在已知一曲线段PQ的平均弯曲程度可取为曲线在P、Q间切向量关于弧长的平均旋转角.设空间中3c类曲线()c的方程为().rrs3曲线()c上一点p，其自然参数为s，另一邻近点1p，其自然参数为ss.在p、1p两点各作曲线()c的单位切向量()sα和()ssα.两个切向量的夹角是，也就是把点1p的切向量()ssα平移到点p后，两个向量()sα和()ssα的夹角为.我们把空间曲线在p处的切向量对弧长的旋转速度来定义曲线在点p的曲率.定义1空间曲线()c在p点的曲率为0()limskss，其中s为p点及其邻近点1p间的弧长，为曲线在点p和1p的切向量的夹角.再利用命题“一个单位变向量()tr（即()1tr）的微商的模,()rt的几何意义是()tr对于t的旋转速度”.把这个结果应用到曲线()c的切向量α上去，则有()ksα.由于rα，所以曲率也可表示为()ksr.由上述空间曲线的曲率的定义可以看出，它的几何意义是曲线的切向量对于弧长的旋转速度.当曲线在一点的弯曲程度越大，切向量对于弧长的旋转速度就越大，因此曲率刻画了曲线的弯曲程度.对于空间曲线，曲线不仅弯曲而且还要扭转（离开密切平面），所以研究空间曲线只有曲率的概念是不够的，还要有刻画曲线扭转的程度的量—挠率.1.3空间曲线的挠率当曲线扭转时，副法向量（或密切平面）位置随着改变（如图一），所以我们用副法向量（或密切平面）的转动速度来刻画曲线的扭转程度（在一点离开密切平面的程度）.现在设曲线()c上一点p的自然参数为s，另一邻近点1p的参数为ss，在p、1p两点各作曲线()c的副法向量()sγ和()ssγ.此两个副法向量的夹角4是(如图一).（图一）再利用命题“一个单位变向量()tr（即()1tr）的微商的模,()rt的几何意义是()tr对于t的旋转速度”.把这个结果应用到曲线()c的副法向量向量γ上去，得到0limssγ，此式的几何意义是它的数值为曲线的副法向量（或密切平面）对于弧长的旋转速度.当曲线在一点的扭曲程度越大（离开所讨论点的密切平面的程度越大），副法向量（或密切平面）对于弧长的旋转速度就越大.因此，我们可以用它来刻画曲线的扭转程度.根据（1）和曲率的定义，我们有()ksrααβrα，即()ksαβ.(2)对γαβ求微商，有()ss()ss()s5()()ksαβαβαβββαβαβγ，因而αγ.又因为γ是单位向量，所以γγ.由以上两个关系可以推出//γβ.(3)现在我们给出挠率的定义如下：定义1曲线()c在p点的挠率为：().sγγβγγβ，当和异向，，当和同向挠率的绝对值是曲线的副法向量（或密切平面）对于弧长的旋转速度.介绍了曲率、挠率的定义之后，为了更好的应用曲率和挠率,下面我们来看Frenet公式和曲率、挠率的一般参数表示式的推导过程.2.Frenet公式和曲率、挠率的一般参数表示式的推导2.1Frenet公式的推导根据（3）及挠率的定义有γβ（s)（4）另外，对βγα求微商，并利用（4）和（2），可以推导出()()()()skskssβγαγαγαβαγβαγ（5）公式（2），（5），（4）称为空间曲线的伏雷内（Frenet）公式，即6()()()()ksksssαββαγγβ，这组公式是空间曲线的基本公式.它的特点是基本向量α、β、γ关于弧长s的微商可以用α、β、γ的线性组合来表示.它的系数组成反称的方阵0()0()0()0()0ksksss2.2曲率的一般参数表示式的推导若给出3c类的空间曲线()c().rrs，则有,drdsdsrrdsdtdt，22,222,,222dsdsdrdsdsdsdsrrrrrrdtdtdsdtdtdtdt，所以232,,,2dsdsdsdsrrrrrrrdtdtdtdt，由上式得3,,,sindsrrrrdt.注意上式中,1,,dsrrrrdt，因而有3,,,,rrkr.7由此得到曲率的一般参数表示式,,,3,rrkr.2.3挠率的一般参数表示式的推导再由伏雷内公式的（4）式γβ（s)，两边点乘β得rβββ，因而26,2,,,1111111,,,,kkkkkkkkrrrγβγβαβαααααγγγγγγγγγγ再把,dsrrdt22,,2dsdsrrrdtdt323,,,233dsdsdsdsrdtdtdtdtγγγ代入,,,,,,rrr中得66,,,,,,,,,,,dsrrrrdtγγγγγγ，8所以得到,,,,,,2,,,rrrrr.这是一般参数表示的挠率计算公式.另外说一下密切圆，曲率中心，曲率半径的定义.空间曲线()c在一点的密切圆（曲率圆）是过曲线()c上一点()Ps的主法线的正侧取线段PC，使PC的长为1k，以C为圆心，以1k为半径在密切平面上确定一个圆，这个圆称为曲线()c在()Ps点的密切圆（曲率圆），曲率圆的中心称为曲率中心，曲率圆的半径称为曲率半径（如图二）.（图二）3.有关曲率、挠率的计算和证明例11求圆柱螺线cos,sin,aabr的曲率和挠率.解由圆柱螺线方程cos,sin,aabr，先计算,sin,cos,aabr,,,cos,sin,0aar,,,,sin,cos,0aar,PC1k9于是有,22.abr,,,2sincossin,cos,,cossin0aabababaaa123eeerr,,,224.abarr代入曲率和挠率的公式得,,,223322,22,aabakababrrr,,,,,,2222422,,,,,.,bababaabrrrrr由以上可以看出，圆柱螺线的曲率和挠率都是常数.例21证明曲率恒等于零的曲线是直线.证明已知0,kr因而,r0由此得到ra（常向量）.再积分即得,srab其中b也是常向量.这是一条直线的参数方程.例31证明挠率恒等于零的曲线是平面曲线.证明若0,则γ是固定向量，但是我们已知0,αγ因而有0,rγ积分后得arγ（常数），所以曲线在一个平面上，即曲线是平面曲线.以上即为有关曲率、挠率的计算和证明，充分说明了研究空间曲线的曲率、10挠率对空间曲线的研究有重要意义.结语:空间曲线的曲率、挠率和Frenet公式是空间曲线基本理论的重要部分.其中Frenet公式是微分几何空间曲线论的基本公式，是研究空间曲线论的基础，在经典微分几何中占有重要地位，可以由它导出曲线的诸多重要性质和定理.参考文献：[1]梅向明，黄敬之.微分几何（第四版）[M].北京：高等教育出版社，2008.