跳转到内容
← 返回定理
几何学基础约 20 分钟阅读

勾股定理

Pythagorean Theorem

pythagoras·-530
几何学直角三角形勾股定理毕达哥拉斯

定理陈述

勾股定理（Pythagorean Theorem）是几何学中最基本、最著名的定理之一。它有一个正向陈述，也有一个在工地上更常用的逆陈述；两者合在一起，才把"直角"和"三边平方关系"锁成充要条件。

设直角三角形的两直角边长分别为 $a$、$b$，斜边长为 $c$，则

a2+b2=c2a^2 + b^2 = c^2

等价地，以直角三角形三边为边长的正方形面积满足：两直角边上的正方形面积之和等于斜边上的正方形面积。欧几里得把这条写进《几何原本》第一卷命题 47；紧接着的命题 48 是它的逆命题——若一个三角形三边已经满足 a2+b2=c2a^2+b^2=c^2，则夹 $a$、$b$ 的那个角必为直角。

直觉理解

勾股定理的本质是距离的度量。在平面上，两点之间的"直线距离"遵循这个简单的平方关系。想象你在城市中走路：向东走 3 个街区，再向北走 4 个街区，直线抄过去就是 5 个街区——因为 32+42=523^2 + 4^2 = 5^2。这就是为什么勾股定理是所有距离计算的基础。

从面积的角度看，勾股定理说的是同一件事的另一种画法。如果你在直角三角形的三条边上各向外画一个正方形，两个小正方形的面积之和恰好等于大正方形的面积。边长的平方，本来就是那块正方形的面积；把三块地砖放在一起对账，距离公式就从面积里长了出来。

证明思路

勾股定理是被证明方式最多的定理之一。1927 年卢米斯（E. S. Loomis）的《勾股命题》（The Pythagorean Proposition）就系统收集、分类了约 370 个证明（含代数法、几何法等几大类）；后世仍不断有新证补充，cut-the-knot 等网站累计已收录上百种。以下是最经典的几种思路。

面积法证明（欧几里得）

欧几里得《几何原本》第一卷命题 47 不从代数入手，而从面积。在直角三角形三边上各向外作一个正方形，得到后来常被称作"风车"或"新娘座椅"的图形。

从直角顶点向斜边作垂线，并延伸进斜边上的正方形，把它剖成两个矩形。欧几里得再用全等三角形说明：这两个矩形分别与两直角边上的正方形等积——形状不必相同，面积相等就够。两个矩形拼回去，正好是斜边上的正方形，于是 a2+b2=c2a^2+b^2=c^2。

命题 48 把箭头反过来。若一个三角形已经量出 a2+b2=c2a^2+b^2=c^2，欧几里得先另作一个直角边同为 $a$、$b$ 的直角三角形，由命题 47 知其斜边平方也是 a2+b2a^2+b^2，于是两三角形三边分别相等，原来那个角就只能是直角。工匠用 3、4、5 的绳尺"找方"，用的正是这一步：平方关系是已知的，要检查的是角。

代数法证明（赵爽弦图）

赵爽的弦图把面积账做得可以一眼看完。先画一个边长为 $a+b$ 的大正方形，再把四个全等的直角三角形按直角贴边、斜边朝内的方式摆进四个角。四条斜边恰好围出中间一块边长为 $c$ 的正方形，像一枚斜嵌进去的地砖。

外框面积是 (a+b)2(a+b)^2，四个三角形合起来是 4×12ab=2ab4 \times \frac{1}{2}ab = 2ab，中间那块地砖因此只能是 c2c^2。把外框展开得到 a2+2ab+b2a^2+2ab+b^2，扣掉四个三角形的 $2ab$，剩下 a2+b2a^2+b^2，而这剩下的正是中间地砖。所以 a2+b2=c2a^2+b^2=c^2。

  • 大正方形面积：(a+b)2(a+b)^2
  • 四个三角形面积：4×12ab=2ab4 \times \frac{1}{2}ab = 2ab
  • 小正方形面积：c2c^2

