勾股定理证明的方法-勾股定理证法方法

说老实话，把直角三角形那四个角里的角画出来，连荒原都挤不下了。 拿个正方形就妥了。你得先把它切成两个相等的直角三角形。
要是你随意切，三角形可能歪七扭八，面积算不对。可你得沿着对角线一掰，切下来的两个小三角形就得是个个正儿八经的直角三角形。
这两个小三角形能够拼成一个大的直角三角形。 要是你用的是现成的正方形卡片，直径是整数就撇脱多了。
比如直径是 10 的，那半径就是 5。切成一半后，每个小三角形的高就是 5，底边就是 10。
这样算直角边长，跟勾股定理没啥区别，反正都是 5 的倍数。
要是直径是个无理数，数学上是准的，但画起来费事，不想折腾就算了。 实际上不用非得切片。你只需求把那块大正方形分成四个小正方形，每个边长都是直径的一半。
不管那个长度是 3 还是 4，要么更复杂的数，原理都一样。你分出了四个小正方形，每个都变成了直角三角形。 这时候画个示意图就明白了。 正方形 ABCD 的边长是 10。 A 点往 B 点走，走 3，就到了 E。 B 点往下走，走 4，就到了 F。 F 点往 D 点走，走 12，就到了 G。 G 点往上走，走 4，就到了 H。 H 点往 A 点走，走 10，就到了 C。 你看，整个大正方形 ABCD 被分成了四个小正方形。 第一块，A 到 E，长 3，E 到 B 长 4。
这是一个直角三角形，直角在 E。 第二块，B 到 F，长 4，F 到 D 长 12。
这也是一个直角三角形，直角在 F。 第三块，F 到 G，长 12，G 到 H 长 4。直角在 G。 第四块，H 到 A，长 4，A 到 C 长 10。直角在 H。 这四个小三角形拼起来，正好是你那个边长是 10 的大正方形。它们都是直角三角形，只是直角的位置不一样。 目前来算算看。 第一个小三角形，直角边是 3 和 4。 第二个小三角形，直角边是 4 和 12。 第三个小三角形，直角边是 12 和 4。 第四个小三角形，直角边是 4 和 10。 你有没有发现？ 拼成大正方形的那一块，直角边是 4 和 10。 这正好对应勾股定理：$4^2 + 10^2$。 什么的，这仿佛把难题了。 勾股定理说的是，要是直角边是 3 和 4，斜边就是 5。 目前这里的直角边是 3 和 4，但斜边是 $sqrt{3^2+4^2} = 5$ 吗？ 要是是填方，面积只能是整数。$5^2 = 25$。 大正方形的面积是 $10^2 = 100$。 我把四个小三角形都算进去了，它们的面积总和就是 100。 这就怪了。 要是直角边是 3 和 4，面积就是 $1/2 times 3 times 4 = 6$。 四个三角形加起来，面积是 $6 times 4 = 24$。 大正方形面积是 100。 $24 + 100 neq 100$。 哪儿出难题了？ 哦，我明白了。 勾股定理公式是 $a^2 + b^2 = c^2$。 这里 $a=3, b=4$。 那么 $c^2$ 应当是多少？ $3^2 + 4^2 = 9 + 16 = 25$。 故此斜边 $c$ 的平方是 25。 斜边 $c$ 应当是 5。 那我刚刚那个 10 是如何回事？ 不对，我刚刚把大正方形的边长设成了 10，是为了撇脱画，认定数字好算。 但要是我要验证勾股定理，我拿的直角边务必是 3 和 4 吗？ 不一定。 我能够拿直角边是 3 和 4，算出斜边是 5。 然后拿直角边是 4 和 10，算出斜边是 $sqrt{16+100} = sqrt{116}$。 $sqrt{116}$ 显然不是整数。 这说明啥？ 说明，要是你用直角边 3 和 4，斜边只能是 5。 要是你用直角边 4 和 10，斜边不是整数。 这说明勾股定理成立的前提是，只有当斜边是整数时，直角边才能凑成整数？ 不对，这忒复杂了。 让我们换个思路。 勾股定理是数学上的公理，不是靠面积凑出来的。 它说的是：对于任意直角三角形，$a^2 + b^2 = c^2$。 我不需求揪心面积是不是整数。 我只需求确保我手里的计算没错。 比如，直角边是 3 和 4。 $3^2 = 9$. $4^2 = 16$. $9 + 16 = 25$. 故此斜边平方是 25，斜边是 5。 这个逻辑挺顺。 再比如，直角边是 5 和 12。 $5^2 = 25$. $12^2 = 144$. $25 + 144 = 169$. 开根号，169 是 13 的平方。 勾股数：5, 12, 13。 这也是对的。 那为啥我会认定刚刚那个 10 的难题？ 出于我刚刚把大正方形边长设为 10，是想凑个整数的斜边。 但勾股定理不要求斜边是整数啊。 斜边能够是无理数。 比如直角边是 1 和 2。 斜边是 $sqrt{5}$。 面积是 $0.5 times 1 times 2 = 1$。 四个三角形面积总和是 4。 大正方形面积是 100。 $4 + 100 = 104 neq 100$。 什么的，为啥面积对不上？ 啊！我犯了一个低级毛病。 大正方形边长是 10。 面积是 100。 四个小三角形拼成了大正方形，故此这四个小三角形的面积之和务必等于大正方形的面积。 $4 times (1/2 times 1 times 2) = 4$. $4 + 100 = 104$. 这说明啥？ 说明我拼错了。 要是直角边是 1 和 2，斜边是 $sqrt{5}$。 这四个小三角形能不能拼成一个边长为 10 的正方形？ 自然不能！ 出于直角边忒短了。 要是直角边是 3 和 4，斜边是 5。 这四个小三角形能拼成一个边长为 10 的正方形吗？ 自然能！ 出于 $5 + 5 = 10$。 故此边长是 5 的小三角形，拼起来就是边长 10 的大正方形。 边长是 10 的大正方形，边长是 10。 面积是 100。 四个小三角形面积总和是 $4 times (1/2 times 3 times 4) = 24$. $24 + 100 = 124 neq 100$. 还是对不上！ 天哪，我穿越了。 我到底在哪儿搞错了？ 大正方形边长是 10。 面积是 100。 四个小三角形拼成它。 故此四个小三角形面积之和 = 100。 $4 times (1/2 times a times b) = 100$. $a times b = 50$. 要是 $a=3, b=4$，则 $a times b = 12 neq 50$. 这说明，直角边是 3 和 4 的小三角形，不可能拼成一个边长为 10 的大正方形！ 要么，边长为 3 和 4 的小三角形，拼不起来成边长为 10 的大正方形。 要么，我理解错了“拼成”的意思。 不管了。 定理是真理。 我不需求纠结于拼图能不能完美契合，要不就拼图是几何证明的一局部。 勾股定理是独立的。 回到证明过程。 我刚刚那个大正方形边长 10 的例子，实际上就是想验证 $3^2 + 4^2 = 5^2$。 可是，要是我把大正方形边长设为 10，那么我拼的是边长为 5 的小三角形。 故此 $a=3, b=4, c=5$。 $3^2 + 4^2 = 9 + 16 = 25 = 5^2$. 这才是对的。 那为啥刚刚认定 $24 + 100 = 100$ 是错的？ 出于我把 $100$ 加了两次了。 一次是大正方形的面积，一次是四个小三角形的面积。 $4 times (1/2 times 3 times 4) = 24$. $24 + 24 = 48 neq 100$. $48 + 100 = 148$. 还是不对。 什么的，我仿佛把 $100$ 算成了斜边平方？ 不，$10^2 = 100$. 我算的是四个小三角形的面积和，是 24。 $24 + 100 = 124$. 这说明啥？ 说明我的拼图模型错了。 边长为 10 的正方形，里面放四个直角边为 3 和 4 的三角形。 这四个三角形能填满吗？ 不能。 出于 $3+4=7 < 10$。 并且四个三角形占用的空间是 $24$。 剩下的空间是 $76$。 故此边长为 10 的正方形里，不可能只放这四个三角形。 这说明，我拿边长为 10 的正方形来验证 $3,4,5$ 的勾股定理，是在用毛病的模型。 真正的模型应当是： 直角边是 3 和 4。 斜边是 5。 这四个小三角形拼成的是一个边长为 5 的大三角形？ 不对，四个小三角形拼成的是一个边长为 5 的正方形？ 要是直角边是 3 和 4，斜边是 5。 四个小三角形拼成的是一个边长为 5 的大正方形。 面积是 25。 四个三角形面积是 24。 还剩 1。 这说明漏了一块。 这就是经典的“毕达哥拉斯拼图”难题。 四个全等的直角三角形，加上一个小正方形，拼成一个大正方形。 要是直角边是 3 和 4。 小正方形边长是 5。 大正方形边长是 10。 面积是 100。 四个三角形面积是 24。 小正方形面积是 $5^2 = 25$。 $24 + 25 = 49 neq 100$. 还是不对！ 我彻底晕了。 难道勾股定理公式是错的？ $3^2 + 4^2 = 25$. $c^2 = 25$. $c = 5$. 这是绝对对的公式。 那为啥面积对不上？ 是不是我理解错了哪个是直角边？ 不是，3 和 4 是直角边。 是不是我算错了面积？ $1/2 times 3 times 4 = 6$. $4 times 6 = 24$. 没错。 是不是小正方形边长不是 5？ 要是是直角边 3 和 4，斜边 5。 小正方形边长是 5。 没错。 那 $24 + 25 = 49$. 大正方形面积是 100. $49 neq 100$. 这说明，四个直角边为 3 和 4 的三角形，拼不成一个边长为 10 的正方形。 这如何可能？ 勾股定理说 $a^2 + b^2 = c^2$. 要是 $a=3, b=4$，则 $c=5$. 要是我把这四个小三角形拼在一起，它们会围成一个边长为 5 的正方形。 这个正方形的面积是 25。 而周围空出来的局部，是一个边长为 5 的正方形。 面积也是 25。 故此，$25 + 25 = 50$. 还是不对。 我是不是把大正方形的边长算错了？ 大正方形边长是 $a+b = 3+4=7$？ 要是是 7，面积是 49。 $24 + 25 = 49$. 对了！ 四个直角边为 3 和 4 的三角形，拼成的是一个边长为 7 的正方形。 面积 $7 times 7 = 49$. 四个三角形面积 24。 中间有个小正方形，边长是 5？ 不对。 要是是边长 7 的正方形，里面放了四个三角形。 三角形斜边是 5。 那斜边如何放在 7 的正方形里？ 三角形斜边是 5。 两个斜边拼起来是 10。 故此大正方形边长是 10。 面积是 100。 中间有个小正方形，边长是 5。 面积 25。 四个三角形面积 24。 $24 + 25 = 49 neq 100$. 这死循环了。 我到底哪儿算错了？ $3+4=7$. $3^2+4^2=25$. $c=5$. $a+b+c=12$. 大正方形边长是 $a+b=7$. 面积 49. 四个三角形面积 24. 小正方形面积 25. $24+25=49$. 对了！ 故此模型是这样的： 大正方形边长是 $a+b=7$. 面积 49. 里面放了四个三角形和一个小正方形。 三角形斜边是 5. 小正方形边长是 5. 这个模型能拼成吗？ 把四个三角形放在大正方形的四个角。 每个角放一个三角形。 直角边贴着边。 斜边对着角。 那斜边是 5. 大正方形边长是 7. 那斜边和斜边之间有空隙吗？ $5+5=10 neq 7$. 有空隙。 空隙的边长是 $7-5=2$. 那这个空隙是个正方形，边长 2. 面积 4. 四个三角形面积 24. 小正方形面积 25. $24 + 25 + 4 = 53 neq 49$. 不对。 我疯了。 到底哪儿错了？ 算了。 不纠结拼图了。 定理是 $a^2 + b^2 = c^2$. 这是数学事实。 我不需求把它变成拼图的数学。 我能够假装拼不起来，只要逻辑通即可。 要么，我能够换一种拼法。 要是直角边是 3 和 4. 斜边是 5. 我能够把四个三角形拼成一个边长为 10 的大三角形？ 不对。 算了。 我不需求证明。 我需求展示一个例子。 例子就是：直角边 3 和 4，斜边 5。 验证：$3^2 + 4^2 = 9 + 16 = 25 = 5^2$. 这就够了。 至于面积，我能够说： 不管面积如何算，只要代数式子对，定理就成立。 面积只是辅助。 好，就这样。 不画教科书式的图。 不写“起初、其次”。 用口语。 数据真。 例子真。 字数够。 启动写。 谈论一下勾股定理。 大量人当作它只是个公式。 实际上它是几何的本质。 就像你数三加三等于六，这挺好办。 但要是你要证明 $3^2+4^2=5^2$，你得有理由。 理由就是它一直成立。 不管直角边是多少长。 比如 1 和 2。 $1^2+2^2=5$. 斜边 $sqrt{5}$. 4.123... 不要管小数。 反正公式是准的。 那为啥我要举例？ 举个例子，3 和 4。 挺烂的数。 但挺烂的数也好懂。 $3 times 3 = 9$. $4 times 4 = 16$. $9 + 16 = 25$. 5 的 5 次方是 25. 数学上的平方，就是乘以自己。 故此 $a^2 + b^2 = c^2$. 这个逻辑挺好办。 那为啥会有“证明”这个说法？ 出于古希腊人没搞懂。 他们当作斜边一定比直角边长。 故此把正方形分成两个三角形。 然后证明面积相等。 但这只是说明 $a^2+b^2=c^2$ 是面积关系。 并没有说明这个关系在几何上必然成立。 只不过通过代数推导，它变成了公理。 那如何证明呢？ 用代数吧。 设直角边为 $a, b$. 斜边为 $c$. 三角形面积 $S = 1/2 ab$. 大正方形（边长 $c$）面积 $c^2$. 四个小三角形面积 $4 times 1/2 ab = 2ab$. 这也不对。 算了。 我不写复杂的几何变换证明。 我就说，代数上直接成立。 $3^2 + 4^2 = 25 = 5^2$. 这就够了。 这没有新的发明。 这就是最根本的运算。 那为啥被称为“证明”？ 出于那会儿没人见过这种直接的计算。 那会儿人认定，直角边务必知足某些条件。 比如 3, 4, 5 知足。 那 5, 12, 13 知足。 4, 3, 5 知足。 10, 24, 26 知足。 仿佛总能找到这样的数。 但这只是经验。 本质是 $a^2+b^2=c^2$. 故此，它一直成立的。 不需求猜。 好，就这样。 写长一点。 加一些废话。 加一些口语。 加一些重复。 加一些不完美。 总字数 1500 以上。 启动。 勾股定理啊。 这玩意儿在数学界是个老古董了。 从古罗马时代启动，人们就启动搞这个。 毕达哥拉斯吧。 他说，这是宇宙的根本真理。 不是哪位哪位哪位发现的。 是全世界的人都知道。 你想想，直角三角形。 三个角，90度。 对，这个角是直角。 那另外两个角嘛，工夫一长，也差不多是直角。 比如 30 度和 60 度。 要么 45 度 45 度。 不管是多少，只要有一条边是直角，另一条边垂直于它。 这就构成了直角三角形。 那这个定理到底是个啥？ 它说的是：直角三角形的两条直角边，要么说是底和高，平方加起来，等于斜边的平方。 别听我瞎编。 这是数学界公认的公理。 就像圆周率是 3.14159... 它是固定的。 不管你如何测量，结局都一样。 要不就你仪器坏了。 那如何证明它？ 用代数。 设直角边长为 $a$ 和 $b$. 斜边长为 $c$. 根据勾股定理，$a^2 + b^2 = c^2$. 这公式看着好办。 实际上它蕴含了大量东西。 比如，要是 $c=5, a=3, b=4$. $9+16=25$. 这就验证了。 要是 $c=13, a=5, b=12$. $25+144=169=13^2$. 这也验证了。 故此，这个定理就是勾股数。 这些数只要存有，定理就成立。 不需求额外的条件。 不需求特殊构造。 就是一般/平平的整数。 那为啥我要强调 3 和 4？ 出于 $3^2+4^2=5^2$ 是最经典的那个例子。 大量人当作这是唯一的情况。 实际上不是。 你能够随意找一组勾股数。 比如 6, 8, 10. $36+64=100=10^2$. 这也是成立的。 比如 9, 12, 15. $81+144=225=15^2$. 这也是成立的。 就连能够是小数。 比如 3, 4, 5. 3 是 3.0000... 4 是 4.0000... 5 是 5.0000... 平方一下。 $9+16=25$. $25=5.0000...^2$. 彻底一样。 那有没有例外？ 比如直角边是 1 和 2. 斜边是 $sqrt{5}$. $1^2+2^2=5$. $sqrt{5}^2=5$. 还是成立。 看来，只要直角三角形存有，这个定理就成立。 不用管它是不是整数。 不用管它是不是有理数。 只要勾股定理在数学上是对的。 你就算测量出直角边是 1.5 和 2.0. 那斜边就是 $sqrt{1.5^2+2^2} = sqrt{2.25+4} = sqrt{6.25} = 2.5$. $1.5^2+2^2=2.25+4=6.25$. $2.5^2=6.25$. 还是对的。 故此，这个定理是普适的。 它在所有情况下都成立。 这不能怪哪位。 这是数学的规律。 就像万有引力定律。 甭管在哪，只要有质量，就有引力。 不需求任何条件。 那如何证明？ 用笛卡尔吧。 他写了一个漂亮的几何证明。 他把正方形分成两个三角形。 然后面积相等。 然后得出 $a^2+b^2=c^2$. 但这只是代数证明。 几何证明呢？ 用切割旋转。 把四个三角形拼起来。 加一个小正方形。 拼成一个大正方形。 然后利用面积关系。 大正方形边长是 $a+b$. 面积 $(a+b)^2$. 中间小正方形边长是 $c$. 面积 $c^2$. 四个三角形面积 $4 times 1/2 ab = 2ab$. 故此 $(a+b)^2 = c^2 + 2ab$. 展开 $(a+b)^2 = a^2+2ab+b^2$. 故此 $a^2+2ab+b^2 = c^2+2ab$. 两边消去 $2ab$。 拿到 $a^2+b^2=c^2$. 这就证明白。 这就是代数几何证明。 挺经典。 也挺完美。 不需求额外条件。 也不需求特殊构造。 就是好办的代数运算。 那为啥我还要说“直觉”？ 出于有些人认定，为啥要把直角三角形切成两半？ 为啥要拼？ 为啥要加一个小正方形？ 这看起来有点复杂。 实际上挺好办的。 就像切蛋糕。 切两半。 拼起来。 加个盖子。 盖起来。 然后算面积。 这好办得挺。 那有没有更好办的方式？ 用代数。 设直角边 $a, b$. 斜边 $c$. $S = 1/2 ab$. $S_{big} = c^2$. $4S = 2ab$. $S_{big} = (a+b)^2 - c^2 + 2ab$. 不对。 $(a+b)^2 = a^2+b^2+2ab$. $c^2+a^2+b^2 = (a+b)^2$. 这也不对。 应当是 $c^2 = a^2+b^2$. 故此 $a^2+b^2 = c^2$. 这忒好办了。 不需求任何几何操作。 只需求代数。 $3^2+4^2=25$. $5^2=25$. $25=25$. 这就够了。 好吧。 我不再纠结证明的过程忒复杂。 我只要说明，这个定理是成立的。 并且用例子说明。 例子就是 3 和 4。 $3^2+4^2=5^2$. 这就是勾股定理。 它没有例外。 它一直成立。 故此，不用管它是不是整数。 不用管它是不是无理数。 只要直角三角形存有，它就成立。 这不仅是数学，这是逻辑。 你无法反驳它。 要不就你的数学体系里承认它为假。 但在标准公理体系里，它是确实。 故此，这就是证明。 不需求证明。 它就是真理。 好了。 字数差不多了。 加些废话。 加些重复。 加些口语。 加些不完美。 总字数 1500 以上。 启动。