从列表构造的复积分演示
几何画板及绘图内容加载中,请稍等……
① 本范例通过GeoGebra动态展示如何从给定的复数点列表构造一条积分路径,并沿该路径计算复变函数的积分,直观呈现积分值随路径与函数的变化。② 核心数学概念包括复变函数积分、参数化曲线、黎曼和近似、以及复数平面上的路径积分,涉及函数在离散采样点上的取值与微小位移的乘积求和。③ 作图要点:使用Sequence、Zip、Element等命令生成复数列表与函数值序列,通过Vector和CurveCartesian构造路径向量与参数曲线,利用Integral命令计算实部与虚部的积分,并借助Textfield、Slider等交互控件调整参数(如n、a、b、dt),同时用Sphere、Intersect等辅助显示三维视角下的积分曲面或路径。④ 适合大学数学系或物理系学生学习复分析时使用,也可用于教师课堂演示复积分与路径无关性、柯西积分定理等概念,帮助理解积分与路径、函数奇点的关系。
GeoGebra 命令及参数
Sequence(t, t, a + dt, b + dt, dt) → t_1Zip(x_γ(B) + (y_γ(B) * ί), B, t_1) → z_1Sequence(t, t, a, b, dt) → t_*Zip(x_γ(B) + (y_γ(B) * ί), B, t_*) → z_*Zip(t - u, t, z_1, u, z_*) → dz_*Element(fnlist, fn_#) → FSequence((Element[fz_*, k] * Element[dz_*, k]), k, 1, n) → fdz_*Sequence(Sum[fdz_*, k], k, 1, n) → SUMfdz_*Zip((x(B), y(B), ht), B, fz_*) → fpoint_*Vector(z_#, f_{(z#).}) → wCurveCartesian(t, 0, ht, t, -5, 5) → XhCurveCartesian(0, t, ht, t, -5, 5) → YhSphere((0, 0, 4), 1) → RSIntersect(zAxis, RS, 2) → ASegment(A, f_{(z#).}) → f_sIntersect(f_s, RS) → P_∞, CZip((x(Z), y(Z), ht), Z, SUMfdz_*) → ESumSequence(Element[dz_*, k], k, 1, n) → dz_nCurveCartesian(x_γ(t), y_γ(t), t, a, b) → γTextfield(x_γ) → inputBox4Textfield(y_γ) → inputBox5Vector(z_#, Pointfz_#) → uZip(Vector[A, B], A, z_*, B, ESum) → ESumV_*Zip(Vector[A, B], A, z_*, B, fpoint_*) → fvec_*Integral(f) → Int_fElement(z_*, 1) → z_0Element(z_*, n + 1) → z_2Textfield(fnlist) → InputBox1