zh 勾股定理；zhhant 勾股定理；zhhans 勾股定理；zhcn 勾股定理；zhsg 畢氏定理；zhhk 畢氏定理；zhmo 畢氏定理；zhtw 畢氏定理是平面幾何中一個基本而重要的定理。勾股定理說明，平面上的直角三角形的兩條直角邊的長度（較短直角邊古稱勾長、較長直角邊古稱股長）的平方和等於斜邊長（古稱弦長）的平方。反之，若平面上三角形中兩邊長的平方和等於第三邊邊長的平方，則它是直角三角形（直角所對的邊是第三邊）。勾股定理是人類早期發現並證明的重要數學定理之一。 此定理又稱 zh 畢氏定理；zhhant 畢氏定理；zhhans 畢氏定理；zhcn 畢氏定理；zhsg 勾股定理；zhhk 勾股定理；zhmo 勾股定理；zhtw 勾股定理、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘數學家畢達哥拉斯，但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過，現代西方數學界統一稱呼它為「畢達哥拉斯定理」。日本除了翻譯西方的「畢達哥拉斯之定理」外亦有「三平方之定理」的稱呼。 早在有明文描述此定理前，古埃及在公元前 1600 年的紙莎草記載有 345 這一組勾股數，而古巴比倫泥板紀錄的最大的一個勾股陣列是 127091350018541。由於古代沒有如此高的精確測量工具，因此一般相信得到如此巨大的勾股數必須知道畢氏定理。 現在畢氏定理可考的嚴謹數學證明，起源於略晚於畢德格拉斯的歐幾裡得幾何原本中，卷一命題 47。但奇怪的是，這個定理從未被叫做「歐幾裡得定理」。 《周髀算經》中，用商高與周公對談的方式，提出 345 這組勾股數為例，解釋了勾股定理要素，論證「弦長平方必定是兩直角邊的平方和」，確立了直角三角形兩條直角邊的平方和等於斜邊平方的判定原則，周髀算經沒有給出證明。且周髀算經成書年份不明，可能是公元前一千多年（比畢達哥拉斯早五百年），但也可能是西漢年代（比畢達格拉斯晚 500 年）。另外，除了周髀算經以外再無其他典籍紀載商高，無法得知是否真有商高其人，或者周髀算經作者虛構人物。 有些參考資料提到法國和比利時將勾股定理稱為驢橋定理，但驢橋定理是指等腰三角形的二底角相等，非勾股定理。 勾股定理有四百多個證明，如微分證明，面積證明等。 定理 在平面上的一個直角三角形中，兩個直角邊邊長的平方加起來等於斜邊長的平方。如果設直角三角形的兩條直角邊長度分別是 a 和 b，斜邊長度是 c，那麼可以用數學語言表達： a2b2c2 或 sqrt a2b2c 餘弦定理是勾股定理的一個推廣。勾股定理現約有 400 種證明方法，是數學定理中證明方法最多的定理之一。 其他形式 如果 c 是斜邊的長度而 a 和 b 是另外兩條邊的長度，勾股定理可以寫成： a2 b2 c2 如果 a 和 b 知道，c 可以這樣寫： c sqrt a2 b2 如果斜邊的長度 c 和其中一條邊（a 或 b）知道，那另一邊的長度可以這樣計算： a sqrt c2 b2 或 b sqrt c2 a2 簡單來說，只要知道直角三角形的其中兩條邊長，便能求出第三條邊長。 勾股陣列 勾股陣列是滿足勾股定理 a2 b2 c2 的正整陣列 abc，其中的 abc 稱為勾股數。例如 345 就是一組勾股陣列。 任意一組勾股數 abc 可以表示為如下形式：ak m2n2 b2kmn ck m2n2，其中 k mnin mathbb Nmn 。 歷史 這個定理的歷史可以被分成三個部份：發現勾股數、發現直角三角形中邊長的關係、及其定理的證明。 勾股數 勾股數的發現時間較早，例如埃及的紙草書裡面就有 345 這一組勾股數，而巴比倫泥板涉及的最大的一個勾股陣列是 135001270918541。後來的中國的算經、印度與阿拉伯的數學書也有記載《數學辭海》第六卷，山西敎育出版社，2002 年出版，第 618 頁。。在中國，《周髀算經》中也記述了 345 這一組勾股數；金朝數學家李冶在《測圓海鏡》中，透過勾股容圓圖式的十五個勾股形和直徑的關係，建立了系統的天元術，推匯出 692 條關於勾股形的各邊的公式，其中用到了多組勾股數作為例子。 普遍定理的發現 巴比倫人得到的勾股數的數量和質量不太可能純從測量手段獲得。之後的畢達哥拉斯本人並無著作傳世，不過在他死後一千年，5 世紀的普羅克勒斯給歐幾里德的名著《幾何原本》做註解時將最早的發現和證明歸功於畢達哥拉斯學派： 普魯塔克和西塞羅也將發現的功勞歸於畢達哥拉斯，但沒有任何證據表明畢達哥拉斯證明了勾股定理，以素食聞名的畢達哥拉斯殺牛更是不可思議。 在中國，記載秦朝的算數書並未記載勾股定理，只是記錄了一些勾股數。定理首次載於書面則是在成書於西漢但內容收集整理自公元前一千多年以來的《周髀算經》榮方問於陳子 一節中： 因此此定理也被稱之為陳子定理。 東漢末年趙爽《周髀算經注》《勾股圓方圖注》記載： 在《九章算術注》中，劉徽反覆利用勾股定理求圓周率，並利用 割補術 做 青朱出入圖 完成勾股定理的幾何圖形證明。 直至現時為止，仍有許多關於勾股定理是否不止一次被發現的辯論。 證明 畢達哥拉斯學派的證明沒有流傳下來，流傳下來書面證明最早見於《幾何原本》第一冊的第 47 個命題。在中國，東漢末年吳國的趙爽最早給出勾股定理的證明。在吠陀數學一書中聲稱古代印度教吠陀證明瞭勾股定理。 證明 這個定理有許多證明的方法，其證明的方法可能是數學眾多定理中最多的。路明思（Elisha Scott Loomis）的 Pythagorean Proposition 一書中總共提到 367 種證明方式。 有人會嘗試以三角恆等式（例如：正弦和餘弦函式的泰勒級數）來證明勾股定理，但是，因為所有的基本三角恆等式都是建基於勾股定理，所以不能作為勾股定理的證明（參見迴圈論證）。 趙爽勾股圓方圖證明法 中國三國時期趙爽為證明勾股定理作 勾股圓方圖 即 弦圖，按其證明思路，其法可涵蓋所有直角三角形，為東方特色勾股定理無字證明法。2002 年第 24 屆國際數學家大會（ICM）在北京召開。中國郵政發行一枚郵資明信片，郵資圖就是這次大會的會標 中國古代證明勾股定理的趙爽弦圖。 劉徽 割補術 證明法 中國魏晉時期數學家劉徽依據其 割補術 為證勾股定理另闢蹊徑而作 青朱出入圖。劉徽描述此圖，勾自乘為朱方，股自乘為青方，令出入相補，各從其類，因就其餘不動也，合成弦方之冪。開方除之，即弦也。劉徽《九章算術注》 其大意為，一個任意直角三角形，以勾寬作紅色正方形即朱方，以股長作青色正方形即青方。將朱方、青方兩個正方形對齊底邊排列，再進行割補 以盈補虛，分割線內不動，線外則 各從其類，以合成弦的正方形即弦方，弦方開方即為弦長。 利用相似三角形的證法 有許多勾股定理的證明方式，都是基於相似三角形中兩邊長的比例。 設 ABC 為一直角三角形，直角於 angle C（看右圖）。從點 C 畫上三角形的高，並將此高與 overline AB 的交叉點稱之為 H。此新 bigtriangleup ACH 和原本的 bigtriangleup ABC 相似，因為在兩個三角形中都有一個直角（這又是由於「高」的定義），而兩個三角形都有 A 這個共同角，由此可知第三隻角都是相等的。同樣道理，bigtriangleup CBH 和 bigtriangleup ABC 也是相似的。這些相似關係衍生出以下的比率關係： 因為 overline BCa overline ACb text and overline ABc 所以 frac acfrac overline HBa text and frac bcfrac overline AHb 可以寫成 a2ctimes overline HB text and b2ctimes overline AH 綜合這兩個方程式，我們得到 a2b2ctimes overline HBctimes overline AHctimes overline HBoverline AHc2 換句話說 a2b2c2 歐幾裡得的證法 在歐幾裡得的《幾何原本》一書中給出勾股定理的以下証明。設 bigtriangleup ABC 為一直角三角形，其中 A 為直角。從 A 點劃一直線至對邊，使其垂直於對邊。延長此線把對邊上的正方形一分為二，其面積分別與其餘兩個正方形相等。 在定理的證明中，我們需要如下四個輔助定理： 如果兩個三角形有兩組對應邊和這兩組邊所夾的角相等，則兩三角形全等。（SAS 定理） 三角形面積是任一同底同高之平行四邊形面積的一半。 任意一個正方形的面積等於其二邊長的乘積。 任意一個矩形的面積等於其二邊長的乘積（據輔助定理 3）。 證明的思路為：把上方的兩個正方形，透過等高同底的三角形，以其面積關係，轉換成下方兩個同等面積的長方形。 其證明如下： 設 triangle ABC 為一直角三角形，其直角為 angle CAB。 其邊為 overline BC、overline AB、和 overline CA，依序繪成四方形 CBDE、BAGF 和 ACIH。 畫出過點 A 之 overline BD、overline CE 的平行線。此線將分別與 overline BC 和 overline DE 直角相交於 K、L。 分別連線 overline CF、overline AD，形成兩個三角形 BCF、BDA。 angle CAB 和 angle BAG 都是直角，因此 C、A 和 G 都是共線的，同理可證 B、A 和 H 共線。 angle CBD 和 angle FBA 皆為直角，所以 angle ABD 相等於 angle FBC。 因為 overline AB 和 overline BD 分別等於 overline FB 和 overline BC，所以 triangle ABD 必須全等於 triangle FBC。 因為 A 與 K 和 L 在同一直線上，所以四方形 BDLK 必須二倍面積於 triangle ABD。 因為 C、A 和 G 在同一直線上，所以正方形 BAGF 必須二倍面積於 triangle FBC。 因此四邊形 BDLK 必須和 BAGF 有相同的面積 overline AB2。 同理可證，四邊形 CKLE 必須有相同的面積 ACIHoverline AC2。 把這兩個結果相加，overline AB2 overline AC2 overline BDtimes overline BKoverline KLtimes overline KC 由於 overline BDoverline KL，overline BDtimes overline BKoverline KLtimes overline KC overline BDleft overline BK overline KC right overline BDtimes overline BC 由於 CBDE 是個正方形，因此 overline AB2 overline AC2 overline BC2。 此證明是於歐幾裡得《幾何原本》一書第 147 節所提出的《幾何原本》第 147 節 ，歐幾裡德著，2006 年 12 月 19 日存取 由於這個定理的證明依賴於平行公理，而且從這個定理可以推出平行公理，很多人質疑平行公理是這個定理的必要條件，一直到十九世紀嘗試否定第五公理的非歐幾何出現。 圖形重新排列證法 此證明以圖形重新排列證明。兩個大正方形的面積皆為 ab2。把四個相等的三角形移除後，左方餘下面積為 a2b2，右方餘下面積為 c2，兩者相等。證畢。 勾股定理的逆定理 勾股定理的逆定理是判斷三角形為鈍角、銳角或直角的一個簡單的方法，其中 overline ABc 為最長邊 如果 a2 b2 c2 ，則 triangle ABC 是直角三角形。其中 angle C 是直角。 如果 a2 b2 c2 ，則 triangle ABC 是銳角三角形（若無先前條件 overline ABc 為最長邊，則該式的成立僅滿足 angle C 是銳角）。 如果 a2 b2 c2 則 triangle ABC 是鈍角三角形。其中 angle C 是鈍角。 （這個逆定理其實只是餘弦定理的一個延伸） 逆定理的證明 勾股定理的逆定理的證法數明顯少於勾股定理的證法。以下是一些常見證法。 同一法 構造 triangle ABC，使 aa bb angle C 90circ。 根據勾股定理，c sqrt a2 b2 sqrt a2 b2 c，從而 triangle ABC cong triangle ABC SSS。 因此，angle C 90circ。 餘弦定理 根據餘弦定理，cos C frac a2b2c22ab。由於 a2 b2 c2 ，故 cos C 0 ，從而 angle C 90circ。 相似三角形 在 overline AB 邊上擷取點 D 使 angle DCB angle A。 在 triangle CDB 與 triangle ACB 中， angle Bangle B angle DCBangle A Rightarrow triangle CDB sim triangle ACB 。 從而，frac overline BCoverline BA frac overline BDoverline BC Rightarrow overline BD frac a2 c，以及 frac overline CDoverline AC frac overline CBoverline AB Rightarrow overline CD frac overline ab c。 另一方面，overline ADoverline ABoverline BDc frac a2 cfrac b2 c，故由 frac overline DCoverline ADfrac overline BCoverline AC frac overline BDoverline CD frac ab 知，triangle ACD sim triangle CBD。 因而，angle BDC angle CDA 90circ，所以 angle ACB angle CDB 90circ。 非歐幾何 勾股定理是由歐幾里得幾何的公理推匯出來的，其在非歐幾里得幾何中不成立的，因勾股定理之成立涉平行公設。 參考文獻 外部連結 勾股定理（MathWorld） 參見 直角三角形 勾股數 餘弦定理 雷射測距儀 青朱出入圖 《史記夏本紀》記載大禹治水：陸行乘車，水行乘船，泥行乘橇，山行乘檋。左準繩，右規矩，載四時，以開九州，通九道，陂九澤，度九山。 其中的規和矩就是運用勾股定理的實用工具之一。 Category 面積 Category 角 Category 包含證明的條目 Category 方程 Theorem Category 三角學 Category 三角形幾何 Category 中國數學史 Category 平面幾何定理