勾股定理

直角邊的平方和等於斜邊的平方
-{zh:勾股定理;zh-hant:勾股定理;zh-hans:勾股定理;zh-cn:勾股定理;zh-sg:畢氏定理;zh-hk:畢氏定理;zh-mo:畢氏定理;zh-tw:畢氏定理}-（Pythagorean theorem / Pythagoras' theorem）是平面幾何中一個基本而重要的定理。勾股定理說明，平面上的直角三角形的兩條直角邊的長度（較短直角邊古稱勾長、較長直角邊古稱股長）的平方和等於斜邊長（古稱弦長）的平方。反之，若平面上三角形中兩邊長的平方和等於第三邊邊長的平方，則它是直角三角形（直角所對的邊是第三邊）。勾股定理是人類早期發現並證明的重要數學定理之一。
此定理又稱-{zh:畢氏定理;zh-hant:畢氏定理;zh-hans:畢氏定理;zh-cn:畢氏定理;zh-sg:勾股定理;zh-hk:勾股定理;zh-mo:勾股定理;zh-tw:勾股定理}-、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘數學家畢達哥拉斯，但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過，現代西方數學界統一稱呼它為「畢達哥拉斯定理」。日本除了翻譯西方的「畢達哥拉斯之定理」外亦有「三平方之定理」的稱呼。
早在有明文描述此定理前，古埃及在公元前1600年的紙莎草記載有這一組勾股數，而古巴比倫泥板紀錄的最大的一個勾股數組是。由於古代沒有如此高的精確測量工具，因此一般相信得到如此巨大的勾股數必須知道畢氏定理。
現在畢氏定理可考的嚴謹數學證明，起源於略晚於畢德格拉斯的歐幾裡得幾何原本中，卷一命題47。但奇怪的是，這個定理從未被叫做「歐幾裡得定理」。
《周髀算經》中，用商高與周公對談的方式，提出這組勾股數為例，解釋了勾股定理要素，論證「弦長平方必定是兩直角邊的平方和」，確立了直角三角形兩條直角邊的平方和等於斜邊平方的判定原則，周髀算經沒有給出證明。且周髀算經成書年份不明，可能是公元前一千多年（比畢達哥拉斯早五百年），但也可能是西漢年代（比畢達格拉斯晚500年）。另外，除了周髀算經以外再無其他典籍紀載商高，無法得知是否真有商高其人，或者周髀算經作者虛構人物。
有些參考資料提到法國和比利時將勾股定理稱為驢橋定理，但驢橋定理是指等腰三角形的二底角相等，非勾股定理。
勾股定理有四百多個證明，如微分證明，面積證明等。

**定理**
在平面上的一個直角三角形中，兩個直角邊邊長的平方加起來等於斜邊長的平方。如果設直角三角形的兩條直角邊長度分別是和，斜邊長度是，那麼可以用數學語言表達：
:
或
:
餘弦定理是勾股定理的一個推廣。勾股定理現約有400種證明方法，是數學定理中證明方法最多的定理之一。

**其他形式**
如果是斜邊的長度而和是另外兩條邊的長度，勾股定理可以寫成：
如果和知道，可以這樣寫：
如果斜邊的長度和其中一條邊（或）知道，那另一邊的長度可以這樣計算：
 
或
 
簡單來說，只要知道直角三角形的其中兩條邊長，便能求出第三條邊長。

**勾股數組**
勾股數組是滿足勾股定理的正整數組，其中的稱為勾股數。例如就是一組勾股數組。
任意一組勾股數可以表示為如下形式：，其中。

**歷史**
公元前18世紀記錄各種勾股數組的巴比倫石板
這個定理的歷史可以被分成三個部份：發現勾股數、發現直角三角形中邊長的關係、及其定理的證明。

**勾股數**
勾股數的發現時間較早，例如埃及的紙草書裡面就有這一組勾股數，而巴比倫泥板涉及的最大的一個勾股數組是。後來的中國的算經、印度與阿拉伯的數學書也有記載。在中國，《周髀算經》中也記述了這一組勾股數；金朝數學家李冶在《測圓海鏡》中，通過勾股容圓圖式的十五個勾股形和直徑的關係，建立了系統的天元術，推導出692條關於勾股形的各邊的公式，其中用到了多組勾股數作為例子。

**普遍定理的發現**
巴比倫人得到的勾股數的數量和質量不太可能純從測量手段獲得。之後的畢達哥拉斯本人並無著作傳世，不過在他死後一千年，5世紀的普羅克勒斯給歐幾里德的名著《幾何原本》做註解時將最早的發現和證明歸功於畢達哥拉斯學派：
普魯塔克和西塞羅也將發現的功勞歸於畢達哥拉斯，但沒有任何證據表明畢達哥拉斯證明了勾股定理，以素食聞名的畢達哥拉斯殺牛更是不可思議。
在中國，記載秦朝的算數書並未記載勾股定理，只是記錄了一些勾股數。定理首次載於書面則是在成書於西漢但內容收集整理自公元前一千多年以來的《周髀算經》“榮方問於陳子”一節中：
因此此定理也被稱之為陳子定理。
東漢末年趙爽《周髀算經注》《勾股圓方圖注》記載：
趙爽《勾股圓方圖》
在《九章算術注》中，劉徽反覆利用勾股定理求圓周率，並利用“割補術”做“青朱出入圖”完成勾股定理的幾何圖形證明。
直至現時為止，仍有許多關於勾股定理是否不止一次被發現的辯論。

