勾股定理

勾股定理又称商高定理、畢達哥拉斯定理，简称“毕氏定理”，是平面几何中一个基本而重要的定理。勾股定理说明，平面上的直角三角形的两条直角边的长度（古称勾长、股长）的平方和等于斜边长（古称弦长）的平方。反之，若平面上三角形中两边长的平方和等于第三边边长的平方，则它是直角三角形（直角所对的边是第三边）。

勾股定理是人类早期发现并证明的重要数学定理之一。

勾股定理是中国先祖在测影观日制定历法中的重大发现。由于中国历法历史悠久，因此勾股定理的发现时间远远超过世界其它国家和地区。在中国数学史中同样源远流长，是中算的重中之重。据《周髀算經》中记述，公元前一千多年周公与商高论数的对话中，商高就以三四五3个特定数为例详细解释了勾股定理要素，其一，“以为句广三，股修四，径隅五”。其二，“既方其外，半之一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。”首先肯定一个底宽为三，高为四的直角三角形，弦长必定是五。最重要的是紧接着论证了弦长平方必定是两直角边的平方和，确立了直角三角形两条直角边的平方和等于斜边平方的判定原则。其判定方法后世不明其法而被忽略。^[1]。对话中还提及大禹治水时期，勾股定理就已经应用于治水工程中，还延伸至国家建章立制的政治高度：“故禹之所以治天下者，此数之所生也。”《史记·夏本纪》记载大禹治水：“陆行乘车，水行乘船，泥行乘橇，山行乘檋。左准绳，右规矩，载四时，以开九州，通九道，陂九泽，度九山。”^[2]。其中的矩就是运用勾股定理的实用工具之一。

此外，《周髀算经》中明确记载了周公后人陈子叙述的勾股定理公式：“若求邪至日者，以日下为勾，日高为股，勾股各自乘，并而开方除之，得邪至日”。

赵爽在《周髀算經注》中将勾股定理表述为“勾股各自乘，并之，为弦实。开方除之，即弦。”。

古埃及在公元前2600年的纸莎草就有（3,4,5）这一组勾股数，而古巴比伦泥板涉及的最大的一个勾股数组是（18541，12709，13500）。

古希腊发现勾股定理的是毕达哥拉斯，所以勾股定理又称畢達哥拉斯定理。據說畢達哥拉斯證明了這個定理後，即斬了百頭牛作慶祝（百牛大祭），因此又稱百牛定理。但这个说法显然是以讹传讹，众所周知毕达哥拉斯主义者在古代以素食闻名。^[3]

有些參考資料提到法国和比利時將勾股定理称为驴桥定理，但驴桥定理就是等邊對等角，是指等腰三角形的二底角相等，非勾股定理^[4]。

定理

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

a^{2}+b^{2}=c^{2}

勾股定理是餘弦定理中的一個特例^[5]。勾股定理現約有400種證明方法，是數學定理中證明方法最多的定理之一^[6]。

其他形式

如果c是斜邊的長度而a和b是另外兩條邊的長度，勾股定理可以寫成：

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

如果a和b知道，c可以這樣寫：

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

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

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

或

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

勾股數组

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

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

歷史

這個定理的歷史可以被分成三個部份：發現勾股數、發現直角三角形中邊長的關係、及其定理的證明。

勾股数

勾股数出现得较早，例如埃及的纸草书里面就有（3,4,5）这一组勾股数，而巴比伦泥板涉及的最大的一个勾股数组是（18541，12709，13500）。后来的中国的算經、印度与阿拉伯的数学书也有记载。^[7]相传是在公元前11世纪商代由商高發現，故又有稱之為商高定理；商高答周公问曰：“勾广三，股备四，径隅五”；三国时代的赵爽对《周髀算經》内的勾股定理作出了详细注释：“勾股个自乘，并之，为弦实，开方除之，即弦”。《九章算术》卷第九《句股》章详细讨论了勾股定理的运用，魏国数学家刘徽反复运用勾股定理求圆周率。

金朝数学家李冶的《测圆海镜》通过勾股容圆图式的十五个勾股形和直径的关系，建立了系統的天元术，推导出692条关于勾股形的各边的公式，其中用到了多组勾股数作为例子。

普遍定理的发现

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

“

