勾股定理的证明方法和相关故事.ppt.ppt

勾股定理的证明方法和相关故事,勾股定理简介,勾股定理是余弦定理的一个特例。这个定理在中国又称为“商高定理”，在外国称为“毕达哥拉斯定理”或者“百牛定理“（毕达哥拉斯发现了这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”），法国、比利时人又称这个定理为“驴桥定理”。他们发现勾股定理的时间都比我国晚，我国是最早发现这一几何宝藏的国家。目前初二学生学，教材的证明方法采用赵爽弦图，证明使用青朱出入图。勾股定理是一个基本的几何定理，它是用代数思想解决几何问题的最重要的工具之一，是数形结合的纽带之一。直角三角形两直角边的平方和等于斜边的平方。如果用a、b和c分别表示直角三角形的两直角边和斜边，那么a2+b2=c2。勾股定理是余弦定理的一个特例。这个定理在中国又称为“商高定理”，在外国称为“毕达哥拉斯定理”或者“百牛定理“（毕达哥拉斯发现了这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”），法国、比利时人又称这个定理为“驴桥定理”。他们发现勾股定理的时间都比我国晚，我国是最早发现这一几何宝藏的国家。目前初二学生学，教材的证明方法采用赵爽弦图，证明使用青朱出入图。勾股定理是一个基本的几何定理，它是用代数思想解决几何问题的最重要的工具之一，是数形结合的纽带之一。直角三角形两直角边的平方和等于斜边的平方。如果用a、b和c分别表示直角三角形的两直角边和斜边，那么a2+b2=c2。,勾股数组,满足勾股定理方程 a2+b2=c2;的正整 勾股定理数组(a，b，c)。例如(3，4，5)就是一组勾股数组。由于方程中含有3个未知数，故勾股数组有无数多组。勾股数组的通式：a=M2-N2 b=2MN c=M2+N2(MN,M,N为正整数）,勾股定理,定理如果直角三角形两直角边分别为A，B，斜边为C，那么 A2+B2=C2；即直角三角形两直角边长的平方和等于斜边长的平方。古埃及人用这样的方法画直角如果三角形的三条边A，B，C满足A2+B2=C2;，还有变形公式：AB=根号（AC2+BC2），如：一条直角边是a，另一条直角边是b，如果a的平方与b的平方和等于斜边c的平方那么这个三角形是直角三角形。（称勾股定理的逆定理）,古埃及人画直角三角形,勾股定理的来源,毕达哥拉斯树是一个基本的几何定理，传统上认为是由古希腊的毕达哥拉斯所证明。据说毕达哥拉斯证明了这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”。毕达哥拉斯在中国，周髀算经记载了勾股定理的公式与证明，相传是在商代由商高发现，故又有称之为商高定理；三国时代的赵爽对周髀算经内的勾股定理作出了详细注释，又给出了另外一个证明1。法国和比利时称为驴桥定理，埃及称为埃及三角形。我国古代把直角三角形中较短的直角边叫做勾，较长的直角边叫做股，斜边叫做弦。常用勾股数组(3,4,5);(6,8,10);(5,12,13);(8,15,17);(7,24,25)有关勾股定理书籍 数学原理人民教育出版社 探究勾股定理同济大学出版社 优因培教数学北京大学出版社 勾股书籍 新世纪出版社 九章算术一书 优因培揭秘勾股定理江西教育出版社 几何原本（原著：欧几里得）人民日报出版社,毕达哥拉斯树,毕达哥拉斯树是由毕达哥拉斯根据勾股定理所画出来的一个可以无限重复的图形。又因为重复数次后 的形状好似一棵树，所以被称为毕达哥拉斯树。直角三角形两个直角边平方的和等于斜边的平方。两个相邻的小正方形面积的和等于相邻的一个大正方形的面积。利用不等式A2+B22AB可以证明下面的结论：三个正方形之间的三角形，其面积小于等于大正方形面积的四分之一，大于等于一个小正方形面积的二分之一。毕达哥拉斯树,毕达哥拉斯树,加菲尔德证明勾股定理的故事,1876年一个周末的傍晚，在美国首都华盛顿的郊外，有一位中年人正在散步，欣赏黄昏的美景，他就是当时美国俄亥俄州共和党议员加菲尔德。他走着走着，突然发现附近的一个小石凳上，有两个小孩正在聚精会神地谈论着什么，时而大声争论，时而小声探讨。由于好奇心驱使，加菲尔德循声向两个小孩走去，想搞清楚两个小孩到底在干什么。只见一个小男孩正俯着身子用树枝在地上画着一个直角三角形。于是加菲尔德 便问他们在干什么？那个小男孩头也不抬地说：“请问先生，如果直角三角形的两条直角边分别为3和4，那么斜边长为多少呢？”加菲尔德答道：“是5呀。”小男孩又问道：“如果两条直角边分别为5和7，那么这个直角三角形的斜边长又是多少？”加菲尔德不加思索地回答到：“那斜边的平方一定等于5的平方加上7的平方”小男孩说：“先生，你能说出其中的道理吗？”加菲尔德一时语塞，无法解释了，心里很不是滋味。加菲尔德不再散步，立即回家，潜心探讨小男孩给他出的难题。他经过反复思考与演算，终于弄清了其中的道理，并给出了简洁的证明方法。如下：解：在网格内，以两个直角边为边长的小正方形面积和，等于以斜边为边长的的正方形面积。勾股定理的内容：直角三角形两直角边a、b的平方和等于斜边c的平方，a2+b2=c2;说明：我国古代学者把直角三角形的较短直角边称为“勾”，较长直角边为“股”，斜边称为“弦”，所以把这个定理称为“勾股定理”。勾股定理揭示了直角三角形边之间的关系。举例：如直角三角形的两个直角边分别为3、4，则斜边c的平方;=a的平方+b的平方=9+16=25即c=5 则说明斜边为5。,证明方法1,这个定理有许多证明的方法，其证明的方法可能是数学众多定理中最多的。路明思（Elisha Scott Loomis）的 Pythagorean Proposition（毕达哥拉斯命题）一书中总共提到367种证明方式。有人会尝试以三角恒等式（例如：正弦和余弦函数的泰勒级数）来证明勾股定理，但是，因为所有的基本三角恒等式都是建基于勾股定理，所以不能作为勾股定理的证明（参见循环论证）。证法1作四个全等的直角三角形，设它们的两条直角边长分别为a、b，斜边长为c.把它们拼成如图那样的一个多边形，使D、E、F在一条直线上。过点C作AC的延长线交DF于点P.D、E、F在一条直线上，且RtGEF RtEBD，EGF=BED，EGF+GEF=90，BED+GEF=90，BEG=18090=90 又 AB=BE=EG=GA=c，ABEG是一个边长为c的正方形。ABC+CBE=90 RtABC RtEBD，ABC=EBD.EBD+CBE=90 即 CBD=90 又 BDE=90，BCP=90，BC=BD=a.BDPC是一个边长为a的正方形。同理，HPFG是一个边长为b的正方形.设多边形GHCBE的面积为S，则 A2+B2=C2.,证明方法2,作两个全等的直角三角形，设它们的两条直角边长分别为a、b（ba），斜边长为c.再做一个边长为c的正方形。把它们拼成如图所示的多边形，使E、A、C三点在一条直线上.过点Q作QPBC，交AC于点P.过点B作BMPQ，垂足为M；再过点 F作FNPQ，垂足为N.BCA=90，QPBC，MPC=90，BMPQ，BMP=90，BCPM是一个矩形，即MBC=90。QBM+MBA=QBA=90，ABC+MBA=MBC=90，QBM=ABC，又 BMP=90，BCA=90，BQ=BA=c，RtBMQ RtBCA.同理可证RtQNF RtAEF.即a2+b2=c2.,证明方法3,作两个全等的直角三角形，设它们的两条直角边长分别为a、b（ba），斜边长为c.再作一个边长为c的正方形。把它们拼成如图所示的多边形.分别以CF，AE为边长做正方形FCJI和AEIG，EF=DF-DE=b-a，EI=b，FI=a，G,I,J在同一直线上，CJ=CF=a，CB=CD=c，CJB=CFD=90，RtCJB RtCFD，同理，RtABG RtADE，RtCJB RtCFD RtABG RtADE ABG=BCJ,BCJ+CBJ=90，ABG+CBJ=90,ABC=90，G,B,I,J在同一直线上，a2+b2=c2.,证明方法4,作三个边长分别为a、b、c的三角形，把它们拼成如图所示形状，使H、C、B三点在一条直线上，连结 BF、CD.过C作CLDE，交AB于点M，交DE于点L.AF=AC，AB=AD，FAB=GAD，FAB GAD，FAB的面积等于，GAD的面积等于矩形ADLM 的面积的一半，矩形ADLM的面积=.同理可证，矩形MLEB的面积=.正方形ADEB的面积=矩形ADLM的面积+矩形MLEB的面积 即a2;+b2;=c2;,证法5(欧几里得的证法),几何原本中的证明 在欧几里得的几何原本一书中提出勾股定理由以下证明后可成立。设ABC为一直角三角形，其中A为直角。从A点划一直线至对边，使其垂直于对边上的正方形。此线把对边上的正方形一分为二，其面积分别与其余两个正方形相等。在正式的证明中，我们需要四个辅助定理如下：如果两个三角形有两组对应边和这两组边所夹的角相等，则两三角形全等。（SAS定理）三角形面积是任一同底同高之平行四边形面积的一半。任意一个正方形的面积等于其二边长的乘积。任意一个四方形的面积等于其二边长的乘积（据辅助定理3）。证明的概念为：把上方的两个正方形转换成两个同等面积的平行四边形，再旋转并转换成下方的两个同等面积的长方形。其证明如下：设ABC为一直角三角形，其直角为CAB。其边为BC、AB、和CA，依序绘成四方形CBDE、BAGF和ACIH。画出过点A之BD、CE的平行线。此线将分别与BC和DE直角相交于K、L。分别连接CF、AD，形成两个三角形BCF、BDA。CAB和BAG都是直角，因此C、A 和 G 都是线性对应的，同理可证B、A和H。CBD和FBA皆为直角，所以ABD等于FBC。因为 AB 和 BD 分别等于 FB 和 BC，所以ABD 必须相等于FBC。因为 A 与 K 和 L是线性对应的，所以四方形 BDLK 必须二倍面积于ABD。因为C、A和G有共同线性，所以正方形BAGF必须二倍面积于FBC。因此四边形 BDLK 必须有相同的面积 BAGF=AB2。同理可证，四边形 CKLE 必须有相同的面积 ACIH=AC2。把这两个结果相加，AB2+AC2;=BDBK+KLKC。由于BD=KL，BDBK+KLKC=BD(BK+KC)=BDBC 由于CBDE是个正方形，因此AB2+AC2=BC2。此证明是于欧几里得几何原本一书第1.47节所提出的,证法6（欧几里德(Euclid)射影定理证法）,如图1，RtABC中，ABC=90，BD是斜边AC上的高，通过证明三角形相似则有射影定理如下：1）（BD）2;=ADDC，（2）（AB）2;=ADAC，（3）（BC）2;=CDAC。由公式（2）+（3）得：（AB）2;+（BC）2;=ADAC+CDAC=（AD+CD)AC=（AC）2;，图1即（AB）2;+（BC）2;=（AC）2，这就是勾股定理的结论。,证法七（赵爽弦图）,在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：4（ab/2）+（b-a）2;=c2;化简后便可得：a2;+b2;=c2;亦即：c=(a2;+b2;)1/2 勾股定理的别名 勾股定理，是几何学中一颗光彩夺目的明珠，被称为“几何学的基石”，而且在高等数学和其他学科中也有着极为广泛的应用。正因为这样，世界上几个文明古国都已发现并且进行了广泛深入的研究，因此有许多名称。我国是发现和研究勾股定理最古老的国家之一。我国古代数学家称直角三角形为勾股形，较短的直角边称为勾，另一直角边称为股，斜边称为弦，所以勾股定理也称为勾股弦定理。在公元前1000多年，据记载，商高（约公元前1120年）答周公曰“故折矩，以为句广三，股修四，径隅五。既方之，外半其一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。”因此，勾股定理在我国又称“商高定理”。在公元前7至6世纪一中国学者陈子，曾经给出过任意直角三角形的三边关系即“以日下为勾，日高为股，勾、股各乘并开方除之得邪至日。在法国和比利时，勾股定理又叫“驴桥定理”。还有的国家称勾股定理为“平方定理”。在陈子后一二百年，希腊的著名数学家毕达哥拉斯发现了这个定理，因此世界上许多国家都称勾股定理为“毕达哥拉斯”定理。为了庆祝这一定理的发现，毕达哥拉斯学派杀了一百头牛酬谢供奉神灵，因此这个定理又有人叫做“百牛定理”,证法8（达芬奇的证法）,达芬奇的证法三张纸片其实是同一张纸，把它撕开重新拼凑之后，中间那个“洞”的面积前后仍然是一样的，但是面积的表达式却不再相同，让这两个形式不同的表达式相等，就能得出一个新的关系式勾股定理，所有勾股定理的证明方法都有这么个共同点。观察纸片一，因为要证的事勾股定理，那么容易知道EBCF，又因为纸片的两边是对称的，所以能够知道四边形ABOF和CDEO都是正方形。然后需要知道的是角A和角D都是直角，原因嘛，可以看纸片一，连结AD，因为对称的缘故，所以BAD=FAD=CDA=EDA=45，那么很明显，图三中角A和角D都是直角。证明：第一张纸片多边形ABCDEF的面积S1=S正方形ABOF+S正方形CDEO+2SBCO=OF2+OE2+OFOE 第三张纸片中多边形ABCDEF的面积S2=S正方形BCEF+2CDE=EF2+CDDE因为S1=S2 所以OF2+OE2+OFOE=EF2+CDDE又因为CD=CD=OE,DE=AF=OF所以OFOE=CDDE 则OF2+OE2=EF2;因为EF=EF所以OF2+OE2=EF2;勾股定理得证,勾股数,定义勾股数又名毕氏三元数 凡是可以构成一个直角三角形三边的一组正整数，称之为勾股数。介绍观察3，4，5；5，12，13；7，24，25；发现这些勾股数都是奇数，且从3起就没有间断过。计算0.5（9-1），0.5（9+1）与0.5（25-1），0.5（25+1），并根据你发现的规律写出分别能表示7，24，25的股和弦的算式。根据的规律，用n的代数式来表示所有这些勾股数的勾、股、弦，合情猜想他们之间的两种相等关系，并对其中一种猜想加以说明。继续观察4，3，5；6，8，10；8，15，17；可以发现各组的第一个数都是偶数，且从4起也没有间断过，运用上述类似的探索方法，之间用m的代数式来表示它们的股合弦。,参考资料,1 曲安京：商高、赵爽与刘徽关于勾股定理的证明。刊于数学传播20卷，台湾，1996年9月第3期，20-27页。2 周髀算经，文物出版社，1980年3月，据宋代嘉定六年本影印，1-5页。3 陈良佐：周髀算经勾股定理的证明与出入相补原理的关系。刊於汉学研究,1989年第7卷第1期，255-281页。4 李国伟：论周髀算经“商高曰数之法出于圆方”章。刊於第二届科学史研讨会汇刊,台湾，1991年7月，227-234页。5 李继闵：商高定理辨证。刊於自然科学史研究,1993年第12卷第1期，29-41页。,本次课程结束，谢谢欣赏,