论文部分内容阅读
摘 要：勾股定理是几何学中的明珠，它充满了魅力。千百年来，人们对它的证明趋之若鹜，其中有著名的数学家，也有业余数学爱好者，有普通的老百姓，也有尊贵的政要权贵，甚至有国家总统。也许是因为勾股定理既重要又简单，更容易吸引人，才使它成百次地反复被人炒作、反复被人论证。中国古代数学家们对于勾股定理的发现和证明，在世界数学史上具有独特的贡献和地位。尤其是其中体现出来的“形数统一”的思想方法，更具有科学创新的重大意义。
关键词：勾股定理 证明
在数百种勾股定理证明方法中，有的十分精彩，有的十分简洁，有的因为证明者身份的特殊而非常著名。首先介绍勾股定理的两个最为精彩的证明，据说分别来源于中国和希腊：
一、中国方法
画两个边长为（a+b）的正方形（图略），其中a、b为直角边，c为斜边。这两个正方形全等，故面积相等。左图与右图各有四个与原直角三角形全等的三角形，左右四个三角形面积之和必相等。从左右两图中都把四个三角形去掉，图形剩下部分的面积必相等。左图剩下两个正方形，分别以a、b为边，右图剩下以c为边的正方形，于是 a2+b2=c2。这就是我们几何教科书中所介绍的方法，既直观又简单，任何人都看得懂。
二、希腊方法
直接在直角三角形三边上画正方形（图略）。容易看出， △ABA`≌△AA'C。过C向A″B″引垂线，交AB于C`，交A″B″于C″。△ABA`与正方形ACDA`同底等高，前者面积为后者面积的一半，△AA″C与矩形AA″C″C`同底等高，前者的面积也是后者的一半。由△ABA`≌△AA″C，知正方形ACDA`的面积等于矩形AA″C″C`的面积。同理可得正方形BB`EC的面积等于矩形B″BC`C″的面积。于是，S正方形AA″B″B=S正方形ACDA`+S正方形BB`EC，即 a2+b2=c2。 至于三角形面积是同底等高的矩形面积之半，则可用割补法得到（请读者自己证明）。这里只用到简单的面积关系，不涉及三角形和矩形的面积公式。 这就是古希腊数学家欧几里得在其《几何原本》中的证法。
以上两个证明方法之所以精彩，是它们所用到的定理少，都只用到面积的两个基本观念：（1）全等形的面积相等； （2）一个图形分割成几部分，各部分面积之和等于原图形的面积。 这是完全可以接受的朴素观念，任何人都能理解。 我国历代数学家关于勾股定理的论证方法有多种，为勾股定理作的图注也不少，其中较早的是赵爽（即赵君卿）在他附于《周髀算经》之中的论文《勾股圆方图注》中的证明。采用的是割补法：（图略），将图中的四个直角三角形涂上朱色，把中间小正方形涂上黄色，叫做中黄实，以弦为边的正方形称为弦实，然后经过拼补搭配，“令出入相补，各从其类”，他肯定了勾股弦三者的关系是符合勾股定理的，即“勾股各自乘，并之为弦实，开方除之，即弦也”。赵爽对勾股定理的证明，显示了我国数学家高超的证题思想，较为简明、直观。西方也有很多学者研究了勾股定理，给出了很多证明方法，其中有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后，欣喜若狂，杀牛百头，以示庆贺，故西方亦称勾股定理为“百牛定理”。遗憾的是，毕达哥拉斯的证明方法早已失传，我们无从知道他的证法。
下面介绍的是美国第二十任总统伽菲尔德对勾股定理的证明：
S梯形ABCD=（a+b）2=（a2+2ab+b2），又S梯形ABCD=S△AED+S△EBC+S△CED=ab+ba+c2=（2ab+c2）。比较以上二式，便得a2+b2=c2。 这一证明由于用了梯形面积公式和三角形面积公式，从而使证明相当简洁。
最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间的小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：
4×（ab/2）+（b-a）2=c2
化简后便可得：
a2+b2=c2。
亦即：
c= a2+b2。
美国的数学史家M·克莱因教授曾经指出：“我们也不知道埃及人是否认识到毕达哥拉斯定理，我们知道他们有拉绳人（测量员），但所传他们在绳上打结，把全长分成长度为3、4、5的三段，然后用来形成直角三角形之说，则从未在任何文件上得到证实。”不过，考古学家们发现了几块大约完成于公元前2000年左右的古巴比伦的泥版书，据专家们考证，其中一块上面刻有如下问题：“一根长度为30个单位的棍子直立在墙上，当其上端滑下6个单位时，请问其下端离开墙角有多远？”这是一个三边为3∶4∶5三角形的特殊例子。专家们还发现，在另一块版板上面刻着一个奇特的数表，表中共刻有四列十五行数字，这是一个勾股数表：最右边一列为从1到15的序号，而左边三列则分别是股、勾、弦的数值，一共记载着15组勾股数。
总之，勾股定理是世界上最伟大的定理之一，还会有更多的人去证明它的存在。它在我们的实际生活中应用十分广泛，它永远是数学界一颗璀璨的明珠。
关键词：勾股定理 证明
在数百种勾股定理证明方法中，有的十分精彩，有的十分简洁，有的因为证明者身份的特殊而非常著名。首先介绍勾股定理的两个最为精彩的证明，据说分别来源于中国和希腊：
一、中国方法
画两个边长为（a+b）的正方形（图略），其中a、b为直角边，c为斜边。这两个正方形全等，故面积相等。左图与右图各有四个与原直角三角形全等的三角形，左右四个三角形面积之和必相等。从左右两图中都把四个三角形去掉，图形剩下部分的面积必相等。左图剩下两个正方形，分别以a、b为边，右图剩下以c为边的正方形，于是 a2+b2=c2。这就是我们几何教科书中所介绍的方法，既直观又简单，任何人都看得懂。
二、希腊方法
直接在直角三角形三边上画正方形（图略）。容易看出， △ABA`≌△AA'C。过C向A″B″引垂线，交AB于C`，交A″B″于C″。△ABA`与正方形ACDA`同底等高，前者面积为后者面积的一半，△AA″C与矩形AA″C″C`同底等高，前者的面积也是后者的一半。由△ABA`≌△AA″C，知正方形ACDA`的面积等于矩形AA″C″C`的面积。同理可得正方形BB`EC的面积等于矩形B″BC`C″的面积。于是，S正方形AA″B″B=S正方形ACDA`+S正方形BB`EC，即 a2+b2=c2。 至于三角形面积是同底等高的矩形面积之半，则可用割补法得到（请读者自己证明）。这里只用到简单的面积关系，不涉及三角形和矩形的面积公式。 这就是古希腊数学家欧几里得在其《几何原本》中的证法。
以上两个证明方法之所以精彩，是它们所用到的定理少，都只用到面积的两个基本观念：（1）全等形的面积相等； （2）一个图形分割成几部分，各部分面积之和等于原图形的面积。 这是完全可以接受的朴素观念，任何人都能理解。 我国历代数学家关于勾股定理的论证方法有多种，为勾股定理作的图注也不少，其中较早的是赵爽（即赵君卿）在他附于《周髀算经》之中的论文《勾股圆方图注》中的证明。采用的是割补法：（图略），将图中的四个直角三角形涂上朱色，把中间小正方形涂上黄色，叫做中黄实，以弦为边的正方形称为弦实，然后经过拼补搭配，“令出入相补，各从其类”，他肯定了勾股弦三者的关系是符合勾股定理的，即“勾股各自乘，并之为弦实，开方除之，即弦也”。赵爽对勾股定理的证明，显示了我国数学家高超的证题思想，较为简明、直观。西方也有很多学者研究了勾股定理，给出了很多证明方法，其中有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后，欣喜若狂，杀牛百头，以示庆贺，故西方亦称勾股定理为“百牛定理”。遗憾的是，毕达哥拉斯的证明方法早已失传，我们无从知道他的证法。
下面介绍的是美国第二十任总统伽菲尔德对勾股定理的证明：
S梯形ABCD=（a+b）2=（a2+2ab+b2），又S梯形ABCD=S△AED+S△EBC+S△CED=ab+ba+c2=（2ab+c2）。比较以上二式，便得a2+b2=c2。 这一证明由于用了梯形面积公式和三角形面积公式，从而使证明相当简洁。
最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间的小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：
4×（ab/2）+（b-a）2=c2
化简后便可得：
a2+b2=c2。
亦即：
c= a2+b2。
美国的数学史家M·克莱因教授曾经指出：“我们也不知道埃及人是否认识到毕达哥拉斯定理，我们知道他们有拉绳人（测量员），但所传他们在绳上打结，把全长分成长度为3、4、5的三段，然后用来形成直角三角形之说，则从未在任何文件上得到证实。”不过，考古学家们发现了几块大约完成于公元前2000年左右的古巴比伦的泥版书，据专家们考证，其中一块上面刻有如下问题：“一根长度为30个单位的棍子直立在墙上，当其上端滑下6个单位时，请问其下端离开墙角有多远？”这是一个三边为3∶4∶5三角形的特殊例子。专家们还发现，在另一块版板上面刻着一个奇特的数表，表中共刻有四列十五行数字，这是一个勾股数表：最右边一列为从1到15的序号，而左边三列则分别是股、勾、弦的数值，一共记载着15组勾股数。
总之，勾股定理是世界上最伟大的定理之一，还会有更多的人去证明它的存在。它在我们的实际生活中应用十分广泛，它永远是数学界一颗璀璨的明珠。