极简西方数学史

根据考古研究，我们已知最早的文明，两河文明，已经让初等数学在他们的生活中起到了不小的作用。巴比伦人的天文知识渊博而精确，例如关于太阳月，他们定出的值与真实值之间只差一秒。他们不光熟悉十进制，在计算大数的时候还补充了一种以六十为基数的进位制。一块距今约4300年的泥板表明，巴比伦人那时已经知道如何度量矩形、特殊三角形的面积，以及正多面体的体积。

在外来者当中，有些人把苏美尔的影响和知识带到了埃及，在这里，文明也达到了很高的成就。因为纸草书的存在，我们对埃及的了解比对巴比伦的要多。埃及人对数学有着广泛的贡献，他们完成了基本的算数四则运算，并把它们推广到分数上，并且有了求近似平方根的方法。他们已经有了算数级数，几何级数，立体图形求积，初等三角函数以及二次方程的知识。然而，无论是巴比伦人还是埃及人，都没有对自然现象进行耐心仔细的考察，拥有概括推理的能力，因此这些古老的文明中并没有产生真正意义上的科学。

虽然希腊人从古代文化中继承了大量资料，不过几乎所有人都承认，爱琴海的艾奥尼亚海岸是今天一切科学的起源。巴比伦人和埃及人从未想到过为了知识本身而去寻求知识的行为，而正是这种概念促使了“希腊的科学奇迹”的发生，这之中最惊人的进步便发生在数学上，并为其以后的发展奠定了永久的基础。以泰勒斯为首的艾奥尼亚学派将几何学等知识从埃及和巴比伦带回希腊，并提出了很多命题和基本原理。公元前6世纪末，由于波斯的入侵，人们向西方逃难，意大利和西西里岛变成了新的学术中心。建立于意大利南部的毕达哥拉斯学派把数学研究变成了一种自由教育的形式，整个数学变得更抽象，更加脱离经济生活需要了。毕达哥拉斯学派对数学发展产生了巨大影响，历时达两个世纪之久。

波斯于公元前480年被希腊联军击败后，雅典成为了世界经济和文化中心。这时出现了旨在教育国民，转播文化的哲人派，他们的思考对尺规作图等几何问题的发展影响很大，其中就有芝诺那些关于无限的著名悖论。波斯游牧民族的威胁消除后，雅典与斯巴达之间的同盟就被猜忌与不和取代了。伯罗奔尼撒战争一直延续到公元前404年，那一年雅典被迫投降。这段时期是苏格拉底和柏拉图的时代。与老师苏格拉底醉心于国家和伦理不同，柏拉图在游历期间对数学产生了浓厚的兴趣。因此对后世影响深远的柏拉图学园的哲学也成了数学的哲学。伟大的学者，哲学家亚里士多德也是柏拉图学园的学生，他让人们明白了公理，公设和定义之间的区别，他的著作包含很多重要的定理。亚里士多德留下的大量著作，直接统治了后来的“复兴时期”的所有学说，即使那些错误的力学原理一直持续到16世纪。

马其顿于公元前338年彻底击败雅典后，雅典城再也没能复兴起来。两年后，马其顿的新国王亚历山大大帝开始着手征服世界，建立了巨大而短暂的帝国。公元前332年，他在尼罗河畔建立了亚历山大城。这座城市后来的统治者托勒密与亚历山大大帝一样都是亚里士多德的学生，亚历山大城很快成为了新的经济与文化中心。从那以后，亚历山大这种学术中心的地位延续了千年，直到公元641年遭到阿拉伯人的洗劫。

亚历山大城的学者中，有三个人决定了此后数百年数学的进程：欧几里得，阿基米德与阿波罗尼奥斯。于公元前320年由欧几里得编写的《几何原本》是欧式几何的奠基之作。欧几里得使用了公理化的方法，这一方法后来成了建立任何知识体系的典范，在两千年间被奉为必须遵守的严密思维的范例。阿基米德被称为古代最伟大的数学家。他的发现涉猎极广，如给出许多求几何图形重心，包括由一抛物线和其网平行弦线所围成图形的重心的方法，还有采用不断分割法求椭球体、旋转抛物体等的体积，这种方法已具有积分计算的雏形。阿波罗尼奥斯是天才的几何学家，著有《圆锥曲线》一书，它将圆锥曲线的性质网罗殆尽，几乎使后人没有插足的余地。

