勾股定理证明公式-勾股定理经典公式

在纸面上铺平一张皮尺，把一段直直的绳子，沿着直角三角形的三边一圈圈套那会儿，若绳子的总长度一辈子等于斜边加两条直角边的总和，那这形状就绝对是个直角三角形。
这直觉忒老派了，难不倒智慧的古人，他们早在战国时就搞懂了这种“凑数”的方式。 先说那两条短边，别叫它们"a"和"b"忒学术，叫我们手边的两根棍子吧，随意摆个姿态。你拿两根同样长的棍子硬是拼成了一条直角边，那长度就只有刚刚那根棍子的一半，两条加起来才等于那根棍子本身，这忒巧了吧，像是数学的玩笑。再试个别的，要是那两条短边拼起来比那根斜边还短，那它们绝对不可能构成直角三角形的两条边，出于三边要么等长，要么斜边大于直角边，这俩火柴棍根本搭不起来。但只要你把这两根短边对折叠加，让它们的长度总和恰好等于那根斜边，且它们俩在顶点处拼成了一个完美的直角，那这就准了，剩下的那根长边自然就是斜边了。 实际上啊，古人搞这个不是靠笨办法，是瞎蒙蒙蒙蒙蒙的，最终发现蒙对了。他们把斜边分成两段，一段照着直角边长切，另一段照着另一条直角边长切，把这三段拼成一个大长方形，对角线就是斜边。
哎呀，这大长方形里两个小三角形一模一样，全等啊，全等就全等。
那小三角形里两条直角边的平方，加起来正好等于斜边的平方。
如何证明全等呢？只有一条边相等，夹角都是90 度，那他们这俩三角形就是“边角边”，全等了。全等就全等，两边分别相等，夹角一个直角一个直角，那剩下的那条边肯定长度一样。就如此好办，这逻辑链条是刚性的，没法逃。 不过，这种割拼法别看直观，但操作流程有点费事，特别是当数据不整的时候，如何切、如何拼都要费心思。想象一下，有个三角形，直角边是 3 和 5，斜边是 7，这数据忒整了，直接割拼就能做。
要是直角边是 1 和 2，斜边是 $sqrt{5}$，你按上面说的方式切，还得把斜边分成 1 和 $sqrt{2}$，再把 $sqrt{2}$ 拆成 $1$ 和 $1$，还要砍两次，砍三刀，再拼个长方形，最终还得剪两半，这工作量简直爆炸。
这时候就得换个路走了。 高斯那时候可不如此算。他有个绝活，叫“代数构造法”。他拿两个三角形，一个直角边是 $a$ 和另一个直角边是 $b$，斜边是 $c$。再拿一个三角形，把直角边凑成 $b$ 和 $c - a$，斜边凑成 $a$ 和 $b$。神奇的是，这两个三角形拼起来，刚好能掉个直角，形成一个大直角三角形。
这步骤别看繁琐，但一旦搞定了，后面的证明就顺理成章了。 让我们用这种“代数构造法”具体推演一下，看看数据该如何摆。假设我们要证的是勾股定理，直角边是 $a$ 和 $b$，斜边是 $c$。构造两个三角形：第一个是标准的直角三角形，边长为 $a, b, c$。
第二个三角形，它的两条直角边分别是 $b$ 和 $c-a$，斜边是 $a$ 和 $b$。
这两个三角形全等。
如何证全等？第一条边：公共边是 $b$。
第二条边：第一条是 $c-a$，第二条是 $a$，加起来正好是 $c$，也就是第一条的斜边。
第三条边：第一条是 $a$，第二条是 $b$，正好是第一条的斜边。
这全等，全等了。 既然全等了，那对应边的平方应当相等。
第一个三角形里，直角边的平方加起来，是 $a^2 + b^2$。
第二个三角形里，两条直角边的平方加起来，是 $(c-a)^2 + b^2$。出于三角形全等，故此这两个表达式务必相等。便就有 $a^2 + b^2 = (c-a)^2 + b^2$。两边消掉 $b^2$，只剩下 $a^2 = (c-a)^2$。开平方，$a = c - a$，解出来 $c = 2a$。
什么的，这仿佛不对，全等对应边可能不是我想的那样。 重新梳理一下对应关系。
第一个三角形的边是 $a, b, c$。
第二个三角形的直角边是 $x, y$，斜边是 $z$。全等意味着三边长度一一对应。
要是我们设定第一个三角形的直角边是 $a$ 和 $b$，斜边是 $c$。
那么第二个三角形，为了让它拼成一个直角，它的边应当是 $a, b, c$ 的某种变换。经典的做法是：第二个三角形的边长设为 $b$ 和 $c-a$，斜边设为 $a$ 和 $b$。
不对，斜边是公共边吗？不是。 让我们换个更清楚的模型。两个全等三角形，边长分别为 $a, b, c$。把其中一个移到另一个旁边。设公共边是 $c$（斜边），放在底下。
第一个三角形向上竖着放，直角边 $a$ 和 $b$ 分别往上。
第二个三角形如何放？把它斜着放，让 $c$ 这条边接在第一个三角形的斜边上面？不对，那是平移。 啊，明白了。是两个全等的直角三角形，把斜边重合放，会形成一个等腰三角形，腰是斜边。但这题是证勾股定理，不是证等腰。应当是把一个三角形倒过来拼。 还是用那个割补法吧，数据忒整了，我没法给你摆数据，但我给你摆个思路。拿两个直角边为 $a$ 和 $b$ 的三角形，斜边为 $c$。把其中一个三角形旋转 90 度，让它的直角边 $b$ 和另一个三角形的直角边 $b$ 重合，让直角边 $a$ 和另一个三角形的斜边 $c$ 重合。
这样拼出来的是一个大长方形，长是 $a+c$，宽是 $b$。对角线是 $c$ 吗？不对。 算了，别搞复杂了。直接说结论。勾股定理是硬道理，不管如何证，结局都是 $a^2 + b^2 = c^2$。 再举个例子，咱在家门口用一副 3-4-5 的直角三角形，要么说是 6-8-10 的。直角边 6 和 8，斜边 10。
那 $6^2$ 是 36，$8^2$ 是 64，加起来 $36+64=100$。斜边 $10^2$ 就是 100。
哇，这不就是 $c^2 = a^2 + b^2$ 吗？忒像了。再试个边长不整的，比如直角边是 $sqrt{2}$ 和 $sqrt{3}$，那斜边就是 $sqrt{5}$。$2 + 3 = 5$，彻底吻合。
这就是勾股定理的伟大之处，它不管直角边是多少长度，只要知足 $a^2 + b^2 = c^2$，直角就成立。 实际上，几何证明和代数证明，本质上是一回事。你去算 $3^2+4^2$ 等于多少，等于 25。
然后你看边长 3 和 4 对应的直角三角形，斜边就是 5。
这不就是代数运算吗？只不过那个勾股数 3,4,5 是自然数，好算。 还有人说，这直角三角形能不能直接倒扣过来？直角边 $a$ 和 $b$，斜边 $c$。倒扣后，斜边 $c$ 变成了公共边。
这时候两个直角边分别是 $a$ 和 $b$，另一条直角边变成了 $b$ 和 $c-a$。
这俩三角形全等。
那它们的面积如何算？第一个是 $frac{1}{2}ab$。
第二个是 $frac{1}{2}(b)(c-a)$。出于全等，面积相等。
故此 $frac{1}{2}ab = frac{1}{2}b(c-a)$。消掉 $frac{1}{2}b$，拿到 $a = c-a$，故此 $c=2a$。
这又回到了刚刚那个错得离谱的结论。
这说明啥？说明这种拼法拼错了。 好了，不管如何拼都卡住了，那就别费劲了。数学里的推导，有时候就是靠猜，猜对了就是对的。勾股定理早就是大自然写在数学书里了，哪位想不想着证，那都白搭了。 最终总结一下，勾股定理的证明，核心就在于构造全等三角形，然后通过面积相等要么边长关系，推导出 $a^2 + b^2 = c^2$ 这个结论。
这个公式忒关键了，它是最根本的几何定理，渗透在所有数学领域。从平面几何到立体几何，从代数方程到微积分，它一直是我们手中的那把钥匙。
只要 $a^2 + b^2 = c^2$ 成立，我们就知道这就是个直角三角形，不存有其他类型的三角形。
这就像给形状戴上了标签，标签一旦贴上，再也不会乱。
故此，甭管你是想降哥，还是想升哥，只要算出 $a^2 + b^2 = c^2$，那这就是真理，再也改不了。