浙江大学学报(理学版), 2022, 49(6): 651-656 doi: 10.3785/j.issn.1008-9497.2022.06.001

数学与计算机科学

一般旋转曲面方程研究

丁尚文,,

合肥工业大学 宣城校区基础部,安徽 宣城 242000

Study on the equation of general rotating surface

DING Shangwen,,

收稿日期: 2022-03-01  

基金资助: 安徽省2020年省级教学质量与教学改革工程项目.  2020jyxm1486

Received: 2022-03-01  

作者简介 About authors

丁尚文(1981—),ORCID:https://orcid.org/0000-0001-5956-3324,男,博士,讲师,主要从事大学数学课程与教学研究,E-mail:dshou1@126.com. , E-mail:dshou1@126.com

摘要

旋转曲面方程是高等数学中向量代数与空间解析几何教学的重点内容之一。现有的高等数学教材较多涉及与坐标轴共面的曲线绕坐标轴旋转所成的曲面方程求解问题。以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导了空间曲线绕定直线旋转所成的一般旋转曲面方程。提出的一般旋转曲面方程求解方法是对旋转曲面方程教学内容的有益补充,具有一定的参考价值。

关键词: 旋转曲面 ; 转轴公式 ; 方向角 ; 方向余弦

Abstract

The equation of rotating surface is one of the key contents in the teaching of vector algebra and spatial analytic geometry in higher mathematics. The existing higher mathematics textbooks mostly concern the solution methods of the surface equation formed by the rotation of the coplanar curve on the coordinate plane around the coordinate axis. Based on the equation of the such rotating surfaces, this paper deduces the equation of the general rotating surface formed by rotating a space curve around a fixed space line by using the formula of direction angle and rotation axis. It determines the rotation axis by looking for attitude and its relative position between the two coordinate systems. The method for solving the general equation of rotating surface proposed in this paper not only is a useful supplement to the current teaching content, but also provides a practical reference for constructing the surface rotation.

Keywords: rotating surface ; shaft formula ; direction angle ; directional cosin

PDF (1506KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

丁尚文. 一般旋转曲面方程研究. 浙江大学学报(理学版)[J], 2022, 49(6): 651-656 doi:10.3785/j.issn.1008-9497.2022.06.001

DING Shangwen. Study on the equation of general rotating surface. Journal of Zhejiang University(Science Edition)[J], 2022, 49(6): 651-656 doi:10.3785/j.issn.1008-9497.2022.06.001

0 引 言

旋转曲面方程及其性质是高等数学教学的重要内容。高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程1,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程1-2。2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题。对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程。文献[4]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理5,得到旋转曲面方程。本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程。

高等数学教材关于旋转曲面的定义及方程的叙述:

定义11-2 平面上曲线C绕该平面上一条定直线L旋转一周所成的曲面称为旋转曲面。

结论11-2 若旋转曲面Σ是由yoz坐标面上的曲线C:f(y,z)=0z轴旋转一周所成(如图1所示),则该旋转曲面Σ的方程为f(±x2+y2,z)=0

图1

图1   平面曲线Cz轴旋转

Fig.1   Plane curve C revolves around z axis


1 主要结果及其推导

称空间曲线绕定直线旋转一周所成的曲面为旋转曲面,拓展了旋转曲面的概念。首先讨论空间曲线与定直线共面条件下,空间曲线绕定直线旋转一周所成的旋转曲面方程的求解问题(简称问题1),然后讨论更具一般性的旋转曲面方程求解问题(分别简称问题2和问题3)。

引理16 设坐标系o-xyzo-x'y'z'为具有相同坐标原点的2组直角坐标系(符合右手坐标系规则),又ox'轴、oy'轴和oz'轴在坐标系o-xyz下的方向角分别为α1β1γ1α2β2γ2α3β3γ3,设空间一点p在坐标系o-xyzo-x'y'z'下的坐标分别为(x,y,z)(x',y',z'),则2组坐标之间的关系为

