千古第一定理勾股定理.docVIP

千古第一定理——勾股定理 　　a、b、c，则 a2+b2=c2 　　a，b，c满足 a2+b2=c2 　　则它是个直角三角形．实际上，早在毕达哥拉斯之前，许多民族已经发现了这个事实，而且巴比伦、埃及、中国、印度等的发现都有真凭实据，有案可查．相反，毕达哥拉斯的著作却什么也没有留传下来，关于他的种种传说都是后人辗转传播的，可以说真伪难辨．这个现象的确不太公平，其所以这样，是因为现代的数学和科学来源于西方，而西方的数学及科学又来源于古希腊，古希腊流传下来的最古老的著作是欧几里得的《几何原本》，而其中许多定理再往前追溯，自然就落在毕达哥拉斯的头上．他常常被推崇为“数论的始祖”，而在他之前的泰勒斯被称为“几何的始祖”，西方的科学史一般就上溯到此为止了．至于希腊科学的起源只是近一二百年才有更深入的研究．因此，毕达哥拉斯定理这个名称一时半会儿改不了．不过，在中国，因为我们的老祖宗也研究过这个问题，因此称为商高定理，而更普遍地则称为勾股定理． 　　不管怎么说，勾股定理是数学中头一个最伟大的定理，它的重要性怎么说也不为过： 　　(1)　　(2) 　　(3) 　　(4) 　　3.1 　　5000年的历史了． 　　(5，12，13)，(7，24，25)，(8，15，17)等7组，《缉古算经》中有(287，984，102)，是明显表出的最大一组勾股数． 　　1米．他们可以利用一条12米的绳子拉出一个直角三角形来．这条绳子算上首尾的结共有13个结，这样，把第一个结同第13个结连在一起，用桩子固定下来，然后再把第4个结同第8个结也分别用桩子固定，同时绷紧绳子．这三个桩子构成边长分别为3米、4米、5米的三角形，而两短边形成直角(图3.1)．根据现有的材料推测，埃及人可能只是考虑实用的目的，而对进一步研究数论不感兴趣． 　　印度人也考虑过直角三角形，他们比埃及人进了一步，得出了满足 a2+b2=c2 的三整数组(a，b，c)，在西方称为毕达哥拉斯三数组，我们不妨称之为勾股数组．印度人发现的新的勾股数组还有 　　1216，20； 15，20，25； 　　512，13； 15，36，39； 　　815，17； 12，35，37． 　　不过，他们也没有进一步的结果． 　　(表3.1)，其中有的数很大，表明他们也许已掌握了一般的规律． 　　3.2 　　(参见图3.3)出现在第二篇命题47中， 　　这个证明在所有证明中其实是比较复杂的．证明的要点如下： 　　ABD≌△FBC， 　　BDLI=2△ABD， 　　GFBA=2△FBC， 　　BDLI=正方形GFBA， 　　CILE=正方形ACKH， 　　. 　　48是勾股定理的逆定理：如果三角形一边上的正方形等于其他两边上的正方形之和，则其他两边的夹角是直角． 　　(参见图3.4)： 　　AD垂直于AC且等于AB． 　　由题设 AB2+AC2=BC2 　　ACD有 AD2+AC2=DC2 　　 AB=AD，∴BC2=DC2 　　BC=DC 　　ABC与△ADC三边对应相等，从而两三角形全等，所以∠CAB为直角． 　　370多种不同的证明，这些证明中有的非常简单和直观，甚至从图上马上可以看出，下面仅举两例． 　　3.5，把四个全等的直角三角形拼成一个大正方形，那么大正方形面积等于 (a+b)2=a2+2ab+b2； 　　另一方面，大正方形面积又等于 　　 a2+b2=c2 　　3.6所示．由图可见，边长为c的大正方形的面积为 　 　　3.3 　　毕达哥拉斯的公式 x2+y2=z2 (3.1) 　　并不是最简单的不定方程，然而却容易下手．你如果有兴趣，也可以尝试去求它的解．不过，现代人虽然有个人计算机的帮助，也不一定能得出巴比伦人的一些解来．不管怎么样，碰到一个不定方程，首先就要试一试求它的解，这显然是求解不定方程的初级阶段． 　　(3.1)的解之后，很容易发现，(3，4，5)是一组解，它们的倍数，比如(6，8，10)，(9，12，15)，(12，16，20)等等也都是解．这些解在巴比伦的泥板文书上也有，例如(45，60，75)．这样我们便得到第一个规律： 　　3.1 如果(a，b，c)是方程 x2+y2=z2 的一组解，则(ka，kb，kc)也是一组解，其中k是任意整数． 　　a，b，c互素(详见4．1．3节)的解，也就是它们的最大公因数(a，b，c)=1的解，这种解我们可以称为素勾股数组． 　　(3，4，5)是一个素勾股数组，可是勾股方程的素勾股数组远不止这一个，例如(5，12，13)，(7，24，25)等也都是素勾股数组．下一个问题就是这些素勾股数组能不能用一个简单公式来概括呢？从数学发展史来看，这是一个飞跃，它真正显示了代数的威力．毕达哥拉斯学派已经找到了这个公式，这就是 　　m为奇数时，它们就代表素勾股数组，