勾股定理

title: 定理.
content: 在平面上的一个直角三角形中,两个直角边边长的平方加起来等于斜边长的平方。如果设直角三角形的两条直角边长度分别是formula_4和formula_5,斜边长度是formula_6,那么可以用数学语言表达:  余弦定理是勾股定理的一个推广。勾股定理现约有400种证明方法,是数学定理中证明方法最多的定理之一。
title: 其他形式.
content: 如果formula_6是斜边的长度而a和b是另外两条边的长度,勾股定理可以写成:  formula_9  如果formula_4和formula_5知道,formula_6可以这样写:  formula_13  如果斜边的长度formula_6和其中一条边(formula_4或formula_5)知道,那另一边的长度可以这样计算:  或  简单来说,只要知道直角三角形的其中两条边长,便能求出第三条边长。
title: 勾股数组.
content: 勾股数组是满足勾股定理formula_19的正整数组formula_20,其中的formula_21称为勾股数。例如formula_1就是一组勾股数组。  任意一组勾股数formula_20可以表示为如下形式:formula_24,其中formula_25。
title: 历史.
content: 这个定理的历史可以被分成三个部分:发现勾股数、发现直角三角形中边长的关系、及其定理的证明。
title: 勾股数.
content: 勾股数的发现时间较早,例如埃及的纸草书里面就有formula_1这一组勾股数,而巴比伦泥板涉及的最大的一个勾股数组是formula_27。后来的中国的算经、印度与阿拉伯的数学书也有记载。在中国,《周髀算经》中也记述了formula_1这一组勾股数;金朝数学家李冶在《测圆海镜》中,通过勾股容圆图式的十五个勾股形和直径的关系,建立了系统的天元术,推导出692条关于勾股形的各边的公式,其中用到了多组勾股数作为例子。
title: 普遍定理的发现.
content: 巴比伦人得到的勾股数的数量和质量不太可能纯从测量手段获得。之后的毕达哥拉斯本人并无著作传世,不过在他死后一千年,5世纪的普罗克勒斯给欧几里德的名著《几何原本》做注解时将最早的发现和证明归功于毕达哥拉斯学派: 普鲁塔克和西塞罗也将发现的功劳归于毕达哥拉斯,但没有任何证据表明毕达哥拉斯证明了勾股定理,以素食闻名的毕达哥拉斯杀牛更是不可思议。  在中国,记载秦朝的算数书并未记载勾股定理,只是记录了一些勾股数。定理首次载于书面则是在成书于西汉但内容收集整理自公元前一千多年以来的《周髀算经》“荣方问于陈子”一节中: 因此有些人将这个定理称之为陈子定理。  东汉末年赵爽《周髀算经注》《勾股圆方图注》记载:  在《九章算术注》中,刘徽反复利用勾股定理求圆周率,并利用“割补术”做“青朱出入图”完成勾股定理的几何图形证明。  直至现时为止,仍有许多关于勾股定理是否不止一次被发现的辩论。
title: 证明.
content: 毕达哥拉斯学派的证明没有流传下来,流传下来书面证明最早见于《几何原本》第一册的第47个命题。在中国,东汉末年吴国的赵爽最早给出勾股定理的证明。,巴勒蒂·克尔什纳·蒂尔特吉在吠陀数学一书中声称古代印度教吠陀证明了勾股定理。
title: 证明.
content: 这个定理有许多证明的方法,其证明的方法可能是数学众多定理中最多的。路明思(Elisha Scott Loomis)的"Pythagorean Proposition"一书中总共提到367种证明方式。  有人会尝试以三角恒等式(例如:正弦和余弦函数的泰勒级数)来证明勾股定理,但是,因为所有的基本三角恒等式都是建基于勾股定理,所以不能作为勾股定理的证明(参见循环论证)。
title: 赵爽勾股圆方图证明法.
content: 中国三国时期赵爽为证明勾股定理作“勾股圆方图”即“弦图”,按其证明思路,其法可涵盖所有直角三角形,为东方特色勾股定理无字证明法。2002年第24届国际数学家大会(ICM)在北京召开。中国邮政发行一枚邮资明信片,邮资图就是这次大会的会标—中国古代证明勾股定理的赵爽弦图。
title: 刘徽“割补术”证明法.
content: 中国魏晋时期数学家刘徽依据其“割补术”为证勾股定理另辟蹊径而作“青朱出入图”。刘徽描述此图,“勾自乘为朱方,股自乘为青方,令出入相补,各从其类,因就其余不动也,合成弦方之幂。开方除之,即弦也。”其大意为,一个任意直角三角形,以勾宽作红色正方形即朱方,以股长作青色正方形即青方。将朱方、青方两个正方形对齐底边排列,再进行割补—以盈补虚,分割线内不动,线外则“各从其类”,以合成弦的正方形即弦方,弦方开方即为弦长。
title: 利用相似三角形的证法.
content: 有许多勾股定理的证明方式,都是基于相似三角形中两边长的比例。  设formula_29为一直角三角形,直角于formula_30(看右图)。从点"formula_31"画上三角形的高,并将此高与formula_32的交叉点称之为formula_33。此新formula_34和原本的"formula_35"相似,因为在两个三角形中都有一个直角(这又是由于「高」的定义),而两个三角形都有formula_36这个共同角,由此可知第三只角都是相等的。同样道理,formula_37和formula_35也是相似的。这些相似关系衍生出以下的比率关系:  因为  所以  可以写成  综合这两个方程序,我们得到  换句话说:
title: 欧几里得的证法.
content: 在欧几里得的《几何原本》一书中给出勾股定理的以下证明。设formula_35为一直角三角形,其中"A"为直角。从"formula_36"点划一直线至对边,使其垂直于对边。延长此线把对边上的正方形一分为二,其面积分别与其余两个正方形相等。  在定理的证明中,我们需要如下四个辅助定理: 证明的思路为:把上方的两个正方形,透过等高同底的三角形,以其面积关系,转换成下方两个同等面积的长方形。  其证明如下: 此证明是于欧几里得《几何原本》一书第1.47节所提出的  由于这个定理的证明依赖于平行公理,而且从这个定理可以推出平行公理,很多人质疑平行公理是这个定理的必要条件,一直到十九世纪尝试否定第五公理的非欧几何出现。
title: 图形重新排列证法.
content: 此证明以图形重新排列证明。两个大正方形的面积皆为formula_103。把四个相等的三角形移除后,左方余下面积为formula_104,右方余下面积为formula_105,两者相等。证毕。
title: 勾股定理的逆定理.
content: 勾股定理的逆定理是判断三角形为钝角、锐角或直角的一个简单的方法,其中formula_106为最长边: (这个逆定理其实只是余弦定理的一个延伸)
title: 逆定理的证明.
content: 勾股定理的逆定理的证法数明显少于勾股定理的证法。以下是一些常见证法。
title: 同一法.
content: 构造formula_115,使formula_116。  根据勾股定理,formula_117,从而formula_118。  因此,formula_119。
title: 余弦定理.
content: 根据余弦定理,formula_120。由于formula_107,故formula_122,从而formula_119。
title: 相似三角形.
content: 在formula_32边上截取点formula_125使formula_126。  在formula_127与formula_128中,  从而,formula_129,以及formula_130。  另一方面,formula_131,故由formula_132知,formula_133。  因而,formula_134,所以formula_135。
title: 非欧几何.
content: 勾股定理是由欧几里得几何的公理推导出来的,其在非欧几里得几何中是不成立的。因为勾股定理的成立涉及到了平行公设。

Summary: 勾股定理,又称毕达哥拉斯定理(英语:Pythagoras theorem)、毕氏定理、商高定理、新娘座椅定理、百牛定理,是平面几何中一个基本而重要的定理。勾股定理说明,平面上的直角三角形的两条直角边的长度(古称勾长、股长)的平方和等于斜边长(古称弦长)的平方。反之,若平面上三角形中两边长的平方和等于第三边边长的平方,则它是直角三角形(直角所对的边是第三边)。勾股定理是人类早期发现并证明的重要数学定理之一。

Satz des Pythagoras: Der Satz des Pythagoras (auch Hypotenusensatz) ist einer der fundamentalen Sätze der euklidischen Geometrie. Er besagt, dass in allen ebenen rechtwinkligen Dreiecken die Summe der Flächeninhalte der Kathetenquadrate gleich dem Flächeninhalt des Hypotenusenquadrates ist. Sind formula_1 und formula_2 die Längen der am rechten Winkel anliegenden Seiten, der Katheten, und formula_3 die Länge der dem rechten Winkel gegenüberliegenden Seite, der Hypotenuse, dann lautet der Satz als Gleichung ausgedrückt: