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

费马大定理 (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.1万字1年前
彼岸花!的!秘密 连载中
彼岸花!的!秘密
晚宛i
彼岸花的秘密(最近不更,想要后续找我要)
0.1万字1年前
团宠礼神第一季 连载中
团宠礼神第一季
扶光2010
团宠小七的日常和小葫芦们新的冒险与敌人,及葫芦们腥风血雨的虐恋情仇(主要是我的梦)
2.9万字1年前
棠樾南寻 连载中
棠樾南寻
小陈同学暴富发财
千年前杻阳山地灵南樾为救洛族神女洛棠灰飞烟灭,洛棠为救人叛出洛族使用禁术收集到南樾一丝精魄,投于凡尘,从此洛棠于茫茫天地间寻一转世人。
18.8万字1年前
在地府搬砖后我养起了娃 连载中
在地府搬砖后我养起了娃
鸦执
工作辛苦,养娃不易。鸡飞狗跳十年后,小团子穆涂意外坠入轮回道,去了人界渡劫。结果几个月没见,怀里要吃糖的人长成了十六岁刺头,初见就回敬她一口......
22.6万字1年前
同时被两位大佬盯上怎么办? 连载中
同时被两位大佬盯上怎么办?
Colorful巧克力
陆辰死后来到了阴曹地府,开始做起了自己的小本生意。这生意虽然赚钱,但是不过有点不光彩。谁承想陈煜那家伙居然也下来了。那这祸源不就没人供了吗?......
7.8万字1年前