数学联邦政治世界观
超小超大

费马大定理 (5-1)

Fermat's Last Theorem,费马的最后定理,这是它的英文直译,也是比较严谨的“官称”,中文翻译“费马大定理”。之所以叫“最后定理”,不是说,这是费马有生之年提出的最后一个定理,而是,这是费马一生提出的众多猜想当中,最后一个未被验证的。当然了,现在它不再是猜想,而是真正的费马最后定理。出于我们的阅读习惯,后文仍旧称之为“费马大定理”。

费马和拉马努金类似,在证明的看重方面比亚瑟·凯莱还差一些。凯莱虽然不太看中证明,但他知道证明的重要性,只是他更愿意提出新概念,比如行列式、矩阵等。费马和拉马努金则完全不同,费马号称“业余数学家之王”,他提出过很多的命题,但都不去证明。据说除了费马数 2²ⁿ+1 以外,其它被验证的猜想都是正确的,包括他“最后的定理”。我知道的信息并不权威,传说,费马在费马数的结论上也是有所怀疑的,他没有完全确定那个公式导出的都是素数。如果这是真的,那就意味着他有超人般的数论直觉,与拉马努金不相上下。

关于大定理,费马有耳熟能详的传奇故事:将一个立方数分解成两个立方数之和,或一个四次方数分成两个四次方数之和,或者更一般地,将一个高于二次的幂分成两个同次幂之和,这是不可能的。对此我确信已发现了一种美妙的证法 ,可惜这里空白的地方太小,写不下!

现在几乎没人相信费马真的有过这样的证明。虽然没有定理表明费马大定理不能在初等意义下被证明,但是我们已有的解决方案显示,这不是费马所处时代的数学可以解决的。因此,可以比较靠谱的估计,用初等方式证明该定理的概率不会超过1%。

下面我们开始讨论证明主线,不用太担心,我们选择的讲述内容涉及的概念都不算困难。

证明它的路线所用的主要工具是所谓的椭圆曲线,它的一般形式如下:

y²=ax³+bx²+c,其中a、b、c都是给定的值。

椭圆曲线不是椭圆,它们是数学家在计算椭圆周长时出现的。之所以一说它就把归为所谓的“代数几何”,那是因为,椭圆曲线其实是一个不相宜的名字,它诞生于所谓的“代数簇”,这有点像解析几何上的曲面,只不过代数簇是代数几何的“曲面”。既然它诞生于代数簇,那么它的标准称呼就是“一维阿贝尔簇”,你看,这回够“代数几何”了吧。

看它的方程,似乎有点像三次函数,但是它的“因变量y”是二次的。它不算太复杂,但肯定比一元三次方程复杂,尤其是它的判别式。我们需要两个特殊的椭圆曲线用作后面的例子,它们是

E₁:y²=x³+x

E₂:y²=x³-4x²+16

它们的图像分别是图一和图二。

第一个比较重要的概念就是所谓的椭圆曲线上模p的点。从现在开始字母p就代表素数,以后不再重复强调。

在基本素养这块你至少应该知道模算术的一些概念,比如 x ≡ 1(mod4) 的含义,它读作x与1模4同余,意思是说x-1是4的整数倍,即x-1=k·4,k∈Z,Z是整数集。在下面叙述中,模p和mod p是一个意思。

另外你还应该知道mod n,n>2时是对Z的一种实用的划分,我们重点关注mod 4。它把Z划分成如下四个子集【我们只看非负的元素】,利用上面的模算术的公式,你能得到它们的元素分别是:

[0]=0,4,8,12,16,…

[1]=1,5,9,13,17,…

[2]=2,6,10,14,18,…

[3]=3,7,11,15,19,…

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

一直都知道 连载中
一直都知道
社恐同学.
这部作品讲述是“我”生活在一个小县城里,有一个时好时坏的原生家庭,不理想的成绩,糟糕的社交,一个互相喜欢的人,因为家庭的原因,“我”一直否定......
0.8万字1个月前
术士世界 连载中
术士世界
野兔不秃
传说,世界上有一个术士世界,这个世界分为两派,一是术士,二是魔卫。术士擅长净化或消除黑灵,而魔卫则是利用黑灵蛊惑人心或提升自己的力量。(高冷......
3.2万字1个月前
潋幻春颂歌 连载中
潋幻春颂歌
frost千笙
谁把谁的灵魂,装进谁的身体谁把谁的身体,变成囹圄囚禁自己。Youarenotguilty,guiltyistheworld.
0.4万字1个月前
特种兵:小哥模板,全能指导员 连载中
特种兵:小哥模板,全能指导员
晚枫LS琪
卿言(男)穿越到特种兵世界,绑定全能系统,抽到小哥模板,斗过毒贩、刷过红海、去过长津h、八百、抗日......后来呀....后来.....无......
4.9万字1个月前
长桥月,相见欢 连载中
长桥月,相见欢
许宋肖
【原创小说,辣鸡文笔,不喜勿喷】【四年心血,善始善终,不会烂尾】重生前,她是南瑜长公主,他甘愿沦为质子,只是想陪着她,她被自己的哥哥害死,他......
30.1万字1个月前
润泽记 连载中
润泽记
咩咩咩呀
远古生物复苏了
2.2万字1个月前