证明费马大定理的过程可以算得上是一部数学史

牛顿267、证明费马大定理的过程可以算得上是一部数学史

 

穷竭法（百度百科）：…

…穷、竭（jié）、穷竭，法，穷竭法：见《牛顿245》…

 

企图修改穷竭法的途径有两种：一是对不同的直（曲）线形用不同类型的直（曲）边形去逼近，而l7世纪的数学家则采用了系统的程序、在老方法中用到双重归谬的地方、使逼近程序模糊地成为无穷，当时并没有明显地从极限上着想。

…企、图、企图：见《牛顿265、266》…

…数、学、数学：见《欧几里得49》…

（…《欧几里得》：小说名…）

…家：掌握某种专门学识或从事某种专门活动的人：专～。画～。政治～。科学～。艺术～。社会活动～…见《欧几里得92》…

…系、统、系统：见《欧几里得37》…

…程、序、程序：见《欧几里得194》…

…归、谬、归谬：见《欧几里得76》…

…无、穷、无穷：见《牛顿136》…

…极、限、极限：见《欧几里得178》…

后一条新途径是斯蒂文（Simon Stevin）于1586年（即莱布尼兹于1684年和牛顿1687年分别首次发表他们的微积分方面著作前一个世纪）在他的《静力学》（Statics）中提出的、后来有许多追随者，包括费马在内。

斯蒂文的步骤向极限方法的形成迈进了一步。当然当时的极限观念是模糊的，但数学家们采用的不严格的外理方法却得到了丰富的成果，如开普勒、卡瓦列里。

…方、法、方法：见《欧几里得2、3》…

…严、格、严格：见《欧几里得125》…

…开普勒：见《牛顿24》…

…卡瓦列里（Cavalieri，Francesco Bonaventura 1598～1647）：意大利数学家，积分学先驱者之一…

 

其时似乎没有数学家顾虑到其严格的基础问题。卡瓦列里就曾说过：“严格是哲学所关心的，而不是几何学所关心的事情。”

…基、础、基础：见《欧几里得37》…

…哲、学、哲学：见《欧几里得110》…

…几、何、几何：见《欧几里得28》…

 

直到二百年后，在柯西等人那里，分析学才又重新获得了它的严格性。

…柯西：见《266》…

…性：1.物质所具有的性能；物质因含有某种成分而产生的性质：黏～。弹～。药～。碱～。油～。2.后缀，加在名词、动词或形容词之后构成抽象名词或属性词，表示事物的某种性质或性能：党～。纪律～。创造～。适应～。优越～。普遍～。先天～。流行～…见《欧几里得10》…

 

这种螺旋式上升正是事物发展的一般道路。

…事、物、事物：见《欧几里得21》…

…发、展、发展：见《伽利略21》…

（…《伽利略》：小说名…）

 

在向积分的发展方向上，开普勒、费马、格雷戈里、卡瓦列里、瓦利斯等人都做出了自己的贡献。

…开普勒：见《牛顿24》…

…费马一般指皮耶·德·费玛…

 

皮耶·德·费马（Pierre de Fermat，1601年8月17日～1665年1月12日）：法国律师和业余数学家。他在数学上的成就不比职业数学家差，他似乎对数论最有兴趣，亦对现代微积分的建立有所贡献。

…数、论、数论：见《欧几里得15》…

 

被誉为“业余数学家之王”。

之所以称业余，是由于皮耶·德·费马具有律师的全职工作。

…工、作、工作：见《伽利略22》…

 

费马最后定理在中国习惯称为费马大定理，数学界原名“最后”的意思是：其它猜想都证实了，这是最后一个。

…定、理、定理：见《欧几里得2》…

 

费马大定理：又被称为“费马最后的定理”，常见的表述为当整数n>2时，关于xn + yn = zn 的方程没有正整数解。

…方、程、方程：见《伽利略53》…

 

公元17世纪，法国数学家皮耶·德·费马提出费马猜想，但没有给出证明。

…证、明、证明：见《欧几里得6》…

 

此后三百多年，费马猜想一直无人可以证明。

德国人沃尔夫斯凯尔曾宣布以10万马克作为奖金奖给第一个证明该定理的人。

由于定理表述易于理解，许多数学爱好者尝试去证明，但最终都被否定。

 

1995年，安德鲁·怀尔斯等人将费马猜想证明过程发表在《数学年刊》，成功证明了这一定理。

 

费马大定理表述虽简单，但它的证明耗费了数代人的努力，许多数学家在证明过程中发现了许多新的数学理论，拓展了新的数学方法。

…简、单、简单：见《伽利略13》…

…过、程、过程：见《欧几里得194》…

…理、论、理论：见《欧几里得5》…

 

证明费马大定理的过程可以算得上是一部数学史。

“阿波罗尼奥斯（英文：Apollonius of Perga，生卒年：约公元前262～190年）：古希腊数学家，与欧几里得、阿基米德齐名。

请看下集《牛顿268、《圆锥曲线论》将圆锥曲线性质网罗殆尽，使后人没有插足余地》”

若不知晓历史，便看不清未来

欢迎关注哔哩号“中国崛起呀”