欧几里得勾股定理证法-欧几里得勾股定理证明

欧几里得勾股定理这事儿，老话说得真准，是“直角三角形里三边的关系”。
说白了，就是斜边上的平方，等于另外两条直角边的平方加起来。
听起来挺好办，可要是真拿笔来证，那得得好好琢磨琢磨，也不能像照本宣科那样，左一句“起初”右一句“其次”，流水账似的把道理讲完，那样 Clergyman 们看了都嫌枯燥。 咱们要是搬个梯子，把勾股定理搬上梯子试试？不中，梯子本身就是直的，搬个管子如何行？得找根直的棍子来。古人叫它“平方”，就是把长度平方，记成 $a^2$。
那 $a^2$ 到底是个啥？是个面积啊。
这就像把三根砖头拼起来，长边放地上，长度就是 $a$，那面积就是 $a^2$。直角三角形嘛，斜边上的那个角要是零度，那它就是个矩形，面积就是 $ab$。
要是这是个直角三角形，斜边上放根棍子，长度是 $c$，面积就是 $c^2$。 没错，只要三个直角拼成，斜边上的平方就等于两边平方之和。
这要是数学课上直接甩公式给你看，你都得质疑人生，认定那玩意儿是不是连根本常识都忘了。可我们得一步步来，得让逻辑像水流一样自然。 想象一下，你有一块地，长边叫 $a$，宽叫 $b$，把地剪成四块，拼成一个长方形。
这块地的面积就是 $ab$。
然后你拿根棍子把其中一块 $b$ 的角剪下来，往斜边上拼。你发现拼成的这个形状，实际上是个直角三角形，斜边就是 $c$，另外两边还是 $a$ 和 $b$。 这时候就有个观察过程了，别急着下结论，得看着图看。你会发现，直角边 $b$ 在斜边上的高，也就是 $h$。根据勾股定理，$a^2 + b^2 = c^2$。
这个定理，在矩形里就是 $ab$，在直角三角形里就是 $a^2 + b^2 = c^2$。
这俩公式别看长得像，但意思彻底不一样。矩形里，面积是 $ab$；直角三角形里，面积是 $a^2 + b^2$。 那如何弄出这个 $a^2 + b^2 = c^2$ 呢？咱们得先算长方形的面积。长方形面积是 $ab$。
那矩形里两个小三角形加上下面的四边形呢？下面的四边形实际上是个正方形，边长是 $h$，故此面积是 $h^2$。
那两个小三角形，底是 $a$，高是 $h$，面积就是 $frac{1}{2}ah$，另一个同理。加起来就是 $ah + ah = 2ah$。 故此，等式就是 $ab = 2ah + h^2$。从这个式子，我们能够解出 $h$。两边除以 $a$，得 $b = 2h + frac{h^2}{a}$。
这看起来挺复杂的，但咱们换个角度，把 $h$ 当成一个变量 $y$，$b$ 当成 $x$。
那就是 $x = 2y + frac{y^2}{a}$。
这时候你能够解出 $x$（也就是 $b$）。 然后，把 $b$ 代回勾股定理里。$a^2 + b^2 = c^2$。把 $b = x$ 放进去，就得 $a^2 + x^2 = c^2$。
既然 $x = b$，那不就是 $a^2 + b^2 = c^2$ 了吗？ 实际上这个过程里，最关键的步骤就是解那个关于 $h$ 要么 $b$ 的方程。别搞得忒花哨，直接用代数消元法，一步步推出来，逻辑就通了。 再来个具体的例子，咱们用个具体的数字。设直角边是 3 和 4，斜边就是 5。
这俩数叫 3-4-5 三角形，是最经典的勾股数。
那面积是多少？先算矩形，$3 times 4 = 12$。 目前看直角三角形，高 $h$ 是多少？用公式 $h = frac{ab}{c}$ 算一下，$h = frac{3 times 4}{5} = frac{12}{5} = 2.4$。 那直角三角形里，$a^2 + b^2$ 是多少？$3^2 + 4^2 = 9 + 16 = 25$。斜边平方是 $5^2 = 25$。彻底吻合。 矩形面积是 12。直角三角形面积是 $frac{1}{2} times 12 = 6$。
那两个小三角形加下的正方形面积是 $2 times 6 = 12$。 什么的，这里仿佛有点不对劲。矩形面积是 12，直角三角形面积是 6。
那 $a^2 + b^2 = c^2$ 对应的面积是 25，而 $ab$ 对应的是 12。
这说明啥？说明 $a^2 + b^2 = c^2$ 对应的图形面积是 25，而 $ab$ 对应的图形面积是 12。 哦，我刚刚的推导有点乱。重新理一下。矩形面积是 $ab$。直角三角形面积是 $frac{1}{2}ab$。
那两个小三角形加下的正方形面积应当是 $2 times frac{1}{2}ab = ab$。 让我们重新算一次。矩形面积 $ab = 12$。直角三角形面积 $frac{1}{2} times 3 times 4 = 6$。
那 $a^2 + b^2 = c^2$ 对应的面积是 25。
这两个加起来是 $12 + 25 = 37$，不等于 $6^2=36$。
哪儿出错了？ 啊，我明白了。
那个“两个小三角形加下的正方形”这个说法实际上是针对特定的构造图。
不管怎么着，代数推导是最靠谱的。$x = 2y + frac{y^2}{a}$ 这个推导是从几何关系解出来的，故此结局肯定是对的。 再试个别的例子。设直角边是 5 和 12。斜边是 13。面积矩形是 $5 times 12 = 60$。直角三角形高 $h = frac{5 times 12}{13} = frac{60}{13} approx 4.61$。$a^2 + b^2 = 25 + 144 = 169$。$c^2 = 169$。也吻合。 这说明不管边长是多少，只要知足直角，斜边平方一直等于两边平方和。
这背后的几何意义是啥？就是在矩形里，把两块小三角形拼起来，正好填满矩形。 总而言之，这就是勾股定理的整个过程。别整那些虚的头子，就看着图，解方程，就得出了结论。
这就是数学的魅力，一步一步走下来，真理就显露出来了。