数学史古代希腊数学上幻灯片.ppt

数学史古代希腊数学上第1页，共48页，编辑于2022年，星期六n从公元前从公元前2000年左右到公元前年左右到公元前30年，古代希年，古代希腊人以巴尔干半岛、爱琴海诸岛和小亚细亚腊人以巴尔干半岛、爱琴海诸岛和小亚细亚沿岸为中心，在包括北非、西亚和意大利半沿岸为中心，在包括北非、西亚和意大利半岛南部及西西里岛的整个地中海地区建立起岛南部及西西里岛的整个地中海地区建立起了一系列奴隶制国家。了一系列奴隶制国家。第2页，共48页，编辑于2022年，星期六第3页，共48页，编辑于2022年，星期六第4页，共48页，编辑于2022年，星期六n希腊人在文明史上首屈一指，在数学史上至希腊人在文明史上首屈一指，在数学史上至高无上。他们虽也取用了周围其他文明世界高无上。他们虽也取用了周围其他文明世界的一些东西，但希腊人创造了他们自己的文的一些东西，但希腊人创造了他们自己的文明和文化，这是一切文明中最宏伟的，是对明和文化，这是一切文明中最宏伟的，是对现代西方文化的发展影响最大的，是对今日现代西方文化的发展影响最大的，是对今日数学的奠基有决定作用的。数学的奠基有决定作用的。古今数学思想古今数学思想第5页，共48页，编辑于2022年，星期六n奴隶制城邦奴隶制城邦n海滨移民海滨移民n他们具有典型的开拓精神，对于所接触的事物，不愿他们具有典型的开拓精神，对于所接触的事物，不愿因袭传统；因袭传统；n其次，他们身处与两大河谷毗邻之地，易于汲取那里的文其次，他们身处与两大河谷毗邻之地，易于汲取那里的文化。化。第6页，共48页，编辑于2022年，星期六n通常把希腊开创的初等数学时期分为两个阶段。通常把希腊开创的初等数学时期分为两个阶段。n一是一是希腊早期数学希腊早期数学，即，即古典时期古典时期的希腊数学。的希腊数学。这个阶段大约从公元前六世纪开始到公元前三这个阶段大约从公元前六世纪开始到公元前三世纪。世纪。n二是二是希腊后期数学希腊后期数学，即，即亚历山大时期亚历山大时期的希腊的希腊数学。这一时期大约从公元前三世纪到公元数学。这一时期大约从公元前三世纪到公元六世纪。六世纪。第7页，共48页，编辑于2022年，星期六第8页，共48页，编辑于2022年，星期六1 爱奥尼亚学派和演绎证明爱奥尼亚学派和演绎证明n以演绎证明为基本特征的以演绎证明为基本特征的 数学，最早诞生于古希腊数学，最早诞生于古希腊 爱奥尼亚地区的海滨城市爱奥尼亚地区的海滨城市米利都米利都。n“希腊科学之父希腊科学之父”泰勒斯泰勒斯 n古希腊第一个数学学派古希腊第一个数学学派爱奥尼亚学派爱奥尼亚学派n米利都同时也是希腊哲学和科学的诞生地米利都同时也是希腊哲学和科学的诞生地第9页，共48页，编辑于2022年，星期六1 爱奥尼亚学派和演绎证明爱奥尼亚学派和演绎证明n泰勒斯的五个命题：泰勒斯的五个命题：圆被任一直径二等分；圆被任一直径二等分；等腰三角形的两底角相等；等腰三角形的两底角相等；两条直线相交，对顶角相等两条直线相交，对顶角相等；两个三角形，有两个角和一条边对应相等，则这两两个三角形，有两个角和一条边对应相等，则这两个三角形全等；个三角形全等；内接于半圆的角必为直角。内接于半圆的角必为直角。n其中最后一个定理被人们称为其中最后一个定理被人们称为“泰勒斯定理泰勒斯定理”。第10页，共48页，编辑于2022年，星期六1 爱奥尼亚学派和演绎证明爱奥尼亚学派和演绎证明n从泰勒斯开始，人们已不再仅仅利用直观和从泰勒斯开始，人们已不再仅仅利用直观和实验来寻求数学结论了。实验来寻求数学结论了。n换句话说，实际上泰勒斯已经将逻辑学中的演绎换句话说，实际上泰勒斯已经将逻辑学中的演绎推理引入了数学，奠定了推理引入了数学，奠定了演绎数学的基础演绎数学的基础，这，这使得他获得了使得他获得了第一位数学家和论证几何学家鼻第一位数学家和论证几何学家鼻祖祖的美誉。的美誉。n关于泰勒斯，还有一些其他的零星传说。关于泰勒斯，还有一些其他的零星传说。n理性思维理性思维的观念，正是希腊科学精神的精髓之所的观念，正是希腊科学精神的精髓之所在。在。第11页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n毕达哥拉斯毕达哥拉斯是古希腊哲是古希腊哲学家、数学家、天文学家、数学家、天文学家和音乐理论家，学家和音乐理论家，出生与爱琴海中的萨出生与爱琴海中的萨摩斯岛。摩斯岛。第12页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n意大利半岛南部的克罗多内意大利半岛南部的克罗多内n一个集政治、宗教和学术一个集政治、宗教和学术研究于一体的秘密会社，研究于一体的秘密会社，这就是著名的这就是著名的毕达哥拉斯毕达哥拉斯学派学派。n相传希腊文中相传希腊文中“哲学哲学”和和“数学数学”这两个词就是由毕达这两个词就是由毕达哥拉斯学派创造的。哥拉斯学派创造的。第13页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n基本信条基本信条 “万物皆数万物皆数”万物的本原就是数万物的本原就是数n数是由单子或数是由单子或1产生的，因此将产生的，因此将1命名为命名为“原因原因数数”，每一个数都被赋予了特定的属性，而一，每一个数都被赋予了特定的属性，而一切数中最神圣的是切数中最神圣的是10，他们信奉和崇拜，他们信奉和崇拜10，认，认为它是完美、和谐的标志。为它是完美、和谐的标志。n这种这种“万物皆数万物皆数”的观念从另一侧面强调了数的观念从另一侧面强调了数学对客观世界的重要作用，这也是学对客观世界的重要作用，这也是数学化思想数学化思想的最初表述形式。的最初表述形式。第14页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n毕达哥拉斯学派还定义了毕达哥拉斯学派还定义了完全数完全数、过剩数和不、过剩数和不足数。足数。n6是最小的完全数，下一个完全数是是最小的完全数，下一个完全数是28，等等。，等等。n亲和数亲和数的概念也被归功于毕达哥拉斯学派。的概念也被归功于毕达哥拉斯学派。n最小的一对亲和数是最小的一对亲和数是220和和284。第15页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n毕达哥拉斯学派关于毕达哥拉斯学派关于“形数形数”的研究，强烈地反映的研究，强烈地反映了他们将数作为几何思维元素的精神。了他们将数作为几何思维元素的精神。三角形数三角形数 N=1+2+3+n(n+1)/2 正方形数正方形数 N=1+3+5+7+(2n-1)五边形数五边形数 N=1+4+7+(3n-2)=n(3n-1)/2 六边形数六边形数 N=1+5+9+(4n-3)=2n2-nn高阶等差序列高阶等差序列第16页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n形数（形数（figured numbers）理论可以上溯到）理论可以上溯到毕达哥拉斯（毕达哥拉斯（Pythagoras,569 B.C.500 B.C.）本人。用一点（或一个小石子）代表）本人。用一点（或一个小石子）代表1，两点（或两个小石子）代表两点（或两个小石子）代表2，三点（或三，三点（或三个小石子）代表个小石子）代表3，等等，毕达哥拉斯学派，等等，毕达哥拉斯学派在世界数学史上首次建立了数和形之间的在世界数学史上首次建立了数和形之间的联系。早期毕达哥拉斯学派似乎已经熟悉联系。早期毕达哥拉斯学派似乎已经熟悉利用小石子或点来构造三角形数和正方形利用小石子或点来构造三角形数和正方形数；晚期的毕达哥拉斯学派成员尼可麦丘数；晚期的毕达哥拉斯学派成员尼可麦丘（Nicomachus,60?120?）以及稍后的）以及稍后的泰恩（泰恩（Theon,约约2世纪上半叶）则讨论了各种世纪上半叶）则讨论了各种平面数（包括三角形数、正方形数、长方形数、平面数（包括三角形数、正方形数、长方形数、五边形数、六边形数等等）和立体数（包括立五边形数、六边形数等等）和立体数（包括立方数、棱锥数等等）。方数、棱锥数等等）。第17页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n后期毕达哥拉斯学派数学家尼可麦丘在后期毕达哥拉斯学派数学家尼可麦丘在算术算术引论引论中将多边形数推广到立体数。前四个三中将多边形数推广到立体数。前四个三棱锥数为棱锥数为 1 1+3 1+3+6 1+3+6+10 第18页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”前四个四棱锥数为前四个四棱锥数为 1 1+4 1+4+9 1+4+9=16 第第n个四棱锥数为个四棱锥数为第19页，共48页，编辑于2022年，星期六n“形数形数”体现了数与形的结合。体现了数与形的结合。n数形结合的另一个典型例子是由数形结合的另一个典型例子是由给出的给出的毕达哥拉斯三元数组毕达哥拉斯三元数组。2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”第20页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n“美是和谐与比例美是和谐与比例”n最美的图形在平面上是圆，在空间是球，整个地最美的图形在平面上是圆，在空间是球，整个地球、天体和宇宙是一个圆球。宇宙中的各种物体球、天体和宇宙是一个圆球。宇宙中的各种物体都作均匀的圆周运动。都作均匀的圆周运动。n音乐理论音乐理论n毕达哥拉斯不仅把毕达哥拉斯不仅把“美是和谐与比例美是和谐与比例”的科学的科学美学思想用于音乐和天文学，还十分广泛地将美学思想用于音乐和天文学，还十分广泛地将其应用到建筑、雕刻、地学、生物学、医学等其应用到建筑、雕刻、地学、生物学、医学等领域。领域。第21页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n毕达哥拉斯学派掌握了正多边形和正多面体毕达哥拉斯学派掌握了正多边形和正多面体的一些性质的一些性质n正多边形覆盖平面正多边形覆盖平面n立方体填满空间立方体填满空间n正十二面体、正五边形正十二面体、正五边形 “黄金分割黄金分割”n五角星作为学派的标志五角星作为学派的标志第22页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n毕达哥拉斯定理毕达哥拉斯定理（勾股定理）（勾股定理）n中国人、巴比伦人、埃及人和印度人都早就知中国人、巴比伦人、埃及人和印度人都早就知道这个定理的特殊情况，不过只有希腊人才以道这个定理的特殊情况，不过只有希腊人才以一般的形式得到了证明。一般的形式得到了证明。n百牛传说百牛传说第23页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n“万物皆数万物皆数”：任何量都可以表示成两整数之比：任何量都可以表示成两整数之比（即某个有理量）。（即某个有理量）。n“可公度量可公度量”n毕达哥拉斯学派曾经发现正方形的对角线和其毕达哥拉斯学派曾经发现正方形的对角线和其一边构成不可公度线段，其证明与我们现在的一边构成不可公度线段，其证明与我们现在的中学数学教科书中证明中学数学教科书中证明2是无理数的方法相同。是无理数的方法相同。n希帕索斯希帕索斯 欧多克斯欧多克斯第24页，共48页，编辑于2022年，星期六2 毕达哥拉斯学派与毕达哥拉斯学派与“万物皆数万物皆数”n证明证明2是无理数是无理数矛盾。矛盾。第25页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n毕达哥拉斯学派发现的不可公度向希腊数学提毕达哥拉斯学派发现的不可公度向希腊数学提出了一个难题，这就是如何处理离散与联系、出了一个难题，这就是如何处理离散与联系、有限与无限的关系。大多数希腊数学家回避了有限与无限的关系。大多数希腊数学家回避了这个问题，转而去研究几何量之间的关系去了。这个问题，转而去研究几何量之间的关系去了。但来自卢卡尼亚的一位哲学家但来自卢卡尼亚的一位哲学家芝诺芝诺，针对当时，针对当时对无限、运动和联系等人们认识模糊不清的概对无限、运动和联系等人们认识模糊不清的概念，提出了念，提出了45个违背常理的个违背常理的悖论悖论，把这些矛，把这些矛盾暴露出来，在希腊数学界引起了巨大的震动。盾暴露出来，在希腊数学界引起了巨大的震动。第26页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n亚里士多德亚里士多德物理学物理学记载的四个悖论记载的四个悖论n二分法二分法n阿基里斯追龟阿基里斯追龟n飞箭静止（飞矢不动）飞箭静止（飞矢不动）n运动场运动场第27页，共48页，编辑于2022年，星期六第28页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n芝诺的这些悖论在当时是十分困难的，因为他的芝诺的这些悖论在当时是十分困难的，因为他的问题已经涉及到对于当时的希腊数学家而言还是问题已经涉及到对于当时的希腊数学家而言还是很模糊的无限与连续的概念。更重要的是，人们很模糊的无限与连续的概念。更重要的是，人们明知他的悖论是不符合常理的，却又不能驳倒他，明知他的悖论是不符合常理的，却又不能驳倒他，这就促使人们开始思考一个理论能否自圆其说的这就促使人们开始思考一个理论能否自圆其说的问题。问题。毫无疑问，这也成为公理化思想方法产生毫无疑问，这也成为公理化思想方法产生的一个重要原因。的一个重要原因。同时，芝诺悖论与不可公度的同时，芝诺悖论与不可公度的困难一起，成为希腊数学困难一起，成为希腊数学追求逻辑精确性追求逻辑精确性的强的强力激素。力激素。第29页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n正当芝诺的那些悖论让古希腊人伤透脑筋的时候，正当芝诺的那些悖论让古希腊人伤透脑筋的时候，巧辩学派巧辩学派所提出的所提出的三大著名几何作图问题三大著名几何作图问题，又让，又让他们陷入了困惑。他们陷入了困惑。n巧辩学派创立、活动于雅典。这个学派中聚集了巧辩学派创立、活动于雅典。这个学派中聚集了各方面的学者大师，如文法、修辞、辨证法、人各方面的学者大师，如文法、修辞、辨证法、人文，以及几何、天文和哲学方面的学者，他们研文，以及几何、天文和哲学方面的学者，他们研究的主要目标之一是用数学来探讨宇宙的运转。究的主要目标之一是用数学来探讨宇宙的运转。第30页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n三大尺规作图问题是三大尺规作图问题是化圆为方化圆为方、倍立方体倍立方体、三三等分角等分角。n围绕这三大作图问题，希腊数学家们表现出围绕这三大作图问题，希腊数学家们表现出了杰出的数学思想和方法。许多数学成果都了杰出的数学思想和方法。许多数学成果都是研究这三个问题的副产品。如希波克拉底是研究这三个问题的副产品。如希波克拉底的化月牙形为方，希比亚斯的割圆曲线等。的化月牙形为方，希比亚斯的割圆曲线等。第31页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n最早研究化圆为方问题的是安纳萨哥拉斯。最早研究化圆为方问题的是安纳萨哥拉斯。n公元前公元前5世纪下半叶开奥斯的希波克拉底世纪下半叶开奥斯的希波克拉底（Hippociates of Chios）解决了与化圆为方）解决了与化圆为方有关的有关的化月牙形为方化月牙形为方。第32页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n巧辩学派的代表人物安提丰（巧辩学派的代表人物安提丰（Antiphon，约公，约公元前元前480前前411），则首先提出了用圆内接正多），则首先提出了用圆内接正多边形逼近圆面积的方法来化圆为方。边形逼近圆面积的方法来化圆为方。n“穷竭穷竭”安提丰安提丰 古希腊古希腊“穷竭法穷竭法”的始祖。的始祖。第33页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n希波克拉底指出倍立方体问题可以化为求一线段与希波克拉底指出倍立方体问题可以化为求一线段与它的二倍长线段之间的双重比例中项问题：它的二倍长线段之间的双重比例中项问题：a：x=x：y=y：2a。n比他稍晚的一些希腊数学家则借助某些特殊曲比他稍晚的一些希腊数学家则借助某些特殊曲线作出了可作为倍立方体问题解的比例中项线线作出了可作为倍立方体问题解的比例中项线段，其中最重大的成就是柏拉图学派的段，其中最重大的成就是柏拉图学派的梅内赫梅内赫莫斯莫斯（Menaechmus，公元前，公元前4世纪中）为解决世纪中）为解决倍立方体问题而发现了倍立方体问题而发现了圆锥曲线圆锥曲线。第34页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n希比亚斯希比亚斯 割圆曲线割圆曲线第35页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n巧辩学派及其他希腊学者，巧辩学派及其他希腊学者，把作图工具只限于直把作图工具只限于直尺和圆规尺和圆规，反映了他们对数学的这样一个认识：，反映了他们对数学的这样一个认识：在研究一个概念之前必须先证明它的存在，只在研究一个概念之前必须先证明它的存在，只有从真理出发，依靠演绎推理才能获得真理。有从真理出发，依靠演绎推理才能获得真理。在他们看来，直线和圆客观上是存在的，所以在他们看来，直线和圆客观上是存在的，所以只有用直线和圆构作出来的图形才能保证在逻只有用直线和圆构作出来的图形才能保证在逻辑上没有矛盾。这样的思想促进了希腊数学的辑上没有矛盾。这样的思想促进了希腊数学的严密化。另一方面，这些观念也禁锢了人们的严密化。另一方面，这些观念也禁锢了人们的思想，抑制了创造性。思想，抑制了创造性。第36页，共48页，编辑于2022年，星期六3 芝诺悖论与巧辩学派芝诺悖论与巧辩学派n2000多年来，三大问题的研究，花费了人们的大多年来，三大问题的研究，花费了人们的大量心血。量心血。n1831年，法国数学家万采尔首先证明倍立方体年，法国数学家万采尔首先证明倍立方体和三等分任意角问题不能用尺规作图来解决，和三等分任意角问题不能用尺规作图来解决，接着德国数学家林德曼于接着德国数学家林德曼于1882年又证明了年又证明了的的超越性，因而否定了用尺规化圆为方的可能性，超越性，因而否定了用尺规化圆为方的可能性，这三大问题才彻底得以解决。这三大问题才彻底得以解决。第37页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n柏拉图柏拉图（Plato，公元前，公元前427347年）是古希年）是古希腊哲学家和教育家，出生于雅典的贵族家庭。公腊哲学家和教育家，出生于雅典的贵族家庭。公元前元前407年，柏拉图年，柏拉图20岁时曾拜年逾六旬的岁时曾拜年逾六旬的苏格苏格拉底拉底为师。他是苏格拉底最杰出的学生，深受苏为师。他是苏格拉底最杰出的学生，深受苏格拉底逻辑思想的影响。不过，苏格拉底的主要格拉底逻辑思想的影响。不过，苏格拉底的主要兴趣是国家，以及如何更好地为国家服务，数学兴趣是国家，以及如何更好地为国家服务，数学对他的吸引力极小。与此相反，柏拉图对伦理学对他的吸引力极小。与此相反，柏拉图对伦理学和政治性的问题兴趣不大。和政治性的问题兴趣不大。第38页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n柏拉图及一些希腊人重视抽象观念，并要把数柏拉图及一些希腊人重视抽象观念，并要把数学思想当作进入哲学的阶梯。数学家所处理的学思想当作进入哲学的阶梯。数学家所处理的抽象观念跟其他的抽象观念，比如善良和公正，抽象观念跟其他的抽象观念，比如善良和公正，是同一类的，而了解这两者乃是柏拉图哲学的是同一类的，而了解这两者乃是柏拉图哲学的目标。数学是认识理想世界的准备工具。公元目标。数学是认识理想世界的准备工具。公元前前399年，在苏格拉底被雅典重建的民主政权年，在苏格拉底被雅典重建的民主政权处死后，柏拉图被迫开始了为期处死后，柏拉图被迫开始了为期12年的游历生年的游历生涯，他先后去了麦加拉、埃及等地，后回到雅涯，他先后去了麦加拉、埃及等地，后回到雅典。典。第39页，共48页，编辑于2022年，星期六n拉斐尔拉斐尔雅典学园雅典学园第40页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n公元前公元前387年，柏拉图在雅典创建了欧洲历史上第一年，柏拉图在雅典创建了欧洲历史上第一所综合性的、传授知识、培养上层统治者的学校，学所综合性的、传授知识、培养上层统治者的学校，学校兼收女生，并实行分层教育。校兼收女生，并实行分层教育。n柏拉图对于数学科学在培养人的思维能力方面的作用有柏拉图对于数学科学在培养人的思维能力方面的作用有比较充分的认识。比较充分的认识。n据说在他学校的门口甚至挂上据说在他学校的门口甚至挂上“不懂几何者不得入内不懂几何者不得入内”的告示。的告示。n可以说，柏拉图的哲学成了数学的哲学，这对他的同时代可以说，柏拉图的哲学成了数学的哲学，这对他的同时代人和他的继承者有着深远的影响。人和他的继承者有着深远的影响。第41页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n柏拉图学派特别强调要柏拉图学派特别强调要用数学来解释宇宙用数学来解释宇宙，因而特，因而特别重视对立体几何的研究。他们研究了棱柱、棱锥、圆别重视对立体几何的研究。他们研究了棱柱、棱锥、圆柱、圆锥，而且知道正多面体只有五种。柱、圆锥，而且知道正多面体只有五种。第42页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n在其老师苏格拉底逻辑思想的影响下，柏拉图还明确提在其老师苏格拉底逻辑思想的影响下，柏拉图还明确提出了数学的演绎证明应遵循的逻辑规则。他指出：出了数学的演绎证明应遵循的逻辑规则。他指出：“首首先我假定某个我认为是最有力的假设，然后肯定凡与之先我假定某个我认为是最有力的假设，然后肯定凡与之相符合的就是真的，无论是关于原因还是别的什么，只相符合的就是真的，无论是关于原因还是别的什么，只要与之不符合的，我就认为它是不真的。要与之不符合的，我就认为它是不真的。”这里柏拉图这里柏拉图明确提出，数学证明是以某些自明的假设即公理作为出明确提出，数学证明是以某些自明的假设即公理作为出发点，然后经过一系列严格的逻辑推理，他称之为发点，然后经过一系列严格的逻辑推理，他称之为“假假设法设法”。显然这正是。显然这正是公理化方法公理化方法的开端，对于欧几里的开端，对于欧几里得几何学的公理演绎系统和推进希腊数学的发展具有极得几何学的公理演绎系统和推进希腊数学的发展具有极为重要的意义。可以说，这是古希腊方法论的最高成就。为重要的意义。可以说，这是古希腊方法论的最高成就。这也表明至少从柏拉图时代起，数学已经有了公理化的这也表明至少从柏拉图时代起，数学已经有了公理化的思想。思想。第43页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n柏拉图学派中最杰出的数学家应首推柏拉图学派中最杰出的数学家应首推欧多克索斯欧多克索斯（Eudoxus，约公元前，约公元前4世纪），有人认为，古希腊数世纪），有人认为，古希腊数学家中，他的地位仅次于阿基米德。他的数学成果成为欧学家中，他的地位仅次于阿基米德。他的数学成果成为欧几里得几里得几何原本几何原本，特别是第，特别是第5,6,7卷的主要内容。卷的主要内容。他对数学的最大贡献是运用公理法建立了他对数学的最大贡献是运用公理法建立了比例理论比例理论，其，其中包括相当严密的实数定义，处理了所谓中包括相当严密的实数定义，处理了所谓“不可公度量不可公度量”即无理数问题。他还进一步完善了安提丰的即无理数问题。他还进一步完善了安提丰的“穷竭法穷竭法”。n他的学生他的学生梅奈赫莫斯梅奈赫莫斯（Menaechmus，公元前，公元前4世纪）世纪）是圆锥曲线理论的创始人。是圆锥曲线理论的创始人。第44页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n亚里士多德（亚里士多德（Aristotle，公元前，公元前384年年公元前公元前322年）。年）。n柏拉图相信有一个独立、永恒的观念世界，认为它就是宇柏拉图相信有一个独立、永恒的观念世界，认为它就是宇宙的真实存在，而数学概念是这世界中的一部分东西；亚宙的真实存在，而数学概念是这世界中的一部分东西；亚里士多德则不然，他把具体物质看成是更为可取的。里士多德则不然，他把具体物质看成是更为可取的。n“吾爱吾师，吾尤爱真知。吾爱吾师，吾尤爱真知。”第45页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n虽然他主要的不是一个数学家，但他极为重视数学，由虽然他主要的不是一个数学家，但他极为重视数学，由于他人们才了解公理、公设和定义之间的明显区别。于他人们才了解公理、公设和定义之间的明显区别。n亚里士多德对数学的最大贡献是建立了亚里士多德对数学的最大贡献是建立了形式逻辑学形式逻辑学。第46页，共48页，编辑于2022年，星期六4 柏拉图学派柏拉图学派n柏拉图学园的影响延续了好几百年，这主要是由于柏拉图学园的影响延续了好几百年，这主要是由于它的成员们的热忱。事实上，一直到公元它的成员们的热忱。事实上，一直到公元529年查士年查士丁尼皇帝认为它是异说的中心而下令封闭它以后，它才丁尼皇帝认为它是异说的中心而下令封闭它以后，它才停止了活动。停止了活动。n由于这些数学学派的工作，为希腊数学积累了丰富的素材，由于这些数学学派的工作，为希腊数学积累了丰富的素材，也为希腊数学后来的进一步发展打下了坚实的基础。也为希腊数学后来的进一步发展打下了坚实的基础。第47页，共48页，编辑于2022年，星期六思考思考n形数与中学数学探究课。形数与中学数学探究课。n寻找无尺作图的简便方法。寻找无尺作图的简便方法。n寻找类似足球的半正多面体。寻找类似足球的半正多面体。第48页，共48页，编辑于2022年，星期六