x=x'cosα1+y'cosα2+z'cosα3y=x'cosβ1+y'cosβ2+z'cosβ3x=x'cosγ1+y'cosγ2+z'cosγ3
x'=xcosα1+ycosβ1+zcosγ1,y'=xcosα2+ycosβ2+zcosγ2,z'=xcosα3+ycosβ3+zcosγ3,

式(1)和式(2)为坐标变换,简称转轴公式。

问题1 已知空间曲线Γ由平面π:Ax+By+Cz+D=0和空间曲面Σ0:f(x,y,z)=0相交而成,空间直线L的方程为x-X0m=y-Y0n=z-Z0p,且L在平面π上。设旋转曲面Σ由曲线Γ绕定直线L旋转一周而成,求旋转曲面Σ的方程。

在直线L上任取一点作为新坐标系的坐标原点o',且设点o'在坐标系o-xyz下的坐标为(x0,y0,z0)。在平面π上过点o'作垂直于L的垂线,并将该垂线选为y'轴。x'轴、y'轴与z'轴符合右手坐标系规则,坐标系位置如图2所示。为方便叙述,将文中新坐标系简记为o'-x'y'z',原坐标系记为o-xyz。分别在x'轴、y'轴和z'轴正方向各取一点p1p2p3,且有o'p1x'轴,o'p2y'轴,o'p3z'轴,其中,表示平行或共线。分别对向量o'p1o'p2o'p3单位化,得到单位向量:

