勾股定理的内容及证明-勾股定理及证明内容

勾股定理：天地间的几何直觉 想象一下，你手里有一块直角三角形的硬纸板，要么是一片草地，上面画着三条线段。其中一条边垂直于另外两条，这就构成了一个直角三角形。
要是你把它的三条边长度加起来，数字会大得惊人。但这并不是出于三条边确实长，而是出于它们连接起了三个不同的坐标点。 在数学的世界里，有个规则专门管这类三角形。它叫勾股定理。
听起来有点玄乎，实际上它讲的是一个贼直观的道理：在一个直角三角形里，斜边上那条最长的边，它的平方数，正好等于另外两条直角边的平方数之和。 让我们试着用最笨但最可靠的方式来拆解它。拿一张白纸，画一条水平线，再画一条垂直线，形成一个直角。
然后在这两条线上分别取一点，把长度为 3 的线段摆上去，取长度为 4 的线段摆上去。你会发现，甭管你如何画，只要直角保持不动，斜边的长度就是 5。
要是你用尺子量一量，你会发现 3 的平方 9 加上 4 的平方 16，正好等于 25，也就是斜边的平方。
这个规律在无数张纸上都成立，就连在你的电脑屏幕上也能验证。 再换个角度，把视角放大到整个宇宙。拿一个正方体，把它的六个面染色。想象你站在一个角上，往四周看，你会发现围绕着那个角的棱，刚好有 3 条。而每两条相邻棱之间的夹角，就是一个直角。在这个结构中，每条棱的长度都是 1。
要是我们计算围绕这个角的所有棱的平方和，结局是不是 9？再加上三条垂直棱的平方，又是 9。加起来总共是 18。而面对这个角的对面，那个面对角线正方形的面积是 2。
什么的，这里仿佛有点不对劲。 不对，我们要算的是空间对角线的平方。从顶点到底对面那个点的距离。
要是每条棱长是 1，那么这个距离的平方是多少呢？答案是 3。
你看，3 加 3 等于 6。而正方体那个面对角线长度是 2，它的平方是 4。4 加 6 等于 10？也不对。啊，我算错了。每个面都是 1x1 的正方形，面积是 1，六个面加起来是 6。空间对角线是从一个顶点到正对面的顶点，经过两次面。
实际上最好办的办法是看坐标。设一个点在原点 (0,0,0)，那它的邻居能够是 (1,0,0) 和 (0,1,0)。再往远处走，第 3 次坐标就是 (1,1,1)。
这个点的坐标平方和是 1 加 1 加 1，等于 3。
这就是空间对角线长度的平方。而两个最近的邻居点 (1,0,0) 和 (0,1,0) 之间的距离平方是 1 加 1 加 1，还是 3。
这忒怪了。 让我重新回忆一下经典的几何证明方式，那个叫“弦图法”要么“毕达哥拉斯证明”的。把四个直角三角形围成一圈，中间围出一个正方形。
这个大正方形的边长是直角边 a 加 b。
故此大正方形的面积是 (a+b)²。 另一方面，看里面那四个直角三角形，每个面积是 ab/2，四个加起来就是 2ab。
那中间那个小正方形的面积是多少呢？它的边长实际上是 (a-b) 啊。
故此小正方形面积是 (a-b)²。 大正方形的面积等于四个三角形面积加上小正方形面积。 (a+b)² = 4 (ab/2) + (a-b)² 展开左边：a² + 2ab + b² 展开右边：2ab + (a² - 2ab + b²) 合并右边：a² + b² 两边的 a² 和 b² 抵消了，只剩下 2ab。 2ab = 2ab。 这就证明白。 还有另一种更现代、更直观的证明，叫“欧几里得的证明”。他在公元前如何写出来的。他在非欧几里得几何之前就解决了这个难题。他在《几何原本》里想了一个办法。他画了一个大的正方形，边长是 2a。
然后在四个角上各画一个边长为 a 的小正方形。
然后画两条对角线，把它们分成四个一样的直角三角形。 这四个三角形拼起来，正好组成了那个边长为 2a 的大正方形。
故此大正方形的面积是 (2a)²，也就是 4a²。 目前看里面的四个小三角形。每个的直角边是 a 和 b。
故此每个三角形的面积是 ab/2。四个加起来是 2ab。 剩下的局部是四个小正方形。每个的边长是 b。
故此四个小正方形的面积是 4b²。 什么的，这个逻辑仿佛有点乱。让我们换个思路。 欧几里得证明白：要是直角三角形的两条直角边是 a 和 b，斜边是 c。
那么 a² + b² = c²。 他构造了一个图形。画一个大的正方形，边长是 c。
然后再画一个正方形，边长是 a。把这两个正方形拼在一起。你会发现，中间刚好能拼出两个直角三角形。 要是 a² + b² = c²，那么这两个三角形的面积之和就是 ab + ab = 2ab。 而这两个三角形拼成的图形实际上是一个边长为 c 的大正方形减去两个边长为 a 的小正方形剩下的局部？不对。 让我们用坐标法来说，这样最顺手。 设直角的顶点在原点 O(0,0)。 两条直角边分别在 x 轴和 y 轴上。 那么两个顶点分别是 A(a,0) 和 B(0,b)。 斜边的两个端点是 O(0,0) 和 A(a,0)。 斜边 AB 的长度就是 c。 根据勾股定理的定义，c 就是 OA 和 OB 之间的距离。 OA 的长度是 a（在 x 轴上）。 OB 的长度是 b（在 y 轴上）。 两点间距离公式是 √(x₁² + x₂² + y₂²)。 在这里，c = √(a² + b²)。 两边平方，就是 c² = a² + b²。 这个公式就是如此来的。它描述的是直角三角形斜边的长度平方，等于两直角边长度平方之和。 生活中有大量例子。
比如搭积木。
要是你有一根 3 厘米长的火柴，一根 4 厘米长的火柴，把它们拼在一起，使得它们垂直，那么斜着搭成第三根火柴，长度正好是 5 厘米。 验证一下：3 的平方 9，4 的平方 16，加起来是 25。5 的平方也是 25。彻底吻合。 再比如建筑。建筑师在盖屋顶的时候，一直会遇到直角三角形。斜着的横梁，它的长度务必经过精确计算。
要是计算错了，屋顶就塌了。工程师在算承重梁的时候，也会用到这个公式。 比如，一个房间的梁长 5 米，高度 12 米，宽度 13 米。 宽度 13 的平方是 169。 高度 12 的平方是 144。 加起来 169 也就是 13 的平方。 梁长 5 的平方是 25。 169 + 25 = 194。 根号 194 大约是 13.9 米。 这说明，要是梁长是 5 米，高度是 12 米，实际需求的梁长是 13.9 米，而不是 13 米。 要么反过来，要是梁长是 5 米，高度是 12 米，那么需求的宽度就是 √(25 - 144)，这是个负数，说明不可能。 实际上，要是梁长 5 米，高度 12 米，跨度就是斜边。 在房间里，一般梁长是 5 米，高度也是 5 米，那么宽度（跨度）就是 √(25 - 25) = 0？这也不对。 应当是梁长和高度作为直角边。 比如，墙高 4 米，从墙角伸出去的支架长 3 米。
那么支架顶端到地面距离（斜边）就是 5 米。 3² + 4² = 9 + 16 = 25 = 5²。 再举个数据对比的例子。 假设我们要制作一个直角边长为 3 和 4 的三角形。 直角边平方和 = 9 + 16 = 25。 斜边长度 = √25 = 5。 要是一个三角形退化成一条直线，比如直角边长 10 和 10，那么斜边长应当是 √(100 + 100) = √200 ≈ 14.14。 这在实际计算中挺关键。
比如算距离。 从点 (0,0) 到点 (3,4) 的距离是 5。 从点 (0,0) 到点 (10,0) 再到 (0,10) 的距离是 10+10=20。 要是我们用勾股定理算一下从 (0,0) 到 (10,10) 的距离，就是 √(10² + 10²) = √200 ≈ 14.14。 这说明直线距离一直小于或等于两点间路径距离。 还有更极端的例子。想象一个三角形，直角边贼小，简直是一条直线。 比如直角边长是 0.01 和 0.01。 斜边应当是 √(0.01² + 0.01²) ≈ 0.01414。 这跟两条直线的长度 0.01 + 0.01 = 0.02 还是挺接近的。 要是把直角边做得挺长，比如 100 和 100。 斜边就是 √(10000 + 10000) = √20000 ≈ 141.42。 而两条直路线径就是 200。 差值挺大，说明在细长弯曲的情况下，勾股定理依然准。 实际上，勾股定理不只是是一个公式，它代表了空间的一种根本结构。它告诉我们，甭管物体多复杂，只要涉及平面直角坐标，这种距离关系就一辈子不变。 它在天文学中用于计算星距。 在航海中使用。 在造桥、盖楼中使用。 它是人类最古老的数学成就之一。 毕达哥拉斯发现它时，还在埃 tilon 岛上的洞穴里。 传说他看到一只飞蛾摆成直角，发现了这个定律。 后来，他把它变成了宗教教义，出于“万物皆数”。 但他实际上发现了一个极实际上用的工具。 目前，当你看着手机屏幕时，屏幕的宽高比往往遵循这个定律。 比如 16:9。 16 的平方是 256。 9 的平方是 81。 加起来 337。 √337 ≈ 18.35。 接近 19:10。 要么 16:9 实际上是 19.75:10.66 左右？ 不管了，反正这个好办的公式，支撑着现代文明的方方面面。 最终总结一下。 勾股定理就是：直角三角形斜边的平方 = 两条直角边的平方和。 a² + b² = c²。 这个公式好办，应用广泛。 它证明白空间距离的规律。 它拯救了无数工程师的生命。 它连接了古代和现代。 这就是勾股定理的全体。