如果 ,,则△ABC是钝角三角形。如果,则△ABC是锐角三角形。
《几何原本》:“直角三角形斜边上的一个直边形,其面积为两直角边上两个与之相似的直边形面积之和”。 《九章算术》中,赵爽描述此图:“勾股各自乘,并之为玄实。开方除之,即玄。案玄图有可以勾股相乘为朱实二,倍之为朱实四。以勾股之差自相乘为中黄实。加差实亦成玄实。以差实减玄实,半其余。以差为从法,开方除之,复得勾矣。加差于勾即股。凡并勾股之实,即成玄实。或矩于内,或方于外。形诡而量均,体殊而数齐。勾实之矩以股玄差为广,股玄并为袤。而股实方其里。减矩勾之实于玄实,开其余即股。倍股在两边为从法,开矩勾之角即股玄差。加股为玄。以差除勾实得股玄并。以并除勾实亦得股玄差。令并自乘与勾实为实。倍并为法。所得亦玄。勾实减并自乘,如法为股。股实之矩以勾玄差为广,勾玄并为袤。而勾实方其里,减矩股之实于玄实,开其余即勾。倍勾在两边为从法,开矩股之角,即勾玄差。加勾为玄。以差除股实得勾玄并。以并除股实亦得勾玄差。令并自乘与股实为实。倍并为法。所得亦玄。股实减并自乘如法为勾,两差相乘倍而开之,所得以股玄差增之为勾。以勾玄差增之为股。两差增之为玄。倍玄实列勾股差实,见并实者,以图考之,倍玄实满外大方而多黄实。黄实之多,即勾股差实。以差实减之,开其余,得外大方。大方之面,即勾股并也。令并自乘,倍玄实乃减之,开其余,得中黄方。黄方之面,即勾股差。以差减并而半之为勾。加差于并而半之为股。其倍玄为广袤合。令勾股见者自乘为其实。四实以减之,开其余,所得为差。以差减合半其余为广。减广于玄即所求也。”
用现代的数学语言描述就是黄实的面积等于大正方形的面积减去四个朱实的面积,即
2002年第24届国际数学家大会(ICM)的会标即为该图。 加菲尔德在证出此结论5年后,成为美国第20任总统,所以人们又称其为“总统证法”。
在直角梯形ABDE中,∠AEC=∠CDB=90°,△AEC≌△CDB,,,
∵
该证明为加菲尔德证法的变式。
如果将大正方形边长为c的小正方形沿对角线切开,则回到了加菲尔德证 法。相反,若将上图中两个梯形拼在一起,就变为了此证明方法。
大正方形的面积等于中间正方形的面积加上四个三角形的面积,即:
青朱出入图,是东汉末年数学家刘徽根据“割补术”运用数形关系证明勾股定理的几何证明法,特色鲜明、通俗易懂。
刘徽描述此图,“勾自乘为朱方,股自乘为青方,令出入相补,各从其类,因就其余不动也,合成弦方之幂。开方除之,即弦也。”其大意为,一个任意直角三角形,以勾宽作红色正方形即朱方,以股长作青色正方形即青方。将朱方、青方两个正方形对齐底边排列,再以盈补虚,分割线内不动,线外则“各从其类”,以合成弦的正方形即弦方,弦方开方即为弦长。 在欧几里得的《几何原本》一书中给出勾股定理的以下证明。设△ABC为一直角三角形,其中A为直角。从A点划一直线至对边,使其垂直于对边。延长此线把对边上的正方形一分为二,其面积分别与其余两个正方形相等。
在这个定理的证明中,我们需要如下四个辅助定理: 如果两个三角形有两组对应边和这两组边所夹的角相等,则两三角形全等。(SAS) 三角形面积是任一同底同高之平行四边形面积的一半。 任意一个正方形的面积等于其二边长的乘积。 任意一个矩形的面积等于其二边长的乘积(据辅助定理3)。 证明的思路为:从A点划一直线至对边,使其垂直于对边。延长此线把对边上的正方形一分为二,把上方的两个正方形,通过等高同底的三角形,以其面积关系,转换成下方两个同等面积的长方形。 设△ABC为一直角三角形,其直角为∠CAB。 其边为BC、AB和CA,依序绘成四方形CBDE、BAGF和ACIH。 画出过点A之BD、CE的平行线,分别垂直BC和DE于K、L。 分别连接CF、AD,形成△BCF、△BDA。 ∠CAB和∠BAG都是直角,因此C、A和G共线,同理可证B、A和H共线。 ∠CBD和∠FBA都是直角,所以∠ABD=∠FBC。 因为AB=FB,BD=BC,所以△ABD≌△FBC。 因为A与K和L在同一直线上,所以四边形BDLK=2△ABD。 因为C、A和G在同一直线上,所以正方形BAGF=2△FBC。 因此四边形BDLK=BAGF=AB²。 同理可证,四边形CKLE=ACIH=AC²。 把这两个结果相加,AB²+AC²=BD×BK+KL×KC 由于BD=KL,BD×BK+KL×KC=BD(BK+KC)=BD×BC 由于CBDE是个正方形,因此AB²+AC²=BC²,即a²+b²=c²。 此证明是于欧几里得《几何原本》一书第1.47节所提出的。
由于这个定理的证明依赖于平行公理,而且从这个定理可以推出平行公理,很多人质疑平行公理是这个定理的必要条件,一直到十九世纪尝试否定第五公理的非欧几何出现。