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

\'\'\'勾股定理\'\'\'（Pythagorean theorem）描述欧氏直角三角形三条边的关系：两条直角边的平方和等于斜边的平方。它可以用来求两点间的直线距离，也可以反过来判断一个三角形是否有直角。

== 从三步向东、四步向北开始 ==
从起点向东走三米，再向北走四米，走过的路程是七米。如果拉一根绳子，把起点与终点直接连起来，绳子需要多长？这两段位移互相垂直，连同绳子构成一个直角三角形。勾股定理给出的答案是
<math display="block">c^2=3^2+4^2=9+16=25,\qquad c=5\ \mathrm m.</math>
这里 <math>c</math> 表示绳长。取正平方根，是因为长度为正。七米量的是折线路程，五米量的是起终点间的直线距离。

把三米、四米换成任意正长度 <math>a,b</math>，所求的斜边记为 <math>c</math>，结论就是
<math display="block">a^2+b^2=c^2.</math>
斜边总是直角所对的那条边。把整幅图转一个方向，这条边仍是斜边。三条边要采用同一单位，平方后的单位也相同；在三、四、五的例子中，等式比较的是九、十六、二十五平方米。

== 为什么要平方：把四个三角形拼起来 ==
长度的平方可以看成正方形的面积。为证明这个关系，把同一个直角三角形复制四份，放进一个边长为 <math>a+b</math> 的大正方形中。

[[File:Gezhi-pythagoras-dissection-theme.svg|frame|center|alt=四个全等直角三角形放在边长a加b的大正方形四角，中间留下四边长度均为c的正方形|四个三角形总面积为 2ab；中央正方形面积为 c²。图形中的边长与正文保持一致。]]

先沿图中大正方形的一条边看：它分成长度为 <math>a</math> 和 <math>b</math> 的两段。再看中央空白区域，它的四条边各是一份三角形的斜边，长度都为 <math>c</math>。要把中央面积写成 <math>c^2</math>，还需知道它的角也是直角。

把原三角形的两个锐角记为 <math>\alpha,\beta</math>。三角形内角和为 <math>180^\circ</math>，扣去直角后，<math>\alpha+\beta=90^\circ</math>。图中中央的每一个角，与旁边的 <math>\alpha,\beta</math> 合成平角，所以中央角等于
<math display="block">180^\circ-(\alpha+\beta)=90^\circ.</math>
这样，中央确实是边长为 <math>c</math> 的正方形。

现在把同一块面积算两次。整个大正方形面积是 <math>(a+b)^2</math>；四个三角形的总面积是 <math>4\times ab/2=2ab</math>，余下的中央面积是 <math>c^2</math>。因此
<math display="block">(a+b)^2=2ab+c^2.</math>
展开左边，再从两边各减去 <math>2ab</math>：
<math display="block">a^2+2ab+b^2=2ab+c^2\quad\Longrightarrow\quad a^2+b^2=c^2.</math>
三、四、五的例子只是其中一种比例。这个拼合过程没有要求边长是整数，因而对任意正实数边长都成立。

== 已知的边不同，怎样使用同一关系 ==
如果把刚才的路线按两倍放大，两条直角边变成六米和八米。每个面积变成原来的四倍，所以斜边变成十米：
<math display="block">\sqrt{6^2+8^2}=\sqrt{100}=10.</math>
一般地，所有长度同时乘以 <math>k>0</math>，等式的每一项都乘以 <math>k^2</math>，勾股关系保持不变。

换一个问题：十三米长的梯子靠在竖直墙上，梯脚离墙五米，梯顶有多高？假定墙与地面垂直，梯子是斜边。设高度为 <math>h</math>，先写出三边关系，再把已知量代入：
<math display="block">h^2+5^2=13^2,\qquad h^2=169-25=144,\qquad h=12\ \mathrm m.</math>
这里用减法，是因为所求的是一条直角边。如果误把十三和五的平方相加，就相当于把梯子当成了另一条直角边。

