勾股定理

在平面上的一个直角三角形中，两个直角边边长的平方加起来等于斜边长的平方。如果设直角三角形的两条直角边长度分别是${\displaystyle a}$ 和${\displaystyle b}$ ，斜边长度是${\displaystyle c}$ ，那么可以用数学语言表达：

${\displaystyle a^{2}+b^{2}=c^{2}}$ 

或

${\displaystyle {\sqrt {a^{2}+b^{2}}}=c}$ 

余弦定理是勾股定理的一个推广^[4]。勾股定理现约有400种证明方法，是数学定理中证明方法最多的定理之一^[5]。

如果${\displaystyle c}$ 是斜边的长度而${\displaystyle a}$ 和${\displaystyle b}$ 是另外两条边的长度，勾股定理可以写成：

${\displaystyle a^{2}+b^{2}=c^{2}\,}$ 

如果${\displaystyle a}$ 和${\displaystyle b}$ 知道，${\displaystyle c}$ 可以这样写：

${\displaystyle c={\sqrt {a^{2}+b^{2}}}.\,}$ 

如果斜边的长度${\displaystyle c}$ 和其中一条边（${\displaystyle a}$ 或${\displaystyle b}$ ）知道，那另一边的长度可以这样计算：

${\displaystyle a={\sqrt {c^{2}-b^{2}}}.\,}$ 

或

${\displaystyle b={\sqrt {c^{2}-a^{2}}}.\,}$ 

简单来说，只要知道直角三角形的其中两条边长，便能求出第三条边长。

勾股数组是满足勾股定理${\displaystyle a^{2}+b^{2}=c^{2}}$ 的正整数组${\displaystyle (a,b,c)}$ ，其中的${\displaystyle a,b,c}$ 称为勾股数。例如${\displaystyle (3,4,5)}$ 就是一组勾股数组。

任意一组勾股数${\displaystyle (a,b,c)}$ 可以表示为如下形式：${\displaystyle a=k(m^{2}-n^{2}),b=2kmn,c=k(m^{2}+n^{2})}$ ，其中${\displaystyle k,m,n\in \mathbb {N*} ,m>n}$ 。

这个定理的历史可以被分成三个部分：发现勾股数、发现直角三角形中边长的关系、及其定理的证明。

勾股数

勾股数的发现时间较早，例如埃及的纸草书里面就有${\displaystyle (3,4,5)}$ 这一组勾股数，而巴比伦泥板涉及的最大的一个勾股数组是${\displaystyle (13500,12709,18541)}$ 。后来的中国的算经、印度与阿拉伯的数学书也有记载^[6]。在中国，《周髀算经》中也记述了${\displaystyle (3,4,5)}$ 这一组勾股数^[7]；金朝数学家李冶在《测圆海镜》中，通过勾股容圆图式的十五个勾股形和直径的关系，建立了系统的天元术，推导出692条关于勾股形的各边的公式，其中用到了多组勾股数作为例子。

普遍定理的发现

巴比伦人得到的勾股数的数量和质量不太可能纯从测量手段获得。之后的毕达哥拉斯本人并无著作传世，不过在他死后一千年，5世纪的普罗克勒斯给欧几里德的名著《几何原本》做注解时将最早的发现和证明归功于毕达哥拉斯学派：

普鲁塔克和西塞罗也将发现的功劳归于毕达哥拉斯，但没有任何证据表明毕达哥拉斯证明了勾股定理，以素食闻名的毕达哥拉斯杀牛更是不可思议。

在中国，记载秦朝的算数书并未记载勾股定理，只是记录了一些勾股数。定理首次载于书面则是在成书于西汉但内容收集整理自公元前一千多年以来的《周髀算经》“荣方问于陈子”一节中：

因此此定理也被称之为陈子定理。

东汉末年赵爽《周髀算经注》《勾股圆方图注》记载：

在《九章算术注》中，刘徽反复利用勾股定理求圆周率，并利用“割补术”做“青朱出入图”完成勾股定理的几何图形证明。

直至现时为止，仍有许多关于勾股定理是否不止一次被发现的辩论。

证明

