《数学与应用数学毕业论文》由会员分享，可在线阅读，更多相关《数学与应用数学毕业论文（16页珍藏版）》请在金锄头文库上搜索。
1、成 绩： 江西科技师范学院毕业设计（论文） 题目（中文）： 勾股定理的证明方法研究 （外文）：The Research on The Method of Proving The Pythagorean Theorem 院（系）： 数学与计算机科学学院 专 业： 数学与应用数学 学生姓名： 李星星 学 号： 20081434 指导教师： 余志成 年 月 日目录1.引言32.西方证明42.1Plato的证明42.2Euclid对勾股定理的证明42.3Plato-Euclid证明风格52.3.1 第一条思路52.3.2 第二条思路62.3.3 第三条思路72.4 美国总统Garfield证明82.5
2、 利用多列米定理证明93. 我国数学家的证明93.1周髀算经注中赵爽的证明103.2周髀算经注中商高的证明103.3九章算术注中刘徽的证明113.4勾股举隅中梅文鼎的两种证明123.5 邹元治的证明133.6新人教版八年级下18章中的证明143.7小结144.结束语15参考文献15勾股定理的证明方法研究摘要：勾股定理是我国古代数学研究的重要源泉，中华数学的精髓诸如开方术、方程术、天元术等技艺的诞生与发展，都与勾股定理有着密切关系。勾股定理的证明方法，至今已有400种左右。西方对勾股定理的证明大多是“拼图法”和面积相等法，而中国古代数学家们的证明则建立在一种不证自明、形象直观的原理出入相补原理之
3、上。本文探讨了古代中国和西方对勾股定理的几种不同证明方法，列举了部分勾股定理的证明方法。关键词：勾股定理；证明方法；弦图1. 引言勾股定理是几何学中的明珠，是“人类最伟大的十个科学发现之一”，是古代文明中最古老的定理之一，它的推论和推广有着广泛的应用。勾股定理它充满魅力，千百年来，几乎所有文明古国(希腊、中国、埃及、巴比伦、印度等）对此定理都有所研究,人们对它的证明趋之若鹜，其中有著名的数学家，也有业余数学爱好者，有普通老百姓，也有尊贵的政要权贵，甚至有国家总统。中国古代数学家们对于勾股定理的发现和证明，在世界数学史上具有独特的贡献和地位，尤其是其中体现出来的“形数统一”的思想方法，更具有科学
4、创新的重大意义。事实上，“形数统一”的思想发放正是数学发展的一个极其重要的条件。所谓勾股定理，就是指：“在直角三角形中，两条直角边的平方和等于斜边的平方”。勾股定理的别称有：毕达哥拉斯定理，商高定理，百牛定理，驴桥定理和埃及三角形等。勾股定理在西方被称为毕达哥拉斯定理，相传是古希腊数学家兼哲学家毕达哥拉斯（Pythagoras，公元前572-公元前497年）于公元前550年首先发现的，实际上比毕达哥拉斯早一千多年的古巴比伦人就已经发现了这一定理，在Plimpton322号泥板上的数表提供了这方面的证据，这块泥板的年代大约是公元前1700年。但毕达哥拉斯对勾股定理的证明方法已经失传了。著名的希腊
5、数学家欧几里得（Euclid，公元前330-公元前275年）在巨著几何原本（第一卷，命题47）中给出一个很好的证明。也许是因为勾股定理既重要又简单，更容易吸引人，才使它成百次地反复被人炒作，反复被人论证。1940年出版过一本名为毕达哥拉斯命题的勾股定理的证明专辑，其中收集了367种不同的证明方法。实际上还不止于此，有数据表明，关于勾股定理的证明方法已有500余种，仅我国清末数学家华蘅芳就提供了二十多种精彩的证法。这是任何定理无法比拟的。本文将介绍几种著名的证法。理在西方被称为定理, 它2. 西方证明2.1 Plato（普拉提）的证明拜占庭学者Proclus（蒲洛克勒斯）（约公元5世纪）在其数学
6、史专著中指出：“希腊Rhodes岛的Eudemus(约公元前4世纪)称Pythagoras学派发现此定理。希腊哲学家Plato（公元前427-前347年）对此定理就其特殊情况作了图证。”如图，Plato对等腰直角三角形作了证明，他把腰上的两个正方形沿着对角线切开，所得四个全等的等腰直角三角形可以拼成原三角形斜边上的正方形。 Plato的证法可能源于他的老师Socrates，这一证法对后世产生的影响是巨大的。首先，Plato把平方作为正方形的面积,在直角三角形的三边上向外作三个正方形，后证明两个直角边上正方形面积之和等于斜上正方形的面积。西方后世的数学家大都沿用这一构图形式和证明思路。最后，Pl
7、ato把两个小正方形切开，然后拼成大正方形，这一思想为后人用“拼图法”证明勾股定理作了启发。同时，拼图法又与我国古代数学家（赵爽、刘徽 、梅文鼎等）以出入相补原理证明勾股定理的“割补法”具有异曲同工之妙，主要数学思想均为几何变换, 即几何图形经过平移、对称、旋转面积不变。2.2 Euclid对勾股定理的证明西方对勾股定理的明文记载始于著名的希腊数学家欧几里得（Euclid，公元前330-公元前275年）在巨著几何原本（第一卷，命题47），他利用图形分割、全等三角形以及面积关系等知识进行演绎推理。证法如下：如图，做三个边长分别为a、b、c的正方形，把它们拼成如图所示形状，使H、C、B三点在一条直
8、线上，连结BF、CD. 过C作CLDE，交AB于点M，交DE于点L. AF = AC，AB = AD，FAB = GAD， FAB GAD， FAB的面积等于，GAD的面积等于矩形ADLM的面积的一半， 矩形ADLM的面积 =.同理可证，矩形MLEB的面积 =. 正方形ADEB的面积 = 矩形ADLM的面积 + 矩形MLEB的面积 ，即.Euclid的方法使用的是演绎法证明, 他继承了Plato的构图方法, 并形成Plato-Euclid证明风格。这种风格有两大主要特征, 一为构图方式, 二是对图形进行必要的分割。而他与Plato不同在于, Euclid把斜边上正方形分成两个矩形,通过证明它们
9、分别与两个直角边上正方形的面积相等, 从而获得定理的证明。这种把斜边上正方形分成两个矩形的思想对后人有较大的影响。2.3 Plato-Euclid证明风格在Euclid之后, 西方数学家大多运用Plato-Euclid风格的方法对勾股定理进行证明, 其思路大致可以分为以下三条：2.3.1第一条思路Leonardo Da Vinci（1452-1519），文艺复兴时期意大利著名画家, 他在数学、机械设计、人体解剖学上也有巨大成就。他在欧几里得的几何原本的插图上、下各添加一直角三角形, 如图, 凑成两个面积相等的六边形, 再做一次面积减法, 证明勾股定理。 Da Vinci的方法, 继承Eucli
10、d的思想, 同时也有极大的不同：他把斜边上正方形分成两个全等的直角梯形而其面积是两个正方形面积的一半。这条分割线AJ与正方形ACGF一条对角线AG垂直，也与正方形ABHI对角线AH垂直。若从几何变换的角度看, 则是把六边形BCGFIH绕对角线交点A顺时针旋转90度,然后沿AJ向下平移AG个单位。另一方面, 四边形GHIF与GHBC对称, 对称轴为GH, 四边形GHBC绕点C逆时针旋转90度成JABE, 四边形GHBC绕C顺时针旋转90度成AJDC。德国人P.Epstein(1871-1939)的拼图证明法与Da Vinci的方法有密切的联系。他的证明如图所示。2.3.2第二条思路德国人W.We
11、ber(1842-1913)的证法也继承Euclid的思想, 把以斜边上正方形分成两个矩形, 通过证明它们分别与两个直角边上正方形的面积相等。在证明面积相等的时候, 再次把两矩形分成若干小块, 然后分别经平移拼成直角边上两个正方形，如图。这一证法与我国清初数学家梅文鼎的证法有异曲同工之妙。2.3.3第三条思路H.Perigal于1873年提出的证明, 如图, 只在长直角边上正方形中剪两刀成四个图形, 并和短直角边上正方形合成斜边上的正方形。丹麦人N.Nielsen(1865-1931)的证法也很简洁, 作法也很方便, 如图, 在两个直角边上正方形中剪三刀成五个图形, 再拼成斜边上正方形。进一步
12、, 我们对图稍作改动, 如图, 就会发现, 他的证法与我国魏晋时期数学家刘徽的证法完全相同。刘徽在为九章算术作注时给出他用出入相补原理对勾股定理的证明, 并有一图, 不过他的原图已失传, 清代数学家李锐和李演对其图作了复原, 正如图中实线所构成的图形。英国人H.E.Dudeney(1857-1930)于1917年发明“风车证法”，分割长直角边上正方形使其形如风车, 如图。这一方法比较简便,不难看出,它产生于Nielsen的证法, 但比Perigal的证法更美观更精致,所以也成为数学史上比较著名的一种证法。显然，三条思路中的六种方法, 除去第一种Da Vinci的方法, 其余几种均使用了拼图法。
13、第一条思路中Epstein的方法与其余四种不同, 不能单纯使用平移变换来解释。而Weber方法与第三条思路中的几种方法不同, 不能用图这样的平铺图来表示。类似的证明方法还有很多，我国三国时期数学家赵爽的弦图证明也可以扩展为这样的平铺图，赵爽的证法将在下文论述。2.4 美国总统Garfield证明以a、b 为直角边，以c为斜边作两个全等的直角三角形，则每个直角三角形的面积等于。把这两个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上。 RtEAD RtCBE, ADE = BEC. AED + ADE = 90, AED + BEC = 90. DEC = 18090= 90. DEC是一个等腰直角三角形，它的面积等于.又 DAE = 90, EBC = 90, ADBC. ABCD是一个直角梯形，它的面积等于. 2.5 利用多列米定理证明在RtABC中，设直角边BC = a，AC = b，斜边AB = c（如图）. 过点A作ADCB，过点B作BDCA，则ACBD为矩形，矩形ACBD内接于一个圆. 根据多列米定理，圆内接四边形对角线的乘积等于两对边乘积