因此 (a+b)2=2ab+c2(a+b)^2 = 2ab + c^2，化简得 a2+b2=c2a^2 + b^2 = c^2。面积账对上以后，不必再量每一条边：外框和四块瓷砖的面积一旦成立，弦上的正方形就被迫等于两直角边上的正方形之和。

相似三角形证明

从直角顶点向斜边作高，原三角形被分成两个小直角三角形，二者都与原三角形相似。对应边成比例，于是有 $a/c = p/a$ 与 $b/c = q/b$，其中 $p$、$q$ 是斜边上被高分成的两段，且 $p+q=c$。交叉相乘得到 a2=pca^2=pc、b2=qcb^2=qc，相加即 a2+b2=c(p+q)=c2a^2+b^2=c(p+q)=c^2。

历史背景

虽然以毕达哥拉斯命名，但这条平方关系的历史远比古希腊悠久。需要先分清三件不同的事：某些整数三元组碰巧满足 a2+b2=c2a^2+b^2=c^2；某个文明会用 3–4–5 去摆直角；以及把一般直角三角形写成一条可证明的定理。泥板上的数组、典籍里的特例，都不自动等于欧几里得式的命题。

巴比伦。哥伦比亚大学收藏的普林顿 322 号泥板（Plimpton 322）属于古巴比伦时期，大约公元前 1800–1600 年；罗布森（Eleanor Robson）常把出土地拉尔萨（Larsa）的年代定在约公元前 1822–1784 年。板上现存十五行六十进制数字，换算后等价于一组勾股数：短直角边与斜边成对出现，从接近等腰排到很扁的直角三角形。诺伊格鲍尔与萨克斯在 1945 年刊布这件泥板时，已经指出它与勾股数组的对应。

它是不是"三角表"，则有争议。一种读法把它看成书记员训练用的正则倒数对（reciprocal pairs）习题，用来练乘法与直角边计算；另一种读法把它看成某种弦表或三角表。泥板没有标出角，也没有后世正弦表那种函数栏，因此不能把它说成巴比伦人已经拥有欧几里得式的勾股定理，更不宜把争议中的三角表解释说成定论。它能稳妥说明的是：在希腊证明传统出现以前，两河流域已经在系统地处理与 a2+b2=c2a^2+b^2=c^2 等价的数组。

中国。《周髀算经》里"勾三股四弦五"是一个特例，不是一般证明。三、四、五满足平方关系，只能说明这一个三角形，推不出任意直角三角形都如此。一般性的面积证明要等到三国赵爽（约 3 世纪）的弦图：四个全等直角三角形与中间的正方形，把 (a+b)2(a+b)^2 与 c2c^2 的账一次性对上。

印度。《绳法经》（Sulba Sutras，约公元前 800—500 年）中包含了勾股定理的多个特例和一般表述，主要用于祭坛的绳尺作图。这里的"一般"仍是仪式几何里的操作规则，和《几何原本》的命题链不是同一套写法。

希腊。把"第一个严格证明"归于毕达哥拉斯（约公元前 570—495 年）本人，是学派传说，不是有同时代文献可核的事实。没有他亲手写下的证明传世。我们能完整读到的一般证明，是欧几里得《几何原本》第一卷命题 47；紧随其后的命题 48 给出逆定理，并成为后世工地"找方"的逻辑依据。

多个古代文明都碰到过直角、绳尺与平方关系。共同的是空间直觉，不同的是：有人留下数组，有人留下特例，有人留下面积图，有人留下命题与逆命题。把这些层次压成一句"某地已经发现了勾股定理"，会把计算传统和演绎传统混在一起。

应用

勾股定理的应用无处不在，而且经常用的是逆定理而不是正定理。正定理从直角推出平方和；工地、放样和校核需要的是反过来——先量三边，再宣布那个角是不是直角。

