勾股定理：修订间差异

2026年9月20日 (日) 10:06的最新版本

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

从三步向东、四步向北开始

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

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

为什么要平方：把四个三角形拼起来

长度的平方可以看成正方形的面积。为证明这个关系，把同一个直角三角形复制四份，放进一个边长为 $a + b$ 的大正方形中。

四个全等直角三角形放在边长a加b的大正方形四角，中间留下四边长度均为c的正方形 — 四个三角形总面积为 2ab；中央正方形面积为 c²。图形中的边长与正文保持一致。

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

把原三角形的两个锐角记为 $α, β$ 。三角形内角和为 $18 0^{\circ}$ ，扣去直角后， $α + β = 9 0^{\circ}$ 。图中中央的每一个角，与旁边的 $α, β$ 合成平角，所以中央角等于 $18 0^{\circ} - (α + β) = 9 0^{\circ} .$ 这样，中央确实是边长为 $c$ 的正方形。

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

已知的边不同，怎样使用同一关系

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

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

有时三条边已经给定，要判断的是角。例如七、二十四、二十五能组成三角形，而且 $7^{2} + 2 4^{2} = 49 + 576 = 625 = 2 5^{2} .$ 由勾股定理的逆命题，二十五所对的角是直角。

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

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

两个坐标怎样变成一段距离

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

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

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

垂线为什么给出最短距离

从线外一点 $P$ 向直线作垂线，垂足为 $H$ 。在直线上另取一点 $Q$ ，三角形 $P H Q$ 在 $H$ 处为直角，因此 $P Q^{2} = P H^{2} + H Q^{2} \geq P H^{2} .$ 当 $Q \neq H$ 时， $H Q^{2} > 0$ ，斜着连接的线段严格更长。这证明点到直线的最短距离由垂线段给出。

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

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

直角条件与整数边长

若沿两个夹角为六十度的单位方向各走一单位，两段位移并不正交。合成位移的长度平方为 $1^{2} + 1^{2} + 2 \cos 6 0^{\circ} = 3.$ 其长度是 $\sqrt{3}$ 。一般的非正交单位方向夹角为 $θ$ 时，分量 $u, v$ 合成后的长度平方为 $u^{2} + v^{2} + 2 u v \cos θ$ 。直角恰好使交叉项为零。斜坐标的分量因此不能直接当作直角边。

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

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

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

历史

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

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

从直角推广到任意三角形

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

参考资料与知识联系

Euclid，《Elements》，第一卷命题 47、48；David E. Joyce 编注，命题 47、命题 48。可参阅定理在古典体系中的陈述与证明位置。
J. J. O'Connor、E. F. Robertson，Babylonian Pythagoras，MacTutor，University of St Andrews。用于区分古巴比伦材料与后世命名。
MacTutor：Ten mathematical classics：讨论《周髀算经》与勾股传统的文献背景。
前置概念：欧氏几何、函数；继续阅读：向量空间、最小二乘法、圆锥曲线、整数整除。