(o'p1)0={cosα1,cosβ1,cosγ1}
(o'p2)0={cosα2,cosβ2,cosγ2}
(o'p3)0={cosα3,cosβ3,cosγ3}

图2

图2   空间曲线Γz'轴旋转

Fig.2   Space curve Γ revolves around z' axis


由方向角和方向余弦的定义,知α1β1γ1α2β2γ2α3β3γ3分别为x'轴、y'轴、z'轴在坐标系o-xyz下的方向角。由引理1可得对应的转轴公式为

x=x(x',y',z')=x'cosα1+y'cosα2+z'cosα3+x0y=y(x',y',z')=x'cosβ1+y'cosβ2+z'cosβ3+y0z=z(x',y',z')=x'cosγ1+y'cosγ2+z'cosγ3+z0
x'=x'(x,y,z)=(x-x0)cosα1+    (y-y0)cosβ1+(z-z0)cosγ1y'=y'(x,y,z)=(x-x0)cosα2+    (y-y0)cosβ2+(z-z0)cosγ2z'=z'(x,y,z)=(x-x0)cosα3+    (y-y0)cosβ3+(z-z0)cosγ3

式(3)分别代入平面方程π:Ax+By+Cz+D=0和空间曲面方程Σ0:f(x,y,z)=0,联立两方程并消去x',可得空间曲线Γ在坐标系y'o'z'下的曲线方程,简记为g(y',z')=0。旋转曲面Σ可由曲线Γ绕与z'轴重合的直线L旋转一周而成。由结论1,可知该旋转曲面方程为

g(x'2+y'2,z')=0

g(-x'2+y'2,z')=0

式(4)代入式(5)或式(6),则得旋转曲面Σ在坐标系o-xyz下的方程

g(x'2(x,y,z)+y'2(x,y,z),z'(x,y,z))=0g(-x'2(x,y,z)+y'2(x,y,z),z'(x,y,z))=0

问题2 已知旋转曲面Σ由空间曲线Γ:x=f(t)y=g(t)z=h(t)(atb)绕直线Lx-X0m=y-Y0n=z-Z0p旋转一周而成,求旋转曲面Σ的方程。

若空间曲线Γ与空间直线L共面,则可采用问题1方法求解旋转曲面Σ的方程。若空间曲线Γ与空间直线L不共面,则按照以下方法求解。

建立新坐标系o'-x'y'z':在空间直线L上任取一点作为新坐标系的原点o',设o'在坐标系o-xyz下的坐标为(x0,y0,z0)。选取直线Lz'轴,并将过坐标原点o'与该直线L垂直的直线选为y'轴,x'轴、y'轴与z'轴符合右手坐标系规则(图3)。在x'轴、y'轴和z'轴正方向各取一点p1p2p3,得到与坐标轴共线的3个向量o'p1o'p2o'p3。对向量o'p1o'p2o'p3单位化,得到

图3

图3   空间曲线Γz'轴旋转

Fig.3   Space curve Γ revolves around z' axis


(o'p1)0={cosα1,cosβ1,cosγ1}
(o'p2)0={cosα2,cosβ2,cosγ2}
(o'p3)0={cosα3,cosβ3,cosγ3}

由方向角和方向余弦的定义,知α1β1γ1α2β2γ2α3β3γ3分别为x'轴,y'轴,z'轴在o-xyz系下的方向角。由式(4),可得到空间曲线Γ在坐标系o'-x'y'z'下的参数方程

x'(t)=[f(t)-x0]cosα1+[g(t)-y0]×    cosβ1+[h(t)-z0]cosγ1y'(t)=[f(t)-x0]cosα2+[g(t)-y0]×    cosβ2+[h(t)-z0]cosγ2z'(t)=[f(t)-x0]cosα3+[g(t)-y0]×    cosβ3+[h(t)-z0]cosγ3
atb

空间直线L在坐标系o-xyz下的方程为x-X0m=y-Y0n=z-Z0p,由空间直线L在坐标系o'-x'y'z'下为z'轴的条件,可知直线L在坐标系o'-x'y'z'下的方程为x'0=y'0=z'1。在坐标系o'-x'y'z'下,假设p(x',y',z')为旋转曲面Σ上的任意一点,其可由空间曲线Γ上的点p0(x'(t0),y'(t0),z'(t0))绕直线L旋转得到。点p0的坐标(x'(t0),y'(t0),z'(t0))式(7)得到,即在坐标系o'-x'y'z'下旋转曲面Σ对应的参数方程为

x'=x'2(t0)+y'2(t0)cosθy'=x'2(t0)+y'2(t0)sinθz'=z'(t0)
at0b,0θ<2π,

对参数t0,θ消元,可得到一般旋转曲面方程H(x',y',z')=0。再由式(4),得到在坐标系o-xyz下旋转曲面Σ的方程

H(x'(x,y,z),y'(x,y,z),z'(x,y,z))=0

问题3 已知旋转曲面Σ由空间曲线Γ:F(x,y,z)=0G(x,y,z)=0绕空间直线Lx-X0m=y-Y0n=z-Z0p旋转一周而成,求此旋转曲面Σ的方程。

解 方法1 将空间曲线Γ一般方程F(x,y,z)=0G(x,y,z)=0转化为参数方程Γ:x=f(t)y=g(t)z=h(t)(atb),用与问题2相同的方法求解。如果转化较烦琐,可用方法2求解。

方法2 与问题2建坐标系方法类似,建立新坐标系o'-x'y'z'。设点p在坐标系o-xyzo'-x'y'z'下的坐标分别为(x,y,z)(x',y',z'),由式(3),得到空间曲线Γ在坐标系o'-x'y'z'下的一般方程

F(x(x',y',z'),y(x',y',z'),z(x',y',z'))=0G(x(x',y',z'),y(x',y',z'),z(x',y',z'))=0

由空间直线L在坐标系o'-x'y'z'下为z'轴的条件,可得空间直线L在坐标系o'-x'y'z'下的方程为x'0=y'0=z'1。在坐标系o'-x'y'z'下,假设p(x',y',z')为旋转曲面Σ上的任意一点,且可由空间曲线Γ上的点p0(x0',y0',z0')绕直线L旋转得到。在坐标系o'-x'y'z'下,旋转曲面Σ可由空间曲线Γz'轴旋转一周得到(图3)。因为点p(x',y',z')p0(x0',y0',z0')z'轴的距离相等,且已知点p0(x0',y0',z0')在空间曲线Γ上,即旋转曲面Σ上的动点p在坐标系o'-x'y'z'下满足

x'2+y'2=x0'2+y0'2,z'=z0',F(x(x0',y0',z0'),y(x0',y0',z0'),z(x0',y0',z0'))=0,G(x(x0',y0',z0'),y(x0',y0',z0'),z(x0',y0',z0'))=0

消去参数x0',y0',z0',得到关于变量x',y',z'的方程,将旋转曲面Σ在坐标系o'-x'y'z'下的方程记为H(x',y',z')=0。将式(4)代入方程H(x',y',z')=0,即得到在坐标系o-xyz下的旋转曲面方程

H(x'(x,y,z),y'(x,y,z),z'(x,y,z))=0

2 应用举例

例1 旋转曲面由已知空间曲线Γ:x-2y+2z+2=0z-2y+2=(y-2z-1)2绕空间直线L:x-02=y-1-1=z-0-2旋转一周生成,求此旋转曲面Σ的方程。

由题中条件,可知空间直线L和空间曲线Γ在平面π:x-2y+2z+2=0上。选取在空间直线L上的点p0(0,1,0)为新坐标系下的坐标原点o'z'轴与空间直线L重合,在平面π上过点p0(0,1,0)作垂直于直线L的垂线,并将该垂线取作y'轴;x'轴、y'轴与z'轴相互垂直,符合右手坐标系规则,见图4

图4

图4   空间曲线Γz'轴旋转

Fig.4   Space curve Γ revolves around z' axis


方便起见,将新坐标系简记为o'-x'y'z',原坐标系记为o-xyz。在x'轴、y'轴和z'轴正方向各取一点p1p2p3,且有o'p1x'轴、o'p2y'轴、o'p3z'轴。在原坐标系o-xyz下,点o'的坐标为(0,1,0),并将3个向量的坐标分别设为

o'p1={x1,y1-1,z1}
o'p2={x2,y2-1,z2}
o'p3={x3,y3-1,z3}

直线L上的方向向量s在坐标系o-xyz下的坐标可取值为s={2,-1,-2}

因为o'p3s,所以有{x3,y3-1,z3}=λ{2,-1,-2},其中λ为参数。令λ=1,则有x3=2y3=0z3=-2,即得到点p3(2,0,-2)和向量o'p3={2,-1,-2}

因为o'p2sp2π,所以有

x2-2y2+2z2+2=0,2x2-(y2-1)-2z2=0,

x2=-1,有2z2-2y2+1=0-2z2-y2-1=0,解得y2=0z2=-12,即得到点p2-1,0,-12和向量o'p2=-1,-1,-12

因为o'p1o'p2o'p1o'p3,所以有

-x1-(y1-1)-12z1=02x1-(y1-1)-2z1=0

z1=2,得到x1=1y1=-1,即得到点p1={1,-1,2}和向量o'p1={1,-2,2}

o'x'轴、o'y'轴、o'z'轴在坐标系o-xyz下的方向角分别为α1β1γ1α2β2γ2α3β3γ3,分别将向量o'p1={1,-2,2}o'p2=-1,-1,-12o'p3={2,-1,-2}单位化,即得到与x'轴、y'轴、z'轴同向的由方向余弦组成的单位向量:

{cosα1,cosβ1,cosγ1}=13,-23,23,
{cosα2,cosβ2,cosγ2}=-23,-23,-13,
{cosα3,cosβ3,cosγ3}=23,-13,-23

设点p在坐标系o-xyzo'-x'y'z'下的坐标分别为(x,y,z)(x',y',z'),它们之间的关系由式(3)得到,为

x=13x'-23y'+23z',y-1=-23x'-23y'-13z',z=23x'-13y'-23z',

式(11)代入空间曲线方程 Γ:x-2y+2z+2=0z-2y+2=(y-2z-1)2,化简得到空间曲线Γ在坐标系o'-x'y'z'下的方程Γ:x'=0y'=z'2。旋转曲面Σ由空间曲线Γ:x-2y+2z+2=0z-2y+2=(y-2z-1)2 绕直线L:x-02=y-1-1=z-0-2旋转一周而成,等价于在坐标系o'-x'y'z'下空间曲线Γ:x'=0y'=z'2z'轴旋转一周而成。

由结论1,得到旋转曲面Σ在坐标系o'-x'y'z'下的方程x'2+y'2=z'2

设点p在坐标系o-xyzo'-x'y'z'下的坐标分别为(x,y,z)(x',y',z'),它们之间的关系由式(11)求逆变换得到,为

x'=13x-23(y-1)+23zy'=-23x-23(y-1)-13zz'=23x-13(y-1)-23z

式(12)代入旋转曲面Σ在坐标系o'-x'y'z'下的方程x'2+y'2=z'2,得到旋转曲面Σ在坐标系o-xyz下的方程

13x-23(y-1)+23z2+-23x-23(y-1)-13z212=23x-13(y-1)-23z2

例2 已知空间曲线Γ:x=ty=tz=t围绕空间直线L:x-02=y-1-1=z-0-2旋转一周,求旋转曲面Σ的方程。

o'(0,1,0)为新坐标系下的原点,将直线L选为z'轴。为简化建立坐标系的步骤,选取与例1相同的坐标系o'-x'y'z',2个坐标系在空间中的位置如图4所示。空间直线L在直角坐标系o'-x'y'z'下的方程变为L:x'0=y'0=z'1。空间曲线Γ在原坐标系o-xyz下的参数方程为Γ:x=ty=tz=t,由式(11),得到空间曲线Γ在直角坐标系o'-x'y'z'下的方程

t=13x'-23y'+23z't-1=-23x'-23y'-13z't=23x'-13y'-23z'

化简后可得在直角坐标系o'-x'y'z'下空间曲线Γ的标准形式参数方程

x'=13t+23,y'=-53t+23,z'=-13t+13

旋转曲面Σ由空间曲线Γ在坐标系o'-x'y'z'下绕直线L:x'0=y'0=z'1旋转一周而成,则旋转曲面Σ的参数方程为

x'=13t+232+-53t+232cosθy'=13t+232+-53t+232sinθz'=-13t+13

消去参数tθ,得到一般方程

x'2+y'2=(1-z')2+(1-5z')2

式(12),则可得旋转曲面Σ在坐标系o-xyz下的一般方程

13x-23(y-1)+23z2+23x+23(y-1)+13z2=23x-13(y+2)-23z2+103x-13(5y-2)-103z2

例3 旋转曲面Σ由已知空间曲线Γ:x2+y-z2=0x-y+z+1=0绕直线L:x-21=y-00=z-11旋转一周而成,求旋转曲面Σ的方程4

o'(1,0,0)为新坐标系下的原点,将直线L选为z'轴,采用与问题2相同的方法建立坐标系。坐标系o'-x'y'z'的位置见图5,将原坐标系记为o-xyz。分别在x'轴、y'轴和z'轴正方向各取一点p1p2p3,点p1p2p3的坐标和向量o'p1o'p2o'p3的求解与例1类似,得到p1(1,1,0)p2(0,0,1)p3(2,0,1)o'p1={0,1,0}o'p2={-1,0,1}o'p3={1,0,1}。分别将向量o'p1o'p2o'p3单位化,得到与x'轴、y'轴和z'轴同向的由方向余弦组成的单位向量{0,1,0}-12,0,1212,0,12。设点p在坐标系o-xyzo'-x'y'z'下的坐标分别为(x,y,z)(x',y',z'),它们之间的关系可由式(3)和式(4)得到,分别为:

x-1=-12y'+12z'y=x'z=12y'+12z'
x'=yy'=-12(x-1)+12zz'=12(x-1)+12z

图5

图5   空间曲线Γz'轴旋转

Fig.5   Space curve Γ revolves around z' axis


空间曲线Γ在坐标系o'-x'y'z'下的方程由式(17)得到,化简后为x'=2+2z'(2+2z')y'=3+22z'。在坐标系o'-x'y'z'下,假设p(x',y',z')为旋转曲面Σ上的任意一点,且可由空间曲线Γ上的点p0(x0',y0',z0')绕直线L旋转得到。在坐标系o'-x'y'z'下,旋转曲面Σ可由空间曲线Γz'轴旋转一周而成(图5)。由点p(x',y',z')p0(x0',y0',z0')z'轴的距离相等且点p0(x0',y0',z0')在空间曲线Γ上,建立方程组

x'2+y'2=x0'2+y0'2,z'=z0',x0'=2+2z0',(2+2z0')y0'=3+22z0',

消去变量x0',y0',z0',得到在坐标系o'-x'y'z'下的旋转曲面Σ方程

(2+2z')2x'2+(2+2z')2y'2=(2+2z')2(2+2z')2+(3+22z')2

式(18)代入式(20),得到在坐标系o-xyz下的旋转曲面Σ方程

1+4x+5x2+6x3+x4-2x2y2+4z+10xz+14x2z+8x3z-4xy2z+5z2+10xz2+14x2z2-2y2z2+2z3+8xz3+z4=0

3 结 论

讨论了空间曲线Γ与定直线L共面和不共面条件下,空间曲线Γ绕定直线L旋转一周所成的旋转曲面方程的求解方法。利用向量的方向角寻找2个坐标系之间的姿态是求解一般旋转曲面方程的新教学工具。本研究是对旋转曲面方程教学内容的有益补充。

http://dx.doi.org/10.3785/j.issn.1008-9497.2022.06.001

参考文献

朱士信唐烁. 高等数学(下册)[M]. 北京高等教育出版社2020.

[本文引用: 4]

ZHU S XTANG S. Advanced Mathematics (Volume Ⅱ)[M]. BeijingHigher Education Press2020.

[本文引用: 4]

同济大学数学系高等数学(下册)[M].北京高等教育出版社2019

[本文引用: 3]

Department of MathematicsTongji University. Advanced Mathematics(Volume Ⅱ)[M]. BeijingHigher Education Press2019.

[本文引用: 3]

黄振华祝秋文胡清华.

旋转曲面及其方程

[J].湖北师范大学学报(自然科学版),2017372):83-86.

[本文引用: 1]

HUANG Z HZHU Q WHU Q H.

Rotation surface equation

[J]. Journal of Hubei University (Natural Science),2017372):83-86.

[本文引用: 1]

谭畅曲智林.

关于旋转曲面方程的注记

[J]. 大学数学, 2020365):101-105. doi:10.3969/j.issn.1672-1454.2020.05.017

[本文引用: 2]

TAN CQU Z L.

A note on the equation of rotating surface

[J]. College Mathematics, 2020365): 101-105. doi:10.3969/j.issn.1672-1454.2020.05.017

[本文引用: 2]

张树功雷娜刘停战.计算机代数基础:代数与符号计算的基本原理[M]. 北京科学出版社200544-50.

[本文引用: 1]

ZHANG S GLEI NLIU T Z. Fundamentals of Computer Algebra: Basic Principles of Algebra and Symbolic Computing[M]. BeijingScience Press200544-50.

[本文引用: 1]

刘绍学朱元森. 数学辞海[M].北京中国科学技术出版社200285-95.

[本文引用: 1]

LIU S XZHU Y S. Mathematical Lexicon[M]. BeijingChina Science and Technology Press200285-95.

[本文引用: 1]

/