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

{{NoteTA
|G1 = Math
}}
[[File:Pythagorean.svg|thumb|[[直角邊]]的平方和等於[[斜邊]]的平方]]
{{General geometry}}
[[File:圆城图式.jpg|thumb|300px|《[[测圆海镜]]》中十五个勾股形]]
'''勾股定理'''，又稱'''畢達哥拉斯定理'''（{{lang|en|Pythagoras theorem}}）、'''商高定理'''、'''新娘座椅定理'''、'''百牛定理'''，是[[平面几何]]中一个基本而重要的[[定理]]。勾股定理说明，[[平面 (数学)|平面]]上的[[直角三角形]]的两条直角边的长度（古称勾长、股长）的[[平方]]和等于斜边长（古称弦长）的平方。反之，若平面上三角形中两边长的平方和等于第三边边长的平方，则它是直角三角形（直角所对的边是第三边）。

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

据《[[周髀算經]]》中记述，公元前一千多年[[周公]]与[[商高]]论数的对话中，商高就以三四五3个特定数为例详细解释了勾股定理要素，其一，“以为勾的广三，股修四，径隅五”。其二，“既方其外，半之一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。”首先肯定一个底宽为三，高为四的直角三角形，弦长必定是五。最重要的是紧接着论证了'''弦长平方必定是两直角边的平方和'''，确立了直角三角形两条直角边的平方和等于斜边平方的判定原则。其判定方法后世不明其法而被忽略。<ref>{{Cite web
 |author = 曲安京
 |url = http:w3.math.sinica.edu.tw/math_media/d203/20304.pdf
 |title = 商高、趙爽與劉徽關於勾股定理的證明}}</ref>

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

[[赵爽]]在《[[周髀算經]]注》中将勾股定理表述为“勾股各自乘，并之，为弦实。开方除之，即弦”。《九章算术》中，赵爽描述此图：“勾股各自乘，并之为玄实。开方除之，即玄。案玄图有可以勾股相乘为朱实二，倍之为朱实四。以勾股之差自相乘为中黄实。加差实亦成玄实。以差实减玄实，半其余。以差为从法，开方除之，复得勾矣。加差于勾即股。凡并勾股之实，即成玄实。或矩于内，或方于外。形诡而量均，体殊而数齐。勾实之矩以股玄差为广，股玄并为袤。而股实方其里。减矩勾之实于玄实，开其余即股。倍股在两边为从法，开矩勾之角即股玄差。加股为玄。以差除勾实得股玄并。以并除勾实亦得股玄差。令并自乘与勾实为实。倍并为法。所得亦玄。勾实减并自乘，如法为股。股实之矩以勾玄差为广，勾玄并为袤。而勾实方其里，减矩股之实于玄实，开其余即勾。倍勾在两边为从法，开矩股之角，即勾玄差。加勾为玄。以差除股实得勾玄并。以并除股实亦得勾玄差。令并自乘与股实为实。倍并为法。所得亦玄。股实减并自乘如法为勾，两差相乘倍而开之，所得以股玄差增之为勾。以勾玄差增之为股。两差增之为玄。倍玄实列勾股差实，见并实者，以图考之，倍玄实满外大方而多黄实。黄实之多，即勾股差实。以差实减之，开其余，得外大方。大方之面，即勾股并也。令并自乘，倍玄实乃减之，开其余，得中黄方。黄方之面，即勾股差。以差减并而半之为勾。加差于并而半之为股。其倍玄为广袤合。令勾股见者自乘为其实。四实以减之，开其余，所得为差。以差减合半其余为广。减广于玄即所求也。”

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

有些參考資料提到法国和比利時將勾股定理称为[[驴桥定理]]，但驴桥定理就是等邊對等角，是指[[等腰三角形]]的二底角相等，非勾股定理<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}}</ref>。
畢氏定理有四百多個證明，如微分證明，面積證明等。

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

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

