查看“︁勾股定理”︁的源代码

{{NoteTA
|G1 = Math
}}
[[File:Pythagorean.svg|thumb|[[直角邊]]的平方和等於[[斜邊]]的平方]]
{{General geometry}}

'''-{zh:勾股定理;zh-hant:勾股定理;zh-hans:勾股定理;zh-cn:勾股定理;zh-sg:毕氏定理;zh-hk:畢氏定理;zh-mo:畢氏定理;zh-tw:畢氏定理}-'''（{{lang-en|Pythagorean theorem}} / {{lang|en|Pythagoras' theorem}}）是[[平面几何]]中一个基本而重要的[[定理]]。勾股定理说明，[[平面 (数学)|平面]]上的[[直角三角形]]的两条直角边的长度（较短直角边古称勾长、较长直角边古称股长）的[[平方]]和等于斜边长（古称弦长）的平方。反之，若平面上三角形中两边长的平方和等于第三边边长的平方，则它是直角三角形（直角所对的边是第三边）。勾股定理是人类早期发现并证明的重要数学定理之一。

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

早在有明文描述此定理前，[[古埃及]]在[[公元前]]1600年的[[纸莎草]]記載有<math>(3,4,5)</math>这一组[[勾股数]]，而[[古巴比伦]]泥板紀錄的最大的一个勾股数组是<math>(12709,13500,18541)</math>。由於古代沒有如此高的精確測量工具，因此一般相信得到如此巨大的勾股數必須知道畢氏定理。

現在畢氏定理可考的嚴謹數學證明，起源於略晚於畢德格拉斯的[[歐幾里得]][[幾何原本]]中，卷一命題47。但奇怪的是，這個定理從未被叫做「歐幾里得定理」。

《[[周髀算經]]》中，用[[商高]]與[[周公]]對談的方式，提出<math>(3,4,5)</math>這組勾股數为例，解释了勾股定理要素<ref>{{cite|title=周髀算經|publisher=文物出版社|date=1980-03|quote=其一，“以为勾的广三，股修四，径隅五”。其二，“既方其外，半之一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。”}}</ref>，论证「弦长平方必定是两直角边的平方和」，确立了直角三角形两条直角边的平方和等于斜边平方的判定原则，周髀算經沒有給出證明<ref>{{Cite web|author = 曲安京|url = http://w3.math.sinica.edu.tw/math_media/d203/20304.pdf|title = 商高、趙爽與劉徽關於勾股定理的證明|access-date = 2020-11-08|archive-date = 2021-01-08|archive-url = https://web.archive.org/web/20210108190938/https://w3.math.sinica.edu.tw/math_media/d203/20304.pdf|dead-url = no}}</ref>。且周髀算經成書年份不明，可能是公元前一千多年（比畢達哥拉斯早五百年），但也可能是西漢年代（比畢達格拉斯晚500年）。另外，除了周髀算經以外再無其他典籍紀載商高，無法得知是否真有商高其人，或者周髀算經作者虛構人物。

有些參考資料提到法国和比利時將勾股定理称为[[驴桥定理]]，但驴桥定理是指[[等腰三角形]]的二底角相等，非勾股定理<ref>{{Cite web|author=蔡聰明|url=http://www.bamboosilk.org/Wssf/2002/wangjiaxiang01.htm|title=從畢氏學派到歐氏幾何的誕生|deadurl=yes|archiveurl=https://web.archive.org/web/20131110075429/http://www.bamboosilk.org/Wssf/2002/wangjiaxiang01.htm|archivedate=2013-11-10|accessdate=2013-08-21}}</ref>。

勾股定理有四百多個證明，如微分證明，面積證明等。

== 定理 ==
在平面上的一個直角三角形中，两个直角边边长的平方加起来等于斜邊长的平方。如果设直角三角形的两条直角边长度分别是<math>a</math>和<math>b</math>，斜边长度是<math>c</math>，那么可以用数学语言表达：
::<math>a^2+b^2=c^2</math><br />
或
::<math>\sqrt {a^2+b^2}=c</math><br />

[[餘弦定理]]是勾股定理的一個推广<ref>{{cite book
 |title = 中学数学敎学
 |year = 1984
 |publisher = 中国人民大学书报資料社
 |page = 49
 |url = http://books.google.com.tw/books?id=6bcrAAAAMAAJ&q=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E9%A4%98%E5%BC%A6%E5%AE%9A%E7%90%86%E4%B8%AD%E7%9A%84%E4%B8%80%E5%80%8B%E7%89%B9%E4%BE%8B&dq=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E9%A4%98%E5%BC%A6%E5%AE%9A%E7%90%86%E4%B8%AD%E7%9A%84%E4%B8%80%E5%80%8B%E7%89%B9%E4%BE%8B&hl=en&sa=X&ei=dAYUUvnELsKkkAXezYDACQ&redir_esc=y
 |access-date = 2013-08-21
 |archive-date = 2021-01-08
 |archive-url = https://web.archive.org/web/20210108190917/https://books.google.com.tw/books?id=6bcrAAAAMAAJ&q=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E9%A4%98%E5%BC%A6%E5%AE%9A%E7%90%86%E4%B8%AD%E7%9A%84%E4%B8%80%E5%80%8B%E7%89%B9%E4%BE%8B&dq=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E9%A4%98%E5%BC%A6%E5%AE%9A%E7%90%86%E4%B8%AD%E7%9A%84%E4%B8%80%E5%80%8B%E7%89%B9%E4%BE%8B&hl=en&sa=X&ei=dAYUUvnELsKkkAXezYDACQ&redir_esc=y
 |dead-url = no
 }}</ref>。勾股定理現約有400種[[数学证明|证明]]方法，是[[數學定理]]中證明方法最多的定理之一<ref>{{cite book
 |author= 李信明
 |title= 中國數學五千年
 |year= 1998
 |publisher= 台灣書店
 |location= 台北
 |ISBN= 9575671511
 |page= 106
 |url= http://books.google.com.tw/books?id=TZmAAAAAIAAJ&q=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E6%95%B8%E5%AD%B8%E5%AE%9A%E7%90%86%E4%B8%AD%E8%AD%89%E6%98%8E%E6%96%B9%E6%B3%95%E6%9C%80%E5%A4%9A%E7%9A%84%E5%AE%9A%E7%90%86%E4%B9%8B%E4%B8%80&dq=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E6%95%B8%E5%AD%B8%E5%AE%9A%E7%90%86%E4%B8%AD%E8%AD%89%E6%98%8E%E6%96%B9%E6%B3%95%E6%9C%80%E5%A4%9A%E7%9A%84%E5%AE%9A%E7%90%86%E4%B9%8B%E4%B8%80&hl=en&sa=X&ei=fwAUUtW2J8O2kgXZm4DYAQ&redir_esc=y
 |access-date= 2013-08-20
 |archive-date= 2021-01-08
 |archive-url= https://web.archive.org/web/20210108190922/https://books.google.com.tw/books?id=TZmAAAAAIAAJ&q=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E6%95%B8%E5%AD%B8%E5%AE%9A%E7%90%86%E4%B8%AD%E8%AD%89%E6%98%8E%E6%96%B9%E6%B3%95%E6%9C%80%E5%A4%9A%E7%9A%84%E5%AE%9A%E7%90%86%E4%B9%8B%E4%B8%80&dq=%E5%8B%BE%E8%82%A1%E5%AE%9A%E7%90%86%E6%98%AF%E6%95%B8%E5%AD%B8%E5%AE%9A%E7%90%86%E4%B8%AD%E8%AD%89%E6%98%8E%E6%96%B9%E6%B3%95%E6%9C%80%E5%A4%9A%E7%9A%84%E5%AE%9A%E7%90%86%E4%B9%8B%E4%B8%80&hl=en&sa=X&ei=fwAUUtW2J8O2kgXZm4DYAQ&redir_esc=y
 |dead-url= no
 }}</ref>。

== 其他形式 ==
如果<math>c</math>是斜邊的[[長度]]而<math>a</math>和<math>b</math>是另外兩條邊的長度，勾股定理可以寫成：

<math>a^2 + b^2 = c^2\, </math>

如果<math>a</math>和<math>b</math>知道，<math>c</math>可以這樣寫：

<math> c = \sqrt{a^2 + b^2}. \,</math>

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

: <math>a = \sqrt{c^2 - b^2}. \,</math>

或

: <math>b = \sqrt{c^2 - a^2}. \,</math>

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

== 勾股数组 ==
{{Main|勾股数}}

'''勾股数组'''是滿足勾股定理<math>a^2 + b^2 = c^2</math>的[[正整數]]組<math>(a,b,c)</math>，其中的<math>a,b,c</math>称为'''勾股数'''。例如<math>(3,4,5)</math>就是一組勾股数組。

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

== 歷史 ==
[[File:Plimpton 322.jpg|thumb|公元前18世纪记录各种勾股数组的巴比伦石板]]

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

===勾股数===
勾股数的發現時間较早，例如埃及的纸草书里面就有<math>(3,4,5)</math>这一组勾股数，而巴比伦泥板涉及的最大的一个勾股数组是<math>(13500,12709,18541)</math>。后来的中国的算經、印度与阿拉伯的数学书也有记载<ref>《数学辞海》第六卷，山西敎育出版社, 2002年出版，第618页。</ref>。在中国，《[[周髀算经]]》中也记述了<math>(3,4,5)</math>这一组勾股数<ref>{{cite book|title=周髀算经|quote=商高答周公问曰：“勾广三，股备四，径隅五”}}</ref>；[[金朝]]数学家[[李冶 (数学家)|李冶]]在《[[测圆海镜]]》中，通过[[勾股容圆]]图式的十五个勾股形和直径的关系，建立了系統的[[天元术]]，推导出692条关于勾股形的各边的公式，其中用到了多组勾股数作为例子。

===普遍定理的发现===
巴比伦人得到的勾股数的数量和质量不太可能纯从测量手段获得。之后的[[毕达哥拉斯]]本人并无著作传世，不过在他死后一千年，5世纪的[[普罗克勒斯]]给[[欧几里德]]的名著《[[几何原本]]》做注解时将最早的发现和证明归功于[[毕达哥拉斯学派]]：
{{Cquote|如果我们听听那些喜欢说古代历史的人，他们把这个定理归于毕达哥拉斯，并且说他杀了一百头公牛来庆祝。对我来说，虽然我欣赏那个第一个观察到这个定理的人，我更叹服《原本》的作者。不光是因为他给出了清晰明确的证明，而且还因为他用无可置疑的方法在第六篇中证明了一个更一般的命题。}}

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

在中国，记载秦朝的[[算数书]]并未记载勾股定理，只是记录了一些勾股数。定理首次载于书面则是在成书于西汉但内容收集整理自公元前一千多年以来的《[[周髀算经]]》“荣方问于陈子”一节中：
{{cquote|若求邪至日者，以日下为勾，日高为股，勾股各自乘，并而開方除之，得邪至日。|《[[周髀算经]]》卷上之二}}

因此此定理也被称之为陈子定理。

东汉末年[[赵爽]]《[[周髀算经]]注》《勾股圆方图注》记载：
{{cquote|勾股各自乘，并之，为弦实，开方除之，即弦。}}

[[File:Xtcn.jpg|缩略图|[[赵爽]]《勾股圆方图》]]

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

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

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

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

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

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

[[File:Phzscn.gif|缩略图|趙爽 勾股圆方图证明勾股定理法动画]]

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

[[File:Qzzrtcn.gif|缩略图|刘徽 青朱出入图]]

=== 利用相似三角形的證法 ===
[[File:Pythagoras similar triangles simplified.svg|thumb|相似三角形的證明]]

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

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

因為
:<math> \overline{BC}=a, \overline{AC}=b, \text{ and } \overline{AB}=c, \!</math>

所以
:<math> \frac{a}{c}=\frac{\overline{HB}}{a} \text{ and } \frac{b}{c}=\frac{\overline{AH}}{b}.\,</math>

可以寫成
:<math>a^2=c\times \overline{HB} \text{ and }b^2=c\times \overline{AH}.\,</math>

綜合這兩個方程式，我們得到
:<math>a^2+b^2=c\times \overline{HB}+c\times \overline{AH}=c\times(\overline{HB}+\overline{AH})=c^2.\,\!</math>

換句話說:
:<math>a^2+b^2=c^2.\,\!</math>

=== 歐幾里得的證法 ===
[[File:Illustration to Euclid's proof of the Pythagorean theorem.svg|thumb|《幾何原本》中的證明]]
在[[歐幾里得]]的《[[幾何原本]]》一書中给出勾股定理的以下証明。設<math>\bigtriangleup ABC</math>為一直角三角形，其中''A''為直角。從''<math>A</math>''點劃一直線至對邊，使其垂直於對邊。延长此線把對邊上的正方形一分為二，其面積分別與其餘兩個正方形相等。

在定理的證明中，我們需要如下四個輔助定理：
* 如果兩個三角形有兩組對應邊和這兩組邊所夾的角相等，則兩三角形全等。（SAS定理）
* 三角形面積是任一同底同高之平行四邊形面積的一半。
* 任意一個正方形的面積等於其二邊長的乘積。
* 任意一個矩形的面積等於其二邊長的乘積（據輔助定理3）。
證明的思路為：把上方的兩個正方形，透過等高同底的三角形，以其面積關係，轉換成下方兩個同等面積的長方形。
[[File:Illustration to Euclid's proof of the Pythagorean theorem2.svg|thumb|证明辅助图2]]
其證明如下：
# 設<math>\triangle ABC</math>為一直角三角形，其直角為<math>\angle CAB</math>。
# 其邊為<math>\overline{BC}</math>、<math>\overline{AB}</math>、和<math>\overline{CA}</math>，依序繪成四方形<math>CBDE</math>、<math>BAGF</math>和<math>ACIH</math>。
# 畫出過點<math>A</math>之<math>\overline{BD}</math>、<math>\overline{CE}</math>的平行線。此線將分別與<math>\overline{BC}</math>和<math>\overline{DE}</math>直角相交於<math>K</math>、<math>L</math>。
# 分別連接<math>\overline{CF}</math>、<math>\overline{AD}</math>，形成兩個三角形<math>BCF</math>、<math>BDA</math>。
# <math>\angle CAB</math>和<math>\angle BAG</math>都是直角，因此<math>C</math>、<math>A</math>和<math>G</math>都是共线的，同理可证<math>B</math>、<math>A</math>和<math>H</math>共线。
# <math>\angle CBD</math>和<math>\angle FBA</math>皆為直角，所以<math>\angle ABD</math>相等於<math>\angle FBC</math>。
# 因為<math>\overline{AB}</math>和<math>\overline{BD}</math>分別等於<math>\overline{FB}</math>和<math>\overline{BC}</math>，所以<math>\triangle ABD</math>必須全等於<math>\triangle FBC</math>。
# 因為<math>A</math>與<math>K</math>和<math>L</math>在同一直线上，所以四方形<math>BDLK</math>必須二倍面積於<math>\triangle ABD</math>。
# 因為<math>C</math>、<math>A</math>和<math>G</math>在同一直线上，所以正方形<math>BAGF</math>必須二倍面積於<math>\triangle FBC</math>。
# 因此四邊形<math>BDLK</math>必須和<math>BAGF</math>有相同的面積=<math>\overline{AB}^2</math>。
# 同理可證，四邊形<math>CKLE</math>必須有相同的面積<math>ACIH=\overline{AC}^2</math>。
# 把這兩個結果相加，<math>\overline{AB}^2 +\overline{AC}^2 = \overline{BD}\times \overline{BK}+\overline{KL}\times \overline{KC}</math>
# 由於<math>\overline{BD}=\overline{KL}</math>，<math>\overline{BD}\times \overline{BK}+\overline{KL}\times \overline{KC} = \overline{BD}\left( \overline{BK} + \overline{KC} \right) =\overline{BD}\times \overline{BC}</math>
# 由於<math>CBDE</math>是個正方形，因此<math>\overline{AB}^2 + \overline{AC}^2 = \overline{BC}^2</math>。
此證明是於[[歐幾里得]]《[[幾何原本]]》一書第1.47節所提出的<ref>[http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus:text:1999.01.0085:book=1:proposition=47 《幾何原本》第1.47節] {{Wayback|url=http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus:text:1999.01.0085:book=1:proposition=47 |date=20080411165747 }}{{en}}，歐幾里德著，2006年12月19日存取</ref>

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

=== 圖形重新排列證法 ===
[[File:Pythagorean proof.svg|thumb|以面積減算法證明]]
此證明以圖形重新排列證明。兩個大正方形的面積皆為<math>(a+b)^2</math>。把四個相等的三角形移除後，左方餘下面積為<math>a^2+b^2</math>，右方餘下面積為<math>c^2</math>，兩者相等。證畢。

[[File:Pythagoras-2a.gif|thumb|以重新排列法證明]]


[[File:Pythag anim.gif|right |thumb|以動畫方式來論證畢氏定理]]

== 勾股定理的逆定理 ==
勾股定理的逆定理是判斷三角形為鈍角、銳角或直角的一個簡單的方法，其中<math>\overline{AB}=c</math>為最長邊:
* 如果<math>a^2 + b^2 = c^2 \,</math>，則<math>\triangle ABC</math>是直角三角形。其中<math>\angle C</math>是直角。
* 如果<math>a^2 + b^2 > c^2 \,</math>，則<math>\triangle ABC</math>是銳角三角形（若無先前條件<math>\overline{AB}=c</math>為最長邊，則該式的成立僅滿足<math>\angle C</math>是銳角）。
* 如果<math>a^2 + b^2 < c^2 \,</math>, 則<math>\triangle ABC</math>是鈍角三角形。其中<math>\angle C</math>是鈍角。
（這個逆定理其實只是[[餘弦定理]]的一個延伸）

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

=== 同一法 ===
構造<math>\triangle A'B'C'</math>，使<math>a'=a, b'=b, \angle C' = 90^\circ</math>。

根據勾股定理，<math>c' = \sqrt{a'^2 + b'^2} = \sqrt{a^2 + b^2} = c</math>，從而<math>\triangle A'B'C' \cong \triangle ABC(SSS)</math>。

因此，<math>\angle C = 90^\circ</math>。

=== 餘弦定理 ===
根據餘弦定理，<math>\cos C = \frac {a^2+b^2-c^2}{2ab}</math>。由於<math>a^2 + b^2 = c^2 \,</math>，故<math>\cos C = 0 \,</math>，從而<math>\angle C = 90^\circ</math>。

=== 相似三角形 ===
在<math>\overline{AB}</math>边上截取点<math>D</math>使<math>\angle DCB = \angle A</math>。

在<math>\triangle CDB \,</math>与<math>\triangle ACB\, </math>中，
{|
|<math>\angle B=\angle B, \angle DCB=\angle A \Rightarrow \triangle CDB \sim \triangle ACB</math>
|}。

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

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

因而，<math>\angle BDC = \angle CDA = 90^\circ</math>，所以<math>\angle ACB = \angle CDB = 90^\circ</math>。

===非欧几何===
{{Main|非欧几里得几何}}

勾股定理是由[[欧几里得几何]]的公理推导出来的，其在非欧几里得几何中不成立的<ref name=false>{{cite book |title=''cited work'' |author=Stephen W. Hawking |page=4 |url=http://books.google.com/books?id=3zdFSOS3f4AC&pg=PA4 |ISBN=0-7624-1922-9 |year=2005 |access-date=2013-10-11 |archive-date=2020-09-02 |archive-url=https://web.archive.org/web/20200902212935/https://books.google.com/books?id=3zdFSOS3f4AC&pg=PA4 |dead-url=no }}</ref>，因勾股定理之成立涉[[平行公设]]。<ref name=Parallel>{{cite book |title=CRC concise encyclopedia of mathematics |author=Eric W. Weisstein |url=http://books.google.com/books?id=aFDWuZZslUUC&pg=PA2147 |page=2147 |quote=The parallel postulate is equivalent to the ''Equidistance postulate'', ''Playfair axiom'', ''Proclus axiom'', the ''Triangle postulate'' and the ''Pythagorean theorem''. |edition=2nd |isbn=1-58488-347-2 |year=2003 |access-date=2013-10-11 |archive-date=2020-08-18 |archive-url=https://web.archive.org/web/20200818215417/https://books.google.com/books?id=aFDWuZZslUUC&pg=PA2147 |dead-url=no }}</ref><ref name= Pruss>{{cite book |title=The principle of sufficient reason: a reassessment |author=Alexander R. Pruss |quote=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. |ISBN=0-521-85959-X |year=2006 |publisher=Cambridge University Press |page=11 |url=http://books.google.com/books?id=8qAxk1rXIjQC&pg=PA11 |access-date=2013-10-11 |archive-date=2020-09-25 |archive-url=https://web.archive.org/web/20200925035209/https://books.google.com/books?id=8qAxk1rXIjQC&pg=PA11 |dead-url=no }}</ref>

== 参考文献 ==
{{Reflist|2}}

== 外部連結 ==
* [http://mathworld.wolfram.com/PythagoreanTheorem.html 勾股定理（MathWorld）] {{Wayback|url=http://mathworld.wolfram.com/PythagoreanTheorem.html |date=20210108190940 }}{{en}}

== 參見 ==
{{Portal box|数学|中国数学史}}
* [[直角三角形]]
* [[勾股数]]
* [[余弦定理]]
* [[激光测距仪]]
* [[青朱出入图]]
* 《[[史记]]·夏本纪》记载[[大禹治水]]：“陆行乘车，水行乘船，泥行乘橇，山行乘檋。左[[准绳]]，右[[圆规|规]][[尺子|矩]]，载四时，以开九州，通九道，陂九泽，度九山。”其中的规和矩就是运用勾股定理的实用工具之一。

{{-}}
{{三角函數}}
{{中国数学史}}

[[Category:勾股定理| ]]
[[Category:面积]]
[[Category:角]]
[[Category:包含证明的条目]]
[[Category:方程]]
[[Category:毕达哥拉斯|Theorem]]
[[Category:三角学]]
[[Category:三角形几何]]
[[Category:中国数学史]]
[[Category:平面几何定理]]