勾股定理

-{zh:勾股定理;zh-hant:勾股定理;zh-hans:勾股定理;zh-cn:勾股定理;zh-sg:毕氏定理;zh-hk:畢氏定理;zh-mo:畢氏定理;zh-tw:畢氏定理}-（ / ）是平面几何的基本定理。該定理的大意是在平面中，直角三角形的兩邊直角長的平方和等于斜边长的平方。若化作等式，則會把兩個直角邊記為與、斜邊長記為，並寫作：

此定理又稱-{zh:毕氏定理;zh-hant:毕氏定理;zh-hans:毕氏定理;zh-cn:毕氏定理;zh-sg:勾股定理;zh-hk:勾股定理;zh-mo:勾股定理;zh-tw:勾股定理}-、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘「數學家畢達哥拉斯，但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過，現代西方數學界統一稱呼它為「畢達哥拉斯定理」。日本除了翻譯西方的「畢達哥拉斯之定理」外亦有「三平方之定理」的稱呼。而「商高定理」則是源自《周髀算經》中商高與周公的對談一節。但周髀算經的發現經過有爭議。

勾股定理是人类早期发现并证明的重要数学定理之一，後世衍生了四百多種證明法，包括微分證明、面積證明等。有些參考資料提到法国和比利時將勾股定理称为驴桥定理，但驴桥定理是指等腰三角形的二底角相等，非勾股定理。另外，餘弦定理是勾股定理的一個推广。

 定理 
在平面上的一個直角三角形中，两个直角边边长的平方加起来等于斜邊长的平方。如果设直角三角形的两条直角边长度分别是和，斜边长度是，那么可以用数学语言表达：

或

如果斜邊的長度和其中一條邊（或）知道，那另一邊的長度可以這樣計算：

或

簡單來說，只要知道直角三角形的其中兩條邊長，便能求出第三條邊長。

 證明 
勾股定理現約有400種证明方法，是數學定理中證明方法最多的定理之一。路明思（Elisha Scott Loomis）的《Pythagorean Proposition》一書中總共提到367種證明方式。

有人會嘗試以三角恆等式（例如：正弦和餘弦函數的泰勒級數）來證明勾股定理，但是，因為所有的基本三角恆等式都是建基於勾股定理，所以不能作為勾股定理的證明（參見循環論證）。

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

缩略图|趙爽 勾股圆方图证明勾股定理法动画

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

缩略图|刘徽 青朱出入图

 利用相似三角形的證法 

有許多勾股定理的證明方式，都是基於相似三角形中兩邊長的比例。

設為一直角三角形，直角於（看右圖）。從點畫上三角形的高，並將此高與的交叉點稱之為。此新和原本的相似，因為在兩個三角形中都有一個直角（這又是由於「高」的定義），而兩個三角形都有這個共同角，由此可知第三隻角都是相等的。同樣道理，和也是相似的。這些相似關係衍生出以下的比率關係：

因為：

所以：

可以寫成：

綜合這兩個方程式可以得到：

換句話說：

 歐幾里得的證法 
在歐幾里得的《幾何原本》一書中给出勾股定理的以下証明。設為一直角三角形，其中A為直角。從點劃一直線至對邊，使其垂直於對邊。延长此線把對邊上的正方形一分為二，其面積分別與其餘兩個正方形相等。

在定理的證明中，我們需要如下四個輔助定理：
 如果兩個三角形有兩組對應邊和這兩組邊所夾的角相等，則兩三角形全等。（SAS定理）
 三角形面積是任一同底同高之平行四邊形面積的一半。
 任意一個正方形的面積等於其二邊長的乘積。
 任意一個矩形的面積等於其二邊長的乘積（據輔助定理3）。
證明的思路為：把上方的兩個正方形，透過等高同底的三角形，以其面積關係，轉換成下方兩個同等面積的長方形。
其證明如下：
 設為一直角三角形，其直角為。
 其邊為、、和，依序繪成四方形、和。
 畫出過點之、的平行線。此線將分別與和直角相交於、。
 分別連接、，形成兩個三角形、。
 和都是直角，因此、和都是共线的，同理可证、和共线。
 和皆為直角，所以相等於。
 因為和分別等於和，所以必須全等於。
 因為與和在同一直线上，所以四方形必須二倍面積於。
 因為、和在同一直线上，所以正方形必須二倍面積於。
 因此四邊形必須和有相同的面積=。
 同理可證，四邊形必須有相同的面積。
 把這兩個結果相加，
 由於，
 由於是個正方形，因此。
