0 引 言
旋转曲面方程及其性质是高等数学教学的重要内容。高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] 。2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题。对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程。文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程。本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程。
定义1 [1 -2 ] 平面上曲线C 绕该平面上一条定直线L 旋转一周所成的曲面称为旋转曲面。
结论1 [1 -2 ] 若旋转曲面Σ 是由y o z 坐标面上的曲线C : f ( y , z ) = 0 绕z 轴旋转一周所成(如图1 所示),则该旋转曲面Σ 的方程为f ( ± x 2 + y 2 , z ) = 0 。
图1
图1
平面曲线C 绕z 轴旋转
Fig.1
Plane curve C revolves around z axis
1 主要结果及其推导
称空间曲线绕定直线旋转一周所成的曲面为旋转曲面,拓展了旋转曲面的概念。首先讨论空间曲线与定直线共面条件下,空间曲线绕定直线旋转一周所成的旋转曲面方程的求解问题(简称问题1),然后讨论更具一般性的旋转曲面方程求解问题(分别简称问题2和问题3)。
引理1 [6 ] 设坐标系o - x y z 和o - x ' y ' z ' 为具有相同坐标原点的2组直角坐标系(符合右手坐标系规则),又o x ' 轴、o y ' 轴和o z ' 轴在坐标系o - x y z 下的方向角分别为α 1 ,β 1 ,γ 1 ;α 2 ,β 2 ,γ 2 ;α 3 ,β 3 ,γ 3 ,设空间一点p 在坐标系o - x y z 和o - x ' y ' z ' 下的坐标分别为( x , y , z ) 和( x ' , y ' , z ' ) ,则2组坐标之间的关系为
x = x ' c o s α 1 + y ' c o s α 2 + z ' c o s α 3 , y = x ' c o s β 1 + y ' c o s β 2 + z ' c o s β 3 , x = x ' c o s γ 1 + y ' c o s γ 2 + z ' c o s γ 3 , (1)
x ' = x c o s α 1 + y c o s β 1 + z c o s γ 1 , y ' = x c o s α 2 + y c o s β 2 + z c o s γ 2 , z ' = x c o s α 3 + y c o s β 3 + z c o s γ 3 , (2)
问题1 已知空间曲线Γ 由平面π : A x + B y + C z + D = 0 和空间曲面Σ 0 : f ( x , y , z ) = 0 相交而成,空间直线L 的方程为x - X 0 m = y - Y 0 n = z - Z 0 p ,且L 在平面π 上。设旋转曲面Σ 由曲线Γ 绕定直线L 旋转一周而成,求旋转曲面Σ 的方程。
解 在直线L 上任取一点作为新坐标系的坐标原点o ' ,且设点o ' 在坐标系o - x y z 下的坐标为( x 0 , y 0 , z 0 ) 。在平面π 上过点o ' 作垂直于L 的垂线,并将该垂线选为y ' 轴。x ' 轴、y ' 轴与z ' 轴符合右手坐标系规则,坐标系位置如图2 所示。为方便叙述,将文中新坐标系简记为o ' - x ' y ' z ' ,原坐标系记为o - x y z 。分别在x ' 轴、y ' 轴和z ' 轴正方向各取一点p 1 ,p 2 和p 3 ,且有o ' p 1 ∥ x ' 轴,o ' p 2 ∥ y ' 轴,o ' p 3 ∥ z ' 轴,其中,∥ 表示平行或共线。分别对向量o ' p 1 ,o ' p 2 和o ' p 3 单位化,得到单位向量:
( o ' p 1 ) 0 = { c o s α 1 , c o s β 1 , c o s γ 1 } ,
( o ' p 2 ) 0 = { c o s α 2 , c o s β 2 , c o s γ 2 } ,
( o ' p 3 ) 0 = { c o s α 3 , c o s β 3 , c o s γ 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 - x y z 下的方向角。由引理1可得对应的转轴公式为
x = x ( x ' , y ' , z ' ) = x ' c o s α 1 + y ' c o s α 2 + z ' c o s α 3 + x 0 , y = y ( x ' , y ' , z ' ) = x ' c o s β 1 + y ' c o s β 2 + z ' c o s β 3 + y 0 , z = z ( x ' , y ' , z ' ) = x ' c o s γ 1 + y ' c o s γ 2 + z ' c o s γ 3 + z 0 , (3)
x ' = x ' ( x , y , z ) = ( x - x 0 ) c o s α 1 + ( y - y 0 ) c o s β 1 + ( z - z 0 ) c o s γ 1 , y ' = y ' ( x , y , z ) = ( x - x 0 ) c o s α 2 + ( y - y 0 ) c o s β 2 + ( z - z 0 ) c o s γ 2 , z ' = z ' ( x , y , z ) = ( x - x 0 ) c o s α 3 + ( y - y 0 ) c o s β 3 + ( z - z 0 ) c o s γ 3 。 (4)
将式(3)分别代入平面方程π : A x + B y + C z + 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 (5)
g ( - x ' 2 + y ' 2 , z ' ) = 0 。(6)
将式(4)代入式(5)或式(6),则得旋转曲面Σ 在坐标系o - x y z 下的方程
g ( x ' 2 ( x , y , z ) + y ' 2 ( x , y , z ) , z ' ( x , y , z ) ) = 0 或g ( - 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 ) ( a ≤ t ≤ b ) 绕直线L :x - X 0 m = y - Y 0 n = z - Z 0 p 旋转一周而成,求旋转曲面Σ 的方程。
解 若空间曲线Γ 与空间直线L 共面,则可采用问题1方法求解旋转曲面Σ 的方程。若空间曲线Γ 与空间直线L 不共面,则按照以下方法求解。
建立新坐标系o ' - x ' y ' z ' :在空间直线L 上任取一点作为新坐标系的原点o ' ,设o ' 在坐标系o - x y z 下的坐标为( x 0 , y 0 , z 0 ) 。选取直线L 为z ' 轴,并将过坐标原点o ' 与该直线L 垂直的直线选为y ' 轴,x ' 轴、y ' 轴与z ' 轴符合右手坐标系规则(图3 )。在x ' 轴、y ' 轴和z ' 轴正方向各取一点p 1 ,p 2 和p 3 ,得到与坐标轴共线的3个向量o ' p 1 、o ' p 2 和o ' p 3 。对向量o ' p 1 、o ' p 2 和o ' p 3 单位化,得到
图3
图3
空间曲线Γ 绕z ' 轴旋转
Fig.3
Space curve Γ revolves around z ' axis
( o ' p 1 ) 0 = { c o s α 1 , c o s β 1 , c o s γ 1 } ,
( o ' p 2 ) 0 = { c o s α 2 , c o s β 2 , c o s γ 2 } ,
( o ' p 3 ) 0 = { c o s α 3 , c o s β 3 , c o s γ 3 } 。
由方向角和方向余弦的定义,知α 1 ,β 1 ,γ 1 ;α 2 ,β 2 ,γ 2 和α 3 ,β 3 ,γ 3 分别为x ' 轴,y ' 轴,z ' 轴在o - x y z 系下的方向角。由式(4),可得到空间曲线Γ 在坐标系o ' - x ' y ' z ' 下的参数方程
x ' ( t ) = [ f ( t ) - x 0 ] c o s α 1 + [ g ( t ) - y 0 ] × c o s β 1 + [ h ( t ) - z 0 ] c o s γ 1 , y ' ( t ) = [ f ( t ) - x 0 ] c o s α 2 + [ g ( t ) - y 0 ] × c o s β 2 + [ h ( t ) - z 0 ] c o s γ 2 , z ' ( t ) = [ f ( t ) - x 0 ] c o s α 3 + [ g ( t ) - y 0 ] × c o s β 3 + [ h ( t ) - z 0 ] c o s γ 3 ,
a ≤ t ≤ b 。 (7)
空间直线L 在坐标系o - x y z 下的方程为x - X 0 m = y - Y 0 n = z - Z 0 p ,由空间直线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 ' ) 为旋转曲面Σ 上的任意一点,其可由空间曲线Γ 上的点p 0 ( x ' ( t 0 ) , y ' ( t 0 ) , z ' ( t 0 ) ) 绕直线L 旋转得到。点p 0 的坐标( x ' ( t 0 ) , y ' ( t 0 ) , z ' ( t 0 ) ) 由式(7)得到,即在坐标系o ' - x ' y ' z ' 下旋转曲面Σ 对应的参数方程为
x ' = x ' 2 ( t 0 ) + y ' 2 ( t 0 ) c o s θ , y ' = x ' 2 ( t 0 ) + y ' 2 ( t 0 ) s i n θ , z ' = z ' ( t 0 ) ,
a ≤ t 0 ≤ b , 0 ≤ θ < 2 π , (8)
对参数t 0 , θ 消元,可得到一般旋转曲面方程H ( x ' , y ' , z ' ) = 0 。再由式(4),得到在坐标系o - x y z 下旋转曲面Σ 的方程
H ( x ' ( x , y , z ) , y ' ( x , y , z ) , z ' ( x , y , z ) ) = 0 。
问题3 已知旋转曲面Σ 由空间曲线Γ : F ( x , y , z ) = 0 G ( x , y , z ) = 0 绕空间直线L :x - X 0 m = y - Y 0 n = z - Z 0 p 旋转一周而成,求此旋转曲面Σ 的方程。
解 方法1 将空间曲线Γ 一般方程F ( x , y , z ) = 0 G ( x , y , z ) = 0 转化为参数方程Γ : x = f ( t ) y = g ( t ) z = h ( t ) ( a ≤ t ≤ b ) ,用与问题2相同的方法求解。如果转化较烦琐,可用方法2求解。
方法2 与问题2建坐标系方法类似,建立新坐标系o ' - x ' y ' z ' 。设点p 在坐标系o - x y z ,o ' - 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 ' ) ) = 0 , G ( x ( x ' , y ' , z ' ) , y ( x ' , y ' , z ' ) , z ( x ' , y ' , z ' ) ) = 0 , (9)
由空间直线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 ' ) 为旋转曲面Σ 上的任意一点,且可由空间曲线Γ 上的点p 0 ( x 0 ' , y 0 ' , z 0 ' ) 绕直线L 旋转得到。在坐标系o ' - x ' y ' z ' 下,旋转曲面Σ 可由空间曲线Γ 绕z ' 轴旋转一周得到(图3 )。因为点p ( x ' , y ' , z ' ) 、p 0 ( x 0 ' , y 0 ' , z 0 ' ) 到z ' 轴的距离相等,且已知点p 0 ( x 0 ' , y 0 ' , z 0 ' ) 在空间曲线Γ 上,即旋转曲面Σ 上的动点p 在坐标系o ' - x ' y ' z ' 下满足
x ' 2 + y ' 2 = x 0 ' 2 + y 0 ' 2 , z ' = z 0 ' , F ( x ( x 0 ' , y 0 ' , z 0 ' ) , y ( x 0 ' , y 0 ' , z 0 ' ) , z ( x 0 ' , y 0 ' , z 0 ' ) ) = 0 , G ( x ( x 0 ' , y 0 ' , z 0 ' ) , y ( x 0 ' , y 0 ' , z 0 ' ) , z ( x 0 ' , y 0 ' , z 0 ' ) ) = 0 , (10)
消去参数x 0 ' , y 0 ' , z 0 ' ,得到关于变量x ' , y ' , z ' 的方程,将旋转曲面Σ 在坐标系o ' - x ' y ' z ' 下的方程记为H ( x ' , y ' , z ' ) = 0 。将式(4)代入方程H ( x ' , y ' , z ' ) = 0 ,即得到在坐标系o - x y z 下的旋转曲面方程
H ( x ' ( x , y , z ) , y ' ( x , y , z ) , z ' ( x , y , z ) ) = 0 。
2 应用举例
例1 旋转曲面由已知空间曲线Γ : x - 2 y + 2 z + 2 = 0 z - 2 y + 2 = ( y - 2 z - 1 ) 2 绕空间直线L : x - 0 2 = y - 1 - 1 = z - 0 - 2 旋转一周生成,求此旋转曲面Σ 的方程。
解 由题中条件,可知空间直线L 和空间曲线Γ 在平面π : x - 2 y + 2 z + 2 = 0 上。选取在空间直线L 上的点p 0 ( 0,1 , 0 ) 为新坐标系下的坐标原点o ' 。z ' 轴与空间直线L 重合,在平面π 上过点p 0 ( 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 - x y z 。在x ' 轴、y ' 轴和z ' 轴正方向各取一点p 1 ,p 2 和p 3 ,且有o ' p 1 ∥ x ' 轴、o ' p 2 ∥ y ' 轴、o ' p 3 ∥ z ' 轴。在原坐标系o - x y z 下,点o ' 的坐标为( 0,1 , 0 ) ,并将3个向量的坐标分别设为
o ' p 1 = { x 1 , y 1 - 1 , z 1 } ,
o ' p 2 = { x 2 , y 2 - 1 , z 2 } ,
o ' p 3 = { x 3 , y 3 - 1 , z 3 } ,
直线L 上的方向向量s 在坐标系o - x y z 下的坐标可取值为s = { 2 , - 1 , - 2 } 。
因为o ' p 3 ∥ s ,所以有{ x 3 , y 3 - 1 , z 3 } = λ { 2 , - 1 , - 2 } ,其中λ 为参数。令λ = 1 ,则有x 3 = 2 ,y 3 = 0 ,z 3 = - 2 ,即得到点p 3 ( 2,0 , - 2 ) 和向量o ' p 3 = { 2 , - 1 , - 2 } 。
x 2 - 2 y 2 + 2 z 2 + 2 = 0 , 2 x 2 - ( y 2 - 1 ) - 2 z 2 = 0 ,
取x 2 = - 1 ,有2 z 2 - 2 y 2 + 1 = 0 - 2 z 2 - y 2 - 1 = 0 ,解得y 2 = 0 ,z 2 = - 1 2 ,即得到点p 2 - 1,0 , - 1 2 和向量o ' p 2 = - 1 , - 1 , - 1 2 。
因为o ' p 1 ⊥ o ' p 2 且o ' p 1 ⊥ o ' p 3 ,所以有
- x 1 - ( y 1 - 1 ) - 1 2 z 1 = 0 , 2 x 1 - ( y 1 - 1 ) - 2 z 1 = 0 ,
取z 1 = 2 ,得到x 1 = 1 , y 1 = - 1 ,即得到点p 1 = { 1 , - 1,2 } 和向量o ' p 1 = { 1 , - 2,2 } 。
设o ' x ' 轴、o ' y ' 轴、o ' z ' 轴在坐标系o - x y z 下的方向角分别为α 1 ,β 1 ,γ 1 ;α 2 ,β 2 ,γ 2 ;α 3 ,β 3 ,γ 3 ,分别将向量o ' p 1 = { 1 , - 2,2 } ,o ' p 2 = - 1 , - 1 , - 1 2 ,o ' p 3 = { 2 , - 1 , - 2 } 单位化,即得到与x ' 轴、y ' 轴、z ' 轴同向的由方向余弦组成的单位向量:
{ c o s α 1 , c o s β 1 , c o s γ 1 } = 1 3 , - 2 3 , 2 3 ,
{ c o s α 2 , c o s β 2 , c o s γ 2 } = - 2 3 , - 2 3 , - 1 3 ,
{ c o s α 3 , c o s β 3 , c o s γ 3 } = 2 3 , - 1 3 , - 2 3 。
设点p 在坐标系o - x y z 和o ' - x ' y ' z ' 下的坐标分别为( x , y , z ) 和( x ' , y ' , z ' ) ,它们之间的关系由式(3)得到,为
x = 1 3 x ' - 2 3 y ' + 2 3 z ' , y - 1 = - 2 3 x ' - 2 3 y ' - 1 3 z ' , z = 2 3 x ' - 1 3 y ' - 2 3 z ' , (11)
将式(11)代入空间曲线方程 Γ : x - 2 y + 2 z + 2 = 0 z - 2 y + 2 = ( y - 2 z - 1 ) 2 ,化简得到空间曲线Γ 在坐标系o ' - x ' y ' z ' 下的方程Γ : x ' = 0 y ' = z ' 2 。旋转曲面Σ 由空间曲线Γ : x - 2 y + 2 z + 2 = 0 z - 2 y + 2 = ( y - 2 z - 1 ) 2 绕直线L : x - 0 2 = y - 1 - 1 = z - 0 - 2 旋转一周而成,等价于在坐标系o ' - x ' y ' z ' 下空间曲线Γ : x ' = 0 y ' = z ' 2 绕z ' 轴旋转一周而成。
由结论1,得到旋转曲面Σ 在坐标系o ' - x ' y ' z ' 下的方程x ' 2 + y ' 2 = z ' 2 。
设点p 在坐标系o - x y z 和o ' - x ' y ' z ' 下的坐标分别为( x , y , z ) 和( x ' , y ' , z ' ) ,它们之间的关系由式(11)求逆变换得到,为
x ' = 1 3 x - 2 3 ( y - 1 ) + 2 3 z , y ' = - 2 3 x - 2 3 ( y - 1 ) - 1 3 z , z ' = 2 3 x - 1 3 ( y - 1 ) - 2 3 z , (12)
将式(12)代入旋转曲面Σ 在坐标系o ' - x ' y ' z ' 下的方程x ' 2 + y ' 2 = z ' 2 ,得到旋转曲面Σ 在坐标系o - x y z 下的方程
1 3 x - 2 3 ( y - 1 ) + 2 3 z 2 + - 2 3 x - 2 3 ( y - 1 ) - 1 3 z 2 1 2 = 2 3 x - 1 3 ( y - 1 ) - 2 3 z 2 。(13)
例2 已知空间曲线Γ : x = t y = t z = t 围绕空间直线L : x - 0 2 = 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 - x y z 下的参数方程为Γ : x = t y = t z = t ,由式(11),得到空间曲线Γ 在直角坐标系o ' - x ' y ' z ' 下的方程
t = 1 3 x ' - 2 3 y ' + 2 3 z ' , t - 1 = - 2 3 x ' - 2 3 y ' - 1 3 z ' , t = 2 3 x ' - 1 3 y ' - 2 3 z ' ,
化简后可得在直角坐标系o ' - x ' y ' z ' 下空间曲线Γ 的标准形式参数方程
x ' = 1 3 t + 2 3 , y ' = - 5 3 t + 2 3 , z ' = - 1 3 t + 1 3 。 (14)
旋转曲面Σ 由空间曲线Γ 在坐标系o ' - x ' y ' z ' 下绕直线L : x ' 0 = y ' 0 = z ' 1 旋转一周而成,则旋转曲面Σ 的参数方程为
x ' = 1 3 t + 2 3 2 + - 5 3 t + 2 3 2 c o s θ , y ' = 1 3 t + 2 3 2 + - 5 3 t + 2 3 2 s i n θ , z ' = - 1 3 t + 1 3 , (15)
x ' 2 + y ' 2 = ( 1 - z ' ) 2 + ( 1 - 5 z ' ) 2 。(16)
由式(12),则可得旋转曲面Σ 在坐标系o - x y z 下的一般方程
1 3 x - 2 3 ( y - 1 ) + 2 3 z 2 + 2 3 x + 2 3 ( y - 1 ) + 1 3 z 2 = 2 3 x - 1 3 ( y + 2 ) - 2 3 z 2 + 10 3 x - 1 3 ( 5 y - 2 ) - 10 3 z 2 。
例3 旋转曲面Σ 由已知空间曲线Γ : x 2 + y - z 2 = 0 x - y + z + 1 = 0 绕直线L : x - 2 1 = y - 0 0 = z - 1 1 旋转一周而成,求旋转曲面Σ 的方程[4 ] 。
解 以o ' ( 1,0 , 0 ) 为新坐标系下的原点,将直线L 选为z ' 轴,采用与问题2相同的方法建立坐标系。坐标系o ' - x ' y ' z ' 的位置见图5 ,将原坐标系记为o - x y z 。分别在x ' 轴、y ' 轴和z ' 轴正方向各取一点p 1 ,p 2 和p 3 ,点p 1 ,p 2 ,p 3 的坐标和向量o ' p 1 ,o ' p 2 ,o ' p 3 的求解与例1类似,得到p 1 ( 1,1 , 0 ) ,p 2 ( 0,0 , 1 ) ,p 3 ( 2,0 , 1 ) ,o ' p 1 = { 0,1 , 0 } ,o ' p 2 = { - 1,0 , 1 } ,o ' p 3 = { 1,0 , 1 } 。分别将向量o ' p 1 ,o ' p 2 ,o ' p 3 单位化,得到与x ' 轴、y ' 轴和z ' 轴同向的由方向余弦组成的单位向量{ 0,1 , 0 } ,- 1 2 , 0 , 1 2 和1 2 , 0 , 1 2 。设点p 在坐标系o - x y z 和o ' - x ' y ' z ' 下的坐标分别为( x , y , z ) 和( x ' , y ' , z ' ) ,它们之间的关系可由式(3)和式(4)得到,分别为:
x - 1 = - 1 2 y ' + 1 2 z ' , y = x ' , z = 1 2 y ' + 1 2 z ' , (17)
x ' = y , y ' = - 1 2 ( x - 1 ) + 1 2 z , z ' = 1 2 ( x - 1 ) + 1 2 z 。 (18)
图5
图5
空间曲线Γ 绕z ' 轴旋转
Fig.5
Space curve Γ revolves around z ' axis
空间曲线Γ 在坐标系o ' - x ' y ' z ' 下的方程由式(17)得到,化简后为x ' = 2 + 2 z ' ( 2 + 2 z ' ) y ' = 3 + 2 2 z ' 。在坐标系o ' - x ' y ' z ' 下,假设p ( x ' , y ' , z ' ) 为旋转曲面Σ 上的任意一点,且可由空间曲线Γ 上的点p 0 ( x 0 ' , y 0 ' , z 0 ' ) 绕直线L 旋转得到。在坐标系o ' - x ' y ' z ' 下,旋转曲面Σ 可由空间曲线Γ 绕z ' 轴旋转一周而成(图5 )。由点p ( x ' , y ' , z ' ) 和p 0 ( x 0 ' , y 0 ' , z 0 ' ) 到z ' 轴的距离相等且点p 0 ( x 0 ' , y 0 ' , z 0 ' ) 在空间曲线Γ 上,建立方程组
x ' 2 + y ' 2 = x 0 ' 2 + y 0 ' 2 , z ' = z 0 ' , x 0 ' = 2 + 2 z 0 ' , ( 2 + 2 z 0 ' ) y 0 ' = 3 + 2 2 z 0 ' , (19)
消去变量x 0 ' , y 0 ' , z 0 ' ,得到在坐标系o ' - x ' y ' z ' 下的旋转曲面Σ 方程
( 2 + 2 z ' ) 2 x ' 2 + ( 2 + 2 z ' ) 2 y ' 2 = ( 2 + 2 z ' ) 2 ( 2 + 2 z ' ) 2 + ( 3 + 2 2 z ' ) 2 。(20)
将式(18)代入式(20),得到在坐标系o - x y z 下的旋转曲面Σ 方程
1 + 4 x + 5 x 2 + 6 x 3 + x 4 - 2 x 2 y 2 + 4 z + 10 x z + 14 x 2 z + 8 x 3 z - 4 x y 2 z + 5 z 2 + 10 x z 2 + 14 x 2 z 2 - 2 y 2 z 2 + 2 z 3 + 8 x z 3 + z 4 = 0 。
3 结 论
讨论了空间曲线Γ 与定直线L 共面和不共面条件下,空间曲线Γ 绕定直线L 旋转一周所成的旋转曲面方程的求解方法。利用向量的方向角寻找2个坐标系之间的姿态是求解一般旋转曲面方程的新教学工具。本研究是对旋转曲面方程教学内容的有益补充。
http://dx.doi.org/10.3785/j.issn.1008-9497.2022.06.001
参考文献
View Option
[1]
朱士信 , 唐烁 . 高等数学(下册) [M]. 北京 :高等教育出版社 , 2020 .
[本文引用: 4]
ZHU S X , TANG S . Advanced Mathematics (Volume Ⅱ) [M]. Beijing : Higher Education Press , 2020 .
[本文引用: 4]
[2]
同济大学数学系 .高等数学(下册) [M].北京 :高等教育出版社 ,2019 .
[本文引用: 3]
Department of Mathematics , Tongji University . Advanced Mathematics(Volume Ⅱ) [M]. Beijing : Higher Education Press , 2019 .
[本文引用: 3]
[3]
黄振华 ,祝秋文 ,胡清华 .旋转曲面及其方程
[J].湖北师范大学学报(自然科学版) ,2017 ,37 (2 ):83 -86 .
[本文引用: 1]
HUANG Z H , ZHU Q W , HU Q H . Rotation surface equation
[J]. Journal of Hubei University (Natural Science) ,2017 , 37 (2 ):83 -86 .
[本文引用: 1]
[5]
张树功 ,雷娜 ,刘停战 .计算机代数基础:代数与符号计算的基本原理 [M]. 北京 :科学出版社 ,2005 :44 -50 .
[本文引用: 1]
ZHANG S G , LEI N , LIU T Z . Fundamentals of Computer Algebra: Basic Principles of Algebra and Symbolic Computing [M]. Beijing : Science Press , 2005 :44 -50 .
[本文引用: 1]
[6]
刘绍学 , 朱元森 . 数学辞海 [M].北京 :中国科学技术出版社 , 2002 :85 -95 .
[本文引用: 1]
LIU S X , ZHU Y S . Mathematical Lexicon [M]. Beijing : China Science and Technology Press , 2002 :85 -95 .
[本文引用: 1]
4
2020
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... [1 -2 ].2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... 定义1 [1 -2 ] 平面上曲线C 绕该平面上一条定直线L 旋转一周所成的曲面称为旋转曲面. ...
... 结论1 [1 -2 ] 若旋转曲面Σ 是由y o z 坐标面上的曲线C : f ( y , z ) = 0 绕z 轴旋转一周所成(如图1 所示),则该旋转曲面Σ 的方程为f ( ± x 2 + y 2 , z ) = 0 . ...
4
2020
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... [1 -2 ].2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... 定义1 [1 -2 ] 平面上曲线C 绕该平面上一条定直线L 旋转一周所成的曲面称为旋转曲面. ...
... 结论1 [1 -2 ] 若旋转曲面Σ 是由y o z 坐标面上的曲线C : f ( y , z ) = 0 绕z 轴旋转一周所成(如图1 所示),则该旋转曲面Σ 的方程为f ( ± x 2 + y 2 , z ) = 0 . ...
3
2019
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... 定义1 [1 -2 ] 平面上曲线C 绕该平面上一条定直线L 旋转一周所成的曲面称为旋转曲面. ...
... 结论1 [1 -2 ] 若旋转曲面Σ 是由y o z 坐标面上的曲线C : f ( y , z ) = 0 绕z 轴旋转一周所成(如图1 所示),则该旋转曲面Σ 的方程为f ( ± x 2 + y 2 , z ) = 0 . ...
3
2019
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... 定义1 [1 -2 ] 平面上曲线C 绕该平面上一条定直线L 旋转一周所成的曲面称为旋转曲面. ...
... 结论1 [1 -2 ] 若旋转曲面Σ 是由y o z 坐标面上的曲线C : f ( y , z ) = 0 绕z 轴旋转一周所成(如图1 所示),则该旋转曲面Σ 的方程为f ( ± x 2 + y 2 , z ) = 0 . ...
旋转曲面及其方程
1
2017
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
旋转曲面及其方程
1
2017
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
关于旋转曲面方程的注记
2
2020
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... 例3 旋转曲面Σ 由已知空间曲线Γ : x 2 + y - z 2 = 0 x - y + z + 1 = 0 绕直线L : x - 2 1 = y - 0 0 = z - 1 1 旋转一周而成,求旋转曲面Σ 的方程[4 ] . ...
关于旋转曲面方程的注记
2
2020
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
... 例3 旋转曲面Σ 由已知空间曲线Γ : x 2 + y - z 2 = 0 x - y + z + 1 = 0 绕直线L : x - 2 1 = y - 0 0 = z - 1 1 旋转一周而成,求旋转曲面Σ 的方程[4 ] . ...
1
2005
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
1
2005
... 旋转曲面方程及其性质是高等数学教学的重要内容.高等数学教材给出了平面曲线绕平面内定直线旋转一周所成的旋转曲面的定义及方程[1 ] ,主要给出的是旋转轴与坐标轴重合条件下的一类旋转曲面方程[1 -2 ] .2013年全国硕士研究生入学统一考试(数学一)试卷中出现旋转轴与坐标轴不重合条件下旋转曲面求解试题.对于空间曲线绕任意定直线旋转所成的旋转曲面方程,文献[3 ]将旋转曲面想象成由空间曲线上的动点围绕定直线旋转一周所成的一系列平行圆堆叠而成,并将平行圆方程和曲线方程联立推导出旋转曲面方程.文献[4 ]联立平行圆方程和空间曲线方程,并借助多项式理想的Groebner基理论方法对旋转曲面方程组进行去参数化处理[5 ] ,得到旋转曲面方程.本文以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导空间曲线绕定直线旋转所成的一般旋转曲面方程. ...
1
2002
... 引理1 [6 ] 设坐标系o - x y z 和o - x ' y ' z ' 为具有相同坐标原点的2组直角坐标系(符合右手坐标系规则),又o x ' 轴、o y ' 轴和o z ' 轴在坐标系o - x y z 下的方向角分别为α 1 ,β 1 ,γ 1 ;α 2 ,β 2 ,γ 2 ;α 3 ,β 3 ,γ 3 ,设空间一点p 在坐标系o - x y z 和o - x ' y ' z ' 下的坐标分别为( x , y , z ) 和( x ' , y ' , z ' ) ,则2组坐标之间的关系为 ...
1
2002
... 引理1 [6 ] 设坐标系o - x y z 和o - x ' y ' z ' 为具有相同坐标原点的2组直角坐标系(符合右手坐标系规则),又o x ' 轴、o y ' 轴和o z ' 轴在坐标系o - x y z 下的方向角分别为α 1 ,β 1 ,γ 1 ;α 2 ,β 2 ,γ 2 ;α 3 ,β 3 ,γ 3 ,设空间一点p 在坐标系o - x y z 和o - x ' y ' z ' 下的坐标分别为( x , y , z ) 和( x ' , y ' , z ' ) ,则2组坐标之间的关系为 ...