公元元年以后，虽然在亚历山大的数学研究还在继续着，但人们对于这门学科的兴趣在逐渐减弱。希腊科学的黄金时代正在消褪，取而代之的是极端实际与不关心智慧追求的罗马文化，随后则是长达一千年的中世纪。这是黑暗的时代，希腊先哲们的荣光似乎远离了这块土地，无论是数学，还是其他思想，大都处于停滞乃至衰落状态。然而，天翻地覆的巨变正在缓缓酝酿着，而最终带来的，将是一场彻底的光明与复兴。

虽然文艺复兴被普遍认为是“人类从来没有经历过的最伟大的、进步的变革”，不过对于数学而言，智慧的火焰在黑暗时期也在不停地涌现，反抗着。东方的拜占庭帝国一直维持着一个学术背景，保存了不少希腊学术著作。阿拉伯人崛起后，很快从东西方的合流中发展出了高度的文化，希腊文化也由此保留。基督教征服西班牙后，阿拉伯文化被西欧所利用，大量希腊著作被译为拉丁文。中国的指南针传到西方后，提高航海技术的强烈需要极大地影响了天文学和数学两门基础科学。不过中世纪的人们过于尊敬亚里士多德的权威地位，以至于出现了纯粹解释历史文献的学问。这与自然科学的理念背道而驰，在这样的气氛里，数学只能勉强维持下来。

1453年，君士坦丁堡被土耳其人攻陷。继承了罗马和希腊，绵延千年的拜占庭帝国覆灭。许多学者带着著作来到意大利避难，受到了美第奇家族的欢迎。西方终于能够直接看到希腊经典著作的原文，而整个西方世界也揭开了那个最有名的繁盛时期。

数学在这个全面复兴的局面中没有落后，不久它就获得了自从希腊文化衰落以来从未有过的领导地位。以前一直被忽视的算数开始兴起，三次和四次方程的解已经得出，负数甚至虚数获得了应有的地位，三角学开始作为一门独立学科出现，而属于物理学范畴却对本文及其重要的一个事实是：沉寂了18个世纪的力学，终于开始吸引人们的注意了。文艺复兴始于当时最强盛的意大利和德国，汉萨联盟仍然控制着北方的贸易，而佛罗伦萨和威尼斯正处于繁荣昌盛的顶峰。法国的重要性直到16世纪末才表现出来，并牢牢占据领导地位达一个世纪之久。

1600年可能是数学史上最重要的一个世纪的开端。笛卡尔在此四年前出生，随后又有帕斯卡尔和费马诞生。这三个人注定要改变整个数学面貌。在16世纪，大多数数学科目都有了具体的进展，不过新世纪的开始预告了一个更为壮观的发展。代数在几何上的运用使笛卡尔让解析几何臻于完善，帕斯卡尔发展了射影几何，小数和对数的应用提升了计算方法，费马等人开始研究数论和概率论，古代极微分割方法被引人几何学，并最终导致了微积分的发明。在开普勒等前人的基础上，笛卡尔和费马分别发明了解析几何。笛卡尔的《几何学》是论述解析几何的一部经典之作。而对于概率论最早的探索，要归功于费马和帕斯卡尔。这一研究经过了漫长的历史，直到如今，仍然在吸引着众多科学家的注意力。

随着数学的稳步前进，力学一直落在后面。虽然阿基米德指出过正确的方向，但在1800年来取得的进展很小。不过16世纪末开始，由于出现了机器，力学原理的研究终于开始了。伽利略，笛卡尔，惠更斯等人对这门学科做了极大的拓展。不过在他们手里，力学已经达到了这样的高度：如果不发明新的，更有力的方法，就几乎不可能取得进一步进展了，而同时期的数学的处境也差不多。幸运的是，这种现象并没有被耽搁很久，因为在1642年，牛顿出生了。

