Curiosity

有限域上的点为何呈散点图

有限域上的代数曲线本质上是满足多项式方程的有限点集；当 p 增大时这些点在视觉上趋近于抛物线，但其精确结构由模 p 算术的离散性决定，而非实数几何。

Before you enter

A complete interactive classroom, not just a preview.

Start when you are ready to enter this Stage's 9 scenes and explore, respond, and learn as you go.

Scenes

18 min

Estimated

Created by

tonlin

Start this Stage

Remix into your version

Sign-in may be required to play

What happens inside

01一个反直觉的观察slide
Question
展示实数平面上 y = x² 的光滑抛物线，与 GF(7)、GF(11) 等小素数域上 (x, x²) 点集的散点图并列。提出驱动问题：为什么同一条'曲线'看起来完全不同？
- 实数抛物线是连续的光滑曲线
- 有限域上只画出有限个离散点
- 这些点看起来散乱而无序
02先猜一猜quiz
Prediction
在揭示原因之前，让学习者独立预测：随着素数 p 增大，GF(p) 上 (x, x²) 的散点图会怎样变化？
- 做出一个独立的初始假设
- 为后续证据对比建立锚点
03改变 p，观察散点图interactive
Evidence
提供一个可调素数 p 的交互模拟器，让学习者拖动滑块在 p = 5, 7, 11, 13, 17, 23, 31 之间切换，实时观察 (x, x²) 点集的分布如何变化。
- 点恰好有 p 个，x 取遍所有 GF(p) 元素
- 随着 p 增大，点越来越密集
- 点的 y 坐标只取模 p 的二次剩余
04视觉证据：p 越大，越像抛物线slide
Evidence
用静态对比图展示 p = 31、p = 97、p = 251 时的散点图与实数抛物线叠加，呈现"视觉收敛"现象——点云越来越像连续曲线，但永远是离散点。
- 密度随 p 线性增长
- 点云的包络趋近 y = x²
- 但每个点都是孤立的，无连线
05为什么是散点：离散性的本质slide
Explanation
解释核心机制：有限域 GF(p) 只有 p 个元素，自变量 x 只能取这些离散值，因此图像天然是 p 个孤立点的集合，没有"中间值"概念可以连成线。
- GF(p) 只有 p 个元素，无中间值
- x² 在 GF(p) 中通过模 p 乘法计算
- y = x² 不是几何曲线而是代数约束
06模运算可视化interactive
Explanation
交互展示 x 从 0 到 p−1 遍历时，x² mod p 的实际取值表，让学习者看到 y 值是如何被 p 的算术"截断"和"折叠"的。
- x² 取整后再取模 p
- 大数被 p 折叠到 [0, p-1] 区间
- 只有模 p 的二次剩余才出现
07边界情况：为什么 y = x² 不一定对称slide
Boundary
展示当 p 是奇素数时，x 和 p−x 给出相同的 x²，所以点集关于 x = p/2 对称；但 y 的取值受二次剩余限制，并非所有 y 值都出现，这是与实数抛物线的关键差异。
- 对称性来自 (p-x)² = x² mod p
- y 值只能取二次剩余
- 约一半的 y 值永不出现
08迁移：换一条曲线试试interactive
Transfer
让学习者切换函数：y = x³, y = x² + x, 或 y = x³ − x，观察不同代数曲线在 GF(p) 上的散点图形态差异。
- 从二次迁移到三次函数
- 对称性会变化
- 散点结构对所有多项式都成立
09回到驱动问题slide
Resolution
直接回答：有限域上的点呈散点图，是因为 GF(p) 只有 p 个离散元素，多项式图像只能是有限点集；视觉上趋近抛物线只是高密度错觉，本质是模 p 算术决定的离散代数结构。
- 有限性 ⟹ 离散点集
- 视觉趋近但本质离散
- 结构由模 p 二次剩余决定