千古第一定理——勾股定理
- 格式:doc
- 大小:132.50 KB
- 文档页数:13
勾股定理的内容勾股定理,又称勾股定理,是古代数学中的一个重要定理。
在直角三角形中,直角三角形的两条直角边的平方和等于斜边的平方。
其数学表达形式为:a^2 + b^2 = c^2其中a、b、c分别代表直角三角形的两条直角边和斜边。
起源与发展勾股定理虽然现在被称为勾股定理,但最早是在《周髀算经》中发现的,成为世界上最早的几何著作之一。
据传,勾股定理是周公提出的,故得名“周公定理”。
后来被《算经》作者张丘建列入《增衍之术》中,并首次用文字表达了这一定理。
在中国古代,勾股定理的应用非常广泛,不仅用于地测和农业,还被运用在建筑和军事领域。
随着数学的发展,勾股定理也在世界各地广泛传播,并成为数学中的重要定理之一。
数学证明勾股定理的证明有多种方法,其中最著名的是毕达哥拉斯的证明。
毕达哥拉斯定理利用几何形状和平行移动来证明直角三角形的两个边的平方和等于斜边的平方。
这一证明方法被后人发扬光大,成为数学学科中的一个经典证明。
应用场景勾股定理在现代生活中的应用也非常广泛。
例如,在建筑领域中,利用勾股定理可以计算建筑物的结构稳定性;在工程设计中,可以测量距离和角度;在电子领域中,可以应用于信号传输和数据处理等方面。
总的来说,勾股定理是数学中的一个重要定理,不仅对几何学有重要意义,还在现代科学技术中有着广泛的应用。
结语通过对勾股定理的介绍,我们可以看到它在数学史上的重要地位和广泛应用。
了解勾股定理不仅有助于我们理解数学知识的深层含义,还可以帮助我们应用数学知识解决现实生活中的问题。
在学习数学的过程中,我们应该对勾股定理有更多的了解和探索,进一步探索数学世界的奥秘。
勾股定理-----------千古第一定理直角三角形的三边长分别为a,b,c,则a2+b2=c2.反之,若三角形的三边a,b,c满足a2+b2=c2.,则它为直角三角形。
勾股定理是初等几何中的一个基本定理,是人类最伟大的十个发现之一。
在西方希腊毕达哥拉斯对本定理有所研究,故被称之为“毕达哥拉斯定理”。
我国的《周髀算经》中就有对勾股定理的记载,为了纪念古人的伟大成就,就这个定理定名为“勾股定理”。
勾股定理是欧氏几何的核心结果,是三角学的出发点,开普勒称“几何学有两个宝藏”:一个是勾股定理,另一个是黄金分割。
我国著名数学家华罗庚曾经建议用一副反映勾股定理的数形关系图来作为与“外星人”交谈的语言。
勾股定理本身而言,它在直角三角形的三边之间建立了固定关系,从而将几何学感性认识精确化,真正意义的几何学才可以确立。
尤其是其中体现出“数形统一”的思想方法,具有科学的创新意义。
促成了解析几何集散教学的建立,使几何与代数结合起来,为数学的发展开创了宽广的道路。
(1)勾股定理是数与形的第一定理。
(2)勾股定理导致无理数的发现(第一次数学危机)。
(3)勾股定理中的公式是第一个不定方程,每组勾股数都为它的解。
费马大定理就是勾股定理引导出的。
勾股定理有三种叙述:(1)在直角三角形斜边上的正方形等于直角边上的两个正方形。
《几何原本》卷Ⅰ第47个命题。
它从纯粹的几何图形之间的关系阐述勾股定理。
利用拼凑的方法。
(2)直角三角形直角边上的两个正方形面积之和,等于斜边上的正方形的面积。
图形的面积是一个数,定理指出的是三个数之间的关系。
(3)直角三角形斜边长度的平方,等于两个直角边长度的平方和。
长度是数,数的平方还是数,定理指出的是数与数之间的关系。
(郭书春:《中国古代数学》,商务印书馆)1.学习要求:(1)掌握勾股定理及其逆定理。
(2)能利用勾股定理进行运算。
(3)从实际问题提炼出直角三角形。
2.学习重点:(1)一般地,只要给出了直角三角形中任意两边长,则可求出第三边。
勾股定理勾股定理是中国古代数学史上的伟大发现,被誉为“中国数学史上的第一定理”。
它是一个简洁而优美的几何定理,描述了直角三角形边长之间的关系。
毫无疑问,勾股定理是几何学中不可或缺的基础性理论。
勾股定理最早出现在《周髀算经》,作者是中国古代数学家祖冲之。
祖冲之是东晋时期的数学家、天文学家和物理学家,他的数学成就为后世留下了宝贵的遗产。
在《周髀算经》中,他提到了勾股定理的一个特殊案例,即当直角边长相差为1时,斜边长恰好是广义的整数。
这个特殊的例子在古代数学界引起了轰动,因为它为后来对勾股定理的研究奠定了基础。
勾股定理的一般形式如下:在直角三角形中,直角边的平方和等于斜边的平方。
换句话说,设直角三角形的两个直角边为a和b,斜边为c,则有a² + b² = c²。
这个简单的数学关系被称为勾股定理,因为它与勾股关系有着密切的联系。
勾股定理不仅在数学上具有重要意义,还在实际生活和应用中发挥着无可替代的作用。
例如,勾股定理可以用于计算任意直角三角形的边长和角度。
它是应用三角函数的基础,是测量学、导航学和航空航天等领域的重要工具。
此外,勾股定理在建筑和工程上也有广泛应用。
工程师们可以根据勾股定理来计算建筑物的结构和设计,确保其稳定性和安全性。
在测量学中,人们可以利用勾股定理来测量不可直接测量的距离,例如河流的宽度或山脉的高度等。
勾股定理的应用还延伸到了艺术领域。
许多艺术作品运用了勾股定理的原理,例如画家们可以依靠勾股定理的比例关系来绘制逼真的景物和人物。
勾股定理深深地影响了数学史,它不仅成为了几何学的基石,更是后续数学研究的源泉。
勾股定理在世界范围内都被广泛研究和应用,不仅在古代,也在现代科学中持续发挥作用。
总之,勾股定理是中国古代数学的重要瑰宝,也是世界数学史上的伟大发现之一。
它不仅在理论和实际中发挥着重要作用,还为后来的数学家提供了宝贵的启示和思路。
勾股定理的发现,标志着中国古代数学的辉煌成就,也深深地影响了世界数学学科的发展。
千古第一定理——勾股定理在西方,毕达哥拉斯的名字可以说尽人皆知,这主要来自所谓毕达哥拉斯定理,即直角三角形的三条边长度为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),在西方称为毕达哥拉斯三数组,我们不妨称之为勾股数组.印度人发现的新的勾股数组还有12,16,20; 15,20,25;5,12,13; 15,36,39;8,15,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为奇数时,它们就代表素勾股数组,如表3.2所示.表3.2要证它们并不难,只须做一个代数练习即可:但是要证它们互素,也许不太容易,不过由具体的数字可以发现,股与弦都相差1,这也不难证明(你不妨试试看),从这点出发不难推出它们互素.对于不定方程(3.1)来说,我们已走到了最后一步,那就是,找出所有可能的解,一个不剩.这一步十分困难,一般不是像上面那样进行代数验证就行了.为了解决这个问题,首先要问是否所有素勾股数组都可以表示为(3.2)的形式?答案是否定的,因为82+152=172,不过,它们可以纳入(2m,m2-1,m2+1) (3.3)的系列,其中m为偶数.显然,这里股与弦相差为2.这两组公式还不能完全表示所有素勾股数组.经过一千多年的努力,我们的确找到了表示勾股方程的所有解,也就是素勾股数组的明显表达式,即(m2-n2,2mn,m2+n2) (3.4)其中m,n互素,一奇一偶,m>n>0.不难验证,这组数满足勾股方程,现在需要证明,方程x2+y2=z2的每组满足(x,y)=1的解,均可表示为(3.4)的形式.因x,y互素,可证x,y 一为奇数,一为偶数.设x为偶数,y为奇数,z也是奇数,因此都是整数,而且它们互素.因为即得 z=m2+n2, y=m2-n2, x=2mn最后还需要证明,m,n一奇一偶,这由z是奇数可以看出.而且可以证明,不同的m,n表示不同的解.由此勾股方程(3.1)的所有解,都可以通过一奇一偶的m,n如式(3.4)表示出来.当然它们还可以每一个乘以k,这样一来,我们对于勾股方程的数论研究就大功告成了.勾股定理是数学中第一个伟大的定理,它首先把分属几何和数论的问题联系在一起,它是第一个完全求解的不定方程,为以后的不定方程树立了典范,而更重要的是,把它的指数2换成n以后,得出了令数学家神往的费尔马大定理.在研究费尔马大定理之前,首先要对勾股定理的数论方面进行充分的讨论,看一看有什么经验能够吸取.虽然这两个定理的结果完全不一样:x2+y2=z2有无穷多组解,而xn+yn=zn (3.5)没有非平凡解(关于平凡解,下面就要讲到).但是,它们却有许多共同的东西,例如:(1)它们都是三个变元的齐次不定方程.(2)由于齐次性,如果(a,b,c)是一组解,那么(ma,mb,mc)也是一组解,这里m是任何一个整数(正数、负数或零).因此,求解时,我们感兴趣的是(a,b,c)=1的解,这样的解我们称为本原解.(3)无论是本原解还是非本原解,其中有一些是一眼就能看出但没有意思的解,这就是a,b,c中一个或三个是零的解,这样方程(3.5)就成为on+yn=znxn+on=zn,或者 xn+yn=on,这样满足y=z,x=z的任何整数都是原方程的解,对于n为偶数的情况,有(0,-a,a)及(a,0,-a),其中a为任何整数.这种有零的解,我们称之为平凡解,因此我们以后讨论解时,都是考虑非平凡解,即xyz≠0的解.为了确定起见,我们不妨只考虑x>0,y>0,z>0的本原解.(4)对于齐次方程,求整数解与求有理数解的方法并没有本质的不同.实际上,是任意整数但k≠0.因此若不定方程xn+yn=zn存在整数解,也就存在有理数解;反之,存在有理数解,也就存在整数解.实际上,所有齐次不定方程都有这种特性.而非齐次方程,求整数解与求有理数解的差别就非常大,一般需要分别加以处理.(5)为了使用几何方法,我们可以把三个变元的齐次方程变为两个变元的非齐次方程,这只要用方程(3.5)中的zn(假定z≠0)除方程的每一项即可:我们还可以用(x′)n+(y′)n=1 (3.6)表示,这个非齐次方程的有理数解正好对应原齐次方程的整数解,这样求解方程(3.5)的数论问题就可以变成方程(3.6)的几何问题.我们不妨把方程(3.6)仍写为x,y的方程xn+yn=1 (3.7)它代表一条平面代数曲线.这样,求不定方程(3.5)的整数解问题也就成为求这条曲线上的有理点问题,所谓有理点,就是x,y坐标均为有理数的点.现在,我们研究勾股方程的整数解的完全组,看看对费尔马大定理的证明有没有启发.首先,我们叙述一下勾股方程的基本定理:满足不定方程x2+y2=z2的本原整数解,都可以表示为x=a2-b2,y=2ab,z=a2+b2其中a,b是任意满足下述条件的整数.反之,满足上述条件的x,y,z都是勾股方程的一组本原解.由于我们感兴趣的是非平凡的本原解,不失一般性,可以证明其条件为a>b,(a,b)=1且a与b奇偶性不同,另外,x,y的位置可以互换,即x=2ab,y=a2-b2,z=a2+b2也是一组解.根据中学掌握的知识,我们在研究勾股方程的整数解的完全组时有四种方法:(1)初等方法,即初等的代数方法——因子分解以及初等数论的方法;(2)几何方法;(3)三角方法;(4)复数方法.现分别讲述如下.1.初等方法初等方法分为下面四步.第一步,奇偶性分析.如果(x,y,z)是一组本原解,那么它们的奇、偶性有三种可能:(1)x,y均为偶数.这时z也是偶数,因此,(x,y,z)不是本原解,它们可以化为更简单的情形.(2)x,y均为奇数.这种情况不可能出现,因为设x=2m+1,y=2n+1,则x2=4m2+4m+1,y2=4n2+4n+1x2+y2=4(m2+m+n2+n)+2,但无论是奇数平方还是偶数平方,均不能表示为4k+2的形式,因此x与y不能均为奇数.(3)x,y一个为奇数,一个为偶数.由于x,y的位置可以互换,我们不妨假定x是奇数,y是偶数,这样z也是奇数.第二步,因子分解.由于x2+y2=z2那么,y2=z2-x2=(z+x)(z-x)由于z,x均为奇数,所以z+x和z-x均为偶数,因此都是正整数.整除z+x和z-x,也就可以整除z和x(读者想想为什么),而由式(3.8),p也可以整除y,第四步,利用因子唯一分解定理.由因子唯一分解定理(参见4.3节)可以得出:如果整数n2可以表示为两互素整数p,q的乘积,即n2=p·q则p,q也都是完全平方.这个结论极为重要,以后也要反复使用.现在z+x=2a2,z-x=2b2,这样,我们就证明了勾股方程的本原解均可表示为x=a2-b2,y=2ab,z=a2+b2而本原条件为a>b,(a,b)=1,a,b奇偶性不同.反过来,不难验证,由满足上述条件的a,b可得到勾股方程的一组本原解.这样勾股方程的求解问题就大功告成了.这个初等方法中,本原性是次要的,关键是因子唯一分解定理,费尔马大定理的成败就在于此.2.几何方法前面讲过,几何方法的关键是把勾股方程x2+y2=z2的整数解问题,变成平面代数曲线x2+y2=1上的有理点问题.这个曲线是一个单位圆,而每个有理点均可以表示为过点(1,0)的直线与单位圆的交点,而这条直线的方程可写为x+ty=1, (3.9)如果x,y均要求是有理数,显然t也是有理数.把直线方程代入单位圆方程,得(ty-1)2+y2=(1+t2)y2-2ty+1=1,(1+t2)y2-2ty=0.如y不等于0,则有它所对应的正是勾股方程的本原解x=a2-b2,y=2ab,z=a2+b2.3.三角方法现在我们的问题还是求单位圆x2+y2=1上的有理点问题.三角中第一个重要公式是cos2θ+sin2θ=1,因此,x,y可用三角函数cosθ,sinθ来表示.由cosθ及sinθ的倍角公式sin2θ=2sinθcosθ,cos2θ=cos2θ-sin2θ可得这同样可得x2+y2=1的有理解它对应勾股方程x2+y2=z2的原本解为x=a2-b2,y=2ab,z=a2+b24.复数方法论.它对费尔马大定理的突破也至关重要.这里我们只讨论最简单的复数──复整数,由于它是高斯引进的,故又称高斯整数,详细的证明请参看第8章.。
勾股定理历史
勾股定理,也叫“勾股等式”,是一个关于形状三角形的数学定理。
它有大约2700年的历史,是由古希腊数学家勾股所提出的。
该定理的公式是:a2+b2=c2。
简单地说,定理宣称当一个三角形的三
边满足上述公式时,这个三角形就是直角三角形。
古希腊数学家勾股于公元前360年发现了勾股等式,当时他只是为了
研究三角形而提出这一定理,直到公元330年,著名的古希腊数学家几何
之父亚里士多德第一次把它作为一个通用定理提出来,然后被应用于很多
其他的问题。
在自17世纪以来,勾股定理已经在数学教科书中被普遍使用,可以
说勾股等式是世界上最经典的几何定理之一。
它不仅出现在数学教科书里,而且可以应用在很多领域,比如建筑学,电子技术,航空学等。
在建筑学中,勾股定理常常被用来计算屋顶坡度,在电子技术中,勾股定理常常用
来计算电路中电容单元的容量和电感单元的电感。
由于它的普遍性,勾股
定理也成为世界上最经典的定理之一,被誉为古希腊数学的杰出贡献。
《周髀算经》勾股定理《周髀算经》是中国古代数学史上的重要典籍,收录了种种重要的数学结论。
其中有一类叫做勾股定理,即已知直角三角形中两条直腿长度,求斜腿长度(见图1)。
根据勾股定理,斜腿长度x=√(a²+b²),其中a为直腿长度1,b为直腿长度2。
勾股定理是世界一流的古典数学定理。
它由古希腊数学家勾践(公元前530年-公元前475年)提出,他是“四大数学家”之一,他的作用是,最早提出数学理论,成立数学原理。
勾践的这条公理,利用三角定理的最重要的性质:三角形的两个意义不同的角以及两条边之间有一定关系,这就是勾股定理。
这个定理最初是由古希腊数学家勾践提出的,它被认为是由古希腊数学家的微积分杰出成就之一。
勾践是公元前400年左右的古希腊时期,他被誉为古希腊“四大数学家”之一,也是古希腊演绎几何学和初步不完全微积分学的著名创始人。
勾践曾在《周髀算经》中记载过这条定理,勾践把这条定理用来说明三角形内角之比例。
他指出,通过改变两条边的重比来改变三角形的面积,“二辛大斜三小”,二角之比为`9比4`,角之比为`1比4`。
这两个比例就是勾股定理的最初的表现形式,当然,前提是三角形中一条边等于1单位。
勾股定理被不断应用于各种实践中,被称为数学家及其他科学家的重要帮手,用于分析不完全微积分,三角学等复杂的技术。
勾股定理至今在数学界应用广泛,是数学及其他多种学科的理想工具。
勾股定理的例子最多的是直角三角形的应用:1×1=1;2×2=4;3×3=9;4*4=16;以此类推,可以将任意一个正整数的平方和再求平方根,就可以得出勾股定理的解。
总之,勾股定理,是一个千古不变的至理名言,在艰苦的实践中证明了其可信性,被世界范围内数学家所认可,是数学史上一块极重要的宝石,是我们深表敬仰的经典定理。
千古第一定理——勾股定理在西方,毕达哥拉斯的名字可以说尽人皆知,这主要来自所谓毕达哥拉斯定理,即直角三角形的三条边长度为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),在西方称为毕达哥拉斯三数组,我们不妨称之为勾股数组.印度人发现的新的勾股数组还有12,16,20;15,20,25;5,12,13;15,36,39;8,15,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为奇数时,它们就代表素勾股数组,如表3.2所示.表3.2要证它们并不难,只须做一个代数练习即可:但是要证它们互素,也许不太容易,不过由具体的数字可以发现,股与弦都相差1,这也不难证明(你不妨试试看),从这点出发不难推出它们互素.对于不定方程(3.1)来说,我们已走到了最后一步,那就是,找出所有可能的解,一个不剩.这一步十分困难,一般不是像上面那样进行代数验证就行了.为了解决这个问题,首先要问是否所有素勾股数组都可以表示为(3.2)的形式?答案是否定的,因为82+152=172,不过,它们可以纳入(2m,m2-1,m2+1) (3.3)的系列,其中m为偶数.显然,这里股与弦相差为2.这两组公式还不能完全表示所有素勾股数组.经过一千多年的努力,我们的确找到了表示勾股方程的所有解,也就是素勾股数组的明显表达式,即(m2-n2,2mn,m2+n2) (3.4)其中m,n互素,一奇一偶,m>n>0.不难验证,这组数满足勾股方程,现在需要证明,方程x2+y2=z2的每组满足(x,y)=1的解,均可表示为(3.4)的形式.因x,y互素,可证x,y 一为奇数,一为偶数.设x为偶数,y为奇数,z也是奇数,因此都是整数,而且它们互素.因为即得z=m2+n2, y=m2-n2, x=2mn最后还需要证明,m,n一奇一偶,这由z是奇数可以看出.而且可以证明,不同的m,n表示不同的解.由此勾股方程(3.1)的所有解,都可以通过一奇一偶的m,n如式(3.4)表示出来.当然它们还可以每一个乘以k,这样一来,我们对于勾股方程的数论研究就大功告成了.勾股定理是数学中第一个伟大的定理,它首先把分属几何和数论的问题联系在一起,它是第一个完全求解的不定方程,为以后的不定方程树立了典范,而更重要的是,把它的指数2换成n以后,得出了令数学家神往的费尔马大定理.在研究费尔马大定理之前,首先要对勾股定理的数论方面进行充分的讨论,看一看有什么经验能够吸取.虽然这两个定理的结果完全不一样:x2+y2=z2有无穷多组解,而x n+y n=z n (3.5)没有非平凡解(关于平凡解,下面就要讲到).但是,它们却有许多共同的东西,例如:(1)它们都是三个变元的齐次不定方程.(2)由于齐次性,如果(a,b,c)是一组解,那么(ma,mb,mc)也是一组解,这里m是任何一个整数(正数、负数或零).因此,求解时,我们感兴趣的是(a,b,c)=1的解,这样的解我们称为本原解.(3)无论是本原解还是非本原解,其中有一些是一眼就能看出但没有意思的解,这就是a,b,c中一个或三个是零的解,这样方程(3.5)就成为o n+y n=z nx n+o n=z n,或者x n+y n=o n,这样满足y=z,x=z的任何整数都是原方程的解,对于n为偶数的情况,有(0,-a,a)及(a,0,-a),其中a为任何整数.这种有零的解,我们称之为平凡解,因此我们以后讨论解时,都是考虑非平凡解,即xyz≠0的解.为了确定起见,我们不妨只考虑x>0,y>0,z>0的本原解.(4)对于齐次方程,求整数解与求有理数解的方法并没有本质的不同.实际上,是任意整数但k≠0.因此若不定方程x n+y n=z n存在整数解,也就存在有理数解;反之,存在有理数解,也就存在整数解.实际上,所有齐次不定方程都有这种特性.而非齐次方程,求整数解与求有理数解的差别就非常大,一般需要分别加以处理.(5)为了使用几何方法,我们可以把三个变元的齐次方程变为两个变元的非齐次方程,这只要用方程(3.5)中的z n(假定z≠0)除方程的每一项即可:我们还可以用(x′)n+(y′)n=1 (3.6)表示,这个非齐次方程的有理数解正好对应原齐次方程的整数解,这样求解方程(3.5)的数论问题就可以变成方程(3.6)的几何问题.我们不妨把方程(3.6)仍写为x,y的方程x n+y n=1 (3.7)它代表一条平面代数曲线.这样,求不定方程(3.5)的整数解问题也就成为求这条曲线上的有理点问题,所谓有理点,就是x,y坐标均为有理数的点.现在,我们研究勾股方程的整数解的完全组,看看对费尔马大定理的证明有没有启发.首先,我们叙述一下勾股方程的基本定理:满足不定方程x2+y2=z2的本原整数解,都可以表示为x=a2-b2,y=2ab,z=a2+b2其中a,b是任意满足下述条件的整数.反之,满足上述条件的x,y,z都是勾股方程的一组本原解.由于我们感兴趣的是非平凡的本原解,不失一般性,可以证明其条件为a>b,(a,b)=1且a与b奇偶性不同,另外,x,y的位置可以互换,即x=2ab,y=a2-b2,z=a2+b2也是一组解.根据中学掌握的知识,我们在研究勾股方程的整数解的完全组时有四种方法:(1)初等方法,即初等的代数方法——因子分解以及初等数论的方法;(2)几何方法;(3)三角方法;(4)复数方法.现分别讲述如下.1.初等方法初等方法分为下面四步.第一步,奇偶性分析.如果(x,y,z)是一组本原解,那么它们的奇、偶性有三种可能:(1)x,y均为偶数.这时z也是偶数,因此,(x,y,z)不是本原解,它们可以化为更简单的情形.(2)x,y均为奇数.这种情况不可能出现,因为设x=2m+1,y=2n+1,则x2=4m2+4m+1,y2=4n2+4n+1x2+y2=4(m2+m+n2+n)+2,但无论是奇数平方还是偶数平方,均不能表示为4k+2的形式,因此x与y不能均为奇数.(3)x,y一个为奇数,一个为偶数.由于x,y的位置可以互换,我们不妨假定x是奇数,y是偶数,这样z也是奇数.第二步,因子分解.由于x2+y2=z2那么,y2=z2-x2=(z+x)(z-x)由于z,x均为奇数,所以z+x和z-x均为偶数,因此都是正整数.整除z+x和z-x,也就可以整除z和x(读者想想为什么),而由式(3.8),p也可以整除y,第四步,利用因子唯一分解定理.由因子唯一分解定理(参见4.3节)可以得出:如果整数n2可以表示为两互素整数p,q的乘积,即n2=p·q则p,q也都是完全平方.这个结论极为重要,以后也要反复使用.现在z+x=2a2,z-x=2b2,这样,我们就证明了勾股方程的本原解均可表示为x=a2-b2,y=2ab,z=a2+b2而本原条件为a>b,(a,b)=1,a,b奇偶性不同.反过来,不难验证,由满足上述条件的a,b可得到勾股方程的一组本原解.这样勾股方程的求解问题就大功告成了.这个初等方法中,本原性是次要的,关键是因子唯一分解定理,费尔马大定理的成败就在于此.2.几何方法前面讲过,几何方法的关键是把勾股方程x2+y2=z2的整数解问题,变成平面代数曲线x2+y2=1上的有理点问题.这个曲线是一个单位圆,而每个有理点均可以表示为过点(1,0)的直线与单位圆的交点,而这条直线的方程可写为x+ty=1,(3.9)如果x,y均要求是有理数,显然t也是有理数.把直线方程代入单位圆方程,得(ty-1)2+y2=(1+t2)y2-2ty+1=1,(1+t2)y2-2ty=0.如y不等于0,则有它所对应的正是勾股方程的本原解x=a2-b2,y=2ab,z=a2+b2.3.三角方法现在我们的问题还是求单位圆x2+y2=1上的有理点问题.三角中第一个重要公式是cos2θ+sin2θ=1,因此,x,y可用三角函数cosθ,sinθ来表示.由cosθ及sinθ的倍角公式sin2θ=2sinθcosθ,cos2θ=cos2θ-sin2θ可得这同样可得x2+y2=1的有理解它对应勾股方程x2+y2=z2的原本解为x=a2-b2,y=2ab,z=a2+b24.复数方法论.它对费尔马大定理的突破也至关重要.这里我们只讨论最简单的复数──复整数,由于它是高斯引进的,故又称高斯整数,详细的证明请参看第8章.。
千古第一定理——勾股定理[优秀范文五篇]第一篇:千古第一定理——勾股定理千古第一定理——勾股定理我们已学过勾股定理,即若直角三角形的三条边长分别为a,b,c,则a2+b2=c2.反过来,若三角形的三条边a,b,c满足a2十b2=c2,则它是个直角三角形.在古代,许多民族都发现了这个事实.我国的算书《周髀算经》中,就有关于勾股定理的记载,为了纪念我国古人的伟大成就,就把这个定理定名为“勾股定理”.在西方,这个定理被称为毕达哥拉斯定理.之所以被称为毕达哥拉斯定理,是因为现代的数学和科学来源于西方,而西方的数学及科学又来源于古希腊,古希腊流传下来的最古老的著作是欧几里得的《几何原本》,而其中许多定理再往前追溯,就落在毕达哥拉斯的头上.不管怎么说,勾股定理是数学中一个伟大的定理,它的重要性怎么说也不为过:(1)勾股定理是联系数学中最基本也是最原始的两个对象——数与形的第一定理;(2)勾股定理导致无理数的发现,这就是所谓第一次数学危机;(3)勾股定理开始把数学由计算与测量的技术转变为证明与推理的科学;(4)勾股定理中的公式是第一个不定方程,有许许多多组数满足这个方程,也是最早得出完整解答的不定方程,它一方面引导出各式各样的不定方程,包括著名的费马大定理,另一方面也为不定方程的解题程序树立了一个范式.第二篇:用余弦定理证明勾股定理并非循环论证用余弦定理证明勾股定理并非循环论证大家都知道,勾股定理不过是余弦定理的一种特例,所以用余弦定理证明勾股定理就很容易;但是长期以来,有一种观点认为,余弦定理不能用来证明勾股定理,原因是余弦定理是用勾股定理证明出来的,然后用余弦定理又来证明勾股定理就是循环论证,说到这里,我就纳闷了,难道证明余弦定理非要直接或者间接的用到勾股定理?NO !简直是谬论,出于兴趣,偶在网上找到了一种证明余弦定理的方法,证明的过程和勾股定理扯不上一点关系。
据说是伟大的科学家爱因斯坦在12岁时, 在未学过平面几何的情况下, 基于三角形的相似性, 找到的这一巧妙和简单的证明余弦定理的方法。
千古第一定理——勾股定理在西方,毕达哥拉斯的名字可以说尽人皆知,这主要来自所谓毕达哥拉斯定理,即直角三角形的三条边长度为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),在西方称为毕达哥拉斯三数组,我们不妨称之为勾股数组.印度人发现的新的勾股数组还有12,16,20; 15,20,25;5,12,13; 15,36,39;8,15,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为奇数时,它们就代表素勾股数组,如表3.2所示.表3.2要证它们并不难,只须做一个代数练习即可:但是要证它们互素,也许不太容易,不过由具体的数字可以发现,股与弦都相差1,这也不难证明(你不妨试试看),从这点出发不难推出它们互素.对于不定方程(3.1)来说,我们已走到了最后一步,那就是,找出所有可能的解,一个不剩.这一步十分困难,一般不是像上面那样进行代数验证就行了.为了解决这个问题,首先要问是否所有素勾股数组都可以表示为(3.2)的形式?答案是否定的,因为82+152=172,不过,它们可以纳入(2m,m2-1,m2+1) (3.3)的系列,其中m为偶数.显然,这里股与弦相差为2.这两组公式还不能完全表示所有素勾股数组.经过一千多年的努力,我们的确找到了表示勾股方程的所有解,也就是素勾股数组的明显表达式,即(m2-n2,2mn,m2+n2) (3.4)其中m,n互素,一奇一偶,m>n>0.不难验证,这组数满足勾股方程,现在需要证明,方程x2+y2=z2的每组满足(x,y)=1的解,均可表示为(3.4)的形式.因x,y互素,可证x,y一为奇数,一为偶数.设x为偶数,y为奇数,z也是奇数,因此都是整数,而且它们互素.因为即得 z=m2+n2, y=m2-n2, x=2mn最后还需要证明,m,n一奇一偶,这由z是奇数可以看出.而且可以证明,不同的m,n表示不同的解.由此勾股方程(3.1)的所有解,都可以通过一奇一偶的m,n如式(3.4)表示出来.当然它们还可以每一个乘以k,这样一来,我们对于勾股方程的数论研究就大功告成了.勾股定理是数学中第一个伟大的定理,它首先把分属几何和数论的问题联系在一起,它是第一个完全求解的不定方程,为以后的不定方程树立了典范,而更重要的是,把它的指数2换成n以后,得出了令数学家神往的费尔马大定理.在研究费尔马大定理之前,首先要对勾股定理的数论方面进行充分的讨论,看一看有什么经验能够吸取.虽然这两个定理的结果完全不一样:x2+y2=z2有无穷多组解,而x n+y n=z n (3.5)没有非平凡解(关于平凡解,下面就要讲到).但是,它们却有许多共同的东西,例如:(1)它们都是三个变元的齐次不定方程.(2)由于齐次性,如果(a,b,c)是一组解,那么(ma,mb,mc)也是一组解,这里m是任何一个整数(正数、负数或零).因此,求解时,我们感兴趣的是(a,b,c)=1的解,这样的解我们称为本原解.(3)无论是本原解还是非本原解,其中有一些是一眼就能看出但没有意思的解,这就是a,b,c中一个或三个是零的解,这样方程(3.5)就成为o n+y n=z nx n+o n=z n,或者 x n+y n=o n,这样满足y=z,x=z的任何整数都是原方程的解,对于n为偶数的情况,有(0,-a,a)及(a,0,-a),其中a为任何整数.这种有零的解,我们称之为平凡解,因此我们以后讨论解时,都是考虑非平凡解,即xyz≠0的解.为了确定起见,我们不妨只考虑x>0,y>0,z>0的本原解.(4)对于齐次方程,求整数解与求有理数解的方法并没有本质的不同.实际上,对任何一组有理数(a,b,c),则m m m(a,b,c)k k k也是一组有理数,其中m和k是任意整数但k≠0.因此若不定方程x n+y n=z n存在整数解,也就存在有理数解;反之,存在有理数解,也就存在整数解.实际上,所有齐次不定方程都有这种特性.而非齐次方程,求整数解与求有理数解的差别就非常大,一般需要分别加以处理.(5)为了使用几何方法,我们可以把三个变元的齐次方程变为两个变元的非齐次方程,这只要用方程(3.5)中的z n(假定z≠0)除方程的每一项即可:我们还可以用(x′)n+(y′)n=1 (3.6)表示,这个非齐次方程的有理数解正好对应原齐次方程的整数解,这样求解方程(3.5)的数论问题就可以变成方程(3.6)的几何问题.我们不妨把方程(3.6)仍写为x,y的方程x n+y n=1 (3.7)它代表一条平面代数曲线.这样,求不定方程(3.5)的整数解问题也就成为求这条曲线上的有理点问题,所谓有理点,就是x,y坐标均为有理数的点.现在,我们研究勾股方程的整数解的完全组,看看对费尔马大定理的证明有没有启发.首先,我们叙述一下勾股方程的基本定理:满足不定方程x2+y2=z2的本原整数解,都可以表示为x=a2-b2,y=2ab,z=a2+b2其中a,b是任意满足下述条件的整数.反之,满足上述条件的x,y,z都是勾股方程的一组本原解.由于我们感兴趣的是非平凡的本原解,不失一般性,可以证明其条件为a>b,(a,b)=1且a与b奇偶性不同,另外,x,y的位置可以互换,即x=2ab,y=a2-b2,z=a2+b2也是一组解.根据中学掌握的知识,我们在研究勾股方程的整数解的完全组时有四种方法:(1)初等方法,即初等的代数方法——因子分解以及初等数论的方法;(2)几何方法;(3)三角方法;(4)复数方法.现分别讲述如下.1.初等方法初等方法分为下面四步.第一步,奇偶性分析.如果(x,y,z)是一组本原解,那么它们的奇、偶性有三种可能:(1)x,y均为偶数.这时z也是偶数,因此,(x,y,z)不是本原解,它们可以化为更简单的情形.(2)x,y均为奇数.这种情况不可能出现,因为设x=2m+1,y=2n+1,则x2=4m2+4m+1,y2=4n2+4n+1x2+y2=4(m2+m+n2+n)+2,但无论是奇数平方还是偶数平方,均不能表示为4k+2的形式,因此x与y不能均为奇数.(3)x,y一个为奇数,一个为偶数.由于x,y的位置可以互换,我们不妨假定x是奇数,y是偶数,这样z也是奇数.第二步,因子分解.由于x2+y2=z2那么,y2=z2-x2=(z+x)(z-x)由于z,x均为奇数,所以z+x和z-x均为偶数,因此都是正整数.第三步,证明z x z x22+-和互素,设z x z x,22+-均可被p整除,那么p一定可整除z+x和z-x,也就可以整除z和x(读者想想为什么),而由式(3.8),p也可以整除y,这与(x,y,z)的本源性矛盾,因此z x z x,22+-互素。