如果我们听听那些喜欢说古代历史的人，他们把这个定理归于毕达哥拉斯，并且说他杀了一头公牛来庆祝。对我来说，虽然我欣赏那个第一个观察到这个定理的人，我更叹服《原本》的作者。不光是因为他给出了清晰明确的证明，而且还因为他用无可置疑的方法在第六篇中证明了一个更一般的命题。

”

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

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

“

若求邪至日者，以日下为句，日高为股，句股各自乘，并而開方除之，得邪至日。

”

——《周髀算经》卷上之二

因此有些人将这个定理称之为陈子定理。

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

“

勾股各自乘，并之，为弦实，开方除之，即弦。

”

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

直至現時為止，仍有許多關於勾股定理是否不止一次被發現的辯論。

证明

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

證明

這個定理有許多證明的方法，其證明的方法可能是數學眾多定理中最多的。路明思（Elisha Scott Loomis）的Pythagorean Proposition一書中總共提到367種證明方式。

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

赵爽勾股圆方图证明法

中国东汉末年赵爽为证明勾股定理作“勾股圆方图”即“弦图”，按其证明思路，其法可涵盖所有直角三角形，为东方特色勾股定理无字证明法。

利用相似三角形的證法

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

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

因為

BC=a,AC=b,{\mbox{ and }}AB=c,\!

所以

{\frac {a}{c}}={\frac {HB}{a}}{\mbox{ and }}{\frac {b}{c}}={\frac {AH}{b}}.\,

可以寫成

a^{2}=c\times HB{\mbox{ and }}b^{2}=c\times AH.\,

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

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

換句話說:

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

歐幾里得的證法

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

在定理的證明中，我們需要如下四個輔助定理：

如果兩個三角形有兩組對應邊和這兩組邊所夾的角相等，則兩三角形全等。（SAS定理）
三角形面積是任一同底同高之平行四邊形面積的一半。
任意一個正方形的面積等於其二邊長的乘積。
任意一個矩形的面積等於其二邊長的乘積（據輔助定理3）。

證明的思路為：把上方的兩個正方形，透過等高同底的三角形，以其面積關係，轉換成下方兩個同等面積的長方形。

其證明如下：