导航与定位。GPS 系统通过卫星信号计算距离，核心算法基于三维勾股定理 d=(x2−x1)2+(y2−y1)2+(z2−z1)2d = \sqrt{(x_2-x_1)^2 + (y_2-y_1)^2 + (z_2-z_1)^2}。平面上的 3–4–5 在三维里变成三根互相垂直的边，平方再开方，得到的就是直线距离。

建筑与工程。要保证墙壁垂直、基槽方正，工匠并不先证明命题 47。他们用 3–4–5（或任意已知勾股数）的绳尺去套那个角：边长对上了，角就是直角。这正是命题 48 的现场用法，也是测量斜面长度、放样轴线时最便宜的检查。

计算机图形学。向量长度、碰撞检测、光照模型里的法向量，算的都是同一条三维平方和。归一化 v^=v/∥v∥\hat{v}=v/\|v\| 的分母，就是勾股定理给出的模长。

物理学。矢量合成与分解把互相垂直的分量平方相加；动能 Ek=12mv2E_k=\frac12 mv^2 里的速率，若速度有三个正交分量，也要先走一遍三维勾股才能得到 $v$。

数据分析。欧氏距离是聚类分析和最近邻算法的默认度量：每个坐标差平方后再开方。选平方，是因为正交方向上的偏差可以独立入账，而这正是勾股定理允许的事。

与其他定理的关系

  • 余弦定理：勾股定理是余弦定理 c2=a2+b2−2abcos⁡Cc^2 = a^2 + b^2 - 2ab\cos C 在 $C = 90°$ 时的特例。那一项 −2abcos⁡C-2ab\cos C 就是"角不是直角时要补上的修正"；角一回到直角，修正消失。
  • 勾股数：满足 a2+b2=c2a^2 + b^2 = c^2 的正整数三元组称为勾股数，与数论中的丢番图方程密切相关。最小的本原三元组就是工地绳尺上的 $(3,4,5)$。
  • 距离公式：平面和空间中的距离公式直接推广了勾股定理。每加一个正交方向，就在根号里多一项平方。
  • 希尔伯特空间：勾股定理在无穷维内积空间中推广为帕塞瓦尔恒等式。正交分解仍然按平方相加，只是项数可以变成无穷。
  • 费马大定理：an+bn=cna^n + b^n = c^n 在 $n > 2$ 时无正整数解——费马大定理是勾股定理在高次幂情形的否定。指数一离开 2，整数解就从无穷多变成一个都没有。

推广

余弦定理

勾股定理的最直接推广是余弦定理：对任意三角形（不一定是直角三角形），

c2=a2+b2−2abcos⁡Cc^2 = a^2 + b^2 - 2ab\cos C

当 $C = 90°$ 时，cos⁡C=0\cos C = 0，回到勾股定理。多出来的那一项不是装饰，它量的是"这个角离直角有多远"。角一旦偏了，平方和就不再等于斜边平方，差额由余弦单独承担。

高维推广

在 $n$ 维欧氏空间中，两点 (x1,…,xn)(x_1, \ldots, x_n) 和 (y1,…,yn)(y_1, \ldots, y_n) 之间的距离为

d=(x1−y1)2+(x2−y2)2+⋯+(xn−yn)2d = \sqrt{(x_1-y_1)^2 + (x_2-y_2)^2 + \cdots + (x_n-y_n)^2}

这是勾股定理在 $n$ 维空间的推广。每一维都与其余各维正交，所以平方可以分项入账，最后再开一次方。

内积空间中的推广

在一般的内积空间中，勾股定理变为：若 ⟨u,v⟩=0\langle u, v \rangle = 0（正交），则

∥u+v∥2=∥u∥2+∥v∥2\|u + v\|^2 = \|u\|^2 + \|v\|^2

在无穷维希尔伯特空间中，这推广为帕塞瓦尔恒等式——傅里叶分析的基础。正交一旦成立，平方和就不必再问"夹角是多少"。

非欧几何

