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

费马大定理 (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),接着再看更方便。

相关小说

无限流:疯批美人她十恶不赦 连载中
无限流:疯批美人她十恶不赦
菱意笙枫
【已签约,签约时间为2024.8.29】【无限流/双女主/双强/金手指/微悬疑】  池漾意外进入了无限流副本当中,开局不但获得了金手指,还被......
7.7万字4个月前
雨过天晴(重逢后,他们懂得了相互珍惜) 连载中
雨过天晴(重逢后,他们懂得了相互珍惜)
不吃中药逢春
暴雨还在下,人们依旧在努力对抗。池墨砚的人生是灰蒙蒙的,如同黑夜一般。直到月亮升起,照亮了他,月亮带他到了一个群星聚集的地方。可是有一天,一......
7.6万字4个月前
火星重生 连载中
火星重生
花溪爪的火星
我们都一样。都要比其他猫付出更多的努力,才能得到他们的信任。他是你父亲,不代表你和他一样。——黑莓星为什么你们都不相信我!就因为我的父亲是暗......
4.0万字4个月前
界院 连载中
界院
龙蝎
天地初分,海水下沉,大陆升起,史称混元。经历数亿万载,混元大陆渐生灵气,化生万物,万物以灵气为养,又历经数亿万载,万物化而成形,名曰始灵。始......
18.0万字4个月前
近汝者甜 连载中
近汝者甜
冰梦兰
【是有关萌师在上的同人文♡】『五维虚空』绝对静止,你我皆璀璨。(=^o^=)
6.3万字4个月前
凹凸:金k 连载中
凹凸:金k
晚舟晨希
CP:金k,嘉瑞,洁凯
0.2万字4个月前