费马大定理的证明思路
费马大定理的证明不是一条初等捷径，而是一条由椭圆曲线、模形式和伽罗瓦表示铺成的现代数学高速公路，理解这条路线比记忆细节更重要。
A complete interactive classroom, not just a preview.
Start when you are ready to enter this Stage's 11 scenes and explore, respond, and learn as you go.
一条写在书页空白处的断言，为什么耗尽数学界300年？
- flt-statement
- 方程 xⁿ + yⁿ = zⁿ 在整数 n>2 时没有正整数（非零整数）解。
- reduction-prime
- 若存在反例，则可化归到指数为 4 或奇素数 p 的情形，因此只需讨论这些指数。
- infinite-descent
- 费马为 n=4 设计的反证法：假设最小勾股式解，再构造一个更小的解，导出矛盾。
- frey-curve
- 1985年 Frey 提出由反例 aᵖ+bᵖ=cᵖ 构造椭圆曲线 y² = x(x−aᵖ)(x+bᵖ)，把费马反例转化为椭圆曲线问题。
- modularity
- 谷山-志村猜想主张有理数域上的椭圆曲线都能由模形式参数化；这是怀尔斯证明的舞台。
- ribet-theorem
- Ribet 证明 Frey 曲线若存在则不可能被模形式参数化，从而把费马反例与谷山-志村猜想直接冲突。
- wiles-strategy
- 怀尔斯通过 Galois 表示与形变环理论证明了半稳定椭圆曲线满足模性，完成反证。
费马大定理的证明很短，像初等数论题一样几步就能完成
怀尔斯证明近200页，依赖整套现代数论工具；费马本人只解决了 n=4，且没有留下一般证明。
只要证明 n=4 就够了
n=4 只覆盖 4 的倍数；证明还需处理所有奇素数指数，费马大定理的难点在奇素数（尤其是 p≥5）情形。
椭圆曲线与费马大定理没有关系
Frey 在1985年构造的椭圆曲线正是连接费马反例与模形式理论的桥梁，这是证明的关键转折。
- 理解整数、质数与整除
- 了解方程 x²+y²=z² 与勾股数
- 熟悉反证法的基本思想
- 怀尔斯证明的严格技术细节
- 模形式与伽罗瓦表示的完整理论
- 自守形式与Langlands纲领的深入内容
- 解析数论的高级工具
- 能独立复述证明主线：反例→Frey曲线→非模→与谷山-志村矛盾→怀尔斯证明模性
- 能解释为何不能只证 n=4
- 能指出椭圆曲线在证明中的桥梁作用
- 将‘把数论问题翻译为几何/表示论对象再用反证法’的思想迁移到阅读其他现代数论猜想（如比尔猜想）的证明概要。
具备高中代数与少量数论常识的数学爱好者或理工科本科生；不需要学过椭圆曲线理论。
- 01问题的起点slideOrientationObserve
介绍费马大定理的表述、历史背景与为什么它如此著名。
- 方程 xⁿ + yⁿ = zⁿ，n>2 无非零整数解
- 费马在《算术》边页写下“我发现了一个绝妙的证明”
- 358年后才由怀尔斯完成证明
- 02拆解指数：n=4 与奇素数slideModel buildingObserve
说明如何把费马大定理化归到 n=4 和所有奇素数指数，并介绍无穷递降思想。
- 若指数含奇素数 p，原方程有解可推出 xᵖ+yᵖ=zᵖ 有解
- 费马先处理 n=4，用无穷递降构造更小反例
- 难点集中在奇素数指数上
- 03小范围搜索：眼见为实？interactivePredictionPredict
通过交互搜索体验 n=2 有无穷多勾股数，而 n≥3 在小范围内找不到任何解，体会反例可能极其庞大。
- 调整 n 和搜索范围观察 xⁿ+yⁿ=zⁿ 的解
- n=2 时出现毕达哥拉斯三元组
- n=3、n=4 时小范围内一无所获
- 04指数拆解自检quizAssessmentChoose
检验是否理解为什么只需讨论 n=4 与奇素数指数。
- 回顾指数化归路径
- 确认 n=4 与奇素数缺一不可
- 05关键转折：Frey 曲线slideModel buildingObserve
介绍 Frey 如何把一个费马反例翻译成一条特殊的椭圆曲线，建立数论与几何的桥梁。
- 若有反例 aᵖ+bᵖ=cᵖ，可构造曲线 y² = x(x−aᵖ)(x+bᵖ)
- 这条曲线被称为 Frey 曲线
- 问题从“整数解”变成“这条曲线是否存在”
- 06谷山-志村猜想：椭圆曲线的模性slideModel buildingObserve
介绍谷山-志村猜想的内容与它作为怀尔斯证明舞台的重要性。
- 猜想：所有有理数域上的椭圆曲线都是模的
- “模的”意味着可由模形式参数化
- 如果该猜想成立，费马反例会立刻与它冲突
- 07Ribet 定理：断掉最后的退路slideModel buildingObserve
说明 Ribet 定理如何证明 Frey 曲线不可能是模的，从而把反例与谷山-志村猜想推向矛盾。
- Ribet 证明 Frey 曲线不是模曲线
- 若费马反例存在，谷山-志村猜想就必须被推翻
- 由此证明路线变成：证明谷山-志村猜想在半稳定情形成立
- 08怀尔斯的策略：模性与形变slideModel buildingObserve
概括怀尔斯如何用 Galois 表示与形变环理论证明半稳定椭圆曲线满足模性，完成最后一块拼图。
- 怀尔斯证明的是半稳定椭圆曲线的模性
- 工具：Galois 表示、形变环、R=T 定理
- 最终与 Ribet 的矛盾链闭合，费马大定理得证
- 09常见误解辨析slideMisconception repairExplain
集中澄清三个常见误解，帮助学习者看清证明的真实形态与难点所在。
- 误解：证明很短，几步就能完成
- 误解：只要证明 n=4 就够了
- 误解：椭圆曲线与费马大定理无关
- 澄清：真正证明用整座现代数论大厦
- 10综合思路挑战quizApplicationApply
通过选择与排序题检验学习者是否掌握从费马反例到最终矛盾的整体论证链。
- 把反例→Frey曲线→非模→谷山-志村矛盾排序
- 指出怀尔斯证明的关键落点
- 11结语：一条现代数学公路slideSynthesisExplain
回顾整条证明路线，强调费马大定理证明的深刻启示与影响。
- 从整数方程到椭圆曲线、模形式与伽罗瓦表示
- 证明主线：反例→Frey曲线→Ribet非模→怀尔斯证模性
- 这是现代数论跨领域合作的典范
Discussion threads for a Stage aren't available yet.
