数列极限的ε—N定义可视化:GGB课件制作全记录 - 拷贝

2026-07-22 07:51:58

一、为什么做这个课件？

数列极限的ε—N定义是高等数学教学的第一个抽象概念，"ε任意小"到底有多小？"存在N"到底在哪里？本课件把"ε收缩"和"点收敛"同步可视化——当ε缩小时，临界N自动增大，从第N项起所有点永久落入ε邻域——定义就"动"起来了，抽象变直观。

二、拆解题目

把“ε—N定义”翻译成“几何要素”

本课件，我选用的例子是数列an=1/n

三、核心难点与解法

难点一：所有点落在x轴：

点列 = 序列((1/ k,0),k, 1, n_最大)//纵坐标为0，全部落在x轴上。

难点二：自动区分"带内点"和"带外点"解法：使用条件子列指令（GGB 5.0标准指令）：

带内点 = 条件子列(x(P) < ε, P, 点列)//P在这里是一个临时变量，它的含义是：代表点列列表中的每一个点

带外点 = 条件子列(x(P) >= ε, P, 点列)

条件子列将点列物理拆分为两个独立列表，可分别设置颜色（红/蓝）、大小.

四、关键指令

GGB指令

以下是最终课件的完整指令，GGB 5.0 实测可用。

第一步：建立数轴与核心控制变量

L = 0

ε = 滑动条(0.01, 1, 0.01)

n_最大 = 滑动条(1, 300, 1)

数轴 = 向量((-0.5,0),(1.2,0))

第二步：生成数列点与ε邻域

点列 = 序列, k, 1, n_最大)

N = floor(1/ε)+ 1

邻域 = 线段（（-ε，0），（ε，0））

x = -ε//左边界

x = ε//右边界

临界N: x = 1 / N值

第三步：分离带内/带外点（核心）

带内点 = 条件子列(x(P) < ε, P, 点列)

带外点 = 条件子列(x(P) >= ε, P, 点列)

样式点击单独设置：

带内点设为红色、大小6；

带外点设为蓝色、大小4。

第四步：动态文字说明

文本ε = "ε = " + ε

文本N = "N = " + N值

文本结论 = "当 n > " + N值 + " 时，|1/n - 0| < " + ε + " 恒成立"

第五步：点标签(显示前10个点)

定义10个独立点并设置标签：

// 定义点Q1 = (1, 0); Q2 = ; Q3 = ; Q4 = ; Q5 = Q6 = ; Q7 = ; Q8 = ; Q9 = ; Q10 = // 设置标题设置标题; 设置标题; ... // 依此类推// 强制显示标题（数字2代表"显示标题"）设置标签模式(Q1, 2); 设置标签模式(Q2, 2); ... // 依此类推