微积分并非没有前身突然产生的，它是许多学者长期探索的思想结晶。在确定曲线图形的面积问题上，阿基米德曾用到了穷竭法，从中可以清楚地看到无穷小的分析原理，2000年后卡瓦列里又恢复了这方面的探索，经过托里拆利，费马，惠更斯，沃利斯等人的推广与改进，形成了积分学中求和的形式。在做曲线切线的问题上，阿基米德的螺线切线之后，笛卡尔和费马又做出了发展。

牛顿的万有引力定律与二项式定理是伟大的贡献，而其不朽著作《原理》标志着经典力学体系的建立。其全书贯穿了流数，也就是微积分的概念。牛顿的重要性在于，他集各家之大成，提出了变化率，微分与积分互逆等微积分的基本概念，并把这个方法变成了一个完整的工具体系。在德国，微积分的原理是由莱布尼兹发展起来的。根据莱布尼兹自述，他是在1674年发明微积分的，牛顿声称他逐渐攻下流数是在1666年。由此，英国与欧洲大陆数学家分道扬镳，这是科学史上不幸的一章。在这场争论中，莱布尼兹的记法被用到了今天，而现在人们公认牛顿和莱布尼兹是各自独立创建微积分的。微积分的创立，标志着世界进入一个新纪元。从17世纪起，科学就开始将原来以基督教为中心的文化变革成现在这样以科学为中心的文化。

1640年英国资产阶级革命后，英国确立了君主立宪制，世界进入了近代史时期。1701年普鲁士王国成立，1776年美国独立，1789年法国大革命，封建制度的衰亡和资本主义的成长是这一时期的中心内容，英国、德国、法国成为这一时期数学家的主要家园。在17世纪后半叶，数学取得了惊人的进展，微积分是强有力的工具，但必须批判地考察其基础。这就是下一个世纪的主要工作之一。在18世纪，数学的主流是由微积分发展起来的数学分析。数学分析的发展使力学和天体力学深化，而后者的课题又成了数学分析发展的动力。

从数学家的角度而言，18世纪是“英雄的时代”，各路豪杰尽显威名，包括科学史上著名的伯努利家族；几乎对每个数学分支都做出了重要贡献的欧拉；赋予微积分清楚严谨的基础的柯西；18世纪最顶级的数学家拉格朗日；此外还有泰勒，麦克劳林，斯特林，兰登，傅里叶，等等，他们为发展微积分做出了突出贡献。而蒙日，卡诺和彭塞列则创立了近代几何的开端。拉格朗日于1766年受腓特烈大帝邀请来到柏林。这20年里，他的作品浩如烟海，并酝酿了他最伟大的著作《分析力学》。 当时，法国土地上的复兴气象正开始生成，巴黎再度成为数学教育中心。拉普拉斯和拉格朗日一样是分析学大师，他在天文力学上取得了惊人的成果，著有《天体力学》一书。 随着拿破仑的铁骑横扫欧陆，这个时代也是法国历史上科学成就最丰富的时代之一。

18世纪末，法兰西的土地上已经取得了最大进展。随着19世纪的到来，德国很快跃居首位。高斯，阿贝尔，伽罗华等人发扬了费马在代数上的贡献。高斯是这个时代乃至所有时代最伟大的数学家，他对数学的严密性有更高的要求，他全面发展了纯粹数学和应用数学的所有领域。 由于高斯进行了各种各样的研究，数学已经变得越来越高度专门化了，更加脱离了经济生活的需要，学者们开始培养起为数学而研究数学的兴趣。

1897年召开了国际数学家大会，揭开了20世纪纯粹数学大发展的时代，数学的分支很快变得越来越多，其中每个都是需要专家来研究的一门科目。企图涉猎整个领域的最后一人是庞加莱，目前来看，即使有第二个高斯出现，他能否涉及极少几个分支而显得游刃有余，那都是值得怀疑的。数学已经发展成为一个如此巨大的结构，对各个学科起着基石作用，而如今我们可以毫不含糊地说：数学就是一切科学之王。

∑编辑 | Gemini

来源 | 简书

算法数学之美微信公众号欢迎赐稿

稿件涉及数学、物理、算法、计算机、编程等相关领域，经采用我们将奉上稿酬。

投稿邮箱：math_alg@163.com