在中国古代的数学家中,最早对勾股定理进行证明的是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”,用数形结合的方法,给出了勾股定理的详细证明。在这幅“勾股圆方图”中,以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2;中间的小正方形边长为b-a,则面积为(b-a) 2 。于是便可得如下的式子: 4×(ab/2)+(b-a) 2 =c 2 化简后便可得: a 2 +b 2 =c 2 亦即:c=(a 2 +b 2 ) (1/2) 赵爽的这个证明可谓别具匠心,极富创新意识。他用几何图形的截、割、拼、补来证明代数式之间的恒等关系,既具严密性,又具直观性,为中国古代以形证数、形数统一、代数和几何紧密结合、互不可分的独特风格树立了一个典范。 以下网址为赵爽的“勾股圆方图”: http://cimg.163.com/catchpic/0/01/01F9D756BE31CE31F761A75CACC1410C.gif 以后的数学家大多继承了这一风格并且有发展, 只是具体图形的分合移补略有不同而已。 例如稍后一点的刘徽在证明勾股定理时也是用以形证数的方法,刘徽用了“出入相补法”即剪贴证明法,他把勾股为边的正方形上的某些区域剪下来(出),移到以弦为边的正方形的空白区域内(入),结果刚好填满,完全用图解法就解决了问题。 以下网址为刘徽的“青朱出入图”: http://cimg.163.com/catchpic/A/A7/A7070D771214459D67A75E8675AA4DCB.gif
|