有时三条边已经给定，要判断的是角。例如七、二十四、二十五能组成三角形，而且
<math display="block">7^2+24^2=49+576=625=25^2.</math>
由勾股定理的'''逆命题'''，二十五所对的角是直角。

逆命题可以这样证明。对于原三角形的两条较短边 <math>a,b</math>，另作一个以它们为直角边的直角三角形，斜边长记为 <math>d</math>。正向定理给出 <math>d^2=a^2+b^2</math>。如果原三角形的第三边满足 <math>c^2=a^2+b^2</math>，便有 <math>d=c</math>。两个三角形三边分别相等，因而全等，原三角形的对应角也是直角。

判定时要先有一个三角形。边长一、二、三只能首尾排在同一直线上，不能围出面积；边长二、三、四可以围成三角形，但 <math>2^2+3^2\ne4^2</math>，所以它没有直角。

== 两个坐标怎样变成一段距离 ==
把起点记作 <math>P=(-2,1)</math>，终点记作 <math>Q=(4,9)</math>。在相互垂直且单位相同的坐标轴中，横向位移为 <math>4-(-2)=6</math>，纵向位移为 <math>9-1=8</math>。它们正是上一节的两条直角边，所以距离为十。

对于一般的两点 <math>P=(x_1,y_1)</math>、<math>Q=(x_2,y_2)</math>，同样的作法得到
<math display="block">d(P,Q)=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}.</math>
坐标差记录方向，可以为负；平方之后，只留下各方向位移对长度的贡献。交换起点和终点时两个差都变号，距离不变。

三维距离可以分两次求。例如长方体的三条相互垂直的边长为二、三、六。先在底面求对角线 <math>\sqrt{2^2+3^2}=\sqrt{13}</math>，再把它与高度六组成一个直角三角形，体对角线为
<math display="block">\sqrt{(\sqrt{13})^2+6^2}=\sqrt{49}=7.</math>
一般式 <math>\sqrt{\Delta x^2+\Delta y^2+\Delta z^2}</math>，就是这样连续应用二维定理得到的。

== 垂线为什么给出最短距离 ==
从线外一点 <math>P</math> 向直线作垂线，垂足为 <math>H</math>。在直线上另取一点 <math>Q</math>，三角形 <math>PHQ</math> 在 <math>H</math> 处为直角，因此
<math display="block">PQ^2=PH^2+HQ^2\ge PH^2.</math>
当 <math>Q\ne H</math> 时，<math>HQ^2>0</math>，斜着连接的线段严格更长。这证明点到直线的最短距离由垂线段给出。

同一论证也出现在[[最小二乘法]]中。若数据向量 <math>x</math> 的垂直投影为 <math>p</math>，允许的另一个拟合结果为 <math>q</math>，那么从 <math>x</math> 到 <math>q</math> 的偏差，可以拆成垂直余量 <math>x-p</math> 与沿允许方向的位移 <math>p-q</math>。两部分正交，所以
<math display="block">\|x-q\|^2=\|x-p\|^2+\|p-q\|^2.</math>
式中的双竖线表示向量长度。第一项固定，第二项非负；选择 <math>q=p</math> 就让误差最小。

在实内积空间中，正交用 <math>\langle u,v\rangle=0</math> 表示。展开长度平方可直接看见其作用：
<math display="block">\|u+v\|^2=\|u\|^2+2\langle u,v\rangle+\|v\|^2.</math>
正交时中间项消失。这给出了勾股关系的代数形式；反过来，在实内积空间中平方可加也说明两向量正交。复内积空间的中间项则为 <math>2\operatorname{Re}\langle u,v\rangle</math>，只有实部为零还不足以推出内积为零。

