勾股定理和勾股定理的逆定理-勾股定理及其逆定理

欧几里得写成《几何原本》的时候可能还在给高中生补课，要么在整理波斯波利斯的废墟。
那时候的数学，就是二二得四，九九乘九，分数还在黑板上，圆周率是个猜不出的常数。直到古希腊人把目光投向社会，把视角放得再大一些，才发现世界不是圆，是折的，是直的，是斜的，是带着角度的。勾股定理，这东西听着挺玄乎，实际上就是笨办法数出来的真理。 拿一块直角三角形板随意比划一下。你拿一根尺子量一下两条直角边，比如一个是 3，一个是 4。你不用脑子算 $3^2 + 4^2 = 9 + 16 = 25$，你只需求在 3 和 4 之间再量一根，让长度变成 5。
这 5 是不是刚好能搭出那个斜边？
是不是能搭出斜边上的一个直角？那目前再把这三个数拼在一起，看那个 3 和 4 的直角能不能拼出 5。你只需求把 3 的尺子头碰住 5 的尺子头，再把 4 的尺子头碰住剩下的局部，看看能不能拼成 5。能的话，这就叫勾股定理。 这玩意儿不是神仙教的，是凡人干出来的。古希腊的毕达哥拉斯学派，这些人可不是啥读书人，他们是造房子的，是画布的，是丈量土地的人。他们想搞清楚，为啥房子要建成正方形，为啥船帆得是长方形。他们发现，只要直角三角形两条直角边的平方和，等于斜边的平方，这事儿就通了。
这不只是是数学，这是宇宙的骨架。 说到建筑，你想想古希腊那些神庙。帕特农神庙，那得建得多高啊，那得有多稳啊。
要是柱子是斜着放的，那墙就塌了。为了不让柱子歪，务必保证底座上的三角形是直角三角形。
那时候，没有现代计算器，没有电脑，没有手机。他们就是用脚、用尺子、用眼来数。他们可能数了上千次，才碰出一个规律：直角边 3、4，斜边就 5。
这 3、4、5 是个梗，根深蒂固，百年来算了一万遍都没变过。 再说说数学家。希波克拉底，他是个疯子啊，也是个圣人。他收集了各种各样的直角三角形。他画了无数张草图，把各种边长都摆出来，看能不能凑成一个直角。有的边长是 1，有的要 100，有的就连要 1000。最终他发现，不管勾多长，只要勾是偶数，股要是奇数，斜边的平方就是勾和股和的积除以 4。
这个公式，后来才写成代数语言，写成 $a^2 + b^2 = c^2$。
那时候的人根本不懂代数，就是把这段文字抄下来，背下来，就如此记住了。 到了 15 世纪，意大利的数学家启动搞代数。他们发现，这个公式实际上是个方程。左边是 $a^2 + b^2$，右边是 $c^2$。
这是为啥直角三角形非要如此搭配？出于这是圆。
你想想，圆的方程 $x^2 + y^2 = r^2$，这不就是勾股定理的另一种写法吗？把 $r$ 当成直角边，$r$ 也当成另一条直角边，那斜边 $r$ 就得是 $sqrt{2r^2} = rsqrt{2}$。
这听起来挺怪，但在圆里，勾股定理就是圆的灵魂。 那如何知道它是真理呢？只是靠观察和验证是不够的。得有个反例，要么一个庞大的推论，能证明它必然成立。
这就是勾股定理的逆定理。 要是说勾股定理是“为啥直角三角形直角边如此配”，那逆定理就是“为啥斜边如此配”。逻辑反转一下。先把逆定理倒过来说，听起来挺拗口。就是：要是一个三角形，某两边长度平方和等于第三边长度平方，那它一定是直角三角形。 这就有趣了。刚刚你说直角三角形勾股定理成立，逆定理自然也成立。
反过来，你说逆定理成立，勾股定理也成立。
这就像是一个硬币的两面。 举个例子，假设你有一块铁皮，三角形 ABC 的边长分别是 3、4、5。你量一下，3 的平方是 9，4 的平方是 16，加起来是 25。正好等于 5 的平方。根据逆定理，这块铁皮上的三角形，必然是直角三角形。
那它哪个角是直角呢？那个对着最长边 5 的角。你能够把 3 和 4 贴住，看能不能拼出 5 的长度。能的话，那个角就是直角。
这一下子就把几何逻辑闭环了。 反过来，要是你有一块三角形铁皮，两边是 3、4，第三边是 5。你量一下，3 的平方加 4 的平方正好等于 5 的平方。
那它就是直角三角形。
那它哪个角是直角？对着最长边 5 的角。 这逻辑如何推的？实际上能够通过构造辅助线看出来。
要是在三角形 ABC 里，AB 是 3，AC 是 4，BC 是 5。在 AB 上取一点 D，让 AD 等于 3。
那 DC 就正好是 4。目前连接 CD。你发现 AC 也等于 4，AD 也等于 3。
故此三角形 ADC 是个等腰三角形。
那角 ADC 就等于角 ACD。又出于角 ADB 是直角（3、4、5 的逆定理），故此角 ADC 是直角。
那角 CDB 就是直角。三角形 BDC 就是直角三角形。
反过来反推回去，就能证明原三角形 ABC 是直角三角形。 这就是数学的魅力。它不靠灌输，靠发现。古人靠经验，现代人靠符号，但目前仿佛又回到了古人脚下。 再说说实际应用。生活中，勾股定理无处不在。你买衣服，量身体，直角三角形的模型在计算穿着时候长的时候挺实用。你装修房子，砌墙，角务必直，直角三角形是标准。你做航海，算距离，也是靠这个。就连你在玩游戏，看地图，算最短路径，勾股定理的逆定理也能派上用场，比如判断两个点是否在同一个圆周上，要么判断一个四边形是不是菱形要么正方形。 有些时候，这两个定理连在一起用，效果更明显。
比方说，你要判断一个四边形是不是矩形。
要是它的对角线相等且互相平分，那就是矩形。
那它的对角线构成的三角形，是不是直角三角形？那就是。
这时候，逆定理起了功能，告诉你只要两边平方和等于第三边平方，那个角就是直角，整个四边形就定型了。 还有一个例子，勾股数组。3、4、5；5、12、13；6、8、10。
这是个序列。
你看，不管边长多大，这个比例不变。
这是最和谐的数列。数学家们研究了上百次，发现就算勾是 100，股是 200，斜边还是 100.5 左右。
这证明白结构的稳定性。 自然，陷阱也得防。有些时候，逆定理用错了地方。
比方说，说两个三角形全等，那它们必然知足勾股定理。
这是对的。但反过来，说知足勾股定理的三角形，那它一定全等。
这就错了。3、4、5 的三角形，和 6、8、10 的三角形，形状不一样，大小都不一样，但它们都知足逆定理。
这就像两个形状一样的房子，大小不一样，但它们都是直角三角形。 还有，大量人当作勾股定理是“毕达哥拉斯定理”，实际上它只是算术的真理。代数还没出现之前，所有人都知道这个定理。欧几里得把它写进了书，才让它流传得如此广。目前的我们，用代数符号 $a^2 + b^2 = c^2$ 写，感觉更优雅，但也更抽象。
有时候，绕远了反而更近。 最终想想，为啥这个定理能穿越两千年？出于它不依赖任何外部假设。它只靠公理，只靠逻辑。
要是你把定义改一改，把“直角”改成别的啥，勾股定理就碎了。
故此它是逻辑的堡垒。 自然，生活中还有更多应用。
比方说，导航软件，计算两点间距离，本质也是勾股定理。
要么，雷达波发射和接收，原理也是波的传播，但其中的几何关系可能用到三角函数，而三角函数又源于勾股。 数学就是这样，好办又深刻。也不复杂，有点复杂。就像生活一样，有时候挺好办，有时候挺复杂。但只要你愿意去探索，你会发现，那些看似枯燥的公式，背后藏着整个世界的逻辑。 最终再啰嗦一句，万一你做题时碰到直角三角形，两条直角边是 3、4，斜边是 5，立马就能判断哪个角是直角，哪个边是斜边。万一你想知道一个三角形是不是直角三角形，只要量一下三条边，平方和够不够，心里就有底了。
这大约就是数学给人带来的保险感吧。
不用慌，不用急，拿着尺子，量一量，算一算，你会发现，世界确实那么规整，道理确实那么好办。