毕达哥拉斯学派的证明没有流传下来，流传下来书面证明最早见于《几何原本》第一册的第47个命题。在中国，东汉末年吴国的赵爽最早给出勾股定理的证明。巴勒蒂·克尔什纳·蒂尔特吉（英语：Bharati Krishna Tirthaji）在吠陀数学一书中声称古代印度教吠陀证明了勾股定理。

这个定理有许多证明的方法，其证明的方法可能是数学众多定理中最多的。路明思（Elisha Scott Loomis）的Pythagorean Proposition一书中总共提到367种证明方式。

有人会尝试以三角恒等式（例如：正弦和余弦函数的泰勒级数）来证明勾股定理，但是，因为所有的基本三角恒等式都是建基于勾股定理，所以不能作为勾股定理的证明（参见循环论证）。

赵爽勾股圆方图证明法

中国三国时期赵爽为证明勾股定理作“勾股圆方图”即“弦图”，按其证明思路，其法可涵盖所有直角三角形，为东方特色勾股定理无字证明法。2002年第24届国际数学家大会（ICM）在北京召开。中国邮政发行一枚邮资明信片，邮资图就是这次大会的会标—中国古代证明勾股定理的赵爽弦图。

刘徽“割补术”证明法

中国魏晋时期数学家刘徽依据其“割补术”为证勾股定理另辟蹊径而作“青朱出入图”。刘徽描述此图，“勾自乘为朱方，股自乘为青方，令出入相补，各从其类，因就其余不动也，合成弦方之幂。开方除之，即弦也。^[8]”其大意为，一个任意直角三角形，以勾宽作红色正方形即朱方，以股长作青色正方形即青方。将朱方、青方两个正方形对齐底边排列，再进行割补—以盈补虚，分割线内不动，线外则“各从其类”，以合成弦的正方形即弦方，弦方开方即为弦长。

利用相似三角形的证法

有许多勾股定理的证明方式，都是基于相似三角形中两边长的比例。

设${\displaystyle ABC}$ 为一直角三角形，直角于${\displaystyle \angle C}$ （看右图）。从点${\displaystyle C}$ 画上三角形的高，并将此高与${\displaystyle {\overline {AB}}}$ 的交叉点称之为${\displaystyle H}$ 。此新${\displaystyle \bigtriangleup ACH}$ 和原本的${\displaystyle \bigtriangleup ABC}$ 相似，因为在两个三角形中都有一个直角（这又是由于“高”的定义），而两个三角形都有${\displaystyle A}$ 这个共同角，由此可知第三只角都是相等的。同样道理，${\displaystyle \bigtriangleup CBH}$ 和${\displaystyle \bigtriangleup ABC}$ 也是相似的。这些相似关系衍生出以下的比率关系：

因为

${\displaystyle {\overline {BC}}=a,{\overline {AC}}=b,{\text{ and }}{\overline {AB}}=c,\!}$ 

所以

${\displaystyle {\frac {a}{c}}={\frac {\overline {HB}}{a}}{\text{ and }}{\frac {b}{c}}={\frac {\overline {AH}}{b}}.\,}$ 

可以写成

${\displaystyle a^{2}=c\times {\overline {HB}}{\text{ and }}b^{2}=c\times {\overline {AH}}.\,}$ 

综合这两个方程式，我们得到

${\displaystyle a^{2}+b^{2}=c\times {\overline {HB}}+c\times {\overline {AH}}=c\times ({\overline {HB}}+{\overline {AH}})=c^{2}.\,\!}$ 

换句话说:

${\displaystyle a^{2}+b^{2}=c^{2}.\,\!}$ 

欧几里得的证法

在欧几里得的《几何原本》一书中给出勾股定理的以下证明。设${\displaystyle \bigtriangleup ABC}$ 为一直角三角形，其中A为直角。从${\displaystyle A}$ 点划一直线至对边，使其垂直于对边。延长此线把对边上的正方形一分为二，其面积分别与其余两个正方形相等。

在定理的证明中，我们需要如下四个辅助定理：

• 如果两个三角形有两组对应边和这两组边所夹的角相等，则两三角形全等。（SAS定理）
• 三角形面积是任一同底同高之平行四边形面积的一半。
• 任意一个正方形的面积等于其二边长的乘积。
• 任意一个矩形的面积等于其二边长的乘积（据辅助定理3）。

