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

咱们不整那些“起初、其次、最终”的陈词滥调，直接上刀口。
话说个大的，咱们想看看直角三角形里，两条短边的平方加起来，是不是等于最长边（斜边）的平方。
这话说得大，实际上就三个步骤，每一步都是对图形那个“不变量”的摸爬滚打。 第一步，得找个参照系。在一般/平平坐标系里，直角三角形是个死东西，如何让它动起来呢？那就得把它想成是旋转的。当直角三角形的两条直角边分别绕着这两个顶点，顺时针方向旋转时，它们扫过的区域会形成一个扇环。最外侧的区域，就是正方形边长最大的时候。
这时候，内圈正方形的边长就是短直角边，外圈的正方形边长就是长直角边。
这就把“边长”这个抽象的量，给转成了具体的长度值。 第二步，就是算那俩扇环里，各占了多少面积。扇环的面积，实际上就是大扇形减去小扇形。大扇形的半径是长直角边的长度，小扇形的半径是短直角边的长度，圆心角都是 90 度。扇形面积公式是 $frac{1}{2} times r^2 times theta$，既然 $theta$ 是 90 度，那换算成分数就是 $frac{1}{2} times r^2 times frac{pi}{2}$。来个皮亚诺除法消掉那个 $frac{1}{2}$，结局就是 $frac{pi}{4} times r^2$。
这就把几何图形的面积，彻底换算成了代数表达式。 第三步，是核心的“勾”。目前我们要比较啥呢？比较的是两个扇环面积里，归于“直角边”这一局部的总和，和“斜边”这一局部的总和。直角边局部，就是两个扇环加起来，按刚刚算的公式，正好是 $frac{pi}{4} times (a^2 + b^2)$，其中 $a$ 是短边，$b$ 是长边。斜边局部呢？我们能够把它看作是一个以大斜边为半径的扇环。它的面积公式是 $frac{pi}{4} times c^2$，其中 $c$ 是斜边。 这时候，要是直接把这两个加起来，你会发现：$frac{pi}{4} (a^2 + b^2) + frac{pi}{4} c^2$。
你看，$frac{pi}{4}$ 这个公共因子已经把两个扇环拼成了一个大的扇环。而这个大扇环的面积，根据几何定义，恰恰等于那个以斜边 $c$ 为半径的扇环的总面积。
也就是说，大扇环的面积等于大扇环减去小扇环，而这个大扇环本身的面积，又等于 $frac{pi}{4} c^2$。 故此，这就出现了这个奇妙的平衡：$frac{pi}{4} c^2 = [frac{pi}{4} (a^2 + b^2)] + [frac{pi}{4} c^2]$。两边与此同时减去 $frac{pi}{4} c^2$，剩下的就是 $a^2 + b^2 = c^2$。 这就把话说了。我们不用去纠结“为啥”扇环的面积公式是那个样子，也不用去推导扇环面积公式。我们只需求接纳这个前提：当我们把直角三角形旋转时，形成的扇环面积关系就天然成立。在这个过程中，$frac{pi}{4}$ 就像是一个庞大的隐形常数，它消掉了，留下的只有 $a$ 和 $b$ 的平方和与 $c$ 的平方。 举个具体例子吧。假设我们有一个直角三角形，两条直角边分别是 3 厘米和 4 厘米。
那斜边是多少呢？我们能够用勾股定理来算一下。$3^2 + 4^2 = 9 + 16 = 25$。开根号，$sqrt{25}$ 等于 5。
故此斜边就是 5 厘米。
这里的数据挺好办，符合比例关系。
要是我们再拿一个 5 厘米、12 厘米、13 厘米的三角形，验证一下：$5^2 + 12^2 = 25 + 144 = 169$，而 $13^2 = 169$。彻底吻合。 有时候你会想，为啥偏偏是这两个数字？实际上是出于 3, 4, 5 是自然界里最常见的整数组合，它们能形成最完美的整数比。但在数学上讲，只要 $a$ 和 $b$ 知足 $a^2 + b^2 = c^2$，这个关系就是成立的，跟这三个数字有没相关系，彻底无涉紧要。 最终，别急着把 $frac{pi}{4}$ 给忘了。
那是面积里的“空气”，是比例系数。在代数推导里，它就像是一个乘号 $1$，做乘法不转变数值，只转变单位换算。去掉它，剩下的就是纯粹的边长关系。
要是非要保留它，那就意味着我们在算的是“几何面积”而不是“代数平方和”。一旦我们想要表达的是数学公式 $a^2 + b^2 = c^2$，就务必把 $frac{pi}{4}$ 给删掉，出于它在最终的等式中消声匿迹了。 这就是勾股定理，一个几何直觉直接转化为代数恒等式的过程。它不需求复杂的证明工具，只要把图形动起来，把面积算清楚，把常数消掉，剩下的就是真理。
这就够了。