① 柱面的判定:三元方程中缺少哪个变量,它就表示母线平行于该变量所在坐标轴的柱面,准线是它在其余两个变量所决定的坐标面上的曲线。例如在空间中,x2+y2=R2 缺 z,表示圆柱面,母线平行于 z 轴;y2=2px 缺 z,表示抛物柱面;a2x2−b2y2=1 缺 z,表示双曲柱面。这里容易出错:同一个方程在平面解析几何中表示曲线,在空间解析几何中表示柱面,须按上下文判断。
旋转面的生成规则是:轴上的那个变量保持不动,另一个变量换成其余两个坐标平方和的算术根。这条规则不必死记,它是旋转过程中两个量保持不变的必然结果。绕 z 轴旋转时,母线上一点 (0,y0,z0) 转到空间点 (x,y,z),在旋转过程中有两件事不变:高度z=z0,以及到 z 轴的距离x2+y2=∣y0∣。把 y0=±x2+y2 与 z0=z 代回母线方程 f(y0,z0)=0,即得旋转面的方程。明白了这一点,绕任一坐标轴旋转的规则都可以随时推出,不必分别记忆这三条规则。
证明 / 推导证 设母线在 yOz 平面内,其方程为 f(y0,z0)=0,现绕 z 轴旋转。母线上一点 P0(0,y0,z0) 绕 z 轴旋转一周,扫出一个圆:它位于高度 z=z0 处,圆心在 z 轴上,半径 r=∣y0∣。于是空间点 P(x,y,z) 在这个旋转面上 ⟺ 存在这样的 P0,使 P 落在该圆上,即 z=z0且x2+y2=∣y0∣. 于是 z0=z,y0=±x2+y2,代入 f(y0,z0)=0,即得旋转面的方程 f(±x2+y2,z)=0.■举例说明把 yOz 面上的双曲线 a2y2−c2z2=1 绕 z 轴旋转。此时 z 不动,y→±x2+y2,即 y2→x2+y2,故 a2x2+y2−c2z2=1, 这是单叶双曲面,也称旋转单叶双曲面。如果改绕 y 轴旋转,那么 y 不动,z→±x2+z2,得 a2y2−c2x2+z2=1,它是双叶双曲面。可见同一条双曲线绕不同的轴旋转,所得或为单叶或为双叶,这取决于旋转轴是从两支之间穿过(即实轴),还是把两支分隔开。