勾股定理证明原则-勾股定理证明原则

我在网上搜了各种网课，讲勾股定理的，发现大量人都是照本宣科，先把两个直角三角形拼起来，如图 4-2 那样，长直角边加短直角边，再减去最长直角边，最终得出一个正方形等于两个小正方形加起来。
这听起来挺顺眼，但仔细一琢磨，总认定仿佛绕了个弯儿。 我先试着自己推导一下。假设直角三角形的两条直角边分别是 $a$ 和 $b$，斜边是 $c$。
那个“正方形面积等于两个小正方形面积和”的结论，实际上就是说 $c^2 = a^2 + b^2$。为了验证这个结论对不对，关键在于如何证明这个关系成立。 要是用代数推导，那就挺好办了。在一个直角三角形里，画一个高，从直角顶点把斜边分成了两段，长度分别是 $p$ 和 $q$。根据射影定理要么相似三角形，$p^2 = ac$，$q^2 = bc$，$c^2 = a^2 + b^2$。
这确实是个定理，但如何弄明白它呢？ 实际上核心在于那个“三个数平方和等于两倍大数次方”的图景。当 $a$ 和 $b$ 不相等时，那个中间的正方形面积是 $a^2 + b^2$，而两边的小正方形面积分别是 $ac$ 和 $bc$，加起来也是 $c(a+b)$。
要是 $a$ 和 $b$ 相等，中间的正方形面积就是 $2a^2$，两边就是 $2ac$，加起来是 $2ac$。
故此总共有 $2a^2$，也就是 $2a times a = 2a^2$。
这说明甭管三角形是不是等腰，那个恒等式 $c^2 = a^2 + b^2$ 都是成立的。 至于如何证明这个恒等式，能够用面积法。把两个全等的直角三角形拼成一个大等腰直角三角形。大三角形的斜边就是 $c$，两条直角边分别是 $a$ 和 $b$。根据相似三角形性质，底边上的高 $h$ 知足 $h^2 = pa^2$ 和 $h^2 = pb^2$ 吗？不对，应当是 $h^2 = ac$ 和 $h^2 = bc$ 这个结论是错的，射影定理才是 $c^2 = a^2 + b^2$ 的推论。 对推导应当是：把两个直角三角形斜边重合拼成一个等腰直角三角形。设直角边为 $a, b$，斜边为 $c$。
那么这个新三角形的直角边实际上就是 $a$ 和 $b$ 吗？不，应当是设一个直角边为 $x$，另一个为 $y$，斜边为 $z$。
那 $z^2 = x^2 + y^2$。 我想用具体的例子来直观感受。设 $a=3, b=4$。
那 $c^2$ 应当是 $9+16=25$，故此 $c=5$。
要是在 $3-4-5$ 三角形里算高，高 $h = frac{ab}{c} = frac{12}{5} = 2.4$。
那么底边上的两段分别是 $p = frac{a^2}{c} = frac{9}{5} = 1.8$ 和 $q = frac{b^2}{c} = frac{16}{5} = 3.2$。检查一下 $p+q = 1.8+3.2 = 5 = c$，没难题。再看面积，$S = frac{1}{2} times 3 times 4 = 6$。大三角形 $S = frac{1}{2} times 5 times 2.4 = 6$。
这也对。 目前看那个“三个数平方和”的图景。在 $3-4-5$ 里，$3^2=9, 4^2=16, 5^2=25$。$9+16=25$。
这符合 $c^2 = a^2 + b^2$。
那 $2a^2$ 应当是 $2 times 9 = 18$，$2b^2$ 是 $2 times 16 = 32$，加起来 $18+32=50$。而 $2 times c^2$ 是 $2 times 25 = 50$。彻底吻合。 这个结论之故此叫“勾股定理”，是出于它描述了直角三角形三边的数量关系。
要是边长是整数，这个关系就特别漂亮。
比如 $3-4-5$ 三角形，$9+16=25$。$5-12-13$ 呢？$25+144=169=13^2$。$8-15-17$？$64+225=289=17^2$。
这些“完美匹配”的感觉，让大量人认定勾股定理是宇宙规律的一局部，而不是数学公式。 但在数学上，这只是一个代数恒等式。真正的挑战在于，甭管三角形形状如何变化，只要它是直角三角形，这个等式一辈子成立。
这直接害得了“数形结合”的思想。几何图形供给了直观，代数推导供给了严谨，数值计算供给了验证。 举例说明，要是 $a=12, b=5$，那 $c^2 = 144+25=169$，$c=13$。
这种组合在勾股数里时常出现。
反之，要是尝试凑出这样的三角形，往往挺难。
这说明勾股定理不仅描述了直角三角形的内禀性质，还隐含着整数解的稀疏性。 最终回到那个“正方形面积”的说法。当 $a=b$ 时，中间的正方形面积是 $2a^2$，两边是 $2ac$，加起来 $2a(a+c)$。而总共有 $2a^2$，也就是 $2a times a = 2a^2$。
这说明 $a^2+a^2 = 2a^2$，这没有供给新信息。但当我们取一个无理数边长，比如 $a=1, b=sqrt{3}-1$（近似），然后算 $c^2 = 1 + (sqrt{3}-1)^2 = 1 + 3 - 2sqrt{3} + 1 = 5 - 2sqrt{3}$。
这时候 $2a^2 = 2$，$2c^2 = 10 - 4sqrt{3}$。计算起来会挺费事，但代数上一辈子相等。 所谓的“正方形等于两个小正方形面积和”，实际上就是 $c^2 = a^2 + b^2$ 的几何解释。它告诉我们，以斜边为边长的正方形，其面积恰好等于以直角边为边长的两个正方形的面积之和。
这就像拼图一样，把两个大正方形拆分成两个小正方形和一个中正方形，通过平移和旋转，总能拼成一个整个的正方形。 别看教科书喜爱用“起初...其次..."，但我认定这种结构忒僵化了。数学真理往往藏在细节里，藏在数据里，藏在无数具体的图形里。
比如看到 $3-4-5$，脑子里直接浮现出那个正方形被切成两半的画面，而不是先做代数运算。 勾股定理的证明，本质上就是让人看到了这种“数”与“形”的对应关系。它不只是是一个公式，它是一种思维方式，一种在这个复杂世界里寻找规律的本事。当你看到 $25 = 9 + 16$ 时，你看到的不只是是数字，而是直角三角形的骨架。
这种直观的震撼，比任何繁琐的推导都更能让人记住这个定理。
毕竟，数学的魅力在于它既能开出花朵（简洁的证明），又能长出树木（无数的应用和数值验证）。 故此，勾股定理的证明原则，就是让那个“五的平方等于三和四的平方”的魔法，在每一个直角三角形里都重新上演。
不要想着去证明它，而是要去感受它。去感受那个拼合时的顺滑，去计算那些整数解时的愉悦，去见证那个永恒不变的等式。
这就是我们要做的。