== 直角条件与整数边长 ==
若沿两个夹角为六十度的单位方向各走一单位，两段位移并不正交。合成位移的长度平方为
<math display="block">1^2+1^2+2\cos60^\circ=3.</math>
其长度是 <math>\sqrt3</math>。一般的非正交单位方向夹角为 <math>\theta</math> 时，分量 <math>u,v</math> 合成后的长度平方为 <math>u^2+v^2+2uv\cos\theta</math>。直角恰好使交叉项为零。斜坐标的分量因此不能直接当作直角边。

如果所量的是沿街区行走的路程，回到开头的例子，三米向东加四米向北仍是七米；若研究球面上沿大圆弧连接的三角形，则需使用球面几何。勾股定理在这些问题里所描述的对象与实际路径不同。

三条边均为正整数时，称为'''勾股数组'''。五、十二、十三可以由整数 <math>m=3,n=2</math> 构造出来：
<math display="block">a=m^2-n^2,\qquad b=2mn,\qquad c=m^2+n^2.</math>
对任意整数 <math>m>n>0</math>，展开都有
<math display="block">(m^2-n^2)^2+(2mn)^2=m^4+2m^2n^2+n^4=(m^2+n^2)^2.</math>
当 <math>m,n</math> 互素且一奇一偶时，得到没有共同因子的勾股数组。整数构造只覆盖具有相应有理边长比的三角形；两条直角边都为一时，斜边为 <math>\sqrt2</math>，已经需要无理数。

实际测量的长度带有误差。如果根据斜边 <math>c</math> 和直角边 <math>a</math> 求另一边，且 <math>c,a</math> 非常接近，差 <math>c^2-a^2</math> 会很小。此时输入的微小变化可能明显影响答案，报告结果应保留与测量精度相称的位数。精确的几何关系与近似的测量值是两个层次。

== 历史 ==
古巴比伦泥板保存了早于毕达哥拉斯时代的相关长度计算与整数组合。[https://mathshistory.st-andrews.ac.uk/HistTopics/Babylonian_Pythagoras/ MacTutor 的泥板研究介绍]可帮助区分这些计算材料与后来的命名。中国的“勾、股、弦”术语见于《周髀算经》及其注释传统，相关文本背景见[https://mathshistory.st-andrews.ac.uk/HistTopics/Ten_classics/ 中国古代数学十部经典介绍]。

约公元前 300 年成书的《几何原本》第一卷命题 47 给出一般命题的面积证明，命题 48 证明逆命题。本文的四三角形拼图是另一种常见证明；它利用全等、三角形内角和与面积可加性说明同一个关系。

== 从直角推广到任意三角形 ==
[[余弦定理]]把两边的夹角也计入边长关系：当夹角为直角时，余弦项为零，恰好回到勾股定理；锐角与钝角则给出不同的修正。知道三边之后，[[海伦公式]]可以不先测高就求面积。两篇使用同一个边长为 13、14、15 的三角形，把辅助线、角度和面积的计算串起来。

== 参考资料与知识联系 ==
* Euclid，《Elements》，第一卷命题 47、48；[https://mathcs.clarku.edu/~djoyce/elements/bookI/propI47.html David E. Joyce 编注，命题 47]、[https://mathcs.clarku.edu/~djoyce/elements/bookI/propI48.html 命题 48]。可参阅定理在古典体系中的陈述与证明位置。
* J. J. O'Connor、E. F. Robertson，[https://mathshistory.st-andrews.ac.uk/HistTopics/Babylonian_Pythagoras/ Babylonian Pythagoras]，MacTutor，University of St Andrews。用于区分古巴比伦材料与后世命名。
* [https://mathshistory.st-andrews.ac.uk/HistTopics/Ten_classics/ MacTutor：Ten mathematical classics]：讨论《周髀算经》与勾股传统的文献背景。
* 前置概念：[[欧氏几何]]、[[函数]]；继续阅读：[[向量空间]]、[[最小二乘法]]、[[圆锥曲线]]、[[整数整除]]。
[[分类:几何]]