在非欧几何中，勾股定理不再成立。在球面几何中，直角三角形满足

cos⁡(c/R)=cos⁡(a/R)cos⁡(b/R)\cos(c/R) = \cos(a/R)\cos(b/R)

当曲率趋于零时（R→∞R \to \infty），这退化为普通的勾股定理。弯曲空间里它只在无穷小邻域里近似成立，整段套用会把测地线当成平面直线。

勾股数

满足 a2+b2=c2a^2 + b^2 = c^2 的正整数三元组 $(a, b, c)$ 称为勾股数。所有本原勾股数（gcd⁡(a,b,c)=1\gcd(a,b,c) = 1）可以参数化为：

a=m2−n2,b=2mn,c=m2+n2a = m^2 - n^2, \quad b = 2mn, \quad c = m^2 + n^2

其中 $m > n > 0$，$m$ 和 $n$ 互素，且一奇一偶。例如：$(3, 4, 5)$ 对应 $m = 2, n = 1$；$(5, 12, 13)$ 对应 $m = 3, n = 2$。$(3,4,5)$ 既是参数公式里最小的本原解，也是《周髀算经》写下的那一组特例，又是工地绳尺最常用的那一组。

勾股定理与距离的统一

勾股定理的本质是距离的定义。换一套把偏差加总的规则，就会得到另一种"勾股定理"；欧氏平方和只是其中最常见的一种。

欧氏距离：d=Δx2+Δy2d = \sqrt{\Delta x^2 + \Delta y^2}——勾股定理的标准形式。欧氏距离满足三角不等式、对称性和正定性——这三条性质定义了度量空间。

闵可夫斯基距离：d=(∣Δx∣p+∣Δy∣p)1/pd = (|\Delta x|^p + |\Delta y|^p)^{1/p}——$p = 2$ 时回到欧氏距离，$p = 1$ 时为曼哈顿距离，p→∞p \to \infty 时为切比雪夫距离。不同的 $p$ 值对应不同的"圆"的形状——$p = 2$ 是圆，$p = 1$ 是菱形，p=∞p = \infty 是正方形。指数一旦离开 2，正交方向上的平方入账就被改写成别的权。

黎曼距离：在弯曲空间中，两点间的最短距离是测地线长度——局部地，距离仍然遵循勾股定理（用度量张量 gijg_{ij} 替代 δij\delta_{ij}）：

ds2=∑i,jgijdxidxjds^2 = \sum_{i,j} g_{ij} dx^i dx^j

这是勾股定理在黎曼几何中的推广——度量张量 gijg_{ij} 编码了空间的弯曲程度。平直时 gijg_{ij} 就是单位矩阵，公式退回普通的平方和。

勾股定理与相对论

在狭义相对论中，时空间隔为：

ds2=c2dt2−dx2−dy2−dz2ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2

这不是标准的勾股定理——符号不同（一正三负）。这导致了闵可夫斯基时空的几何与欧氏几何本质不同：时空中不存在绝对的同时性，时间 dilation 和长度收缩是闵可夫斯基几何的自然后果。

在广义相对论中，时空是弯曲的——度量张量 gμνg_{\mu\nu} 由爱因斯坦场方程决定。局部地，时空近似闵可夫斯基（等效原理），但全局地，引力导致光线弯曲和时间膨胀。GPS 卫星必须修正广义相对论效应——不修正的话，定位误差每天累积约 10 公里。

勾股定理的计算应用

在现代计算中，勾股定理无处不在：凡是要把正交方向上的偏差收成一个长度，底层几乎都是同一条平方和。图形学里的模长、统计里的欧氏距离、数值库里的 hypot，走的都是这一步。

机器学习：欧氏距离是 $k$-最近邻算法、$k$-均值聚类和高斯核函数的基础。在高维空间中，欧氏距离的行为变得反直觉——所有点对之间的距离趋于相等（维度灾难）。平方相加默认每一维同等重要，维数一高，这个默认就会把远近差抹平。

