《千古第一定理——勾股定理》由会员分享,可在线阅读,更多相关《千古第一定理——勾股定理(13页珍藏版)》请在金锄头文库上搜索。
1、千古第一定理勾股定理在西方, 毕达哥拉斯的名字可以说尽人皆知,这主要来自所谓毕达哥拉斯定理,即直角三角形的三条边长度为a、b、 c,则a2+b2=c2 反过来,如果三角形的三条边a, b,c 满足a2+b2=c2 则它是个直角三角形实际上,早在毕达哥拉斯之前,许多民族已经发现了这个事实,而且巴比伦、埃及、中国、印度等的发现都有真凭实据,有案可查相反,毕达哥拉斯的著作却什么也没有留传下来,关于他的种种传说都是后人辗转传播的,可以说真伪难辨这个现象的确不太公平,其所以这样, 是因为现代的数学和科学来源于西方,而西方的数学及科学又来源于古希腊,古希腊流传下来的最古老的著作是欧几里得的几何原本,而其中
2、许多定理再往前追溯,自然就落在毕达哥拉斯的头上他常常被推崇为“数论的始祖”,而在他之前的泰勒斯被称为“几何的始祖”,西方的科学史一般就上溯到此为止了至于希腊科学的起源只是近一二百年才有更深入的研究因此,毕达哥拉斯定理这个名称一时半会儿改不了不过,在中国,因为我们的老祖宗也研究过这个问题,因此称为商高定理,而更普遍地则称为勾股定理不管怎么说,勾股定理是数学中头一个最伟大的定理,它的重要性怎么说也不为过:(1) 勾股定理是联系数学中最基本也是最原始的两个对象数与形的第一定理(2) 勾股定理导致不可通约量的发现,从而深刻揭示了数与量的区别,即所谓“无理数”与有理数的差别,这就是所谓第一次数学危机(3
3、) 勾股定理开始把数学由计算与测量的技术转变为证明与推理的科学(4) 勾股定理中的公式是第一个不定方程,也是最早得出完整解答的不定方程,它一方面引导到各式各样的不定方程,包括著名的费尔马大定理,另一方面也为不定方程的解题程序树立了一个范式3.1 勾股定理的历史世界上各个民族通过他们的实践都或多或少地知道勾股定理而号称四大文明古国的中国、印度、埃及、巴比伦则更有丰富的数学文化,距今都有5000 年的历史了中国的周髀算经中明确地记载着“勾三,股四,弦五”,并且清楚地讨论了它们与直角三角形的关系其后的著作中也有其他的勾股数如九章算术中还有(5,12,13) ,(7,24,25) ,(8 ,15,17
4、) 等 7 组, 缉古算经中有(287 ,984,102) ,是明显表出的最大一组勾股数埃及是几何学的发源地,埃及的“拉绳者”就是测量员,他们利用有结的绳子进行测量,两结之间的距离都是一样的,比如说都是1 米他们可以利用一条12 米的绳子拉出一个直角三角形来 这条绳子算上首尾的结共有13 个结,这样,把第一个结同第13 个结连在一起,用桩子固定下来,然后再把第4 个结同第8 个结也分别用桩子固定,同时绷紧绳子 这三个桩子构成边长分别为3 米、 4 米、 5 米的三角形,而两短边形成直角( 图 3.1) 根据现有的材料推测,埃及人可能只是考虑实用的目的,而对进一步研究数论不感兴趣印度人也考虑过直
5、角三角形,他们比埃及人进了一步,得出了满足a2+b2=c2 的三整数组 (a ,b,c) ,在西方称为毕达哥拉斯三数组,我们不妨称之为勾股数组印度人发现的新的勾股数组还有12,16,20; 15 ,20,25;5,12, 13; 15 ,36,39;8,15, 17; 12 ,35,37不过,他们也没有进一步的结果现有材料中最令人吃惊的是,公元前两千年左右的巴比伦的泥板文书上有着许多勾股数组( 表 3.1) ,其中有的数很大,表明他们也许已掌握了一般的规律3.2 勾股定理的几何方面勾股定理包含几何与数论两个方面首先是几何方面, 一个直角三角形的斜边的平方等于另外两边的平方和这里, 边的平方的几
6、何意义就是以该边为边的正方形的面积,实际上这时我们并不考虑边长是否为整数只有毕达哥拉斯学派认为万物皆数,才把边长及面积都看成整数或分数,而最终导致矛盾但是,勾股定理并没有必要考虑得如此深刻,我们只是考虑面积的相等就够了第一个发表了的证明欧几里得几何原本 中的证明就是这样的欧几里得的证明( 参见图 3.3) 出现在第二篇命题47 中,这个证明在所有证明中其实是比较复杂的证明的要点如下:ABD FBC ,矩形 BDLI=2ABD ,正方形 GFBA=2 FBC ,因此 矩形 BDLI=正方形 GFBA ,同样可证矩形 CILE=正方形 ACKH ,两式相加即得定理. 第二篇命题48 是勾股定理的逆
7、定理:如果三角形一边上的正方形等于其他两边上的正方形之和,则其他两边的夹角是直角欧几里得的证明是这样的( 参见图 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
8、+b2;另一方面,大正方形面积又等于因此 a2+b2=c2 另一种拼法如图3.6 所示由图可见,边长为c 的大正方形的面积为3.3 勾股定理的数论方面勾股定理的数论方面虽然可以包括在几何方面之内,但是比几何方面更为重要这是由于它是第一个充分研究过的不定方程,并且得到了完整的解答,并且数论所代表的离散数学与几何所代表的连续数学之间的奇妙关系一直是数学发展的一条主线毕达哥拉斯的公式x2+y2=z2 (3.1) 并不是最简单的不定方程,然而却容易下手 你如果有兴趣, 也可以尝试去求它的解不过,现代人虽然有个人计算机的帮助,也不一定能得出巴比伦人的一些解来不管怎么样,碰到一个不定方程,首先就要试一试求
9、它的解,这显然是求解不定方程的初级阶段近代数学给我们带来许多新东西,其中之一就是寻找求解的规律,而不是一味地盲目摸索在考虑满足方程(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,
10、b,c 互素 ( 详见 413 节) 的解,也就是它们的最大公因数(a ,b,c)=1 的解,这种解我们可以称为素勾股数组显然 (3,4,5) 是一个素勾股数组,可是勾股方程的素勾股数组远不止这一个,例如(5 ,12,13),(7,24,25)等也都是素勾股数组下一个问题就是这些素勾股数组能不能用一个简单公式来概括呢?从数学发展史来看,这是一个飞跃, 它真正显示了代数的威力毕达哥拉斯学派已经找到了这个公式,这就是当 m为奇数时,它们就代表素勾股数组,如表3.2 所示表 3.2 要证它们并不难,只须做一个代数练习即可:但是要证它们互素,也许不太容易,不过由具体的数字可以发现,股与弦都相差1,这也
11、不难证明 ( 你不妨试试看) ,从这点出发不难推出它们互素对于不定方程(3.1) 来说,我们已走到了最后一步,那就是,找出所有可能的解,一个不剩 这一步十分困难,一般不是像上面那样进行代数验证就行了为了解决这个问题,首先要问是否所有素勾股数组都可以表示为(3.2) 的形式?答案是否定的,因为82+152=172,不过,它们可以纳入(2m,m21,m2+1) (3.3) 的系列,其中m为偶数显然,这里股与弦相差为2这两组公式还不能完全表示所有素勾股数组经过一千多年的努力,我们的确找到了表示勾股方程的所有解,也就是素勾股数组的明显表达式,即(m2n2,2mn,m2+n2) (3.4) 其中 m ,
12、n 互素,一奇一偶,m n0不难验证,这组数满足勾股方程,现在需要证明,方程x2+y2=z2 的每组满足 (x,y)=1的解,均可表示为 (3.4) 的形式 因 x,y 互素, 可证 x,y 一为奇数,一为偶数设x 为偶数, y 为奇数, z 也是奇数,因此都是整数,而且它们互素因为即得 z=m2+n2, y=m2n2, x=2mn 最后还需要证明,m , n 一奇一偶,这由z 是奇数可以看出而且可以证明,不同的m ,n 表示不同的解由此勾股方程(3.1) 的所有解,都可以通过一奇一偶的m,n 如式 (3.4) 表示出来当然它们还可以每一个乘以k,这样一来,我们对于勾股方程的数论研究就大功告成
13、了勾股定理是数学中第一个伟大的定理,它首先把分属几何和数论的问题联系在一起,它是第一个完全求解的不定方程,为以后的不定方程树立了典范,而更重要的是, 把它的指数2 换成 n 以后,得出了令数学家神往的费尔马大定理在研究费尔马大定理之前,首先要对勾股定理的数论方面进行充分的讨论,看一看有什么经验能够吸取虽然这两个定理的结果完全不一样:x2+y2=z2 有无穷多组解,而xn+yn=zn (3.5) 没有非平凡解(关于平凡解,下面就要讲到)但是,它们却有许多共同的东西,例如:(1) 它们都是三个变元的齐次不定方程(2) 由于齐次性,如果(a ,b,c) 是一组解,那么(ma,mb ,mc)也是一组解
14、,这里m是任何一个整数 ( 正数、负数或零) 因此,求解时,我们感兴趣的是(a ,b,c)=1 的解,这样的解我们称为本原解(3) 无论是本原解还是非本原解,其中有一些是一眼就能看出但没有意思的解,这就是a,b,c 中一个或三个是零的解,这样方程(3.5) 就成为on+yn=zn xn+on=zn, 或者 xn+yn=on,这样满足 y=z,x=z 的任何整数都是原方程的解,对于n 为偶数的情况,有(0 ,a,a)及(a ,0, a) ,其中 a 为任何整数这种有零的解,我们称之为平凡解,因此我们以后讨论解时, 都是考虑非平凡解,即 xyz0 的解 为了确定起见, 我们不妨只考虑x0,y 0,
15、z0 的本原解(4) 对于齐次方程,求整数解与求有理数解的方法并没有本质的不同实际上,对任何一组有理数(a, b, c) , 则mmm(a,b,c)kkk也是一组有理数, 其中 m和 k 是任意整数但k0 因此若不定方程xn+yn=zn 存在整数解,也就存在有理数解;反之,存在有理数解,也就存在整数解实际上,所有齐次不定方程都有这种特性而非齐次方程, 求整数解与求有理数解的差别就非常大,一般需要分别加以处理(5) 为了使用几何方法,我们可以把三个变元的齐次方程变为两个变元的非齐次方程,这只要用方程 (3.5) 中的 zn( 假定 z0)除方程的每一项即可:我们还可以用(x )n+(y)n=1
16、(3.6) 表示, 这个非齐次方程的有理数解正好对应原齐次方程的整数解,这样求解方程(3 5)的数论问题就可以变成方程(3 6) 的几何问题我们不妨把方程(3.6)仍写为 x,y 的方程xn+yn=1 (3.7) 它代表一条平面代数曲线这样, 求不定方程 (35)的整数解问题也就成为求这条曲线上的有理点问题,所谓有理点,就是x,y 坐标均为有理数的点现在,我们研究勾股方程的整数解的完全组,看看对费尔马大定理的证明有没有启发首先,我们叙述一下勾股方程的基本定理:满足不定方程x2+y2=z2 的本原整数解,都可以表示为x=a2b2,y=2ab,z=a2+b2 其中 a,b 是任意满足下述条件的整数反之,满足上述条件的x,y,z 都是勾股方程的一组本原解由于我们感兴趣的是非平凡的本原解,不失一般性,可以证明其条件为