此證明是於歐幾里得《幾何原本》一書第1.47節所提出的《幾何原本》第1.47節 ，歐幾里德著，2006年12月19日存取

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

 圖形重新排列證法 

此證明以圖形重新排列證明。兩個大正方形的面積皆為。把四個相等的三角形移除後，左方餘下面積為，右方餘下面積為，兩者相等。證畢。

 勾股数组 

勾股数组是滿足勾股定理的正整數組，其中的称为勾股数。例如就是一組勾股数組。

任意一组勾股数可以表示为如下形式：，其中。

 歷史 

這個定理的歷史可以被分成三個部份：發現勾股数、發現直角三角形中邊長的關係、及其定理的證明。現在畢氏定理可考的嚴謹數學證明，起源於略晚於畢德格拉斯的歐幾里得幾何原本中，卷一命題47。

勾股数
勾股数的發現時間较早，例如埃及在公元前1600年的纸莎草里就有記載这一组勾股数，而巴比伦泥板涉及的最大的一个勾股数组是。由於古代沒有如此高的精確測量工具，因此一般相信得到如此巨大的勾股數必須知道畢氏定理。

后来的中国的算經、印度与阿拉伯的数学书也有记载《数学辞海》第六卷，山西敎育出版社, 2002年出版，第618页。。在中国，《周髀算经》中也记述了这一组勾股数；金朝数学家李冶在《测圆海镜》中，通过勾股容圆图式的十五个勾股形和直径的关系，建立了系統的天元术，推导出692条关于勾股形的各边的公式，其中用到了多组勾股数作为例子。

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

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

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

因此此定理也被称之为陈子定理。書中還用商高與周公對談的方式，提出這組勾股數为例，解释勾股定理要素，並论证「弦长平方必定是两直角边的平方和」，确立了直角三角形两条直角边的平方和等于斜边平方的判定原则。周髀算經沒有給出證明，且成書年份不明，可能是公元前一千多年（比畢達哥拉斯早五百年），但也可能是西漢年代（比畢達格拉斯晚500年）。另外，除了周髀算經以外再無其他典籍紀載商高，無法得知是否真有商高其人，或者周髀算經作者虛構人物。

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

缩略图|赵爽《勾股圆方图》
在《九章算术注》中，刘徽反复利用勾股定理求圆周率，并利用“割补术”做“青朱出入图”完成勾股定理的几何图形证明。直至現時為止，仍有許多關於勾股定理是否不止一次被發現的辯論。

证明
毕达哥拉斯学派的证明没有流传下来，流传下来书面证明最早见于《几何原本》第一册的第47个命题。在中国，东汉末年吴国的赵爽最早给出勾股定理的证明。在吠陀數學一書中聲稱古代印度教吠陀證明了勾股定理。

 勾股定理的逆定理 
勾股定理的逆定理是判斷三角形為鈍角、銳角或直角的一個簡單的方法，其中為最長邊:
 如果，則是直角三角形。其中是直角。
 如果，則是銳角三角形（若無先前條件為最長邊，則該式的成立僅滿足是銳角）。
 如果, 則是鈍角三角形。其中是鈍角。
（這個逆定理其實只是餘弦定理的一個延伸）

 逆定理的證明 
勾股定理的逆定理的證法數明顯少於勾股定理的證法。常見證法有同一法、餘弦定理、相似三角形、非欧几何等。

 同一法 
構造，使。根據勾股定理，，從而。因此，。

 餘弦定理 
根據餘弦定理，。由於，故，從而。

 相似三角形 
在边上截取点使。在与中：

從而，，以及。

另一方面，，故由知，。因而，，所以。

非欧几何

勾股定理是由欧几里得几何的公理推导出来的，其在非欧几里得几何中不成立的，因勾股定理之成立涉平行公设。

 註釋 

 参考文献 

 外部連結 
 勾股定理（MathWorld） 

 參見 

 直角三角形
 勾股数
 余弦定理
 激光测距仪
 青朱出入图
 英國國旗定理


Category:面积
Category:角
Category:包含证明的条目
Category:方程
Theorem
Category:三角学
Category:三角形几何
Category:中国数学史
Category:平面几何定理