双曲面作为直纹面的动态构造
几何画板及绘图内容加载中,请稍等……
该范例演示了单叶双曲面如何由一族直线(母线)生成,直观展示其作为直纹面的几何特性。核心数学概念包括双曲面、直纹面、参数曲面、空间直线族以及三角函数参数化。作图要点:使用GeoGebra的Surface命令创建双曲面参数方程,通过CurveCartesian定义空间曲线,利用Line、Sequence和Zip生成并排列母线族,配合滑块(如α)动态调整母线位置,并显示辅助元素如椭圆截面、渐近线和投影。适合高中至大学阶段的立体几何、解析几何或计算机辅助数学教学,帮助学生理解直纹面的生成机制和参数化表示。
GeoGebra 命令及参数
Surface(((a * cosh(u)) * cos(v)), ((b * cosh(u)) * sin(v)), (c * sinh(u)), u, -10, 10, v, (-π), π) → H_pCurveCartesian(H_p((-u), v), v, -10, 10) → ell_{-u}CurveCartesian(H_p(u, v), v, -10, 10) → ell_uCurveCartesian(H_p(0, v), v, (-π), π) → ell_0CurveCartesian((((a * cosh(u)) * cos(v)), ((b * cosh(u)) * sin(v)), (c * sinh(u))), u, -10, 10) → hyp_vLine((0, 0, 0), (1, 0, 0)) → g_xLine((0, 0, 0), (0, 1, 0)) → g_ySequence(k, k, 1, (m * n)) → l_nZip(Line[(((a * cosh(u)) * cos(v - α / 2 + (k / (m + 1) * α))), ((b * cosh(u)) * sin(v - α / 2 + (k / (m + 1) * α))), (c * sinh(u))), (((a * cosh((-u))) * cos(v + α / 2 + (k / (m + 1) * α))), ((b * cosh((-u))) * sin(v + α / 2 + (k / (m + 1) * α))), (c * sinh((-u))))], k, l_n) → ListErz_nZip(Line[(((a * cosh(u)) * cos(v + α / 2 - (k / (m + 1) * α))), ((b * cosh(u)) * sin(v + α / 2 - (k / (m + 1) * α))), (c * sinh(u))), (((a * cosh((-u))) * cos(v - α / 2 - (k / (m + 1) * α))), ((b * cosh((-u))) * sin(v - α / 2 - (k / (m + 1) * α))), (c * sinh((-u))))], k, l_n) → ListErz'_nSurface(((a * cosh(u)) * ((λ * cos(v + α)) + ((1 - λ) * cos(v)))), ((b * cosh(u)) * ((λ * sin(v + α)) + ((1 - λ) * sin(v)))), ((c * sinh(u)) * ((2 * λ) - 1)), v, (-π), π, λ, -10, 10) → H'_{erz}Surface(((a * cosh(u)) * ((λ * cos(v)) + ((1 - λ) * cos(v + α)))), ((b * cosh(u)) * ((λ * sin(v)) + ((1 - λ) * sin(v + α)))), ((c * sinh(u)) * ((2 * λ) - 1)), v, (-π), π, λ, -10, 10) → H_{erz}CurveCartesian((a * (((λ * cosh(u)) * cos(v)) + (((1 - λ) * cosh((-u))) * cos(v + α)))), (b * (((λ * cosh(u)) * sin(v)) + (((1 - λ) * cosh((-u))) * sin(v + α)))), (c * ((λ * sinh(u)) + ((1 - λ) * sinh((-u))))), λ, -10, 10) → erzeugende_{+}CurveCartesian((a * (((λ * cosh(u)) * cos(v + α)) + (((1 - λ) * cosh((-u))) * cos(v)))), (b * (((λ * cosh(u)) * sin(v + α)) + (((1 - λ) * cosh((-u))) * sin(v)))), (c * ((λ * sinh(u)) + ((1 - λ) * sinh((-u))))), λ, -10, 10) → erzeugende_{-}CurveCartesian(((1 / 2 * cosh(u)) * ((a * (cos(v) + cos(v + α))), (b * (sin(v) + sin(v + α))), 0)), v, (-π), π) → sPkt
AI 绘图提示语参考
绘制一个单叶双曲抛物面,展示它是由一族直线生成的可展曲面。首先画出双曲抛物面的参数方程曲面,然后绘制其母线,这些母线是空间中的曲线,通过动态调整参数α来展示母线的运动。同时显示双曲抛物面的椭圆截面、渐近线和投影,帮助理解其生成机制和参数化表示。
以上提示语为根据原始绘图命令整理而来,仅供参考。