积极 AI Logo 积极 AI

Boy曲面参数方程绘制与拓扑探究

Boy曲面参数方程绘制与拓扑探究
几何画板及绘图内容加载中，请稍等……
2023-03-15 18:06
立体几何参数方程几何作图轨迹函数图像
所属专题 geometriadinamica.es
本范例演示Boy曲面的参数方程构造与三维可视化。Boy曲面是不可定向的经典数学曲面，属于微分几何与拓扑学的研究范畴。构造要点：①使用CurveCartesian命令根据Boy曲面参数方程绘制曲面轮廓；②通过Sequence命令生成曲面点序列；③利用Ellipse、Angle等基础几何元素构建参数方程所需的角度参数；④结合Circle、Intersect等命令完成辅助几何构造。该范例适合作为大学数学专业微分几何课程的直观教具，也可用于拓扑学入门教学中不可定向曲面的概念讲解，帮助学生理解曲面分类与莫比乌斯带的关联。

GeoGebra 命令及参数

  1. Segment(Q5, Q6) → p5
  2. Point(p5) → P5
  3. Segment(Q3, Q4) → p2
  4. Point(p2) → P3
  5. Segment(P3, Q4) → p4
  6. Point(p4) → P4
  7. Segment(Q1, Q2) → p1
  8. Point(p1) → P1
  9. Segment(P1, Q2) → p3
  10. Point(p3) → P2
  11. OrthogonalLine(C, xAxis) → zz2
  12. Circle(C, 0.62) → zz0
  13. Intersect(zz0, zz2, 1) → ZZ4
  14. Intersect(zz0, zz2, 2) → ZZ3
  15. Ellipse(ZZ3, ZZ4, 0.65) → zElipse2
  16. Point(zElipse2) → Z
  17. Intersect(zElipse2, zz2) → ZZ7, ZZ8
  18. Angle(ZZ8, C, Z) → zAngInc
  19. OrthogonalLine(C, yAxis) → zz1
  20. Intersect(zz0, zz1, 2) → ZZ2
  21. Intersect(zz0, zz1, 1) → ZZ1
  22. Ellipse(ZZ1, ZZ2, 0.65) → zElipse1
  23. Point(zElipse1) → XY
  24. Intersect(zElipse1, zz1) → ZZ5, ZZ6
  25. Angle(ZZ6, C, XY) → zAngRot
  26. Segment(ZZ5, ZZ6) → zz4
  27. Segment(ZZ7, ZZ8) → zz3
  28. Intersect(zElipse2, zElipse1, 1) → zPunto1
  29. Intersect(zElipse2, zElipse1, 4) → zPunto2
  30. Segment(zPunto1, zPunto2) → zSeg2
  31. CurveCartesian((r * (((1 / 2 * ((2 * ((cos(α) * sin(v)))^(2)) - ((sin(α) * sin(v)))^(2) - (cos(v))^(2) + ((((2 * sin(α)) * sin(v)) * cos(v)) * (((sin(α) * sin(v)))^(2) - (cos(v))^(2))) + (((cos(v) * cos(α)) * sin(v)) * (((cos(α) * sin(v)))^(2) - (cos(v))^(2))) + ((((cos(α) * sin(v)) * sin(α)) * sin(v)) * (((sin(α) * sin(v)))^(2) - ((cos(α) * sin(v)))^(2))))) * sin(zAngRot)) + ((sqrt(3) / 2 * (((sin(α) * sin(v)))^(2) - (cos(v))^(2) + (((cos(v) * cos(α)) * sin(v)) * ((cos(v))^(2) - ((cos(α) * sin(v)))^(2))) + ((((cos(α) * sin(v)) * sin(α)) * sin(v)) * (((sin(α) * sin(v)))^(2) - ((cos(α) * sin(v)))^(2))))) * cos(zAngRot)))), (r * ((((-1 / 2 * ((2 * ((cos(α) * sin(v)))^(2)) - ((sin(α) * sin(v)))^(2) - (cos(v))^(2) + ((((2 * sin(α)) * sin(v)) * cos(v)) * (((sin(α) * sin(v)))^(2) - (cos(v))^(2))) + (((cos(v) * cos(α)) * sin(v)) * (((cos(α) * sin(v)))^(2) - (cos(v))^(2))) + ((((cos(α) * sin(v)) * sin(α)) * sin(v)) * (((sin(α) * sin(v)))^(2) - ((cos(α) * sin(v)))^(2))))) * cos(zAngRot)) * sin(zAngInc)) + (((sqrt(3) / 2 * (((sin(α) * sin(v)))^(2) - (cos(v))^(2) + (((cos(v) * cos(α)) * sin(v)) * ((cos(v))^(2) - ((cos(α) * sin(v)))^(2))) + ((((cos(α) * sin(v)) * sin(α)) * sin(v)) * (((sin(α) * sin(v)))^(2) - ((cos(α) * sin(v)))^(2))))) * sin(zAngRot)) * sin(zAngInc)) + ((((cos(α) * sin(v)) + (sin(α) * sin(v)) + cos(v)) * (((cos(α) * sin(v)) + (sin(α) * sin(v)) + cos(v))^(3) + (((4 * ((sin(α) * sin(v)) - (cos(α) * sin(v)))) * (cos(v) - (sin(α) * sin(v)))) * ((cos(α) * sin(v)) - cos(v))))) * cos(zAngInc)))) - 2, v, v1, v2) → curva2
  32. CurveCartesian((r * (((1 / 2 * ((2 * ((cos(u) * sin(3.14159 / 2)))^(2)) - ((sin(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2) + ((((2 * sin(u)) * sin(3.14159 / 2)) * cos(3.14159 / 2)) * (((sin(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2))) + (((cos(3.14159 / 2) * cos(u)) * sin(3.14159 / 2)) * (((cos(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2))) + ((((cos(u) * sin(3.14159 / 2)) * sin(u)) * sin(3.14159 / 2)) * (((sin(u) * sin(3.14159 / 2)))^(2) - ((cos(u) * sin(3.14159 / 2)))^(2))))) * sin(zAngRot)) + ((sqrt(3) / 2 * (((sin(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2) + (((cos(3.14159 / 2) * cos(u)) * sin(3.14159 / 2)) * ((cos(3.14159 / 2))^(2) - ((cos(u) * sin(3.14159 / 2)))^(2))) + ((((cos(u) * sin(3.14159 / 2)) * sin(u)) * sin(3.14159 / 2)) * (((sin(u) * sin(3.14159 / 2)))^(2) - ((cos(u) * sin(3.14159 / 2)))^(2))))) * cos(zAngRot)))), (r * ((((-1 / 2 * ((2 * ((cos(u) * sin(3.14159 / 2)))^(2)) - ((sin(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2) + ((((2 * sin(u)) * sin(3.14159 / 2)) * cos(3.14159 / 2)) * (((sin(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2))) + (((cos(3.14159 / 2) * cos(u)) * sin(3.14159 / 2)) * (((cos(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2))) + ((((cos(u) * sin(3.14159 / 2)) * sin(u)) * sin(3.14159 / 2)) * (((sin(u) * sin(3.14159 / 2)))^(2) - ((cos(u) * sin(3.14159 / 2)))^(2))))) * cos(zAngRot)) * sin(zAngInc)) + (((sqrt(3) / 2 * (((sin(u) * sin(3.14159 / 2)))^(2) - (cos(3.14159 / 2))^(2) + (((cos(3.14159 / 2) * cos(u)) * sin(3.14159 / 2)) * ((cos(3.14159 / 2))^(2) - ((cos(u) * sin(3.14159 / 2)))^(2))) + ((((cos(u) * sin(3.14159 / 2)) * sin(u)) * sin(3.14159 / 2)) * (((sin(u) * sin(3.14159 / 2)))^(2) - ((cos(u) * sin(3.14159 / 2)))^(2))))) * sin(zAngRot)) * sin(zAngInc)) + ((((cos(u) * sin(3.14159 / 2)) + (sin(u) * sin(3.14159 / 2)) + cos(3.14159 / 2)) * (((cos(u) * sin(3.14159 / 2)) + (sin(u) * sin(3.14159 / 2)) + cos(3.14159 / 2))^(3) + (((4 * ((sin(u) * sin(3.14159 / 2)) - (cos(u) * sin(3.14159 / 2)))) * (cos(3.14159 / 2) - (sin(u) * sin(3.14159 / 2)))) * ((cos(u) * sin(3.14159 / 2)) - cos(3.14159 / 2))))) * cos(zAngInc)))) - 2, u, u1, u2) → curva1
  33. CurveCartesian((r * (((1 / 2 * ((2 * ((cos(u) * sin(β)))^(2)) - ((sin(u) * sin(β)))^(2) - (cos(β))^(2) + ((((2 * sin(u)) * sin(β)) * cos(β)) * (((sin(u) * sin(β)))^(2) - (cos(β))^(2))) + (((cos(β) * cos(u)) * sin(β)) * (((cos(u) * sin(β)))^(2) - (cos(β))^(2))) + ((((cos(u) * sin(β)) * sin(u)) * sin(β)) * (((sin(u) * sin(β)))^(2) - ((cos(u) * sin(β)))^(2))))) * sin(zAngRot)) + ((sqrt(3) / 2 * (((sin(u) * sin(β)))^(2) - (cos(β))^(2) + (((cos(β) * cos(u)) * sin(β)) * ((cos(β))^(2) - ((cos(u) * sin(β)))^(2))) + ((((cos(u) * sin(β)) * sin(u)) * sin(β)) * (((sin(u) * sin(β)))^(2) - ((cos(u) * sin(β)))^(2))))) * cos(zAngRot)))), (r * ((((-1 / 2 * ((2 * ((cos(u) * sin(β)))^(2)) - ((sin(u) * sin(β)))^(2) - (cos(β))^(2) + ((((2 * sin(u)) * sin(β)) * cos(β)) * (((sin(u) * sin(β)))^(2) - (cos(β))^(2))) + (((cos(β) * cos(u)) * sin(β)) * (((cos(u) * sin(β)))^(2) - (cos(β))^(2))) + ((((cos(u) * sin(β)) * sin(u)) * sin(β)) * (((sin(u) * sin(β)))^(2) - ((cos(u) * sin(β)))^(2))))) * cos(zAngRot)) * sin(zAngInc)) + (((sqrt(3) / 2 * (((sin(u) * sin(β)))^(2) - (cos(β))^(2) + (((cos(β) * cos(u)) * sin(β)) * ((cos(β))^(2) - ((cos(u) * sin(β)))^(2))) + ((((cos(u) * sin(β)) * sin(u)) * sin(β)) * (((sin(u) * sin(β)))^(2) - ((cos(u) * sin(β)))^(2))))) * sin(zAngRot)) * sin(zAngInc)) + ((((cos(u) * sin(β)) + (sin(u) * sin(β)) + cos(β)) * (((cos(u) * sin(β)) + (sin(u) * sin(β)) + cos(β))^(3) + (((4 * ((sin(u) * sin(β)) - (cos(u) * sin(β)))) * (cos(β) - (sin(u) * sin(β)))) * ((cos(u) * sin(β)) - cos(β))))) * cos(zAngInc)))) - 2, u, u1, (2 * u2)) → a1
  34. Sequence(CurveCartesian[(r * (((1 / 2 * ((2 * ((cos(u) * sin(v)))^(2)) - ((sin(u) * sin(v)))^(2) - (cos(v))^(2) + ((((2 * sin(u)) * sin(v)) * cos(v)) * (((sin(u) * sin(v)))^(2) - (cos(v))^(2))) + (((cos(v) * cos(u)) * sin(v)) * (((cos(u) * sin(v)))^(2) - (cos(v))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * sin(zAngRot)) + ((sqrt(3) / 2 * (((sin(u) * sin(v)))^(2) - (cos(v))^(2) + (((cos(v) * cos(u)) * sin(v)) * ((cos(v))^(2) - ((cos(u) * sin(v)))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * cos(zAngRot)))), (r * ((((-1 / 2 * ((2 * ((cos(u) * sin(v)))^(2)) - ((sin(u) * sin(v)))^(2) - (cos(v))^(2) + ((((2 * sin(u)) * sin(v)) * cos(v)) * (((sin(u) * sin(v)))^(2) - (cos(v))^(2))) + (((cos(v) * cos(u)) * sin(v)) * (((cos(u) * sin(v)))^(2) - (cos(v))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * cos(zAngRot)) * sin(zAngInc)) + (((sqrt(3) / 2 * (((sin(u) * sin(v)))^(2) - (cos(v))^(2) + (((cos(v) * cos(u)) * sin(v)) * ((cos(v))^(2) - ((cos(u) * sin(v)))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * sin(zAngRot)) * sin(zAngInc)) + ((((cos(u) * sin(v)) + (sin(u) * sin(v)) + cos(v)) * (((cos(u) * sin(v)) + (sin(u) * sin(v)) + cos(v))^(3) + (((4 * ((sin(u) * sin(v)) - (cos(u) * sin(v)))) * (cos(v) - (sin(u) * sin(v)))) * ((cos(u) * sin(v)) - cos(v))))) * cos(zAngInc)))) - 2, u, u1, u2], v, v1, v2, paso) → list2
  35. Sequence(CurveCartesian[(r * (((1 / 2 * ((2 * ((cos(u) * sin(v)))^(2)) - ((sin(u) * sin(v)))^(2) - (cos(v))^(2) + ((((2 * sin(u)) * sin(v)) * cos(v)) * (((sin(u) * sin(v)))^(2) - (cos(v))^(2))) + (((cos(v) * cos(u)) * sin(v)) * (((cos(u) * sin(v)))^(2) - (cos(v))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * sin(zAngRot)) + ((sqrt(3) / 2 * (((sin(u) * sin(v)))^(2) - (cos(v))^(2) + (((cos(v) * cos(u)) * sin(v)) * ((cos(v))^(2) - ((cos(u) * sin(v)))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * cos(zAngRot)))), (r * ((((-1 / 2 * ((2 * ((cos(u) * sin(v)))^(2)) - ((sin(u) * sin(v)))^(2) - (cos(v))^(2) + ((((2 * sin(u)) * sin(v)) * cos(v)) * (((sin(u) * sin(v)))^(2) - (cos(v))^(2))) + (((cos(v) * cos(u)) * sin(v)) * (((cos(u) * sin(v)))^(2) - (cos(v))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * cos(zAngRot)) * sin(zAngInc)) + (((sqrt(3) / 2 * (((sin(u) * sin(v)))^(2) - (cos(v))^(2) + (((cos(v) * cos(u)) * sin(v)) * ((cos(v))^(2) - ((cos(u) * sin(v)))^(2))) + ((((cos(u) * sin(v)) * sin(u)) * sin(v)) * (((sin(u) * sin(v)))^(2) - ((cos(u) * sin(v)))^(2))))) * sin(zAngRot)) * sin(zAngInc)) + ((((cos(u) * sin(v)) + (sin(u) * sin(v)) + cos(v)) * (((cos(u) * sin(v)) + (sin(u) * sin(v)) + cos(v))^(3) + (((4 * ((sin(u) * sin(v)) - (cos(u) * sin(v)))) * (cos(v) - (sin(u) * sin(v)))) * ((cos(u) * sin(v)) - cos(v))))) * cos(zAngInc)))) - 2, v, v1, v2], u, u1, u2, paso) → list1

AI 绘图提示语参考

要绘制Boy表面，这是一个经典的非定向曲面。首先，画出两个椭圆和一个圆。椭圆与圆相交得到角度点。构造一些点作为参考。然后，通过角度和椭圆的参数生成一系列点，并用序列将这些点连接成曲线。最后，将曲线可视化。
以上提示语为根据原始绘图命令整理而来，仅供参考。