@@ 第1行： / 第1行： @@
-'''勾股定理'''（Pythagorean theorem）是[[欧氏几何]]中关于直角三角形边长的定理：如果两条直角边的长度为 <math>a,b</math>，斜边的长度为 <math>c</math>，那么 <math>a^2+b^2=c^2</math>。它既是一个面积关系，也是坐标距离公式和正交分解的基础。逆命题同样成立：一个三角形若满足这一边长关系，那么最长边所对的角是直角。
+\'\'\'勾股定理\'\'\'（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> 的大正方形中。
-把图形整体放大为原来的 <math>k>0</math> 倍，三个面积都乘以 <math>k^2</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>a,b</math>，斜边为 <math>c</math>，两个锐角分别记为 <math>\alpha,\beta</math>。欧氏三角形的内角和给出 <math>\alpha+\beta=90^\circ</math>。把四个全等副本放在边长为 <math>a+b</math> 的正方形四角，使各斜边围住中央区域。
-[[File:Gezhi-pythagoras-dissection.svg|frame|center|alt=四个全等直角三角形放在边长a加b的大正方形四角，中间留下四边长度均为c的正方形|四个三角形总面积为 2ab；中央正方形面积为 c²。图形中的边长与正文保持一致。]]
+把原三角形的两个锐角记为 <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>c</math>。更关键的是，每个中央内角与相邻的 <math>\alpha,\beta</math> 合成一个平角，因此它等于 <math>180^\circ-\alpha-\beta=90^\circ</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">(a+b)^2=4\left(\frac{ab}{2}\right)+c^2.</math>
+如果把刚才的路线按两倍放大，两条直角边变成六米和八米。每个面积变成原来的四倍，所以斜边变成十米：
-展开左边，得到 <math>a^2+2ab+b^2=2ab+c^2</math>；两边减去相同的面积项 <math>2ab</math>，便有
+<math display="block">\sqrt{6^2+8^2}=\sqrt{100}=10.</math>
-<math display="block">a^2+b^2=c^2.</math>
+一般地，所有长度同时乘以 <math>k>0</math>，等式的每一项都乘以 <math>k^2</math>，勾股关系保持不变。
-证明没有要求边长是整数，也没有要求两条直角边不相等。图中所画的比例仅为展示，结论涵盖所有非退化欧氏直角三角形。
-这个证明使用了全等、三角形内角和和面积的基本性质。若某套教材先用勾股定理建立面积公式，再反过来用该面积公式证明勾股定理，就会出现循环论证。严谨性不仅取决于每一步算式是否正确，还取决于用到的事实在逻辑上是否已经独立建立。欧几里得《几何原本》第一卷命题 47 给出另一条以面积相等为核心的证明路线，紧接着的命题 48 讨论逆命题。[https://mathcs.clarku.edu/~djoyce/elements/bookI/propI47.html 原典与编注]
+换一个问题：十三米长的梯子靠在竖直墙上，梯脚离墙五米，梯顶有多高？假定墙与地面垂直，梯子是斜边。设高度为 <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 display="block">c=\sqrt{8^2+6^2}=\sqrt{100}=10\ \mathrm{cm}.</math>
-选择正平方根是因为长度为正；方程 <math>c^2=100</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>h</math> 满足
-<math display="block">h^2+5^2=13^2,\qquad h=\sqrt{169-25}=12\ \mathrm m.</math>
-减法来自把已知直角边的平方移项；把十三和五的平方相加会把十三错误地当成另一条直角边。现实梯子是否安全还涉及摩擦、支撑和倾角等条件，这个算例只求理想几何模型中的高度。
-=== 只知道三条边 ===
+判定时要先有一个三角形。边长一、二、三只能首尾排在同一直线上，不能围出面积；边长二、三、四可以围成三角形，但 <math>2^2+3^2\ne4^2</math>，所以它没有直角。
-给定边长七、二十四、二十五，先检查它们能组成三角形，再把最长边二十五作为候选斜边。因为 <math>7+24>25</math> 且
-<math display="block">7^2+24^2=49+576=625=25^2,</math>
-逆命题说明二十五所对的角为直角。与此相对，边长二、三、四虽然能组成三角形，却满足 <math>2^2+3^2=13<16</math>，因此不是直角三角形。若给出一、二、三，三角形不等式已经失败，不能把这个退化线段配置拿来讨论通常的三角形内角。
-逆命题的证明不需要先用余弦定理。另作直角边为 <math>a,b</math> 的直角三角形，设其斜边为 <math>d</math>。已经证明的正向定理给出 <math>d^2=a^2+b^2=c^2</math>，所以 <math>d=c</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>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>P=(-2,1)</math>、<math>Q=(4,9)</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 display="block">d=\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>\sqrt{4+9+36}=7</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>p,q</math> 两段，且 <math>p+q=c</math>，由相似三角形可得两条直角边的平方分别为 <math>cp,cq</math>。相加即得 <math>a^2+b^2=c(p+q)=c^2</math>。这条证明把面积关系转化为比例关系，也解释了投影长度为何会与边长平方相联系。垂线长还满足 <math>h^2=pq</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>\|u\|=\sqrt{\langle u,u\rangle}</math>。展开和向量的长度平方，有
 <math display="block">\|u+v\|^2=\|u\|^2+2\langle u,v\rangle+\|v\|^2.</math>
-若 <math>u,v</math> 正交，即 <math>\langle u,v\rangle=0</math>，交叉项消失，得到勾股关系。反过来，在实内积空间中这一等式也迫使内积为零。它说明勾股定理的关键不是图形看起来有一个角，而是两个分量之间的交叉贡献恰好为零。
+正交时中间项消失。这给出了勾股关系的代数形式；反过来，在实内积空间中平方可加也说明两向量正交。复内积空间的中间项则为 <math>2\operatorname{Re}\langle u,v\rangle</math>，只有实部为零还不足以推出内积为零。
-例如 <math>u=(1,2)</math>、<math>v=(2,-1)</math> 的内积为零；两向量的长度平方都是五，而 <math>u+v=(3,1)</math> 的长度平方为十。若改为 <math>v=(2,1)</math>，内积变为四，和向量的长度平方便多出八，不能继续按两个长度平方相加。对于复内积空间，展开式中出现的是内积的实部；“长度平方可加”本身只推出实部为零，不能不加说明地照搬实空间的逆命题。
-正交分解也解释[[最小二乘法]]中的最近点。若向量 <math>x</math> 分成子空间中的投影 <math>p</math> 与垂直于子空间的余量 <math>r</math>，那么对任意子空间内的候选点 <math>q</math>，有 <math>x-q=r+(p-q)</math>，且两项正交。因此
-<math display="block">\|x-q\|^2=\|r\|^2+\|p-q\|^2\ge\|r\|^2.</math>
-最小距离在 <math>q=p</math> 时达到。小学几何中的平方和关系由此转化为拟合问题中的误差分解，而不是仅仅成为计算斜边的公式。
-== 适用边界与整数边长 ==
-一般欧氏三角形遵循余弦定理 <math>c^2=a^2+b^2-2ab\cos C</math>，其中 <math>C</math> 是边 <math>a,b</math> 的夹角。只有 <math>C=90^\circ</math> 时，交叉项为零。等边三角形的三边若都为一，显然不可能满足 <math>1+1=1</math>；遗漏直角条件不是细小误差，而是改变了定理。
-换一种距离也会改变结论。平面中的曼哈顿距离把两个坐标差的绝对值相加，因而从原点到 <math>(3,4)</math> 的距离为七。这是城市街区网格中的一种合理模型，但它不是欧氏直线距离。曲面上的“直线”还需解释为测地线；球面可出现三个角都是直角的三角形，不能套用平面公式。数学上的适用条件决定模型回答哪一种距离问题。
-当三条边都为正整数时，称它们为勾股数组。取整数 <math>m>n>0</math>，令
-<math display="block">a=m^2-n^2,\qquad b=2mn,\qquad c=m^2+n^2,</math>
-直接展开即可验证等式。取 <math>m=3,n=2</math> 得五、十二、十三。若还要求三个数没有共同因子，则需进一步讨论 <math>m,n</math> 互素且一奇一偶等条件。公式给出的是数论结构；它并不表示每个直角三角形的边长比都能用整数表示。两直角边均为一时，斜边为 <math>\sqrt2</math>，正好展示了几何长度可能超出有理数。
-== 非正交分量与测量误差 ==
-在斜坐标中，两条基向量可能不是垂直的。若单位基向量 <math>e_1,e_2</math> 的夹角为 <math>\theta</math>，位移写为 <math>w=ue_1+ve_2</math>，则真正的欧氏长度满足
-<math display="block">\|w\|^2=u^2+v^2+2uv\cos\theta.</math>
-只有基向量正交时，坐标分量的平方和才直接给出长度平方。比如两个单位方向夹角六十度，沿各方向移动一单位，合成位移长度为 <math>\sqrt3</math>，而不是 <math>\sqrt2</math>。这并未否定勾股定理，而是说明所选分量不能当成直角边。线性代数中的格拉姆矩阵把这些内积统一组织起来，使距离计算不再依赖坐标轴恰好画成直角。
-实际测量中的边长是近似数。假定两条直角边的真实长度为 <math>a,b</math>，测量误差为小量 <math>\Delta a,\Delta b</math>，由距离函数的一阶变化可得斜边误差近似
-<math display="block">\Delta c\approx\frac a c\Delta a+\frac b c\Delta b.</math>
-这是一阶近似而非无条件恒等式；它说明哪条边的误差对结果贡献更大。当所求量改为 <math>b=\sqrt{c^2-a^2}</math> 且两已知长度非常接近时，情况可能敏感得多：两个接近的大平方相减后得到一个很小的数，输入的微小误差或浮点相消可能占结果很大比例。
-例如声称斜边约为一百、另一边约为九十九点九九九，却没有给出测量精度，就不足以可靠确定极短的剩余边。代入公式只能得到与输入相匹配的精度，不能从粗略观测凭空产生精确答案。这里需要区分三个问题：几何定理是否精确，输入边长是否精确，计算表达式是否稳定。定理的正确性不会自动解决后两者。
-类似地，用观测三边检验直角时，可以先计算残差 <math>R=a^2+b^2-c^2</math>，再结合三边的误差范围判断零是否可能。残差绝对值相同，在厘米量级与公里量级的图形中含义不同；必须同时考虑尺度与测量单位。数学百科记录精确关系，而把它用于实验或工程时还要明确误差模型。
-== 历史：关系的使用、一般命题与证明应分开 ==
+== 直角条件与整数边长 ==
-“毕达哥拉斯定理”这一英文惯用名称不等于可据此认定某个人首次发现全部内容。古巴比伦泥板保留了早于毕达哥拉斯时代的相关长度计算和整数组合；这些材料能够证明当时掌握了具体关系，却不能自动重建出一份已经失传的一般证明。[https://mathshistory.st-andrews.ac.uk/HistTopics/Babylonian_Pythagoras/ MacTutor：Babylonian Pythagoras]
+若沿两个夹角为六十度的单位方向各走一单位，两段位移并不正交。合成位移的长度平方为
+<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>。直角恰好使交叉项为零。斜坐标的分量因此不能直接当作直角边。
-中国传统数学中的“勾”“股”“弦”是直角三角形三边的术语。《周髀算经》及其传世注释是讨论这一传统的重要文献；教材常把不同时期的正文、注释和现代复原图放在一起，因此在追问某幅拼图的具体归属时，需要区分文本层次，不宜把现代常见图形直接当成某位古人的亲笔原图。本文给出的拼合证明是一份现代化自洽展示，并不把它声称为唯一或最早的证明。[https://mathshistory.st-andrews.ac.uk/HistTopics/Ten_classics/ MacTutor：Ten mathematical classics]
+如果所量的是沿街区行走的路程，回到开头的例子，三米向东加四米向北仍是七米；若研究球面上沿大圆弧连接的三角形，则需使用球面几何。勾股定理在这些问题里所描述的对象与实际路径不同。
-约公元前 300 年成书的欧几里得《几何原本》把命题及其逆命题纳入演绎体系。历史上的贡献可以是算法、例表、陈述、证明或系统整理；“谁发现的”若不说明是哪一种贡献，容易把跨文化、跨世纪的发展压缩成一个缺乏证据的名字。
+三条边均为正整数时，称为'''勾股数组'''。五、十二、十三可以由整数 <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>，已经需要无理数。
-== English overview ==
+实际测量的长度带有误差。如果根据斜边 <math>c</math> 和直角边 <math>a</math> 求另一边，且 <math>c,a</math> 非常接近，差 <math>c^2-a^2</math> 会很小。此时输入的微小变化可能明显影响答案，报告结果应保留与测量精度相称的位数。精确的几何关系与近似的测量值是两个层次。
-<div lang="en" class="math-english-summary">
-The Pythagorean theorem states that, in a Euclidean right triangle, the square of the hypotenuse equals the sum of the squares of the two legs. The hypothesis that the angle is right is essential. The theorem concerns straight-line Euclidean distance, rather than the length of a route made of two perpendicular segments.
-A dissection proof places four congruent right triangles inside a larger square. Their hypotenuses form a central square because the two acute angles of each triangle add to a right angle. Comparing the total area with the areas of the four triangles and the central square gives the identity. The converse follows by constructing a right triangle with the same two shorter sides and applying the side-side-side congruence criterion.
+== 历史 ==
+古巴比伦泥板保存了早于毕达哥拉斯时代的相关长度计算与整数组合。[https://mathshistory.st-andrews.ac.uk/HistTopics/Babylonian_Pythagoras/ MacTutor 的泥板研究介绍]可帮助区分这些计算材料与后来的命名。中国的“勾、股、弦”术语见于《周髀算经》及其注释传统，相关文本背景见[https://mathshistory.st-andrews.ac.uk/HistTopics/Ten_classics/ 中国古代数学十部经典介绍]。
-In Cartesian coordinates, the theorem produces the distance formula. In a real inner product space, it becomes an identity for orthogonal vectors: the mixed inner-product term vanishes. This interpretation also explains why orthogonal projection minimizes distance to a subspace. Integer solutions form Pythagorean triples, but general right triangles need not have rational side ratios. Historical evidence distinguishes early numerical uses from surviving general proofs; the conventional name alone does not establish exclusive priority.
+约公元前 300 年成书的《几何原本》第一卷命题 47 给出一般命题的面积证明，命题 48 证明逆命题。本文的四三角形拼图是另一种常见证明；它利用全等、三角形内角和与面积可加性说明同一个关系。
-</div>
-== 编者评注（AI 辅助） ==
+== 从直角推广到任意三角形 ==
-<div class="math-editorial-note">
+[[余弦定理]]把两边的夹角也计入边长关系：当夹角为直角时，余弦项为零，恰好回到勾股定理；锐角与钝角则给出不同的修正。知道三边之后，[[海伦公式]]可以不先测高就求面积。两篇使用同一个边长为 13、14、15 的三角形，把辅助线、角度和面积的计算串起来。
-本站把“条件—证明—计算—推广”作为本条目的主线。勾股定理容易被缩减为开平方的技巧，但真正值得保留的是正交性为何让交叉项消失，以及一个数值验证为何不能替代一般证明。面积证明与投影证明各承担不同解释任务，历史部分则区分使用关系与留下证明。这样的安排旨在让初等几何和后续线性代数接续起来；它是本站的教学取舍，不是对某一种教材顺序的唯一评价。
-</div>
 == 参考资料与知识联系 ==
-* 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]。用于核对定理在古典体系中的陈述与证明位置。
+* 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]：核对《周髀算经》与勾股传统的文献背景。
+* [https://mathshistory.st-andrews.ac.uk/HistTopics/Ten_classics/ MacTutor：Ten mathematical classics]：讨论《周髀算经》与勾股传统的文献背景。
 * 前置概念：[[欧氏几何]]、[[函数]]；继续阅读：[[向量空间]]、[[最小二乘法]]、[[圆锥曲线]]、[[整数整除]]。
 [[分类:几何]]