<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世纪记录各种勾股数组的巴比伦石板]]

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

===勾股数===
勾股数出现得较早，例如埃及的纸草书里面就有（3,4,5）这一组勾股数，而巴比伦泥板涉及的最大的一个勾股数组是（13500，12709，18541）。后来的中国的算經、印度与阿拉伯的数学书也有记载<ref>《数学辞海》第六卷，山西敎育出版社, 2002年出版，第618页。</ref>。在中国，《周髀算经》中也记述了（3,4,5）这一组勾股数，商高答周公问曰：“勾广三，股备四，径隅五”；[[三国]]时代的[[赵爽]]对《周髀算經》内的勾股定理作出了详细注释：“勾股个自乘，并之，为弦实，开方除之，即弦”。《[[九章算术]]》卷第九《句股》章详细讨论了勾股定理的运用，[[魏国]]数学家[[刘徽]]反复运用勾股定理[[刘徽割圆术|求圆周率]]。

[[金朝]]数学家[[李冶 (数学家)|李冶]]的《[[测圆海镜]]》通过[[勾股容圆]]图式的十五个勾股形和直径的关系，建立了系統的[[天元术]]，推导出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>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> BC=a, AC=b, \mbox{ and } AB=c, \!</math>

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

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

綜合這兩個方程式，我們得到
:<math>a^2+b^2=c\times HB+c\times AH=c\times(HB+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>BC</math>、<math>AB</math>、和<math>CA</math>，依序繪成四方形<math>CBDE</math>、<math>BAGF</math>和<math>ACIH</math>。
# 畫出過點<math>A</math>之<math>BD</math>、<math>CE</math>的平行線。此線將分別與<math>BC</math>和<math>DE</math>直角相交於<math>K</math>、<math>L</math>。
# 分別連接<math>CF</math>、<math>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>AB</math>和<math>BD</math>分別等於<math>FB</math>和<math>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>AB^2</math>。
# 同理可證，四邊形<math>CKLE</math>必須有相同的面積<math>ACIH=AC^2</math>。
# 把這兩個結果相加，<math>AB^2 +AC^2 = BD\times BK+KL\times KC</math>
# 由於<math>BD=KL</math>，<math>BD\times BK+KL\times KC = BD\left( BK + KC \right) =BD\times BC</math>
# 由於<math>CBDE</math>是個正方形，因此<math>(AB)^2 + (AC)^2 = (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節]{{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>AB=c</math>'''為最長邊''':
* 如果<math>a^2 + b^2 = c^2 \,</math>，則<math>\triangle ABC</math>是直角三角形。
* 如果<math>a^2 + b^2 > c^2 \,</math>，則<math>\triangle ABC</math>是銳角三角形（若無先前條件<math>AB=c</math>為最長邊，則該式的成立僅滿足<math>\angle C</math>是銳角）。
* 如果<math>a^2 + b^2 < c^2 \,</math>，則<math>\triangle ABC</math>是鈍角三角形。
（這個逆定理其實只是[[餘弦定理]]的一個延伸）

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

=== 同一法 ===
構造<math>\triangle A'B'C'</math>，使<math>a'=a, b'=b, \angle C' = 90^\operatorname{\omicron}</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^\operatorname{\omicron}</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^\operatorname{\omicron}</math>。

=== 相似三角形 ===
在<math>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 {BC}{BA} = \frac {BD}{BC} \Rightarrow BD= \frac {a^2}c</math>，以及<math>\frac {CD}{AC} = \frac {CB}{AB} \Rightarrow CD= \frac {ab}c</math>。

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

因而，<math>\angle BDC = \angle CDA = 90^\operatorname{\omicron}</math>，所以<math>\angle ACB = \angle CDB = 90^\operatorname{\omicron}</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}}</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}}</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}}</ref>

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

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

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

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

[[Category:三角学]]
[[Category:几何定理]]
[[Category:中国数学史]]
[[Category:角]]
[[Category:三角形几何]]