設△ABC為一直角三角形，其直角為CAB。
其邊為BC、AB、和CA，依序繪成四方形CBDE、BAGF和ACIH。
畫出過點A之BD、CE的平行線。此線將分別與BC和DE直角相交於K、L。
分別連接CF、AD，形成兩個三角形BCF、BDA。
∠CAB和∠BAG都是直角，因此C、A和G都是共线的，同理可证B、A和H共线。
∠CBD和∠FBA皆為直角，所以∠ABD等於∠FBC。
因為AB和BD分別等於FB和BC，所以△ABD必須相等於△FBC。
因為A與K和L在同一直线上，所以四方形BDLK必須二倍面積於△ABD。
因為C、A和G在同一直线上，所以正方形BAGF必須二倍面積於△FBC。
因此四邊形BDLK必須有相同的面積BAGF = AB²。
同理可證，四邊形CKLE必須有相同的面積ACIH = AC²。
把這兩個結果相加，AB²+ AC² = BD×BK + KL×KC
由於BD=KL，BD×BK + KL×KC = BD(BK + KC） = BD×BC
由於CBDE是個正方形，因此AB² + AC² = BC²。

此證明是於歐幾里得《幾何原本》一書第1.47節所提出的^[8]

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

圖形重新排列證法

此證明以圖形重新排列證明。兩個大正方形的面積皆為 $(a+b)^{2}$ 。把四個相等的三角形移除後，左方餘下面積為 $a^{2}+b^{2}$ ，右方餘下面積為 $c^{2}$ ，兩者相等。證畢。

勾股定理的逆定理

勾股定理的逆定理是判斷三角形為鈍角、銳角或直角的一個簡單的方法，其中AB=c為最長邊:

如果 $a^{2}+b^{2}=c^{2}\,$ ，則△ABC是直角三角形。
如果 $a^{2}+b^{2}>c^{2}\,$ ，則△ABC是銳角三角形（若無先前條件AB=c為最長邊，則該式的成立僅滿足∠C是銳角）。
如果 $a^{2}+b^{2}<c^{2}\,$ ，則△ABC是鈍角三角形。

（這個逆定理其實只是餘弦定理的一個延伸）

逆定理的證明

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

同一法

構造 $\triangle A'B'C'$ ，使 $a'=a,b'=b,\angle C'=90^{\operatorname {\mathrm {o} } }$ 。

根據勾股定理， $c'={\sqrt {a'^{2}+b'^{2}}}={\sqrt {a^{2}+b^{2}}}=c$ ，從而 $\triangle A'B'C'\cong \triangle ABC$ （SSS）。

因此， $\angle C=90^{\operatorname {\mathrm {o} } }$ 。

餘弦定理

根據餘弦定理， $\cos C={\frac {a^{2}+b^{2}-c^{2}}{2ab}}$ 。由於 $a^{2}+b^{2}=c^{2}\,$ ，故 $\cos C=0\,$ ，從而 $\angle C=90^{\operatorname {\mathrm {o} } }$ 。

相似三角形

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

在 $\triangle CDB\,$ 与 $\triangle ACB\,$ 中， $\angle B=\angle B,\angle DCB=\angle A\Rightarrow \triangle CDB\sim \triangle ACB$ 。

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

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

因而， $\angle BDC=\angle CDA=90^{\operatorname {\mathrm {o} } }$ ，所以 $\angle ACB=\angle CDB=90^{\operatorname {\mathrm {o} } }$ 。

非欧几何

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

參見

注釋

^ 曲安京. [http:w3.math.sinica.edu.tw/math_media/d203/20304.pdf 商高、趙爽與劉徽關於勾股定理的證明] (PDF).
^ 史记. 夏本纪第二.
^ Ivory 最早的西方素食主义思想者—毕达哥拉斯
^ 蔡聰明. 從畢氏學派到歐氏幾何的誕生.
^ 中学数学敎学. 中国人民大学书报資料社. 1984: p.49.
^ 李信明. 中國數學五千年. 台北: 台灣書店. 1998: p.106. ISBN 9575671511.
^ 数学辞海第六卷，山西敎育出版社, 2002年出版，第618页。
^ 《幾何原本》第1.47節（英文），歐幾里德著，2006年12月19日存取
^ Stephen W. Hawking. cited work. 2005: 4. ISBN 0-7624-1922-9.
^ Eric W. Weisstein. CRC concise encyclopedia of mathematics 2nd. 2003: 2147. ISBN 1-58488-347-2. The parallel postulate is equivalent to the Equidistance postulate, Playfair axiom, Proclus axiom, the Triangle postulate and the Pythagorean theorem.
^ Alexander R. Pruss. The principle of sufficient reason: a reassessment. Cambridge University Press. 2006: 11. ISBN 0-521-85959-X. We could include...the parallel postulate and derive the Pythagorean theorem. Or we could instead make the Pythagorean theorem among the other axioms and derive the parallel postulate.

外部連結

Template:Link GA

[1] 曲安京. [http:w3.math.sinica.edu.tw/math_media/d203/20304.pdf 商高、趙爽與劉徽關於勾股定理的證明] (PDF).

[2] 史记. 夏本纪第二.

[3] Ivory 最早的西方素食主义思想者—毕达哥拉斯

[4] 蔡聰明. 從畢氏學派到歐氏幾何的誕生.

[5] 中学数学敎学. 中国人民大学书报資料社. 1984: p.49.

[6] 李信明. 中國數學五千年. 台北: 台灣書店. 1998: p.106. ISBN 9575671511.

[7] 数学辞海第六卷，山西敎育出版社, 2002年出版，第618页。

[8] 《幾何原本》第1.47節（英文），歐幾里德著，2006年12月19日存取

[false-9] Stephen W. Hawking. cited work. 2005: 4. ISBN 0-7624-1922-9.

[Parallel-10] Eric W. Weisstein. CRC concise encyclopedia of mathematics 2nd. 2003: 2147. ISBN 1-58488-347-2. The parallel postulate is equivalent to the Equidistance postulate, Playfair axiom, Proclus axiom, the Triangle postulate and the Pythagorean theorem.

[Pruss-11] Alexander R. Pruss. The principle of sufficient reason: a reassessment. Cambridge University Press. 2006: 11. ISBN 0-521-85959-X. We could include...the parallel postulate and derive the Pythagorean theorem. Or we could instead make the Pythagorean theorem among the other axioms and derive the parallel postulate.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]