勾股定理(英語:Pythagorean theorem / Pythagoras' theorem)是平面几何中一个基本而重要的定理。勾股定理说明,平面上的直角三角形的两条直角边的长度(较短直角边古称勾长、较长直角边古称股长)的平方和等于斜边长(古称弦长)的平方。反之,若平面上三角形中两边长的平方和等于第三边边长的平方,则它是直角三角形(直角所对的边是第三边)。勾股定理是人类早期发现并证明的重要数学定理之一。
此定理又稱毕氏定理、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘數學家畢達哥拉斯,但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過,現代西方數學界統一稱呼它為「畢達哥拉斯定理」。
《周髀算經》记述公元前一千多年,商高以
這組勾股數为例解释了勾股定理要素[1],论证「弦长平方必定是两直角边的平方和」,确立了直角三角形两条直角边的平方和等于斜边平方的判定原则。其判定方法因后世不明其法而被忽略[2]。
古埃及在公元前2600年的纸莎草記載有
这一组勾股数,而古巴比伦泥板紀錄的最大的一个勾股数组是
。
有些參考資料提到法国和比利時將勾股定理称为驴桥定理,但驴桥定理是指等腰三角形的二底角相等,非勾股定理[3]。
勾股定理有四百多個證明,如微分證明,面積證明等。
在平面上的一個直角三角形中,两个直角边边长的平方加起来等于斜邊长的平方。如果设直角三角形的两条直角边长度分别是
和
,斜边长度是
,那么可以用数学语言表达:

或

餘弦定理是勾股定理的一個推广[4]。勾股定理現約有400種证明方法,是數學定理中證明方法最多的定理之一[5]。
其他形式[编辑]
如果
是斜邊的長度而
和
是另外兩條邊的長度,勾股定理可以寫成:
如果
和
知道,
可以這樣寫:
如果斜邊的長度
和其中一條邊(
或
)知道,那另一邊的長度可以這樣計算:

或

簡單來說,只要知道直角三角形的其中兩條邊長,便能求出第三條邊長。
勾股数组[编辑]
勾股数组是滿足勾股定理
的正整數組
,其中的
称为勾股数。例如
就是一組勾股数組。
任意一组勾股数
可以表示为如下形式:
,其中
。
這個定理的歷史可以被分成三個部份:發現勾股数、發現直角三角形中邊長的關係、及其定理的證明。
勾股数[编辑]
勾股数的發現時間较早,例如埃及的纸草书里面就有
这一组勾股数,而巴比伦泥板涉及的最大的一个勾股数组是
。后来的中国的算經、印度与阿拉伯的数学书也有记载[6]。在中国,《周髀算经》中也记述了
这一组勾股数[7];金朝数学家李冶在《测圆海镜》中,通过勾股容圆图式的十五个勾股形和直径的关系,建立了系統的天元术,推导出692条关于勾股形的各边的公式,其中用到了多组勾股数作为例子。
普遍定理的发现[编辑]
巴比伦人得到的勾股数的数量和质量不太可能纯从测量手段获得。之后的毕达哥拉斯本人并无著作传世,不过在他死后一千年,5世纪的普罗克勒斯给欧几里德的名著《几何原本》做注解时将最早的发现和证明归功于毕达哥拉斯学派:
“
|
如果我们听听那些喜欢说古代历史的人,他们把这个定理归于毕达哥拉斯,并且说他杀了一百头公牛来庆祝。对我来说,虽然我欣赏那个第一个观察到这个定理的人,我更叹服《原本》的作者。不光是因为他给出了清晰明确的证明,而且还因为他用无可置疑的方法在第六篇中证明了一个更一般的命题。
|
”
|
普魯塔克和西塞罗也将发现的功劳归于毕达哥拉斯,但没有任何证据表明毕达哥拉斯证明了勾股定理,以素食闻名的毕达哥拉斯杀牛更是不可思议。
在中国,记载秦朝的算数书并未记载勾股定理,只是记录了一些勾股数。定理首次载于书面则是在成书于西汉但内容收集整理自公元前一千多年以来的《周髀算经》“荣方问于陈子”一节中:
“
|
若求邪至日者,以日下为勾,日高为股,勾股各自乘,并而開方除之,得邪至日。
|
”
|
——《周髀算经》卷上之二
|
因此此定理也被称之为陈子定理。
东汉末年赵爽《周髀算经注》《勾股圆方图注》记载:
“
|
勾股各自乘,并之,为弦实,开方除之,即弦。
|
”
|
在《九章算术注》中,刘徽反复利用勾股定理求圆周率,并利用“割补术”做“青朱出入图”完成勾股定理的几何图形证明。
直至現時為止,仍有許多關於勾股定理是否不止一次被發現的辯論。
毕达哥拉斯学派的证明没有流传下来,流传下来书面证明最早见于《几何原本》第一册的第47个命题。在中国,东汉末年吴国的赵爽最早给出勾股定理的证明。巴勒蒂·克爾什納·蒂爾特吉在吠陀數學一書中聲稱古代印度教吠陀證明了勾股定理。
這個定理有許多證明的方法,其證明的方法可能是數學眾多定理中最多的。路明思(Elisha Scott Loomis)的Pythagorean Proposition一書中總共提到367種證明方式。
有人會嘗試以三角恆等式(例如:正弦和餘弦函數的泰勒級數)來證明勾股定理,但是,因為所有的基本三角恆等式都是建基於勾股定理,所以不能作為勾股定理的證明(參見循環論證)。
趙爽勾股圆方图证明法[编辑]
中国三国时期趙爽为证明勾股定理作“勾股圆方图”即“弦图”,按其证明思路,其法可涵盖所有直角三角形,为东方特色勾股定理无字证明法。2002年第24届国际数学家大会(ICM)在北京召开。中国邮政发行一枚邮资明信片,邮资图就是这次大会的会标—中国古代证明勾股定理的趙爽弦图。
刘徽“割补术”证明法[编辑]
中国魏晋时期数学家刘徽依据其“割补术”为证勾股定理另辟蹊径而作“青朱出入图”。刘徽描述此图,“勾自乘为朱方,股自乘为青方,令出入相补,各从其类,因就其余不动也,合成弦方之幂。开方除之,即弦也。[8]”其大意为,一个任意直角三角形,以勾宽作红色正方形即朱方,以股长作青色正方形即青方。将朱方、青方两个正方形对齐底边排列,再进行割补—以盈补虚,分割线内不动,线外则“各从其类”,以合成弦的正方形即弦方,弦方开方即为弦长。
利用相似三角形的證法[编辑]
有許多勾股定理的證明方式,都是基於相似三角形中兩邊長的比例。
設
為一直角三角形,直角於
(看右圖)。從點
畫上三角形的高,並將此高與
的交叉點稱之為
。此新
和原本的
相似,因為在兩個三角形中都有一個直角(這又是由於「高」的定義),而兩個三角形都有
這個共同角,由此可知第三隻角都是相等的。同樣道理,
和
也是相似的。這些相似關係衍生出以下的比率關係:
因為

所以

可以寫成

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

換句話說:

歐幾里得的證法[编辑]
在歐幾里得的《幾何原本》一書中给出勾股定理的以下証明。設
為一直角三角形,其中A為直角。從
點劃一直線至對邊,使其垂直於對邊。延长此線把對邊上的正方形一分為二,其面積分別與其餘兩個正方形相等。
在定理的證明中,我們需要如下四個輔助定理:
- 如果兩個三角形有兩組對應邊和這兩組邊所夾的角相等,則兩三角形全等。(SAS定理)
- 三角形面積是任一同底同高之平行四邊形面積的一半。
- 任意一個正方形的面積等於其二邊長的乘積。
- 任意一個矩形的面積等於其二邊長的乘積(據輔助定理3)。
證明的思路為:把上方的兩個正方形,透過等高同底的三角形,以其面積關係,轉換成下方兩個同等面積的長方形。
其證明如下:
- 設
為一直角三角形,其直角為
。
- 其邊為
、
、和
,依序繪成四方形
、
和
。
- 畫出過點
之
、
的平行線。此線將分別與
和
直角相交於
、
。
- 分別連接
、
,形成兩個三角形
、
。
和
都是直角,因此
、
和
都是共线的,同理可证
、
和
共线。
和
皆為直角,所以
相等於
。
- 因為
和
分別等於
和
,所以
必須全等於
。
- 因為
與
和
在同一直线上,所以四方形
必須二倍面積於
。
- 因為
、
和
在同一直线上,所以正方形
必須二倍面積於
。
- 因此四邊形
必須和
有相同的面積=
。
- 同理可證,四邊形
必須有相同的面積
。
- 把這兩個結果相加,

- 由於
,
- 由於
是個正方形,因此
。
此證明是於歐幾里得《幾何原本》一書第1.47節所提出的[9]
由于这个定理的证明依赖于平行公理,而且从这个定理可以推出平行公理,很多人质疑平行公理是这个定理的必要条件,一直到十九世纪尝试否定第五公理的非欧几何出现。
圖形重新排列證法[编辑]
此證明以圖形重新排列證明。兩個大正方形的面積皆為
。把四個相等的三角形移除後,左方餘下面積為
,右方餘下面積為
,兩者相等。證畢。
勾股定理的逆定理[编辑]
勾股定理的逆定理是判斷三角形為鈍角、銳角或直角的一個簡單的方法,其中
為最長邊:
- 如果
,則
是直角三角形。其中
是直角。
- 如果
,則
是銳角三角形(若無先前條件
為最長邊,則該式的成立僅滿足
是銳角)。
- 如果
, 則
是鈍角三角形。其中
是鈍角。
(這個逆定理其實只是餘弦定理的一個延伸)
逆定理的證明[编辑]
勾股定理的逆定理的證法數明顯少於勾股定理的證法。以下是一些常見證法。
同一法[编辑]
構造
,使
。
根據勾股定理,
,從而
。
因此,
。
餘弦定理[编辑]
根據餘弦定理,
。由於
,故
,從而
。
相似三角形[编辑]
在
边上截取点
使
。
在
与
中,
|
。
從而,
,以及
。
另一方面,
,故由
知,
。
因而,
,所以
。
非欧几何[编辑]
勾股定理是由欧几里得几何的公理推导出来的,其在非欧几里得几何中是不成立的[10]。因为勾股定理的成立涉及到了平行公设。[11][12]
参考文献[编辑]
外部連結[编辑]