《超级工业黑科技系统》第269章 完成费马大定理证明！

    证明谷山-志村猜想，即可证明Frey的椭圆曲线刚好在这一特例范围内，那费马大定理不就成立了？
    在八年前，德国数学家弗雷建立了谷山-志村猜想和费马大定理的联系，即假定“费马大定理”不成立，即存在一组非零整数A，B,C，使得A的n次方+B的n次方=C的n次方（n>2）。
    那么用这组数构造出的形如y的平方=x(x+A的n次方）乘以（x-B的n次方）的椭圆曲线，不可能是模曲线。
    他试图用反证的方法去证明费马大定理，不过却因为种种原因最终搁置。
    当燕大的高材生们还在争论不休，甚至要开始动手的时候，李树起身走到大家面前道：“思路已经很明朗，不用在意他是哪国人提出来的猜想，他们只不过是发掘出宇宙中渺小的沙粒而已,不用带情绪。”
    李树随后自己手动把教研室的黑板擦干净，开始对谷山-志村猜想的解释。
    随着解释的深入，高材生们逐渐冷静下来，意识到这个猜想中的奥妙。
    虽说这个理论晦涩难懂，国内甚少有人流传，不过这些高智商的人，迅速理解了其中的奥妙，并开始分工合作证明起来。
    各种知识点的信息流飞速的在李树脑中流过，在信息流整理成型的时候，李树突然意识到，他距离证明已经不远了。
    高材生们的争执逐渐消失，变成了相互指点。
    当然，这并不代表证明过程轻松，要知道，另外一个时空的怀尔斯是几经周折才最终证明了费马大定理。
    时间来到晚上十一点，证明团队里的人依旧乐此不疲的在书写、讨论，并按照各自的分工去搜寻资料。
    李树不断的翻阅着他们的手稿，并不断的通过检索和模拟推理指出其中的谬误之处,果然,在运用这些高深且晦涩的数学理论的时候，很容易让人陷入陷阱，而在陷入证明的陷阱之后，很困难才能从陷阱中跳出来。
    在翻阅学生们稿件的过程中，李树自己的证明过程也正在慢慢的生成中。
    这时候，一个身着食堂工作服的大姐端着一个托盘走进来道：“各位同志，辛苦啦，尹院长让我给大家准备了宵夜。”
    宵夜是炸酱面，据说还是尹安亲手炒的香气扑鼻，上面的红萝卜丝切得也很整齐均匀。
    李树已经很久没吃炸酱面了，第一嘴下去相当的满足，粗细均匀的面条，一吃就是新鲜的手擀面。
    当夹起一根裹满酱汁的被切断的面条的时候，李树愣住了。
    并不是面条上有毛，或者有苍蝇。
    而是他看到这小段面条卷曲在一起，变成一个环，李树想到了复环面。
    这一刻,李树高速思考的大脑把之前所有证明过程联立在一起，在某一瞬间，李树放下筷子,喃喃自语道：“证毕。”
    其他正在大快朵颐的人根本没听到李树的轻声细语，而是直呼尹安院长的做面手艺高超。
    李树起身拿了一塌纸，去了隔壁空无一人的房间，他不准备让其他人看到自己超高速书写的非人类操作。
    在另一个时空，怀尔斯证明的过程是用英文书写的，很久以后才有人将其翻译成华夏人能够读懂的汉语过程，不过那依旧显得相当晦涩，而且翻译的痕迹极其浓重。
    现在，除了那些必须要用到国际公认数学符号的地方，所有需要语言表述的证明过程，李树全都用优美的汉语表达出来，让老外去晦涩难懂去！
    飞速书写的过程比打印机还要快，由于有旁征博引的过程，加上又对那些外国人发现的定理进行了详尽的解释，当证明过程过半的时候，稿纸已经用去了两百页，如果这么下去，证明过程讲用掉超过四百页。
    李树还留了另外一个给数学家看的简化版，可即便是这样，稿纸数量依旧是99页。
    这些证明过程里，李树画了大量的图，使其更加明了，为了让其看起来像手稿，李树故意使字体不太标准。
    当李树完成最后的证明的时候，还写下了一段话：费马大定理的证明过程是一部曲折而辉煌的数学史诗，这就好像一场接力赛一样，而完成最后一棒长跑的，是在东方华夏。
    必须要装这个逼，华夏的数学一直强大，却因为教育模式和理念的原因，错过了很多在理论数学界功成名就的机会，李树此举想让华夏教育界因为费马大定理的证明，而改变应试教育的本质。
    旁征博引版最终有413页，如果转化为带大量图片的电子版本，足足有300M。
    李树随后又用飞速手写的方式把给数学家看的99页稿纸写了出来，这个版本应该是向世界公布的扼要严格版本。
    当完成最后一页纸的时候，李树长舒一口气，把别人用了超过十年的脑力劳动，在六七个小时之内完成，还是相当烧脑的。
    这时候已经天亮了，长达十个小时的工作，还是让李树感到一丝疲惫。
    李树收拾好稿纸，准备去隔壁开会讨论的时候，门外传来尹安兴奋的声音：“李总，你在里边吗？学生们似乎找到突破口了。”
    李树进入教研室之后，看到六个高材生正在热烈的讨论着，他们已经就谷山-志村猜想的证明推进了很大的一步。
    只能说高材生的勤奋能力，也是常人不能比的，熬了一夜的他们虽然面容憔悴，不过思路依旧清晰。
    李树把他们的稿纸汇总过来一一查看，初看下来，他们已经完成了证明20%的进度，想当难能可贵。
    不过，李树还是从汇总的手稿中发现了问题，李树发现欧拉系的构造有严重缺陷，使科利瓦金—弗莱切方法不能对它适用，看到这里，他们还是走错的方向。
    “已经非常好了，大家已经走上了正轨，如果能够把某些问题解决掉的话，那将是一个完美而严谨的证明！”李树话中有话的说着，让高材生们迅速冷静下来。
    李树随后拿出自己的413页详细证明，分发给高材生们看。