**證明**
畢達哥拉斯學派的證明沒有流傳下來，流傳下來書面證明最早見於《幾何原本》第一冊的第47個命題。在中國，東漢末年吳國的趙爽最早給出勾股定理的證明。Bharati Krishna Tirthaji在吠陀數學一書中聲稱古代印度教吠陀證明瞭勾股定理。

**證明**
這個定理有許多證明的方法，其證明的方法可能是數學眾多定理中最多的。路明思（Elisha Scott Loomis）的Pythagorean Proposition一書中總共提到367種證明方式。
有人會嘗試以三角恆等式（例如：正弦和餘弦函數的泰勒級數）來證明勾股定理，但是，因為所有的基本三角恆等式都是建基於勾股定理，所以不能作為勾股定理的證明（參見循環論證）。

**趙爽勾股圓方圖證明法**
中國三國時期趙爽為證明勾股定理作“勾股圓方圖”即“弦圖”，按其證明思路，其法可涵蓋所有直角三角形，為東方特色勾股定理無字證明法。2002年第24屆國際數學家大會（ICM）在北京召開。中國郵政發行一枚郵資明信片，郵資圖就是這次大會的會標—中國古代證明勾股定理的趙爽弦圖。
趙爽 勾股圓方圖證明勾股定理法動畫

**劉徽“割補術”證明法**
中國魏晉時期數學家劉徽依據其“割補術”為證勾股定理另闢蹊徑而作“青朱出入圖”。劉徽描述此圖，“勾自乘為朱方，股自乘為青方，令出入相補，各從其類，因就其餘不動也，合成弦方之冪。開方除之，即弦也。”其大意為，一個任意直角三角形，以勾寬作紅色正方形即朱方，以股長作青色正方形即青方。將朱方、青方兩個正方形對齊底邊排列，再進行割補—以盈補虛，分割線內不動，線外則“各從其類”，以合成弦的正方形即弦方，弦方開方即為弦長。
劉徽 青朱出入圖

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

所以

可以寫成

綜合這兩個方程式，我們得到

換句話說:


**歐幾裡得的證法**
《幾何原本》中的證明
在歐幾裡得的《幾何原本》一書中給出勾股定理的以下証明。設為一直角三角形，其中A為直角。從點劃一直線至對邊，使其垂直於對邊。延長此線把對邊上的正方形一分為二，其面積分別與其餘兩個正方形相等。
在定理的證明中，我們需要如下四個輔助定理：- 如果兩個三角形有兩組對應邊和這兩組邊所夾的角相等，則兩三角形全等。（SAS定理）- 三角形面積是任一同底同高之平行四邊形面積的一半。- 任意一個正方形的面積等於其二邊長的乘積。- 任意一個矩形的面積等於其二邊長的乘積（據輔助定理3）。
證明的思路為：把上方的兩個正方形，透過等高同底的三角形，以其面積關係，轉換成下方兩個同等面積的長方形。
證明輔助圖2
其證明如下：
# 設為一直角三角形，其直角為。
# 其邊為、、和，依序繪成四方形、和。
# 畫出過點之、的平行線。此線將分別與和直角相交於、。
# 分別連接、，形成兩個三角形、。
# 和都是直角，因此、和都是共線的，同理可證、和共線。
# 和皆為直角，所以相等於。
# 因為和分別等於和，所以必須全等於。
# 因為與和在同一直線上，所以四方形必須二倍面積於。
# 因為、和在同一直線上，所以正方形必須二倍面積於。
# 因此四邊形必須和有相同的面積=。
# 同理可證，四邊形必須有相同的面積。
# 把這兩個結果相加，
# 由於，
# 由於是個正方形，因此。
此證明是於歐幾裡得《幾何原本》一書第1.47節所提出的
由於這個定理的證明依賴於平行公理，而且從這個定理可以推出平行公理，很多人質疑平行公理是這個定理的必要條件，一直到十九世紀嘗試否定第五公理的非歐幾何出現。

**圖形重新排列證法**
以面積減算法證明
此證明以圖形重新排列證明。兩個大正方形的面積皆為。把四個相等的三角形移除後，左方餘下面積為，右方餘下面積為，兩者相等。證畢。
以重新排列法證明
以動畫方式來論證畢氏定理

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

**逆定理的證明**
勾股定理的逆定理的證法數明顯少於勾股定理的證法。以下是一些常見證法。

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

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

**相似三角形**
在邊上截取點使。
在與中，
。
從而，，以及。
另一方面，，故由知，。
因而，，所以。

**非歐幾何**
勾股定理是由歐幾里得幾何的公理推導出來的，其在非歐幾里得幾何中不成立的，因勾股定理之成立涉平行公設。

**參考文獻**

**外部連結**
  勾股定理（MathWorld） date=20210108190940 

**參見**
 直角三角形- 勾股數- 餘弦定理- 激光測距儀- 青朱出入圖- 《史記·夏本紀》記載大禹治水：“陸行乘車，水行乘船，泥行乘橇，山行乘檋。左準繩，右規矩，載四時，以開九州，通九道，陂九澤，度九山。”其中的規和矩就是運用勾股定理的實用工具之一。