反正切函数实部可视化:复平面上的三维曲面

反正切函数实部可视化:复平面上的三维曲面
几何画板及绘图内容加载中,请稍等……
2019-03-19 20:05
该范例通过三维曲面展示复变函数 arctan(z) 的实部在复平面上的分布,直观呈现多值函数的分支结构。核心数学概念包括复变函数、反正切函数的多值性、实部与虚部分解,以及黎曼曲面思想。作图要点:使用 GeoGebra 的 Surface 命令构建参数曲面,结合 SelectedIndex 与按钮交互切换分支(ListBranches 中的 B0 至 B4),并利用 Re、Im 提取实虚部,通过 RSRe 等对象控制曲面着色与显示。适合大学复变函数课程或高阶数学爱好者,用于理解多值函数的分支切割与可视化。

GeoGebra 命令及参数

  1. SelectedIndex(ListBranches) → index
  2. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (0 - 2)) * (1 - t)), u, 0, 2, v, ((-π)) / 2, π / 2 - π / 1000) → B0
  3. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (1 - 2)) * (1 - t)), u, 0, 2, v, ((-π)) / 2, π / 2 - π / 1000) → B1
  4. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + (0 * (1 - t)), u, 0, 2, v, ((-π)) / 2, π / 2 - π / 1000) → B2
  5. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (3 - 2)) * (1 - t)), u, 0, 2, v, ((-π)) / 2, π / 2 - π / 1000) → B3
  6. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (4 - 2)) * (1 - t)), u, 0, 2, v, ((-π)) / 2, π / 2 - π / 1000) → B4
  7. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (4 - 2)) * (1 - t)), u, 0, 2, v, π / 2 + π / 1000, (3 * π / 2) - π / 1000) → C4
  8. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (0 - 2)) * (1 - t)), u, 0, 2, v, π / 2 + π / 1000, (3 * π / 2) - π / 1000) → C0
  9. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (1 - 2)) * (1 - t)), u, 0, 2, v, π / 2 + π / 1000, (3 * π / 2) - π / 1000) → C1
  10. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + (0 * (1 - t)), u, 0, 2, v, π / 2 + π / 1000, (3 * π / 2) - π / 1000) → C2
  11. Surface((u * cos(v)), (u * sin(v)), (0 * (1 - t)) + (Re((u * cos(v)), (u * sin(v))) * If[0 ≤ t ≤ 1, t, 1]) + (0 * (2 - t)) + ((π * (3 - 2)) * (1 - t)), u, 0, 2, v, π / 2 + π / 1000, (3 * π / 2) - π / 1000) → C3
  12. Surface((u * cos(v)), (u * sin(v)), Re((u * cos(v)), (u * sin(v))), u, 0, 2, v, (-π), π - π / 1000) → RSRe
  13. Surface((u * cos(v)), (u * sin(v)), Re((u * cos(v)), (u * sin(v))), u, 0, 2, v, π / 2 + π / 1000, (3 * π / 2) - π / 1000) → RSRe2
  14. Surface((u * cos(v)), (u * sin(v)), Re((u * cos(v)), (u * sin(v))), u, 0, 2, v, ((-π)) / 2, π / 2 - π / 1000) → RSRe1

AI 绘图提示语参考

绘制一个三维曲面,展示复反正切函数实部的多值分支结构。以极坐标参数化复平面,半径从0到2,角度覆盖两个半圆区域,分别对应正负实轴两侧。曲面高度由实部函数决定,并叠加不同整数倍的π偏移,形成五个平行层状分支,每层在角度边界处有微小间隙以显示分支切割。另绘制一个基础参考曲面,展示无偏移的实部分布。整体呈现层叠的螺旋阶梯状表面,颜色可区分不同分支,用于直观理解多值函数的黎曼面结构。
以上提示语为根据原始绘图命令整理而来,仅供参考。