勾股定理证明方式-四种常见证明方法

把一张直角三角形切一刀，分成两个小直角三角形，这操作在历史上叫倍长中线法。但这玩意儿名字听着像文学，实际是割补法。想象一下把那个大三角形给压扁，要么反过来，把补完的小三角形剪下来，拼到大三角形的另一侧。拼完之后，你会发现阴影局部和空白局部面积一样，这就得出了面积相等这个结论。 咱们不绕弯子，直接去算。假设直角三角形的三边长分别是 $a$、$b$、$c$，其中 $c$ 是斜边。勾股定理的核心就是 $a^2 + b^2 = c^2$。
如何证明这玩意儿？经典的证法实际上是构造无数个全等的三角形，通过移动和旋转，把两边拼成一边，再叠在一起。 具体如何叠？拿一张纸，画个直角。先量一下长直角边 $a$，再量一下短直角边 $b$。在直角顶点的两边上分别取点，把这两条线段端点连起来。
这时候你拿到的是个直角三角形，它的两条直角边就是 $a$ 和 $b$。 这就尴尬了。你手心里的这个三角形，和纸面上原本那个大直角三角形，长得彻底不一样。它们俩全等，这一点没难题，但位置不同，拼不起来。为了拼，你得挪动。把那个新三角形的直角边 $a$ 和 $b$ 的两端，分别固定在原来大三角形的斜边 $c$ 的两个端点上。
这时候，原本在直角顶点的局部，就被“挤”到了斜边上。 穿针引线吧。从直角顶点到底边（也就是新三角形的斜边）画一条垂线，设垂足分斜边为两段，长度分别为 $x$ 和 $y$。根据相似三角形对应边成比例，你会发现，新三角形的高实际上就是原来直角三角形斜边上的高，记作 $h$。并且，这个高 $h$ 把大三角形分成了两个相似的小三角形。 这就在相似三角形的比例里藏住了。大三角形的高 $h$ 到底边 $c$ 的距离，跟两直角边 $a$、$b$ 有必然的联系。根据相似比，$frac{h}{c} = frac{a}{c_1} = frac{b}{c_2}$，其中 $c_1+x = c$，$c_2+y = c$。
这别看算出来是对的，可是跟 $a^2+b^2=c^2$ 这个结论关系不大，略微绕了点。 咱们换个思路。
不用复杂的比例，直接用面积法。直角三角形的面积如何算？最直接的就是 $frac{1}{2}ab$。
那斜边上的那条高 $h$ 呢？它的面积公式是 $frac{1}{2}ch$。出于面积是个不变量（不变的物理量），故此这两个算出来的值务必相等。 $frac{1}{2}ab = frac{1}{2}ch$。消掉 $frac{1}{2}$ 就拿到 $ab = ch$。
这就得出了 $h$ 的长度跟 $a$、$b$ 的关系。但这还是没直接证明 $a^2+b^2=c^2$。 好吧，得再退远一点看。我们要证明的是三边关系。回到那种把两个小三角形拼成一个大三角形的图景。当两个直角边 $a$ 和 $b$ 拼在一起时，它们构成的新三角形，其斜边并不是 $c$，而是 $c$ 减去两个小段之和。 什么的，方向不对。让我们重新梳理一下最直观的那个拼图过程。假设有一个大三角形，斜边是 $c$。我们在斜边上取两个点，把斜边分成两段 $m$ 和 $n$。
要是我们在直角顶点处做垂线，高是 $h$。
这时候，你能够用勾股定理来定义斜边上的高 $h$ 吗？ 不对，这里有一个逻辑倒退。从 $a^2+b^2=c^2$ 推导出 $h$ 的公式是常规操作：$h = sqrt{a^2 - m^2} = sqrt{b^2 - n^2}$。
然后利用 $h$ 把 $c$ 分成 $m$ 和 $n$，利用相似三角形拿到 $h^2 = mn$。最终消去 $h$，拿到 $(a^2-m^2)(b^2-n^2) = (mn)^2$。
这看起来像个二次曲线方程，彻底不是我们要的线性勾股定理。 看来那个“拼图”法的关键在于，要证明的结论务必是 $a^2+b^2=c^2$。而这个结论本身，是建立在“两点之间线段最短”要么“面积不变”这些公理上的。 让我们回到最基础的几何直观。画一个 $3-4-5$ 的直角三角形。直角边是 3 和 4。平方的话，$3^2=9$，$4^2=16$。加起来是 $25$。斜边 $5$ 的平方也是 $25$。
这不就是 $9+16=25$ 吗？这就是验证。
那证明呢？ 证明就是把这个过程无限放大和缩小。想象有一堆全等的三角形。
要是你有无数个边长为 $a$ 和 $b$ 的直角三角形，它们的面积总和是 $S = frac{1}{2}ab$。
要是你把这堆三角形全体拼在一起，填满一个边长为 $c$ 的正方形（要么长方形），你会发现它们的排列方式拍板了它们的相对位置。 实际上，最好办的证法就是利用面积法推导 $h$ 与 $a,b$ 的关系，再结合代数变形。 先算出斜边上的高 $h$ 的长度。在直角三角形中，由面积公式 $frac{1}{2}ab = frac{1}{2}ch$ 可知 $h = frac{ab}{c}$。 寻思斜边上的两个小直角三角形它们也是相似的。根据相似三角形对应高的性质（射影定理的另一种表达方式），我们能够得出一个小三角形的斜边是 $c$，高是 $h$，另一条直角边是 $m$。
这仿佛有点乱。 修正思路：直接利用射影定理。在直角三角形 $ABC$ 中，$CD perp AB$，$D$ 为垂足。
那么 $triangle ACD sim triangle BCD sim triangle ABC$。 由 $triangle ACD sim triangle ABC$，有 $frac{CD}{AC} = frac{AD}{AB}$，即 $frac{h}{a} = frac{m}{c}$，故此 $h = frac{am}{c}$。 由 $triangle BCD sim triangle ABC$，有 $frac{CD}{BC} = frac{BD}{AB}$，即 $frac{h}{b} = frac{n}{c}$，故此 $h = frac{bn}{c}$。 这就得出了两个式子：$frac{am}{c} = h$ 和 $frac{bn}{c} = h$。联立得 $frac{am}{c} = frac{bn}{c}$，故此 $am = bn$。
这仿佛也没直接用到 $a^2+b^2=c^2$。 啊，我卡住了。
这个逻辑链条走不通。务必从 $a^2+b^2=c^2$ 出发，看看能不能推导出 $h$ 的表达式。 在直角三角形 $ABC$ 中，$CD perp AB$。根据射影定理（这是勾股定理的推论，不是定理本身），我们有 $AD cdot AB = CD^2$ 和 $BD cdot AB = CD^2$。即 $m cdot c = h^2$ 和 $n cdot c = h^2$。 这意味着 $h^2 = mc$ 且 $h^2 = nc$。
故此 $mc = nc$。消去 $c$（假设 $c neq 0$），得 $m=n$？不对，射影定理应当是 $AC^2 = AD cdot AB$，即 $a^2 = m cdot c$。
同理 $b^2 = n cdot c$。 这就对了！ 由射影定理可知：$a^2 = m cdot c$，$b^2 = n cdot c$。 两式相加：$a^2 + b^2 = (m+n) cdot c$。 出于 $m + n = AB = c$，故此 $a^2 + b^2 = c cdot c = c^2$。 证毕。 这段逻辑别看有点绕，但核心就是射影定理的应用。射影定理本身是如何来的？能够从相似三角形比例推导出来。 看 $triangle ACD$ 和 $triangle BCD$。它们都是直角三角形，且 $CD$ 是公共边。$triangle ACD sim triangle BCD$ 这个关系成立吗？不一定。
只有当 $AC cdot BC = AB cdot h$ 时才成立，也就是 $ab = ch$。 既然 $ab = ch$，那么 $frac{h}{a} = frac{ab}{ac} = frac{b}{c}$。 故此 $sin A = h/a$。 在 $triangle BCD$ 中，$cos B = h/b$。 而 $cos B = sin A$，出于 $A+B=90^circ$。 故此 $h = a cos A = b sin A$。 这就费事了，出于 $a$ 不等于 $c$。 好吧，看来务必老老实实用代数推导射影定理，要么用更好办的面积法配合全等变换，最终凑出 $a^2+b^2=c^2$。 真正经典的、不需求射影定理的证法，实际上是利用“割补法”证明 $h$ 的表达式。 在直角三角形 $ABC$ 中，$CD perp AB$。 过 $C$ 作 $AB$ 的垂线，交 $AB$ 于 $D$。 根据面积相等：$frac{1}{2}ab = frac{1}{2}ch$。 故此 $h = frac{ab}{c}$。 目前我们要找 $a^2+b^2$ 和 $c^2$ 的关系。 在 $triangle ADC$ 中，$cos A = frac{AD}{a}$。 在 $triangle ACD$ 中，$cos A = frac{h}{a}$？不对，$cos A$ 是邻边比斜边，在 $triangle ADC$ 中，邻边是 $AD=h$？不对，$CD=h$ 是直角边。 在 $triangle ADC$ 中，$cos(angle A) = frac{AD}{a}$。在直角三角形 $ADC$ 中，$cos(angle A) = frac{AD}{AC}$。 故此 $AD = a cos A$。 在 $triangle BDC$ 中，$cos(angle B) = frac{BD}{b}$。在直角三角形 $BDC$ 中，$cos(angle B) = frac{BD}{BC}$。 故此 $BD = b cos B$。 出于 $A+B=90^circ$，故此 $cos B = sin A = frac{h}{a}$。 故此 $BD = b cdot frac{h}{a}$。 代入 $BD$ 的表达式：$BD = frac{bh}{a}$。 目前我们知道 $AD = ah/a = h$？不对，$AD = a cos A = a(h/a) = h$。 故此 $AD = h$，$BD = h$？这不对，要不就 $a=b$。 看来我的三角函数搞混了。
不要搞三角函数，回到最好办的几何。 画一个 $3, 4, 5$ 的三角形。直角边 $3, 4$。高 $h = frac{3 times 4}{5} = 2.4$。 直角边 $3$ 投影到斜边，长度是 $frac{3^2}{5} = 1.8$。 直角边 $4$ 投影到斜边，长度是 $frac{4^2}{5} = 3.2$。 $1.8 + 3.2 = 5 = c$。 而 $3^2 + 4^2 = 9 + 16 = 25 = 5^2$。 这忒漂亮了。 几何上，这意味着： $AD = frac{a^2}{c}$，$BD = frac{b^2}{c}$。 $AD + BD = c$。 故此 $frac{a^2}{c} + frac{b^2}{c} = c$。 两边同乘 $c$，得 $a^2 + b^2 = c^2$。 这个几何解释如何来的？ 在直角三角形 $ABC$ 中，$CD perp AB$。 $triangle ACD sim triangle ABC$。 故此 $frac{AD}{AC} = frac{AC}{AB}$，即 $AD = frac{a^2}{c}$。 同理 $BD = frac{b^2}{c}$。 这两个结论是如何得出来的？ 它们是射影定理。射影定理的证明实际上就是利用相似三角形。 $triangle ACD sim triangle BCD$ 不成立。但 $triangle ACD sim triangle ABC$ 和 $triangle BCD sim triangle ABC$ 是成立的。 故此 $frac{AD}{AC} = frac{CD}{BC}$，即 $frac{AD}{a} = frac{h}{b}$，故此 $AD = frac{ah}{b}$。 同样 $BD = frac{bh}{a}$。 这就害得 $AD + BD = ah/b + bh/a = h(a/b + b/a) = h(a^2+b^2)/(ab)$。 出于 $AD+BD=c$，故此 $c = frac{h(a^2+b^2)}{ab}$。 又出于 $h = frac{ab}{c}$，代入上式： $c = frac{(ab/c)(a^2+b^2)}{ab} = frac{a^2+b^2}{c}$。 故此 $c^2 = a^2+b^2$。 这就通了！ 目前把这些步骤串联起来，写成文章。 启动写。 起初，我们要解决一个最直观的难题：为啥三条边知足 $a^2+b^2=c^2$ 这种关系。
这不只是是一个公式，它是直角三角形“形状稳定”的体现。 想象你有一张纸，画个直角三角形 $ABC$，直角在 $C$ 点。目前，你把这个三角形沿着斜边 $AB$ 折叠。当你把顶点 $C$ 折到 $AB$ 上的一点 $D$ 时，你会发现 something。 不对，折叠后重叠局部是个等腰三角形。但这跟勾股定理没关系。 换个角度。咱们用面积法，这是最有力的武器。 直角三角形的面积，不管如何看，结局都是固定的。 方式一：以两条直角边为底和高。面积 $S = frac{1}{2}ab$。 方式二：以斜边为底，斜边上的高为高。面积 $S = frac{1}{2}ch$。 既然面积不变，那么 $frac{1}{2}ab = frac{1}{2}ch$，化简就是 $ab = ch$。 这是第一个关键结论：直角三角形斜边上的高 $h$，等于两直角边乘积除以斜边。 我们看看斜边 $c$ 到底由哪两局部组成。 从顶点 $C$ 向斜边 $AB$ 做垂线，垂足是 $D$。设 $AD = m$，$BD = n$。 这就把斜边 $c$ 分成了两段 $m$ 和 $n$，即 $m + n = c$。 目前，我们需求找出 $m$ 和 $n$ 和 $a, b, h$ 之间的具体关系。 看左边的小三角形 $ADC$。它也是直角三角形，高是 $h$。 根据相似三角形（$triangle ADC sim triangle ABC$），对应边成比例。 $frac{AD}{AC} = frac{CD}{BC}$，也就是 $frac{m}{a} = frac{h}{b}$。 由此可得 $m = frac{ah}{b}$。 同理，看右边的小三角形 $BDC$。 $frac{BD}{BC} = frac{CD}{AC}$，也就是 $frac{n}{b} = frac{h}{a}$。 由此可得 $n = frac{bh}{a}$。 目前我们有两个关于 $m$ 和 $n$ 的表达式。把这两个加起来： $m + n = frac{ah}{b} + frac{bh}{a}$。 取公因式 $h$： $m + n = h left( frac{a}{b} + frac{b}{a} right)$。 通分括号里的项： $m + n = h left( frac{a^2 + b^2}{ab} right)$。 目前，我们要把 $m+n$ 替换成 $c$。 故此，$c = h frac{a^2 + b^2}{ab}$。 出于前面我们已经推导过 $h = frac{ab}{c}$，把这个代入上面的式子。 $c = left( frac{ab}{c} right) frac{a^2 + b^2}{ab}$。 分子分母里的 $ab$ 互相抵消了（假设 $a,b,c neq 0$）。 这就拿到了一个神奇的结局：$c = frac{a^2 + b^2}{c}$。 两边与此同时乘以 $c$，消掉 $c^2$。 最终拿到：$c^2 = a^2 + b^2$。 这就是勾股定理！ 这个推导过程别看有点绕，涉及了几何变换和代数重组，但每一步都是严密的逻辑链条。
没有空洞的废话，只有量的计算。 咱们再来举几个具体数据，让这事儿变得实打实。 拿一个经典的 $3, 4, 5$ 直角三角形。 直角边 $a = 3$，$b = 4$。 斜边 $c = 5$。 先算面积验证：$frac{1}{2} times 3 times 4 = 6$。$frac{1}{2} times 5 times h = 6$，算出 $h = 2.4$。 再算投影验证： $m = frac{3 times 2.4}{4} = frac{7.2}{4} = 1.8$。 $n = frac{4 times 2.4}{3} = frac{9.6}{3} = 3.2$。 检查总和：$m + n = 1.8 + 3.2 = 5$，正好等于 $c$。 这时候看方程 $c^2 = a^2 + b^2$。 左边 $5^2 = 25$。 右边 $3^2 + 4^2 = 9 + 16 = 25$。 两边相等。说明在 $3, 4, 5$ 这个例子中，勾股定理成立。 实际上，勾股定理的成立不依赖于具体数据，它描述的是直角三角形本身的内在性质。
只要它是直角三角形，这个关系就一辈子成立。
这就是为啥我们会认定“直角三角形斜边上的高 $h$ 是定值”，出于 $ab$ 是定值，$c$ 是定值，只要角度固定，$h$ 就固定。 再讲讲证明的难点在哪儿。 大量人认定这个证明难，是出于它把几何关系转化为了代数运算。 关键在于，你务必先建立好面积相等这个前提。 $frac{1}{2}ab = frac{1}{2}ch$ 这个式子，实际上就是说“不管你如何切，总面积是一样的”。
这是公理级别的真理。 然后利用相似三角形，把 $m$ 和 $n$ 用 $a, b, h, c$ 表示出来。 最终通过代换，把几何量 $m, n$ 和代数量 $a, b$ 挂钩。 这是一种典型的“以形补数，以数证形”的方式。 自然，历史上还有别的证法，比如欧几里得在《几何原本》里的证法，他用了连接 $C$ 到 $C'$（两个直角顶点）的方式，构造平行四边形。
不过那个方式忒繁琐了，并且好办把读者绕晕。咱们这种代数推导，胜在直接、清楚。 最终总结一下，勾股定理的证明，本质上就是展示了一种对称性。 在直角三角形里，把两边 $a$ 和 $b$ 的关系“折叠”到斜边 $c$ 上。 投影的概念就是这种折叠的体现。 $m = a^2/c$，$n = b^2/c$。 把这两段拼起来就是 $c$。 故此 $a^2/c + b^2/c = c$。 这就是最简洁的几何直觉。 而代数证明则把这个直觉量化，用方程锁死了这个结论。 故此，不需求记住啥复杂的公式。 记住一件事：直角三角形的高，等于面积的两倍除以斜边。 记住两个小三角形在斜边上把大三角形分成了两段，这两段长度分别是 $a^2/c$ 和 $b^2/c$。 只要这两段加起来等于斜边，勾股定理就自可是然地成立了。 这就是数学的美，简洁而有力。 不需求说啥“起初、其次、最终”。 我们直接看数据，看几何，看代数，它们自己会讲完这个故事。 $3, 4, 5$ 的例子已经充足说明难题了。 $6, 8, 10$ 也会知足。 $5, 12, 13$ 也会知足。 规律不变。 这就是勾股定理的魅力所在。