高中数学与数学史.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,*,高中数学与数学史,1,数学史内容使用原则,接近性,：符合学生的认知水平；,实用性,：为课程学习服务；,科学性,：符合史实，适应课程标准及有关教学理论。,2,早期的数学没有成为独立的学科，缺乏逻辑因素。,1,、,Euclid,的几何原本,3,4,5,中国,印度,美索不达米亚,古埃及,6,古埃及,7,8,9,10,11,12,刘徽原理,13,14,15,问题,1,如图，正三角形,ABC,的边长,为,2,，,AA,1,，,BB,1,，,CC,1,均垂直,于平面,ABC,，,，求几何体的体积。,16,问题,2,如图，已知多面体,ABC-DEFG,中，,AB,、,AC,、,AD,两两垂直，,平面,ABC,/,平面,DEFG,，平面,BEF,/,平面,ADGC,，,AB,=,AD,=,DG,=2,，,AC,=,EF,=1,，求该多面,体的体积。,17,Thales(,约前,640,约,546),，万物皆水。,18,Pythagoras(,约前,572,前,501),，万物皆数。,19,等比数列求和公式,莱因得纸草书（约公元前,1650,年）,20,莱因得纸草上的等比数列问题,21,22,欧几里得,几何原本,（公元前,3,世纪）,第,9,卷命题,35,23,Hippasus,：不可公度比,数学历史中著名的,“,三大几何难题,”,的研究始于诡辩学派,24,三角形面积等于同底等高矩形面积之半。,同高三角形面积之比等于它们的底边之比。,25,比例论,：如果有,4,个量，取第一个量和第三个量的任何相等的倍数，取第二个量和第四个量的任何相等的倍数，当第一个量的倍数大于、等于或小于第二个量的倍数时，相应地有第三个量的倍数大于、等于或小于第四个量的倍数，那么我们就说，第一个量与第二个量的比等于第三个量与第四个量的比。,26,穷竭法,穷竭法,：,“,取两不等量，若从大量中减去一个大于或等于它本身一半的量，再从余量中减去大于或等于这余量一半的量，并且不断重复这一程序，则最后剩下的将是一个比所取二量中较小的一个还要小的量。,”,27,几何原本,Euclid,的巨著,几何原本,具有无以伦比的历史意义他精僻地总结了人类长时期积累的数学成就，建立了数学的科学体系,几何厦本,印刷本,(1482),第,1,页,几何原本,阿拉伯文译制,1350,年手抄本这一页是勾段定理的证明,28,1.,在一个已知有限直线上做一个等边三角形。,分别以,A,、,B,为圆心以,AB,为半径作圆。,2.,由一个已知点（作为端点）作一线段等于已知线段。,作等边三角形,ABD,，连射线,DA,、,DB,，作,OB,，得,G,，作圆,D,得,L,。,命题,29,第十二卷 命题,2,圆与圆之比等于其直径平方之比。,以下是,Euclid,证明的主要精神。他先证明圆可被多边形所,“,穷竭,”,在圆里面内接一个正方形,(,如图,),正方形面积大于圆面积的,1,2,，这是因为它等于外切正方形面积的,1,2,而外切正方形面积又大于圆,圆面积为,内接,2,n,+1,边形面积为,圆面积,30,弓形,ACB,面积,矩形,ABED,面积,圆和某一边数足够多的正多边形面积之差可以比任何给定的量还耍小,现设 与 是两圆面积，并设 和 是其直径。,Euclid,要证,31,若 不成立，不妨设,而,32,在那个年代，还有伟大的数学家,Apollonius,（约公元前,262,190,），,Archimedes,（前,287,212,），,Ptolemy,（约,100,约,170,），,Helon,，,Puppus,，,Diophantus,33,阿基米德,-,球体积,球体截片体积：,锥体截片体积：,柱体截片体积：,T,处力矩：,+,=,柱体力矩：,2,R,(,球体体积,+,锥体体积,)=4,R,圆柱体积,34,祖暅原理推导圆锥的体积,“,夫叠棋成立积，缘幂势既同，则积不容异。,”,祖暅,35,在高度,x,处的截面：,36,37,群牛问题,“,啊！朋友，如果你智慧过人，那就专心致志算出那天那群公牛的数目吧。它们曾在西西里岛的大平原上吃草，按毛色它们被分成,4,组：乳白牛、黑牛、黄牛和花斑牛。每组中的公牛数占大多数，它们之间的关系为：,1,、白公牛,=,黄公牛（,1/2,1/3,）黑公牛,2,、黑公牛,=,黄公牛（,1/4,1/5,）花斑,3,、花斑公牛,=,黄公牛（,1/6,1/7,）白公牛,4,、白公牛,=,（,1/3,1/4,）黑牛,5,、黑公牛,=,（,1/4,1/5,）花斑公牛,6,、花斑公牛,=,（,1/5,1/6,）黄牛,7,、黄公牛,=,（,1/6,1/7,）白牛,38,该问题继续说：,“,啊！朋友，如果你能算出每群中公牛和母牛的数目，你还是称不上无所不知或精通数字，也不能被列入智者之列。,”,他对公牛数目另外又提出了两项限制条件，从而使这问题变得难多了：,8,白公牛黑公牛一个平方数。,9,花斑公牛黄公牛一个三角数。,问题最后说：,“,如果你已算出这群牛的总数，噢！朋友，你俨然就是一个征服者了，不消说，你就是数字科学方面的专家了。,”,39,二次幂和公式,巴比论：泥版数学文献,(,约公元前,3000,年,),但我们无法判断古代巴比伦人是否知道一,般公式。,40,阿基米德（,Archimedes,前,287-212,）,论劈锥曲面体与球体,命题,2,引理；,论螺线,命题,10,41,42,43,44,45,阿尔,海赛姆（,Al-Haitham,965,1039,）：,10-11,世纪波斯 数学家,46,吉尔森（,R.Levi Ben Gershon,1288-1344,）,计算者之书,(,Maaseh Hoshev,),47,48,帕斯卡（,B.Pascal,1623-1662,）,分别令,r,=1,，,2,，,，,n,，将个等式相加即得,49,50,51,2,、,Khowarizmi,的,代数学,关于数的研究，有两方面的问题：探讨数与数之间的关系和发展数的计算技巧。古希腊人称前者为算术,(arithmetic),，后者为计算术,(logistic),。,毕达哥拉斯学派研究亲和数，两个正整数称为亲和数，如果其中任何一数都等于另一数的真因子之和。,例如，,284,和,220,是一对亲和数,220,的真因子,1,2,4,5,10,11,20,22,44,55,和,110,，,284,的真因子,1,2,4,71,和,142.,52,2,、,Khowarizmi,的,代数学,欧几里得在,原本,第九卷的命题,20,中证明,:,素数的集合是无限的,.,狄利克雷成功地证明了这个定理的一个精彩推广,:,任何算术序列,(,其中,a,和,d,是互素的,),都含有无限多个素数,.,这个结论的证明，是很不容易的,.,53,2,、,Khowarizmi,的,代数学,Gauss,在十五岁时通过考察一个很大的素数表而猜想：,（素数定理）假设,A,n,表示小于正整数,n,的素数的个数，素数定理说的是,:,当,n,无限增大时，,逼近于,，,当,n,逐渐增加时，逼近的程度不断改善。,1896,年，,Hadamard,和,Poussin,分别独立地给出了证明,.,54,2,、,Khowarizmi,的,代数学,Diophantus,，,算术,Arithmetica.,大多数历史学家倾向于认为他生在三世纪,.,丢番图写了三部著作：,算术,，原有十三卷，现存六卷,;,论多边形数,，现存其中一些片断,;,衍论,，已逸失。,算术,一书是一部具有高度创造性的伟大著作,.,55,2,、,Khowarizmi,的,代数学,1484 Chuquet,（法）在,算术三篇,中，使用了一些缩写符号，如用,P,表示加法，用,m,表示减法,1489 Widman,（德）在,商业速算法,中用,“,”,表示超过，用,“,”,表示不足,1514,年，,Hoecke,（荷）首次用,“,”,表示加法，用,“,-,”,表示减法,1544,年，,Stifel,（德）在,整数算术,中正式用,“,”,和,“,”,表示加减,56,2,、,Khowarizmi,的,代数学,1631 Oughtred,（英）在,数学之钥,中以符号,“,”,代表乘但,Leibniz,合理地加以反对：,“,我不喜欢把,“,”,作为乘法记号，因为它容易与,x,混用,”,于是，他发明了另一种乘号,“,”,1659 Rahn,（瑞士）在,代数,中，第一个除号,“,”,1557 Recorde,（英）在,智慧的激励,中首先把,“,”,作为等号,1631 Harriot,在,实用分析技术,引入不等号,“,”,和,“,”,57,2,、,Khowarizmi,的,代数学,早在,16,世纪，“”便出现在一些欧洲数学家的著作中了,1637,年出版的,方法论,中，,Descartes,第一次把“”改为今天使用的记号“”，表示开方，他还用,a,2,表示两个,a,相乘，用,a,n,表示,n,个,a,相乘。,58,2,、,Khowarizmi,的,代数学,用字母表示未知量和未知量的乘幂，,用字母表示系数,通常以辅音字母表示已知量，以元音字母表示未知量,代数是施行于事物的,“,类的运算,”,，而算术则是用来确定数目的,“,数的运算,”,Vieta,第一个系统使用字母,59,2,、,Khowarizmi,的,代数学,1847,年，伟烈亚力用中文写了,数学启蒙,(1853),，,序：,“,有代数、微分诸书在，余将续悻之。,”,1859,年，李善兰和伟烈亚力合译英国,De,的,“,Elements of Algebra,”,(1835),，正式定名为,代数学,后来蘅芳和英国人傅兰雅合译英国华里司,代数术,(1873),卷首有,“,代数之法，无论何数，皆可任以何记号代之,”,60,2,、,Khowarizmi,的,代数学,“,代数学,”,一词，来自拉丁文,algebra,，它又是从阿拉伯文变来的其中有一段曲折的历史,阿尔,花拉子模,Mohammed ibn Musa Al,Khowarizmi,，,Myxamme-yccca,Xope,，,(,约,783,约,850),61,2,、,Khowarizmi,的,代数学,825,年左右，,Khowarizmi,著,代数学,1140,年左右，,Robert,把它译成拉丁文,书名是,“,ilm al-jabr wal muquabalah,”,全名是,“,还原与对消的科学,”,，,也可以译成,“,方程的科学,”,al-jabr,这个字变成了,algebra,62,2,、,Khowarizmi,的,代数学,在剑桥大学图书馆译文没有标题，,“,Dixit Algoritmi,”,译本定名为,“,Algoritmi denumero indorum,”,，,演变成表示,“,算法,”,的专业术语,algorithm,63,2,、,Khowarizmi,的,代数学,Khowarizmi,的算术著作中专门讲述了分数理论拉丁语,“,分数,”,一词,fractiones,是阿拉伯语,“,拆开,”,的译文由此在欧洲语言中产生了不同的表示法：,法语,nombre rompu,，表示,“,拉断的数,”,；,中世纪俄语,、,，意为,“,破碎的数,”,；,英文为,fraction,，,德语为,Bruch,、等等,把未知数叫做,“,根,”,(jidr),，,译成拉丁文,radix,64,2024/12/12 周四,65,2,、,Khowarizmi,的,代数学,意大利和西班牙，,66,2,、,Khowarizmi,的,代数学,Adelard,（英，约,1090,约,1150,），,从阿拉伯文翻译的,Euclid,几何原本,还翻译了,Khowarizmi,的著作,1202,年，,L.Fibonacci（约1170,1240,）,算盘书,实用几何,花絮,平方数书,。,67,2,、,Khowarizmi,的,代数学,1360,年，,Oresme（,法，约,1320,1382）,著,比例算法,，首次引入分数指数的概念。,论质量与运动的结构,论图线,开始研究运动和变化的量，提出一种图线原理，其实质相当于一种坐标几何,68,2,、,Khowarizmi,的,代数学,1494,年，,Pacioli,（意）的,算术、几何、比与比例全书,，书中讨论了三次方程，没有成功，而得出,“,高于二次的方程不可解,”,的错误结论，,69,2,、,Khowarizmi,的,代数学,Tartaglia,，掌握了一般三次方程的解法,70,2,、,Khowarizmi,的,代数学,Cardano,（意，,1501,1576,），,1545,，,大术,71,2,、,Khowarizmi,的,代数学,1614 Napier,在,奇妙对数规则的说明,中，详细介绍了自己发明对数的思路,72,2,、,Khowarizmi,的,代数学,Regiomontanus,（德，,1436,1476,）的,论各种三角形,三角学开始作为一个独立学科,73,和角公式,托勒密（,2,世纪）,74,75,帕普斯（,Pappus,3,世纪末）,数学汇编,76,77,阿布,韦发,(Abu,l-Wefa,940-998),78,克拉维斯,（,C.Clavius,1537-1612）,星盘,(1593),79,阿布,韦发的启示,80,阿布,韦发的启示,81,面积变换法之一,82,面积变换法之二,83,3,、,Descartes,的,方法论,1566,年，,Commandino,把,Apollonius,的,圆锥曲线论,前四卷译成拉丁文。,84,3,、,Descartes,的,方法论,1413,，,Filippo Brunelleschi,完成了线性透视实验，被认为是第一个尝试透视画法的人。,85,3,、,Descartes,的,方法论,86,3,、,Descartes,的,方法论,87,3,、,Descartes,的,方法论,88,3,、,Descartes,的,方法论,89,3,、,Descartes,的,方法论,1639,，,Girard Desargues（,法，,1591,1661）,试论圆锥与平面相交结果,Desargues,数学思想的出色之处，在于引进了无穷远点和无穷远线,90,3,、,Descartes,的,方法论,Blaise Pascal,（法，,1623,1662,）,在微积分、概率、代数、射影几何等方面都作出了引人注目的贡献，他是手摇计算机的发明者，还是法国著名的文学家，物理方面的成就也不少,16,写成一本约八页的小册子,略论圆锥曲线,91,3,、,Descartes,的,方法论,92,3,、,Descartes,的,方法论,93,3,、,Descartes,的,方法论,几何与代数都相当完善了,94,3,、,Descartes,的,方法论,Pierre de Fermat,（法，,1601,1665,）,平面与立体轨迹引论,，,1630,著，,1679,出版,95,3,、,Descartes,的,方法论,Ren,Descartes（,法,，,1596,1650）,1628,年，,思想的指导法则,1633,，,宇宙论,，,1637,，,方法论,折光,、,气象,、,几何,1644,，,哲学原理,1649,，,激情论,96,3,、,Descartes,的,方法论,x,2,ax,b,2,，其中,a,、,b,是已知长度，,97,3,、,Descartes,的,方法论,Pappus,问题,：,设,AB,，,AD,，,EF,和,GH,是四条给定直线，从动点,C,引直线,CB,，,CD,，,CF,，,CH,各与一条给定直线构成已知角,CBA,，,CDA,，,CFE,，,CHG,，,求满足,CB,CF,CD,CH,的动点,C,的轨迹,98,3,、,Descartes,的,方法论,在,几何,的第二卷中，,Descartes,详细讨论了曲线方程的推导及各种曲线的性质,设直线,l,1,l,2,于,A,，,G,是,l,1,上的定点，直尺,m,绕端点,G,旋转，交,l,2,与,L,，直尺,n,的端点,K,沿,l,2,滑动，,LK,为定长,试导出,m,与,n,的交点的轨迹方程,99,4,、,Newton,的,自然哲学之数学原理,牛顿,和,莱布尼兹,是微积分约奠基人,Newton,称微积分为,“,流数术,”,（,fluxions,），这名称后来逐渐被淘汰,Leibniz,在著作中使用了,“,calculus differentialis,”,（差的计算）与,“,calculus summatorius,”,（求和计算）的术语,“,微分学,”,（英文,differential calculus,）,Bernoulli,“,求整计算,”,（,calculus integralis,），,“,积分学,”,（英文,integral calculus,，）,微积分,calculus,100,4,、,Newton,的,自然哲学之数学原理,李善兰,和,伟烈亚力,（,Alexander Wylie,，,1815,1887,）,合译的,代微积拾级,十八卷，,1859,年,5,月,10,日（清咸丰九年四月初八日）在上海墨海书馆印行,原书是,罗密士,（,Elias Loomis,，,1811,1889,，美国人）著的,“,Analytical Geometry and Calculus,”,（,1850,）,101,4,、,Newton,的,自然哲学之数学原理,序中说：,“,我国,康熙,时，西国,来本之,（,Leibniz,）、,奈端,（,Newton,）二家又创微分、积分二术，,其理大要；凡线面体皆设为由小渐大，一刹那中所增之积即微分也其全积即积分也,”,这就是我国微积分名称的起源,汉,徐岳,数术记遗,里而有,“,不辨积微之为量，讵晓,(,怎能知道,),百亿于大干,”,的话,李善兰,也许就是借用这里微积的字样来翻译,“,calculus,”,的,102,4,、,Newton,的,自然哲学之数学原理,Kepler,三大定律，通过观测归纳，急需数学推证。,1,、行星运动的轨道是椭圆，太阳位于该椭圆的一个焦点；,2,、由太阳到行星的矢径在相等的时间内扫过的面积相等；,3,、行星绕太阳公转周期的平方，与其椭圆轨道的半长轴的立方成正比。,103,4,、,Newton,的,自然哲学之数学原理,卡瓦列利,（,Bonaventura Cavalieri,）,104,4,、,Newton,的,自然哲学之数学原理,卡瓦列里一直推到,还解决了开普勒的求抛物线弓形绕弦旋转的体积问题。,105,4,、,Newton,的,自然哲学之数学原理,瓦里士,（,John Wallis,）,Cavalieri,的,n,为正整数,Wallis,的,n,为分数,106,4,、,Newton,的,自然哲学之数学原理,猜想,107,4,、,Newton,的,自然哲学之数学原理,Fermat,的方法更有效，为了计算 从,0,到,a,的曲线下面积，插入分点,108,Newton,建立带有任意有理指数的二项式定理，是由寻求,曲线 下面积所引起的,4,、,Newton,的,自然哲学之数学原理,109,TQ,:,PQ,=,E,:(,T,1,Q,1,-,QP,).,曲线记作,f,(,x,y,)=0,，,P,(,x,y,),我们就有,T,1,Q,1,=,y+yE/t,（记,TQ=t,）,假设,P,1,在曲线上，有,f,(,x,+,E,y,(1+,E/t,)=0,解方程，令,E,=0,（他说是去掉,E,项），就得到,t,.,T,1,P,1,R,Q,1,Q,T,P,E,4,、,Newton,的,自然哲学之数学原理,110,求曲线,y,=,f,(,x,),过点,P,(,x,f,(,x,),的切线，首先确定法线与,x,轴的交点,C,的位置，然后作法线的垂线即可。,P,r,f(x),x,v,4,、,Newton,的,自然哲学之数学原理,111,巴罗,(Issac Barrow),4,、,Newton,的,自然哲学之数学原理,112,Barrow,引入,“,微分三角形,”,，给出求切线的方法,Barrow,的符号,a,:,e,相当于现在的,dy,/,dx,P,a,R,M,N,P,e,4,、,Newton,的,自然哲学之数学原理,此外，,Barrow,还求得相当于,113,牛顿,(Isaac Newton),4,、,Newton,的,自然哲学之数学原理,114,1665,年,5,月,20,日，在,Newton,手写的一页文件中开始有,“,流数术,”,的记载。,4,、,Newton,的,自然哲学之数学原理,流速简论,运用无穷多项方程的分析学,流数法和无穷级数,曲线求积论,115,莱布尼兹,（,Gottkied Willhelm Leibniz,）,4,、,Newton,的,自然哲学之数学原理,116,1684,年在,学艺,（,Acta eruditorum,）杂志上发表：,“,一种求极大极小和切线的新方法，它也适用于分式和无理量，以及这种新方法的奇妙类型的计算,”,4,、,Newton,的,自然哲学之数学原理,117,贝克莱,（,George Berkeley),4,、,Newton,的,自然哲学之数学原理,118,许多数学家力图由其他公理、公设中推出平行公设,Proclus,、,Wallis,、,Saccheri,、,C,l,airaut,、,Lambert,、,Legendre,、,Playfair,5,、,Lobachevsky的论几何原理,119,1733,年，,Saccheri,A,和,B,是直角，且,AC,BD,，易证,C,D,，欧氏几何平行公设相当于,C,，,D,是直角这个论断，他在下列两种情形中选择：,（,1,）钝角假设：,C,、,D,是钝角；,（,2,）锐角假设：,C,、,D,是锐角,5,、,Lobachevsky的论几何原理,120,放弃了平行公设，提出了,“,罗氏平行公设,”,：过定直线外一定点有无数条定直线的平行线，并按如下方式建立新几何：,“,设想从一点（,C,）作垂线,垂直于已知直线（,AB,），并从该点向直线作平行线；记为和平行线间的角,”,5,、,Lobachevsky的论几何原理,Lobachevsky,（俄，,1793-1856,）,121,根据对无穷小三角形的研究，,还得出了曲线在处的弧微分公式,5,、,Lobachevsky的论几何原理,于是，半径为,的圆周长,，圆面积,122,Abel,和,Galois,是,Galois,理论及群论的主要奠基者,6,、,Abel和,Galois,的,群论,123,6,、,Abel和,Galois,的,群论,Abel,还给出了特殊的可用根式求解的方程的特征：,这些方程的所有根都是其中一个根的函数，即全部根为 。其中 是有理函数,1853,年，,Kronecker,称具有这种特征的方程为,Abel,方程,随后，,Abel,证明了更一般的定理：,如果一个方程的所有根能表示成其中一个根的有理函数，且对于其中任意的两个根 有 。,则该方程可用根式求解,124,6,、,Abel和,Galois,的,群论,Galois,利用了,Lagrange,关于根的置换、排列的概念如 设 是一个四次方程的根，则在这四个根的排列中交换 和 就是一个置换，这样总共就有,4,！,24,种可能的置换经过任何两个置换后仍是其中的一个置换，所置换的集合形成一个群，这样,Galois,就给出了关于抽象群的一个早期定义,125,6,、,Abel和,Galois,的,群论,126,谢谢,127,2024/12/12 周四,128,