证明的思路为：把上方的两个正方形，透过等高同底的三角形，以其面积关系，变换成下方两个同等面积的长方形。

其证明如下：

1. 设${\displaystyle \triangle ABC}$ 为一直角三角形，其直角为${\displaystyle \angle CAB}$ 。
2. 其边为${\displaystyle {\overline {BC}}}$ 、${\displaystyle {\overline {AB}}}$ 、和${\displaystyle {\overline {CA}}}$ ，依序绘成四方形${\displaystyle CBDE}$ 、${\displaystyle BAGF}$ 和${\displaystyle ACIH}$ 。
3. 画出过点${\displaystyle A}$ 之${\displaystyle {\overline {BD}}}$ 、${\displaystyle {\overline {CE}}}$ 的平行线。此线将分别与${\displaystyle {\overline {BC}}}$ 和${\displaystyle {\overline {DE}}}$ 直角相交于${\displaystyle K}$ 、${\displaystyle L}$ 。
4. 分别连接${\displaystyle {\overline {CF}}}$ 、${\displaystyle {\overline {AD}}}$ ，形成两个三角形${\displaystyle BCF}$ 、${\displaystyle BDA}$ 。
5. ${\displaystyle \angle CAB}$ 和${\displaystyle \angle BAG}$ 都是直角，因此${\displaystyle C}$ 、${\displaystyle A}$ 和${\displaystyle G}$ 都是共线的，同理可证${\displaystyle B}$ 、${\displaystyle A}$ 和${\displaystyle H}$ 共线。
6. ${\displaystyle \angle CBD}$ 和${\displaystyle \angle FBA}$ 皆为直角，所以${\displaystyle \angle ABD}$ 相等于${\displaystyle \angle FBC}$ 。
7. 因为${\displaystyle {\overline {AB}}}$ 和${\displaystyle {\overline {BD}}}$ 分别等于${\displaystyle {\overline {FB}}}$ 和${\displaystyle {\overline {BC}}}$ ，所以${\displaystyle \triangle ABD}$ 必须全等于${\displaystyle \triangle FBC}$ 。
8. 因为${\displaystyle A}$ 与${\displaystyle K}$ 和${\displaystyle L}$ 在同一直线上，所以四方形${\displaystyle BDLK}$ 必须二倍面积于${\displaystyle \triangle ABD}$ 。
9. 因为${\displaystyle C}$ 、${\displaystyle A}$ 和${\displaystyle G}$ 在同一直线上，所以正方形${\displaystyle BAGF}$ 必须二倍面积于${\displaystyle \triangle FBC}$ 。
10. 因此四边形${\displaystyle BDLK}$ 必须和${\displaystyle BAGF}$ 有相同的面积=${\displaystyle {\overline {AB}}^{2}}$ 。
11. 同理可证，四边形${\displaystyle CKLE}$ 必须有相同的面积${\displaystyle ACIH={\overline {AC}}^{2}}$ 。
12. 把这两个结果相加，${\displaystyle {\overline {AB}}^{2}+{\overline {AC}}^{2}={\overline {BD}}\times {\overline {BK}}+{\overline {KL}}\times {\overline {KC}}}$ 
13. 由于${\displaystyle {\overline {BD}}={\overline {KL}}}$ ，${\displaystyle {\overline {BD}}\times {\overline {BK}}+{\overline {KL}}\times {\overline {KC}}={\overline {BD}}\left({\overline {BK}}+{\overline {KC}}\right)={\overline {BD}}\times {\overline {BC}}}$ 
14. 由于${\displaystyle CBDE}$ 是个正方形，因此${\displaystyle {\overline {AB}}^{2}+{\overline {AC}}^{2}={\overline {BC}}^{2}}$ 。

此证明是于欧几里得《几何原本》一书第1.47节所提出的^[9]

由于这个定理的证明依赖于平行公理，而且从这个定理可以推出平行公理，很多人质疑平行公理是这个定理的必要条件，一直到十九世纪尝试否定第五公理的非欧几何出现。

图形重新排列证法

