Transcript 数学文化第七讲
第七讲 • • • • • 数学思想与方法 数学思想与方法概述 18世纪前的数学思想方法 近现代数学思想方法 公理化 数学机械化 一、数学思想与方法概述 • • • • • 数学思想：关于数学概念、理论、方法以及形态的产生 与发展规律的认识，是对数学本质的认识，对数学自身规 律性的认识。 数学方法：数学思想指导下的数学问题解决过程中所运 用的具体手段（或途径）。 数学思想方法：人们混用数学思想或数学方法，有时不 一定要严格区分，合称数学思想方法。 数学思想方法是数学的灵魂，重大数学成果的取得，往往 与数学思想方法的突破分不开。 我们不只是为了了解、理解一些具体的数学思想方法，更 着 眼于在认识论、世界观和方法论等方面有所提高。 数学思想方法比具体的数学 知识更重要 • 数学在其漫长的发展过程中，不仅建立了严密的知识体系，而 且形成了一整套行之有效的思想和方法． • 日本数学家和数学教育家米山国藏在从事多年的数学教育研究 之后，说过这样一段话： “学生们在初中或高中所学到的数学知识，在进入社会后， 几乎没有什么机会应用，因而这种作为知识的数学，通常在出 校门后不到一两年就忘掉了．然而不管他们从事什么职业，那 种铭刻于头脑中的数学精神和数学思想方法，却长期地在他们 的生活和工作中发挥着作用”。 在提高人的素质中发挥重要作用的是在长期数学学习中逐 步形成的数学精神和数学思想方法，而不是具体数学知识． 蕴含的思想与抽象出来的思想 •数学思想，包括蕴含在数学知识 的发生发展过程中的思想以及从中 抽象出来的成为规律性的思想 •[美]M．克莱因的《古今数学思想》 （Mathematical Thought from Ancient to Modern Time ）（4册） 苏联亚历山大洛夫等于1956年发表的著作《数学— —它的内容、方法和意义》，当属前一类思想 国内，徐利治等一批数学家的工作属后者。 数学教学的过度包装 • 今天，学生们的数学知识，主要是从数学课 程中获得的。通常的数学课程给出的是一个 系统的逻辑叙述，这些课程经过编纂者的锤 炼，成为“完美”的典范。这就使学生们淹 没在成串的定理中，并产生一种幻象：数学 就是从定义到定理，数学家们都是无坚不克 的英雄。 历史却恰恰相反 “课本中的字斟句酌的叙述，未能表现出创造 过程的斗争、挫折，以及在建立一个可观 的结构之前，数学家所经历的艰苦漫长的 道路。学生一旦知道这一点，他将不仅获 得真知灼见，还将获得顽强地追究他所攻 问题的勇气，并且不会因为他自己的工作 并非完美无缺而感到颓丧。实在说，叙述 数学家如何跌跤，如何在迷雾中摸索前进， 并且如何零零碎碎得到他们的成果，应能 使搞研究工作的任一新手鼓起勇气。” 二、18世纪前的数学思想方法 • 提出了许多具体的方法，以解决数学中的 实际问题 • 古希腊的亚里士多德与欧几里得提出了公 理方法，将大量的、零散的几何知识系统 化，并由欧几里得等人完成了《几何原 本》。 • 中国古代数学家刘徽提出了“割圆术”， 以解决长期存在的、圆周率计算不精确的 问题，其中包含着极限思想方法的萌芽。 • 英国数学家纳皮尔发明了对数方法，以解 决天文观测及贸易中存在的繁重的数字计 算问题。 • 法国数学家帕斯卡确立了数学归纳法，以解决数学论 证中存在的不严密的问题。 • 法国数学家、哲学家笛卡尔提出了坐标法、用代数方 法研究几何问题，并从而开创了不同数学分支相结合 的思想方法。 • 英国的牛顿与德国的莱布尼茨创立了无穷小量方法。 • 瑞士数学家欧拉和法国数学家拉格朗日共同建立了变 分法，以解决“等周问题”、“最速降线问题”等长 期解决不了的极大与极小问题等。 三、近现代数学思想与方法 • 创立了一批具有突破性、系统性的思想方 法，促使数学的某些分支发生了革命性的 变革； • 主要体现在代数学、分析学分支以及公理 化体系、数学机械化等领域 1.代数学中群论的思想方法。 • 19世纪以来，人们在探求五次和五次以上 代数方程的代数解法问题上，打破了百余年来 毫无进展的僵局。 • 首先由挪威青年数学家阿贝尔证明了五次 方程代数解法的不可能性。 • 其次，又由法国青年数学家伽罗华提出了 “群”的概念，后发展为一整套群论的思想方 法，彻底地解决了五次及五次以上方程的求解 问题。 数学是研究相互关系的学问 • 不仅如此，群论的思想方法，在代数学的 其他分支、拓扑学、函数论乃至数学以外 的许多领域都得到了广泛的应用。由于群 论的诞生，使传统代数学所研究的对象由 具体的“数”扩充为更加抽象的“量”， 由量之间的代数运算关系发展为更为一般 的关系，从而使代数这门学科发生了转折 性的变化。 2. 分析学中的极限与集合论的思想方法 • 19世纪30年代至50年代，法国的柯西与德国的魏尔斯特 拉斯等人，在给出函数、极限等概念以精确化描述的基础 上，又通过严格化了的极限思想方法与实数理论改造了微 积分，并使其严密化和标准化。这是微积分学科发展史上 的一个重要里程碑。 • 1874年，德国数学家康托尔提出了集合论思想，建立起无 限集的势、序型等概念以及无限集合论和超限数理论，证 明了代数集合可以和整数集合一一对应，所有实数集合不 可数性，发展了无限集合势的比较原理，引入了连续公理 即康托尔公理等，并从而创立了集合论的理论。这一理论 的创立，不仅为微积分的理论奠定了稳固的基础，而且对 整个数学基础的研究，尤其对现代数学结构的探讨，也具 有巨大而深远的促进作用。 3.公理化思想 • 这一时期，还形成了影响广泛的数学公理化方法。到了19 世纪末20世纪初，由于非欧几何、无理数理论、集合论的 建立，有力地促进了数学公理化方法研究的开展。 • 1872年，德国数学家克莱因发表了“爱尔兰根纲领”，提 出用变换群的观点，给出各种几何学的综合分类，以统一 整个几何学。 • 1899年，德国数学家希尔伯特发表了《几何学基础》一书， 使公理化方法深入到数学的更多分支。 • 1908年，集合论完成了公理化，本世纪20年代，又实现 了代数学的公理化，从而使公理化方法应用于数学各个分 支。这场公理化运动，对数学的影响是前所未有的。 4.模糊数学方法 • 模糊数学是研究和处理模糊性现象的数学。所谓 模糊性，主要是指客观事物的差异在中介过渡时 所呈现的“亦此亦彼”的特征。 • 在社会、自然现象中，确实存在着不少“非此即 彼”的现象，一是一、二是二，绝对不能混淆， 这也是康托尔集合的特点。但也有一些对立概念 之间没有绝对分明的界限，如： 高个子与矮个子，优秀与良好等。也就是说， 这些概念都没有绝对明确的外延。没有明确外延 的概念，叫做模糊概念。模糊概念不能用康托尔 集合论来刻划，于是产生了刻划模糊概念的模糊 集合论，产生了模糊数学。 模糊数学的实质 • 模糊数学的实质是以数学的精确性，研究和处理 现象的模糊性。它和概率论同属不确定数学，但 概率论的研究对象是事物的偶然现象，模糊数学 的研究对象是事物的模糊现象，它们之间有深刻 的联系，又有本质的不同。 • 人脑能很便捷地处理的模糊信息，如对事物的辨 识、用力的平衡等。计算机的模糊识别与人工智 能是计算机科学的发展方向之一 马克思和恩格斯对数学思想的阐发 • 在这一时期，马克思和恩格斯在自己的著 作，尤其是《数学手稿》和《自然辩证法》 中，阐发了极其丰富的数学思想，从思想 方法角度论述了数学发展史上若干重大成 果和著名数学家。他们的论述是数学思想 方法研究的珍贵财富。 • 但遗憾的是，这些论述未能在当时发表和 发挥其应有的作用。 概括：近代数学中的思想与方法 • 数学思想： 代数、函数与方程、数形结合、分类与整 合、化归与转化、特殊与一般、或然与必 然等思想。 • 数学方法： 待定系数法、换元法、配方法、割补法、 反证法、数学归纳法等。 概括：现代数学基本思想方法 • 符号化思想：从记号到符号，“惊人的方式缩短思维”（莱布尼茨） • 算法化思想：对数学问题进行算法编程----机械化 • 集合思想：数学思想的现代语言，在精确地认识无限的基础上，重新认 识和解释数学的思想 • 极限思想：是有限和无限的辩证统一，是从有限进入无限的钥匙 • 变量思想：解析几何、微积分思想（线性化、 • 统计思想：以掌握事物总体的数量特征和规律为目标，它所关心的乃是 某些规定的总体或集合，而不是构成总体的各别元素或个体。 模糊数学思想：以数学的精确性，研究和处理现象的模糊性 数学思想与方法研究 • 数学家们一方面继续创造各种数学思想方法，并 用来推进数学的发展，另一方面，他们中的一部 分，特别是一些著名数学家，集中精力从事数学 思想方法理论的研究，并发表了一大批这方面的 论著。形成一个研究方向：数学方法论。 • 数学思想方法研究最早系统发表见解的要算德国 著名数学家希尔伯特于1900年在巴黎国际数学家 代表会上的演讲《数学问题》。在这篇演讲中， 他精辟地阐述了重大数学问题的特点及其在数学 发展中的作用，并列举了 “希尔伯特23个问题”。 他的演讲是一篇重要的数学方法论著作。 • 法国数学家Poincare于1903年至1908年之 间发表了《科学与假设》，《科学之价 值》、《科学与方法》等著作(均有中译 本)，其中，讨论了数学方法论的问题。 • 后来，德国数学家赫尔德发表了《数学方 法论》一书，书中对数学中的演绎方法、 归纳方法、公理方法与假设方法等进行了 系统的论述。 • 除前面提到过的克莱因的《古今数学思 想》、亚历山大洛夫等《数学——它的内 容、方法和意义》外，还有 • 1954年，美籍匈牙利著名数学家教育家、 斯坦福大学教授G·波利亚发表了《数学与 猜想》一书。波利亚在自己的教育实践中 认识到，数学中的发现常常是从估计、猜 想开始的，而这些估计、猜想经过实践检 验，再经过严格论证推理，最后获得定理、 公式等结论。 • 之前，他还发表《怎样解题》、《数学 的发现》等著作 米山国藏：《数学的精神、思想与方法》 • 1969年，日本著名数学家、教育家米山国 藏发表了《数学的精神、思想与方法》。 本书以数学中一些富有启发性的实例为依 据，系统地论述了贯穿于整个数学的数学 精神，一些重要数学思想与若干有效的数 学方法。它是把着眼点放在培养人们数学 能力和创造精神的一本理论专著。 国内数学思想与方法研究 • 近些年来，我国数学家徐利治十分注重数学 方法论的研究。他陆续发表了《浅谈数学方 法论》、《数学方法论选讲》和《数学抽象 度概念与抽象度分析法》等论著。 • 黄耀枢的《数学基础研究的历史与现状》， 郑毓信的《数学直觉浅析》、 《数学思维与 数学方法论》等。 • 解恩泽、赵树智：《数学思想方法纵横论》、 徐本顺、解恩泽：《数学猜想——它的思想 与方法》，《关于数学猜想的几个问题》 • 朱梧槚、肖奚安的《数学方法论ABC》， • 张奠宙、过伯祥的《数学方法论稿》， 《现 代数学思想讲话》等 四、公理化方法 • 所谓公理化方法，就是指从尽可能少的原始概念 和不加证明的原始命题（即公理、公设）出发， 按照逻辑规则推导出其他命题，建立起一个演绎 系统的方法。 • 恩格斯曾说过：数学上的所谓公理，是数学需要 用作自己出发点的少数思想上的规定。 • 公理化方法能系统的总结数学知识、清楚地揭示 数学的理论基础，有利于比较各个数学分支的本 质异同，促进新数学理论的建立和发展。 • 现代科学发展的基本特点之一，就是科学理论的 数学化，而公理化是科学理论成熟和数学化的一 个主要特征 几何基础 • 公理化方法发展的第一阶段是由亚里斯多德的完全 三段论到欧几里得《几何原本》的问世 。 • 大约在公元前3世纪，希腊哲学家和逻辑学家亚里斯 多德总结了几何学与逻辑学的丰富资料，系统地研 究了三段论，以数学及其它演绎的学科为例，把三 段论作为公理，由此推导出其它所有三段论法，从 而使整个三段论体系成为一个公理系统．因此，亚 里斯多德在历史上提出了第一个成文的公理系统． • 欧几里得把逻辑学的公理演绎方法应用于几何学， 从而完成了数学史上的重要著作《几何原本》． 逻辑学的三段论 • 三段论是由两个直言判断作为前提和一个 直言判断作为结论而构成的推理，其中包 含有（而且只有）三个不同的项。 • 例如： • 凡科学都是有用的 • 凡社会科学都是科学 • 所以，凡社会科学都是有用的 公理化方法发展3阶段与相应的理论 体系典范 • 公理化方法的发展大致经历了这样三个阶 段： • 实质（或实体）公理化阶段： 《几何原本》 • 形式公理化阶段： 《几何基础》 • 纯形式公理化阶段， ZFC公理系统 《几何原本》的不足 • 《几何原本》虽然开创了数学公理化方法的 先河，然而它的公理系统还有许多不够完善 的地方，其主要表现在以下几个方面： (1)有些定义使用了一些还未确定涵义的概念； (2)有些定义是多余的； (3)有些定理的证明过程依赖于图形的直观； (4)第五公设(即平行公设)内容复杂，陈述累赘， 缺乏说服力，并不自明 公理化与非欧几何 • 非欧几何的建立在数学史上具有划时代的 意义，标志着人们对空间形式的认识发生 了飞跃，从直观空间上升到抽象空间． • 在建立非欧几何的过程中，公理化方法得 到了进一步的发展和完善． 德国数学家帕斯(Moritz Pasch，1843-1930)第一 次从理论上提出了形式公理学的思想 • 他通过对射影几何公理化基础的纯逻辑的探讨，第一次从 理论上提出了形式公理学的思想． • 他认为，几何学如果要成为一门真正的演绎科学，最根本 的是推导的进行必须完全独立于几何概念的涵义，也必须 不以图形为依据． • 就是说，一个公理系统必然要有本系统里不定义的概念， 通过这些概念就可以给其它概念下定义，而不定义概念的 全部特征必须由公理表达出来．公理可以说是不定义概念 的隐定义．有些公理虽然是由经验提出来的，但当选出一 组公理之后，必须不再涉及经验及物理意义．公理决不是 自明的真理，而是用以产生任一特殊几何的假定．帕斯的 这些思想已经表达了形式公理系统的特征． 形式公理系统的形成 • 1899年希尔伯特《几何学基础》一书的发表，不 仅给出了欧氏几何的一个形式公理系统，而且解 决了公理化方法的一系列逻辑理论问题．这本著 作成为形式公理学的奠基著作． • 希尔伯特被认为是形式主义的奠基人。 • 希尔伯特几何公理系统，除了有几何模型外，还 可以有其它模型(如算术模型)，所以它是一个形 式公理系统，可以把其初始概念和公理看成是没 有数学内容的，初始概念和公理完全可以用形式 语言来陈述． 公理化方法的渗透 • 公理化方法在几何方面的成功，促使公理化方法渗 透到数学的许多分支，也包括其它科学领域。 • 数理逻辑、抽象代数、泛函分析、拓扑学等，以及 理论力学（Banach,1940）相对论等。 • 数理逻辑中的典型代表就是ZF公理系统，由策梅洛 (Zermelo)和弗伦克尔(Fraenkel)等提出。 • ZF公理系统再加上选择公理就构成了ZFC公理系统 公理化方法的意义与价值 • 当一门科学积累了相当丰富的经验知识，需要按照逻辑顺 序加以综合整理，使之条理化、系统化，上升到理性认识 的时候，公理化方法便是一种有效的手段。 • 公理化方法对建立科学理论体系，训练人的逻辑推理能力， 系统地传授科学知识，以及推广科学理论的应用等方面起 到有益的作用。 • 公理化方法对于进一步发展科学理论也有独特的作用．例 如在代数方面，由于公理化方法的应用，在群论、域论、 理想论等代数分支形成了一系列新的概念，建立了一系列 新的联系并导致了一系列深远的结果；在几何方面，由于 对平行公设的研究导致了非欧几何的创立． • 因此，公理化方法也是在理论上探索事物发展规律，作出 新的发现和预见的一种重要方法． 泛函分析简介 • 泛函分析（Functional Analysis）是现代数 学的一个分支，隶属于分析学，其研究的 主要对象是函数构成的空间。泛函分析是 由对变换（如傅立叶变换等）的性质的研 究和对微分方程以及积分方程的研究发展 而来的。使用泛函作为表述源自变分法， 代表作用于函数的函数。巴拿赫（Stefan Banach）、Hilbert 是泛函分析理论的主要 奠基人. 泛函分析的公理化思想方法 • 泛函分析主要研究定义在Banach空间上的 线性映射与线性泛函的性质 • Banach空间：完备的赋范线性空间 • 赋范线性空间 • 距离空间 • 完备 • Hilbert空间 曾远荣，我国泛函 分析第一代数学家 关肇直，中国泛函分 析领路人 田方增，中国科学院 数学研究所的筹建者 五、数学机械化思想 • 吴文俊和吴方法 中国科学院院士 第三世界科学院院士 首届国家最高科技奖 国家第一届自然科学奖 最高奖一等奖 自动推理的最高奖 Herbrand奖 2006邵逸夫数学奖 我国唯 一两次 获得国 家科学 最高奖 的数学 家 谷超豪 院士， 另一位 获得国 家最高 科技奖 的数学 家 1997年．吴文俊获得“赫布兰自动推理杰出成就奖”， 2006年，获得 “邵逸夫数学科学 前者是国际自动推理领域的最高奖，而后者被誉为数学的“东方诺贝尔奖”。 国家最高科技奖 • 2009年 谷超豪（1926-，数学家） 孙家栋（1929年-，运载火箭与卫星技 术专家，中国科学院院士，国际宇航科学院院士。） • 2008年 王忠诚 （1925--，神经外科专家） 徐光宪（1920--，化学家） • 2007年 闵恩泽（1924— ，石油化工催化剂专家） 吴征镒（1919— ，著 名植物学家） • 2006年 李振声（1931— ，遗传学家，小麦远缘杂交的奠基人） • 2005年 叶笃正（1916— ，世界著名气象学家） 吴孟超（1922— ，世界 著名肝脏外科学家） • 2003年 刘东生（1917—2008 ，著名地球环境科学家）王永志（1932— ， 著名航天技术专家） • 2002年 金怡濂（1929— ，高性能计算机领域的著名专家） • 2001年 王选（1937—2006，汉字激光照排系统创始人） 黄昆（1919— 2005，著名物理学家） • 2000年 吴文俊（1919— ，世界著名数学家） 袁隆平（1930— ，杂交水 稻之父） 中央电视台《大家》栏目： 《吴文俊·我的不等式》片断 什么是数学机械化 所谓机械化，无非是刻板化和规格化。数 学问题的机械化，就要求在运算或证明过 程中，每前进一步之后，都有一个确定的、 必须选择的下一步，这样沿着一条有规律 的、刻板的道路，一直达到结论。 使用一种机械化方法证明一类定理，才真 正体现了机械化定理证明。1977年，吴文 俊给出了初等几何一类主要定理的机械化 证明方法－“吴方法”。 数学机械化：从设想到实现 笛卡尔 莱布尼茨 希尔伯特 数学机械化：从设想到实现 哥德尔 塔斯基 王浩 吴文俊 笛卡尔的设想 17 世纪法国的数学家 Descartes 曾有过一个伟大的 设想：“一切问题化为数学问题，一切数学问题化 为代数问题，一切代数问题化为代数方程求解问 题。” Descartes 把问题想得太简单了，如果他的设想真 能实现，那就不仅是数学的机械化，而是全部科学 的机械化。因为代数方程求解是可以机械化的。 但 Descartes 没有停留在空想，他所创立的解析几 何，在空间形式和数量关系之间架起了一座桥梁， 实现了初等几何问题的代数化。 莱布尼兹之梦 德国数学家 Leibniz 曾有过“推理机器” 的设想。他研究过逻辑，设计并制造出能 做乘法的计算机，进而萌发了设计万能语 言和造一台通用机器的构想。 他的努力促进了 Boole 代数、数理逻辑以 及计算机科学的研究，正是沿着这一方向， 经后人的努力，形成了机器定理证明的逻 辑方法。 希尔伯特的构想 Hilbert在《几何基础》中提出了从公理化走向机 械化的数学构想。Hilbert计划将数学知识纳入严 格的公理体系中，并着力在公理化基础上寻找机 械化的方法判定命题是否成立。Hilbert同时指出， 定理的判定问题应当是分类解决的，解决方法要 同时强调简单性和严格性。 在 Hilbert 的名著《几何基础》一书中就提供了 一条可以对一类几何命题进行判定的定理 — 当然， 在那个时代，不仅 Hilbert 本人，整个数学界都 没有意识到这一点。 哥德尔的著名结果 Gödel著名的不完全性定理指出一个不弱于 初等数论的形式系统如果是无矛盾的，则 是不完全的 ，即存在形式系统的一个命题， 它和它的否定都不能由形式系统证明。 因此， Hilbert 的要求太高了。上述的 Gödel不完全性定理断言：即使在初等数论 的范围内，对所有命题进行判定的机械化 方法也是不存在的！ 塔斯基的判定法 波兰数学家 Tarski 在 1950 年推广了关于 代数方程实根数目的 Sturm 法则，由此证 明了一个引人注目的定理：“一切初等几 何和初等代数范围的命题，都可以用机械 方法判定。” Tarski得出的结论给定理证明机械化的研究 带来了曙光。可惜他的方法太复杂，即使 用高速计算机也证明不了稍难的几何定理。 王浩：迈向数学机械化 1959 年，王浩设计了一个程序，用计算机 证明了 Russell 、 Whitehead 的巨著《数 学原理》中的几百条有关命题逻辑的定理， 仅用了 9 分钟。王浩工作的意义在于宣告 了用计算机进行定理证明的可能性。 在1960年的《IBM研究与发展年报》（IBM Journal），王浩发表了《迈向数学机械化》 （Toward Mechanical Mathematics）， “数学机械化”一词即出自此处。 吴文俊：机器证明领域的新的一页 1977 年，吴文俊在《中国科学》上发表论文《初 等几何判定问题与机械化问题》。 1984 年，吴 文俊的学术专著《几何定理机器证明的基本原理》 由科学出版社出版，这部专著着重阐明几何定理 机械化证明的基本原理。 1985 年，吴文俊的论 文《关于代数方程组的零点》发表，具体讨论了 多项式方程组所确定的零点集。与国际上流行的 代数理想论不同，明确提出了具有中国自己特色 的、以多项式零点集为基本点的机械化方法。自 此，“吴方法”宣告诞生，数学机械化研究揭开 了新的一幕。 对吴方法的评价 • 吴方法遵循中国传统数学中几何代数化的思想，与通常基 于数理逻辑的方法根本不同，首次实现了高效的几何定理 自动证明，显现了无比的优越性。他的工作被称为自动推 理领域的先驱性工作，并于1997年获得“Herbrand自动 推理杰出成就奖”。在授奖辞中对他的工作给了这样的介 绍与评价: • “几何定理自动证明首先由赫伯特·格兰特(Herbert Gerlenter)于50年代开始研究。虽然得到一些有意义的结 果，但在吴方法出现之前的20年里，这一领域进展甚微。 在不多的自动推理领域中，这种被动局面是由一个人完全 扭转的。吴文俊很明显是这样一个人。他将几何定理证明 从一个不太成功的领域变为最成功的领域之一。” 数学机械化得到国际数学界承认 2006年，著名数学家吴文俊荣获邵逸 夫数学科学奖。邵逸夫数学科学奖是一项国 际性大奖，它的评委是来自国际数学界的知 名权威。吴文俊说：这次邵逸夫奖的评委都 是国际上有影响的大家，他们宣布我获得邵 逸夫奖，是因为我的数学机械化问题的研究， 这实际上是国际数学界对数学机械化研究的 承认与肯定，它比奖金重要得多。 《吴文俊·我的不等式》片断 http://v.youku.com/v_show/id_XMTMxNzk5MDQ=.html 三角形三条高线交于一点的代数证明 D是BC和CA上高线交点 定理的假设部分是 AD BC x3 x5 x2 ( x4 x1 ) 0 BD AC x3 x5 x1 ( x4 x2 ) 0 , 由吴方法，可得非退化条件是 x3 ( x1 x2 ) 0 . 定理的结论是 CO经过D点 x4 0 . 显然在非退化条件下定理成立。 Morley定理 任意三角形中，一个角的三等分线，与和 它相邻的角的三等分线相交，交点组成正 三角形。 机器方法容易证明Morley定理 任意三角形中，一个角的三等分线，与和 它相邻的角的三等分线相交，按一定的规 则选取交点，共可组成27个三角形，在这 27个三角形中，一定有18个是正三角形。 用机器方法容易证明这个更一般的Morley 定理。在证明过程中，多次出现关于12个 变量的含有一千多项的多项式。 吴方法概要 • 定理的假设相当于一 组多项式方程 • 定理的结论相当于一 个多项式方程 • 上面的诸Fi称为假设多 项式，G称为终结多项 式。 F1 0,, Fs 0 G0 吴方法概要（续） 吴方法是给出了一个机械化方法，在有限步内 给出一组非退化条件多项式D1, …, Dr 又根据这一机械化方法足以在有限步内，判定 在非退化条件 D1≠0, …, Dr ≠0 下，G=0是否可从F1=0, …, Fs=0推出。 平行四边形对角线互相平分 题设和结论表成代数形式 AD // BC : u3 (u2 u1 ) x1u3 0 E在BD上：x3 ( x1 u1 ) u3 ( x2 u1 ) 0 E在AC上：x3u2 x2u3 0 结论EA EC : u 2u2 x2 u 2u3 x3 0 2 2 2 3 吴方法的处理 题设部分三角化，得到三个多项式： f1 u2 u1 x1 f 2 x3 ( x1 u1 u2 ) u1u3 f3 x3u2 x2u3 再把结论左边的多项式除以f3，所得的余式除以f2， 所得的余式除以f1，看最后所得的余式是不是恒等 于零。 中国古代数学的贡献 70 年代初，吴文俊开始研读中国数学史。 1975 年，他撰写了《中国古代数学对世界文 化的伟大贡献》，文中详细列举在代数、几何、 三角、解析几何和微积分等学科的发现和创立 过程中，中国传统数学所起的重大作用。 吴文俊指出，中国传统数学注意解方程，在 代数学、几何学、极限概念等方面既有丰硕的 成果，又有系统的理论。 中国古代数学的特色 中国传统数学强调构造性和算法化，注意解决科学实 验和生产实践中提出的各类问题，往往把所得到的结 论以各种原理的形式予以表述。 在中国古代，求两数最大公约数即等数用更相减损之 术。如求24与15的等数，其逐步减损如下： （24，15）（9，15）（9，6）（3，6）（3，3） 其理由不证自明。 中国传统数学在从问题出发以解决问题为主旨的发展 过程中建立了以构造性与机械化为其特色的算法体系， 《九章算术》与刘徽的《九章算术注》是这一机械化 体系的代表作，这与西方数学以欧几里得《几何原本》 为代表的所谓公理化演绎体系正好遥遥相对。 机械化思想是中国古代数学的精髓 吴文俊把中国传统数学的思想概括为机 械化思想，指出它是贯穿于中国古代数 学的精髓。他列举大量事实说明，中国 传统数学的机械化思想为近代数学的建 立和发展做出了不可磨灭的贡献。 这种机械化思想，不仅曾深刻影响了数 学的历史进程，而且对数学的现状也正 在发扬它日益显著的影响。 数学机械化的广泛应用 吴文俊特别重视数学机械化方法的应用，明确 提出“数学机械化方法的成功应用，是数学机 械化研究的生命线”。他不断开拓新的应用领 域，如控制论、曲面拼接问题、机构设计、化 学平衡问题、平面天体运行的中心构形等，还 建立了解决全局优化问题的新方法。 吴方法还被用于若干高科技领域，得到一系列 国际领先的成果，包括曲面造型、机器人结构 的位置分析、智能计算机辅助设计(CAD)、信 息传输中的图像压缩等。 从开普勒定律到牛顿定律 开普勒定律为 （1）行星绕太阳以椭圆轨道运行，太阳为一焦点 （2）太阳到行星的向量在相同的时间扫过相同的 面积 牛顿定律为 （3）行星的加速度与太阳到行星的距离的平方成 反比 利用吴方法在微分域上的推广，可以从开普勒经 验公式自动推导出牛顿定律。 机器人与连杆机构的运动分析 如图，绿色的平台是活动平台，下面的平台是固定的， 六根连杆长度可变，求连杆长度变化时平台上一点的 轨迹。 机器人与连杆机构的运动分析 已知连杆机构的构成，求该机构上某一点的轨 迹及该点的位置与连杆机构的关系，这类问题 称为机械设计中的正解问题。前面的例子就是 一个正解问题。 反过来，求解连杆机构的参数使得连杆机构上 一点恰好位于空间指定位置的问题称为机械设 计中的逆解问题。 这两类问题都可以看成方程求解问题。 吴文俊用特征集方法解决了一般PUMA型机器 人的逆解问题，研究了四连杆的设计问题。 曲面连接问题 左图是一个连接 三根管道的例子。 在几何设计中，有一大类问题要确定一给定次数的 代数曲面按一定要求连接已给的若干代数曲面。 这类问题可以用吴方法解决。 脑力劳动的机械化 在新的正在到来的工业革命中，可以认为是以某 种设备代替人脑。这将使人类艰苦思考的价值为 之降低，是一种脑力劳动的机械化。这种机械化 由于上世纪中叶计算机的发明而有某种可能。 数学是一种典型的脑力劳动。由于数学思维具有 其它思维方式所没有的简洁、明确、严密、清晰 等优点，因而数学的机械化比之其它思维的机械 化，应有它的优越性与优先性，而且应更为容易。 吴方法在几何定理证明方面机械化的成功，正好 说明确是如此。 机械化思想促进数学发展 线性方程组求解中的消去法是机械化思想的杰作。 即使是现代纯粹数学研究中，机械化思想也一直 发挥重大的作用。例如，希尔伯特倡导的数理逻 辑为计算机的设计原理作了准备。H. Cartan关于 代数拓扑学同调群计算的工作可以看作是机械化 思想的成功范例。 运用机械化思想考察数学，将会发现数学的不同 侧面，建立新的模式，活跃和启迪数学家的思维， 从而产生大量的原始创新。 机械化可以使得大量繁复的事情交给计算机去做， 而数学家将从事富有创造性的劳动。 展望数学机械化的未来 1981 年吴文俊在《数学的机械化与机械化的数 学》一文中指出：“我们的研究工作还只是一个 开端。如何继续发扬中国古代传统数学的机械特 色，对数学各个不同领域探索实现机械化的数学， 则是本世纪以致可能绵亘整个 21 世纪才能大体 趋于完善的事。” 近 20多年来 , 在吴文俊的积极倡导下，中国的数 学机械化研究已初现丰富多彩之势。展望 21 世 纪，我们有理由相信，机械化数学和数学机械化 必将为数学以致整个科学注入新的活力。