六百英里600 Millas
《六百英里600 Millas》，剧情作品，美国,墨西哥出品，2015年上映。
🏷️ 相关标签
🎬 相关推荐
💬 网友评论
集故事性和知识性于一体，故事情节组织的对读者也很有吸引力
大体理一下费马大定理的来历和重要事件节点(不要说我剧透啊，否则请忽略下面一长段文字)
从现在的小学生都能知道的毕达哥拉斯定理（Pythagoras，约公元前580年~~约前500年，古希腊数学家、哲学家）开始引导出费马大定理的猜想：
毕达哥拉斯方程：
x2+y2=z2
如果把方程的指数从平方改为立方，似乎就不成立了，也就是说下面这个方程无解（但是没办法给出数学证明）：
x3+y3=z3
进而，17世纪法国“业余”数学家皮埃尔·德·费马令人惊讶地宣称，没有人能找到任何解的原因就在于根本没有解存在，而且费马还提出了更一般的形式：
xn+yn=zn，当是n＞2整数时，无解
，更加令世人迷惑和懊恼的是，费马只是在一本剧的某页边角上写下了对后世而言谜一样的一句话：我已经有一个“十分美妙”的证明而特别愉快，但这里的空白太小，写不下我的证明过程(事实上费马在其他地方有提到过n=4时候的简略证明方式)。
历代数学高人对“费马大定理”几乎是束手无策：
欧拉也只是解决了其中一个特例，即n=3（参考了费马证明n=4的一些思想）
19世纪初法国女数学家热尔曼的方法，可以证明n=5和7的情形
但是各个击破发解决不了无穷多质数的情形
高斯甚至公开宣称自己无意于费马猜想（只是不知道他私下是否有尝试过，但是他和热尔曼有过积极的交往）
后来的世人大致只能推测通过反证法来解决这个猜想（反证法最先是公元前300年古希腊的欧几里得用来证明根号2是无理数的），但是证明的方向却是一片黑暗。
外围“无意”的发展：
1830年代，年轻气盛的法国人伽罗瓦，在寻求5次及更高次方程的解（发展出群论）
谷山-志村猜想：1955年，提出：任何一个模形式（拓扑学）的M-序列都与一个椭圆方程的E-序列完全对应
格哈德·弗赖（Gerhard Frey）提出，假如费马大定理有哪怕至少一个解，那么就可以把它写成一个椭圆方程，这样的话，就转换成了对“谷山-志村猜想”的证明（寻找这个“费马椭圆方程”的模形式）
1983年，普林斯顿高等研究院的格尔德·法尔廷斯（Gerd Faltings）对理解费马大定理作出了一个重要的贡献：他能够用高维几何的方式证明费马猜想至少不是无限多个解
1988年，东京大学38岁的宫冈洋一（Yoichi Miyaoka）宣称已经发现了这个世界头号难题的解法，采用的是偏微分方程，但最终发现该方法也存在逻辑缺陷
怀尔斯：追寻“童年梦”之旅：
1. 从“岩沢理论”来入手，采用归纳法证明，2年后，发现走入死胡同。
2. “科利瓦金-弗莱切方法”：解决一类椭圆方程和模形式的对应关系，又经过6年的鏖战，终于公开发表。之后的论文审核过程却又发现也存在逻辑缺陷
3. 又经过一年多的绝望探索，蓦然发现，单靠岩沢理论不足以解决问题，单靠科利瓦金-弗莱切方法也不足以解决问题，但是它们结合在一起却可以完美地互相补足。
1994年10月25日11点4分11秒，最终的证明完成
还可以，介绍了一些理论和方法，只是每个都不是深度介绍，但每个人都会或多或少存在一些问题，读完此剧会有些启发，所以2星好评吧。
一切都是那样清新、亮丽，可是其中韵味却很厚实，耐人寻味。用轻松的语句道出深沉的哲理，这正是《六百英里600 Millas》迷人的原因。