证明勾股定理逆定理-验证勾股定理逆定理

楼上的楼，这题做出来真挺解倔的。大量人一到这儿就认定“哎呀，两道勾股定理，那是不是直接比边比边啊？”，结局一算错得有个零大工。
实际上这题的精髓，在于那个“逆”字，得从正着走通才明白。 咱们不整那些教科书上头头的“起初其次最终”了，直接上干货。你手里拿着一个钝角三角形，三条边长分别是 3、4、5。
这时候，你的脑子里会蹦出个小问号：这个角到底长啥样？是直角吗？ 大量人一上来就想算平方差，$3^2 + 4^2 = 9 + 16 = 25$，而 $5^2$ 也是 25。
哎哟喂，嘿，对上了！但这步走忒顺溜了，好办让人形成错觉，当作这就是定理的结论，实际上这只是个巧合。定理真正的逻辑是反过来的：要是已知两条边的平方和等于第三条边的平方，那这两条边夹的角，务必是直角。 这就好比你在砌墙，要是两腿之间的距离（斜边）长度刚好等于你量出来的另外两边长度（直角边）的平方和，那这就意味着墙角是封死的，没法再往里缩了。
反过来，要是那墙角能往里缩，两边长度一平方加起来，居然碰巧等于斜边平方，那这墙角就一定是 90 度。 为了把这逻辑给掰直了，咱们来点实在的。 再看一个例子。假设你有个三角形，边长是 6、8、10。
这看起来跟刚刚那个 3、4、5 的模型一样规整。
这时候要是让你画个图，你会认定这肯定是个直角三角形，出于 36 加 64 等于 100。但千万别急着下结论。你能够试着把边长拆成几份，要么在纸上折叠。 这时候你会发现，把长度为 6 的边和 8 的边拼在一起，它们的平方和确实是 100，也就是 10 的平方。但这并不妨碍这个三角形被“踹”成一个锐角。
比如在边长为 6 和 8 的夹角处画个 30 度的角，你会发现画出来的斜边长度，用余弦定理一算，$100 - 72 - 96 = -68$，这得是负数，显然不对。 什么的，负数说明啥？说明这个 30 度的角忒大了，超出了 90 度。
要是角是 150 度呢？$6^2 + 8^2 - 2 times 6 times 8 times cos(150^circ)$，这算出来的斜边就是 10 了。 这就把话说圆了。在 6、8、10 这个三角形里，若角 A 的余弦值为正，那是锐角；若角 A 的余弦值为负，那是钝角？不对，余弦定理的系数搞反了。应当是：$c^2 = a^2 + b^2 - 2ab cos C$。 要是 $cos C > 0$，那 $c^2 < a^2 + b^2$，角 C 是锐角； 要是 $cos C = 0$，那 $c^2 = a^2 + b^2$，角 C 是直角； 要是 $cos C < 0$，那 $c^2 > a^2 + b^2$，角 C 是钝角。 故此，判断是否直角，实际上就是看余弦值是不是零。而余弦值为零，意味着角度的正负弦值刚好抵消了两边的平方。 再比如，你拿剪刀剪个三角形，剪出来的三边分别是 2、3、4。
这时候，$2^2 + 3^2 = 4 + 9 = 13$，而 $4^2 = 16$。$13$ 不等于 $16$，故此这不是直角三角形。但要是你拿剪刀剪个三角形，剪出来的三边是 3、4、5，那 $3^2 + 4^2 = 25 = 5^2$，这时候这个角就是直角。 这就够了。
不用去纠结那些“要是...那么..."的套话。数学有时候就是这样，它不在乎流程有多复杂，它只在乎结论对不对。
只要 $a^2 + b^2 = c^2$ 成立，那这个角就是直角，这是铁一般的真理。 有时候你会认定这忒好办了，就连质疑自己是不是想多了。
这时候请记住，勾股定理逆定理就是用来“验”的。当你看到任意两边平方和等于第三边平方时，你就知道这三角形是直角三角形；反之，只要知道是直角三角形，你就能断言任意两边平方和等于第三边平方。 你这逻辑，是不是目前脑子里已经清亮了不少？别整那些虚头巴脑的，直接动手做，把剪刀拿出来，去剪几个三角形，看看能不能把 $a^2 + b^2 = c^2$ 这个公式焊死在脑子里。