此证明以图形重新排列证明。两个大正方形的面积皆为${\displaystyle (a+b)^{2}}$ 。把四个相等的三角形移除后，左方余下面积为${\displaystyle a^{2}+b^{2}}$ ，右方余下面积为${\displaystyle c^{2}}$ ，两者相等。证毕。

勾股定理的逆定理是判断三角形为钝角、锐角或直角的一个简单的方法，其中${\displaystyle {\overline {AB}}=c}$ 为最长边:

• 如果${\displaystyle a^{2}+b^{2}=c^{2}\,}$ ，则${\displaystyle \triangle ABC}$ 是直角三角形。其中${\displaystyle \angle C}$ 是直角。
• 如果${\displaystyle a^{2}+b^{2}>c^{2}\,}$ ，则${\displaystyle \triangle ABC}$ 是锐角三角形（若无先前条件${\displaystyle {\overline {AB}}=c}$ 为最长边，则该式的成立仅满足${\displaystyle \angle C}$ 是锐角）。
• 如果${\displaystyle a^{2}+b^{2}<c^{2}\,}$ , 则${\displaystyle \triangle ABC}$ 是钝角三角形。其中${\displaystyle \angle C}$ 是钝角。

（这个逆定理其实只是余弦定理的一个延伸）

勾股定理的逆定理的证法数明显少于勾股定理的证法。以下是一些常见证法。

同一法

构造${\displaystyle \triangle A'B'C'}$ ，使${\displaystyle a'=a,b'=b,\angle C'=90^{\circ }}$ 。

根据勾股定理，${\displaystyle c'={\sqrt {a'^{2}+b'^{2}}}={\sqrt {a^{2}+b^{2}}}=c}$ ，从而${\displaystyle \triangle A'B'C'\cong \triangle ABC(SSS)}$ 。

因此，${\displaystyle \angle C=90^{\circ }}$ 。

余弦定理

根据余弦定理，${\displaystyle \cos C={\frac {a^{2}+b^{2}-c^{2}}{2ab}}}$ 。由于${\displaystyle a^{2}+b^{2}=c^{2}\,}$ ，故${\displaystyle \cos C=0\,}$ ，从而${\displaystyle \angle C=90^{\circ }}$ 。

相似三角形

在${\displaystyle {\overline {AB}}}$ 边上截取点${\displaystyle D}$ 使${\displaystyle \angle DCB=\angle A}$ 。

在${\displaystyle \triangle CDB\,}$ 与${\displaystyle \triangle ACB\,}$ 中，

。

从而，${\displaystyle {\frac {\overline {BC}}{\overline {BA}}}={\frac {\overline {BD}}{\overline {BC}}}\Rightarrow {\overline {BD}}={\frac {a^{2}}{c}}}$ ，以及${\displaystyle {\frac {\overline {CD}}{\overline {AC}}}={\frac {\overline {CB}}{\overline {AB}}}\Rightarrow {\overline {CD}}={\frac {\overline {ab}}{c}}}$ 。

另一方面，${\displaystyle {\overline {AD}}={\overline {AB}}-{\overline {BD}}=c-{\frac {a^{2}}{c}}={\frac {b^{2}}{c}}}$ ，故由${\displaystyle {\frac {\overline {DC}}{\overline {AD}}}={\frac {\overline {BC}}{\overline {AC}}}={\frac {\overline {BD}}{\overline {CD}}}={\frac {a}{b}}}$ 知，${\displaystyle \triangle ACD\sim \triangle CBD}$ 。

因而，${\displaystyle \angle BDC=\angle CDA=90^{\circ }}$ ，所以${\displaystyle \angle ACB=\angle CDB=90^{\circ }}$ 。

非欧几何

勾股定理是由欧几里得几何的公理推导出来的，其在非欧几里得几何中是不成立的^[10]。因为勾股定理的成立涉及到了平行公设。^[11][12]

• 勾股定理（MathWorld） （页面存档备份，存于互联网档案馆）（英文）

• 直角三角形
• 勾股数
• 余弦定理
• 激光测距仪
• 青朱出入图
• 《史记·夏本纪》记载大禹治水：“陆行乘车，水行乘船，泥行乘橇，山行乘檋。左准绳，右规矩，载四时，以开九州，通九道，陂九泽，度九山。”其中的规和矩就是运用勾股定理的实用工具之一。