计算机图形学：向量归一化 v^=v/∥v∥\hat{v} = v / \|v\|，其中 ∥v∥=vx2+vy2+vz2\|v\| = \sqrt{v_x^2 + v_y^2 + v_z^2} 由三维勾股定理给出。法向量计算、光照模型和碰撞检测都依赖勾股定理。模长算错，光照方向和碰撞判定会一起偏。

数值稳定性：计算 a2+b2\sqrt{a^2 + b^2} 时，直接计算可能溢出或下溢。hypot 函数使用数值稳定的算法——∣a∣1+(b/a)2|a|\sqrt{1 + (b/a)^2}（当 ∣a∣≥∣b∣|a| \geq |b| 时）避免了中间结果的溢出。公式仍是勾股定理，只是计算顺序被改成了机器能扛住的那种。

跨域连接

  • 狭义相对论：时空间隔把空间项与时间项取相反符号，于是"距离"可正可负也可以为零。推论：沿光信号的路径间隔恰好为零，这种情形在欧氏度量下根本不可能出现——因果结构正是由这个符号差定义的，"同时"失去绝对意义也源于此，不是勾股定理的小修补。
  • 机器学习：欧氏距离对每一维一视同仁地平方相加，维数越高，随机点对的距离越向同一个值集中。推论：最近邻与最远邻的比值趋近于一，可用同一份数据在不同维数下直接量出这个比值；靠阈值筛选的检索会整体失效——降维或换度量是必需步骤，不是调优选项。
  • 遥感与地理信息：在投影平面上按平方相加算距离，等价于默认该区域的曲率可以忽略，而误差随区域尺度放大。推论：同一份坐标换个投影，算出的距离与面积比值都会变——跨投影比较必须先统一基准，否则"变化"可能全部来自度量而非地物。
  • 计量经济学：最小二乘就是在残差空间里求到模型子空间的欧氏最短距离，正交投影保证解唯一且随数据线性变化。推论：改用绝对值和，解不再唯一也不再线性，但对离群点更稳健——"平方"不是审美偏好，它换来可解性，代价是敏感。
  • 欧氏几何：平方相加的度量正是零曲率的表达式，它与平行公设互为表里。推论：弯曲空间里它只在无穷小邻域成立，全局距离必须沿测地线积分——局部像平的，不等于可以整段套用。
  • 建筑作为结构：墙要垂直、梁要方正，靠的往往不是命题 47 的面积证明，而是命题 48 的逆检查——三边若成 $3:4:5$（或任何一组勾股数），夹角就是直角。推论：工地绳尺是在用数来约束角，而不是先画角再量数——方正是被三边关系强制出来的，不是目测出来的。

参考文献

  1. Euclid, Elements, Book I, Propositions 47 and 48.
  2. Otto Neugebauer & Abraham Sachs, Mathematical Cuneiform Texts (American Oriental Society / American Schools of Oriental Research, 1945).
  3. Eleanor Robson, "Neither Sherlock Holmes nor Babylon: A Reassessment of Plimpton 322", Historia Mathematica 28 (2001): 167–206.
  4. E. S. Loomis, The Pythagorean Proposition (National Council of Teachers of Mathematics, 1927; 1968 reprint).
  5. Eli Maor, The Pythagorean Theorem: A 4,000-Year History (Princeton University Press, 2007).
  6. 《周髀算经》, 中国古典文献.
  7. Robin Hartshorne, Geometry: Euclid and Beyond (Springer, 2000).
  8. 王元, 《数学大辞典》, 科学出版社, 2010.

勾股定理 a2+b2=c2a^2+b^2=c^2 是欧氏空间中距离概念的基础：平面上两点距离公式 (Δx)2+(Δy)2\sqrt{(\Delta x)^2+(\Delta y)^2} 正是它的直接推论，并自然推广到 $n$ 维欧氏空间的范数定义。它在弯曲空间中的失效，正是非欧几何的标志。