双曲面作为直纹面的动态构造

双曲面作为直纹面的动态构造
几何画板及绘图内容加载中,请稍等……
2020-01-25 17:49
该范例演示了单叶双曲面如何由一族直线(母线)生成,直观展示其作为直纹面的几何特性。核心数学概念包括双曲面、直纹面、参数曲面、空间直线族以及三角函数参数化。作图要点:使用GeoGebra的Surface命令创建双曲面参数方程,通过CurveCartesian定义空间曲线,利用Line、Sequence和Zip生成并排列母线族,配合滑块(如α)动态调整母线位置,并显示辅助元素如椭圆截面、渐近线和投影。适合高中至大学阶段的立体几何、解析几何或计算机辅助数学教学,帮助学生理解直纹面的生成机制和参数化表示。

GeoGebra 命令及参数

  1. Surface(((a * cosh(u)) * cos(v)), ((b * cosh(u)) * sin(v)), (c * sinh(u)), u, -10, 10, v, (-π), π) → H_p
  2. CurveCartesian(H_p((-u), v), v, -10, 10) → ell_{-u}
  3. CurveCartesian(H_p(u, v), v, -10, 10) → ell_u
  4. CurveCartesian(H_p(0, v), v, (-π), π) → ell_0
  5. CurveCartesian((((a * cosh(u)) * cos(v)), ((b * cosh(u)) * sin(v)), (c * sinh(u))), u, -10, 10) → hyp_v
  6. Line((0, 0, 0), (1, 0, 0)) → g_x
  7. Line((0, 0, 0), (0, 1, 0)) → g_y
  8. Sequence(k, k, 1, (m * n)) → l_n
  9. Zip(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_n
  10. Zip(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'_n
  11. 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}
  12. 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}
  13. 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_{+}
  14. 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_{-}
  15. CurveCartesian(((1 / 2 * cosh(u)) * ((a * (cos(v) + cos(v + α))), (b * (sin(v) + sin(v + α))), 0)), v, (-π), π) → sPkt

AI 绘图提示语参考

绘制一个单叶双曲抛物面,展示它是由一族直线生成的可展曲面。首先画出双曲抛物面的参数方程曲面,然后绘制其母线,这些母线是空间中的曲线,通过动态调整参数α来展示母线的运动。同时显示双曲抛物面的椭圆截面、渐近线和投影,帮助理解其生成机制和参数化表示。
以上提示语为根据原始绘图命令整理而来,仅供参考。