《数学史选讲》解读课件.ppt

勇敢的罗巴切夫斯基 在非欧几何的三位发明人中，罗巴切夫斯基最早、最系统地发表了自己的研究成果，并且也最坚定地宣传和捍卫自己的新思想。他于1826年在喀山大学发表了演讲“简要论述平行线定理的一个严格证明”，而后又于1829年发表了《论几何原理》的论文，这是历史上第一篇公开发表的非欧几何文献，但由于是用俄文发表在《喀山通讯》上的而未引起数学界的重视。1840年用德文出版的《平行理论的几何研究》引起高斯的关注，这使他在1842年成为德国哥廷根科学协会会员。 非欧几何理论公开后，许多人群起攻之，说新几何是“荒唐的笑语”，是“对有学问的数学家的嘲讽”等。面对种种攻击，罗巴切夫斯基表现得比高斯更有勇气。一直到1855年，当他已是一位双目失明的老人时，还口述发表了著作《泛几何学》，坚信自己新几何学的正确性。 * 非欧几何的发展与确认 德国数学家黎曼（B.Riemann,1826-1866）于1854年发展了罗巴切夫斯基等人的思想而建立了一种更广泛的几何学----黎曼几何。 19世纪70年代以后，意大利数学家贝尔特拉米、德国数学家克莱因和法国数学家庞加莱等人先后在欧几里得空间中给出了非欧几何的直观模型，从而揭示出非欧几何的现实意义。至此，非欧几何才真正获得了广泛的理解。 * 第七讲 千古谜题 → （消二次项，令x=y-b/3a ）。令x=y+z， 则 。若 则上式成立，即 ， 解方程 得 ，所以三次方程的一个根是 （卡尔达诺公式） * 虚数的出现 在使用卡尔达诺公式解三次方程的时候，人们接触并大量使用了形如 的数，却始终不承认它们是真正的数，为此笛卡尔还特别称这种数为“虚数”，意思是虚无而不存在的数。1777年欧拉用 表示 ，1788年韦塞尔建立了复平面，将复数对应一个由原点出发的向量。1811年高斯提出可用复平面里的点表示复数，1831年阐述了复数加法与乘法的几何意义。复数的直观解释及其应用价值才使得这种数逐渐被接受。 * 卡尔达诺的贡献 其实，卡尔达诺本人已经接触到了虚数，并且认识到复根是成对出现的，而且三次方程有三个根，四次方程有四个根。在此基础上，荷兰人吉拉德（1593—1632）在《代数新发现》（1629）一书中又作出进一步推测：对于n次多项式方程，如果把不可能的根（复数根）考虑在内，并包括重根，则应有n个根，这就是“代数基本定理”。当然，吉拉德没有给出证明，19世纪初，高斯证明了这一定理。卡尔达诺还发现了三次方程的根与系数的关系，这种关系后来由韦达、牛顿等人作出系统阐述，故称韦达定理。 * 伽罗瓦的遗书 1831年7月伽罗瓦被关进监狱。1832年3月法国霍乱病流行，伽罗瓦被假释。出狱后不久，伽罗瓦便死于一场决斗。 决斗前夜，他通宵达旦地奋笔疾书自己的数学成果。他写道：“我在解析学中，创造出了许多新成果，……我想把这些没有解决的问题全部解决，展现在人们的面前。当写到没有时间了的时候，心里感到非常难受。” 遗书的主要内容，从数学方面看都是重要成果。他提出了群（置换群）的概念，用群的理论彻底解决了根式求解代数方程的问题。还可以推出倍立方体、三等分角尺规作图的不可能性。 伽罗瓦去世后14年（1846年），法国数学家刘维尔在其主编的《数学杂志》上首次发表了伽罗瓦的两篇遗作，伽罗瓦工作的意义才逐渐被人们所认识。 * 第八讲 对无穷的深入思考 康托尔明确提出了集合的“基数”的概念，若两个集合能建立一一对应的关系，则认为这两个集合的“基数”相等。显然，无穷集合的“基数”也有“大小”之分。 1891年，康托尔证明了著名的康托尔定理：集合的幂集的基数比原集合的基数大。从而可由此构造出各种等级的无穷大。 在自然数集的基数与实数集的基数之间是否还存在其它的基数？上述序列是否穷尽了一切无穷集合的基数呢？这就是著名的连续统假设。在1900年的国际数学家大会上，希尔伯特把它作为他所提出的23个著名数学问题当中的第一个问题。（1963年，美国数学家科恩证明：连续统假设的真伪不可能在策梅罗—弗兰克尔“ZF”公理系统