勾股定理的逆定理如何证明-勾股定理逆证

先把三个三角形摆桌子上，随意拿个直角三角形，量量边长，勾股定理那个 $a^2+b^2=c^2$ 是定规矩，动作得准才不丢人。目前咱不背公式，直接去验证它的逆定理，看看是不是所有知足这个关系的三角形，本质上都是直角三角形。 先看看最好办的情况。假设我们有一个三角形，三边长分别是 3、4、5。3 的平方是九，4 的平方是十六，加起来正好是二十五，正好等于 5 的平方。
那要是有人给你搭个三角形，告诉你边长也是 3、4、5，你如何能确定它有个直角？实际上挺好办。把 3、4、5 拼起来，用圆规量量的话，你会发现 3 加 4 大于 5，知足三角形存有条件。再按 3、4、5 的比例画个图，你会发现那个角确实是直着坐下来的。
这时候你会发现，勾股定理的逆定理实际上就是说：要是一个三角形知足 $a^2+b^2=c^2$，那它一定有一个角是直角。 为了更有说服力，我们换个路子，用面积法来证。假设有一个三角形，边长是 5、12、13。先算它的面积，用海伦公式。半周长 $s$ 等于 $(5+12+13)/2 = 15$。面积 $S = sqrt{15(15-5)(15-12)(15-13)} = sqrt{15 times 10 times 3 times 2} = sqrt{900} = 30$。另一个思路，把 12 和 13 看成两条直角边，用直角三角形面积公式算出来也是 $12 times 13 / 2 = 78$。
什么的，这两个结局不一样啊。
哪儿出错了？哦，是我瞎想象，12 和 13 是直角边的话，斜边只能是 $sqrt{144+169}=sqrt{313}$，不是 13。12 和 13 能构成直角三角形的话，第三边得是 $sqrt{144+169} approx 19.4$ 要么反过来。我们要证明的是 5、12、13 是直角三角形的话，那斜边肯定是 13。
那要是两边是 5 和 12，第三边平方是 $25+144=169=13^2$，这就对了。 再想个更直观的几何构造。拿一张纸，画个直角坐标轴。在点 O 处画个直角。OX 轴上取点 A，使得 $OA=3$；OY 轴上取点 B，使得 $OB=4$。目前连接 AB，再在 AB 上取点 C，使得 $OC=5$。我们来看看这个三角形 OAB 和三角形 OCA。
起初，$OA^2+OB^2 = 3^2+4^2=9+16=25$，而 $OC^2=5^2=25$。
故此 $OA^2+OB^2=OC^2$。
这看起来像是直角三角形逆定理，但这里有个小难题，C 点是在 AB 线段上的吗？在直角坐标系里，AB 线的方程是 $y = frac{4}{3}x$。C 点在圆 $x^2+y^2=25$ 和直线 $y=frac{4}{3}x$ 的交点上。解方程组发现，C 点的坐标确实是 (12, 16/x) 之类，算一下距离，OA 是 3，OC 是 5，CB 的长度呢？BC 的水平距离是 $5cosalpha$，垂直距离是 $5sinalpha$。
实际上不用如此复杂，直接看三角形 OCA 和 OBC。OA=3，OC=5，AC=4（出于 AB=5，OC 垂直 AB 的话...不对，OC 是斜边？）。 重新梳理一下，最稳妥的逆定理证明实际上是反证法结合几何性质。要证 $a^2+b^2=c^2 implies C=90^circ$。假设 $C neq 90^circ$，那三角形就不可能是直角三角形。但反过来，要是 $a^2+b^2=c^2$，我们能够构造一个以 $a,b,c$ 为边的三角形，这个三角形内角和务必是 180 度。
要是 $a^2+b^2=c^2$，根据余弦定理，$cos C = frac{a^2+b^2-c^2}{2ab} = 0$。
故此角 C 务必是 90 度。
这听起来像是已知定理，但它是通过代数操作反推出来的几何事实。 让我们具体算个例子。假设我们有一个三角形，边长分别是 6、8、10。我们随意画个图，把这三条线段连接起来。先量 6 和 8，用圆规叠在一起，直角符号正好落在斜边 10 上。
这时候你会发现，原来的结构变样了，变成了一个标准的直角三角形。
反过来，要是给你说有一个三角形，它的边就是 6、8、10，你拿尺子去量，你会发现 6 和 8 的夹角确实是直角。
这时候你再拿个圆规量一下，6 加 8 确实大于 10，这符合三角形定义。
要是有人说这个三角形不是直角三角形，那你用余弦定理算，$cos C = (36+64-100)/(2times6times8) = 0$，这就矛盾了，故此它务必是直角三角形。 再举个更有生活气息的例子。
比如一个勾股数三角形，边长是 5, 12, 13。想象你有一块地，边长分别是 5 个单位、12 个单位和 13 个单位。
你想给这块地盖个房子，但不知道哪个角是直角。你随意量量，发现 5 和 12 的平方和正好等于 13 的平方。
这时候你心里想“哦，原来这个角是直角”。
实际上这就是逆定理在起功能。别看你本来可能当作它是斜边挺长的钝角三角形，但数据强行告诉你它是直角三角形。 实际上还有一个更好办的反证思路。假设存有一个三角形，边长是 3、4、5，但它不是直角三角形。
这在欧几里得几何里是不可能的，出于三角形内角和务必是 180 度。
要是它不是直角，那三个角里起码有两个锐角。设两个锐角为 $alpha$ 和 $beta$，第三个角为 $gamma$。
要是 $gamma < 90$，那 $alpha+beta > 90$。但根据余弦定理，$cos^2 alpha + cos^2 beta + dots$ 实际上推不出非直角。还是用代数最清楚：$cos C = frac{a^2+b^2-c^2}{2ab}$。
要是 $a^2+b^2=c^2$，那分子就是 0，$cos C=0$，$C=90$。
这一步骤，就是逆定理的核心逻辑。它告诉我们，只要数据知足那个平方和的关系，几何图形就自动坍缩成直角形状。 最终再啰嗦一句。
这种证明别看好办，但背后藏着微积分的极限思想，也是欧几里得几何大厦的基石。
只要记住 $3^2+4^2=5^2$ 这个经典勾股数，就能明白无数变体都指向同一个结论。
故此，当你能看到边上任意两边平方和等于第三边时，你只需求眨眨眼，就知道那个角已经是直角了。
毕竟，在几何的世界里，数据讲话，眼见为实，心算也能算得透。