勾股定理的表述
在任意直角三角形——即恰好包含一个90度角的三角形——中,斜边(直角所对的边)长度的平方,等于另外两条边(称为直角边)长度的平方之和。写成公式即为:a^2 + b^2 = c^2,其中a和b是两条直角边,c是斜边。这一关系以古希腊数学家毕达哥拉斯的名字命名,不过有证据表明,早在毕达哥拉斯之前,巴比伦人和其他古代数学家就已经独立地了解并使用了这一数量关系,尽管当时并没有正式的证明。
这一定理只适用于平面(欧几里得)几何中的直角三角形。对于没有直角的三角形,它并不成立——这类三角形需要用更一般的余弦定理来处理——而对于画在曲面(例如球面)上的三角形,由于其几何本身不同,该定理也并不精确成立。
为何成立:一种经典的拼接重排证明
该定理最著名的证明之一,通常称为拼接重排证明,它使用四个完全相同的直角三角形(直角边为a和b,斜边为c)排列在一个边长为(a + b)的大正方形内。以一种排列方式,四个三角形围出中间一个倾斜的小正方形,边长为c,于是大正方形的面积就被分解为四个三角形加上这个内部小正方形:(a + b)^2 = 4 x (1/2 x a x b) + c^2,化简后得到 (a + b)^2 = 2ab + c^2。
将左边代数展开,(a + b)^2 = a^2 + 2ab + b^2。将同一总面积的两个表达式相等:a^2 + 2ab + b^2 = 2ab + c^2。两边同时减去2ab,剩下 a^2 + b^2 = c^2——勾股定理由此纯粹通过比较同一正方形面积的两种算法而得证。这只是历代已发表的数百种证明之一;埃利沙·卢米斯(Elisha Loomis)的著作《勾股命题》收录了该定理的367种不同证明。
勾股数:3-4-5及更多
勾股数是一组满足a^2 + b^2 = c^2的正整数a、b和c,这意味着存在一个各边长均为这些整数、无需任何舍入的直角三角形。最小、也是最广为人知的一组勾股数是3-4-5,因为3^2 + 4^2 = 9 + 16 = 25 = 5^2。
已知勾股数的任意整数倍同样是有效的勾股数——例如,将3-4-5加倍得到6-8-10,乘以三倍得到9-12-15,二者同样满足a^2 + b^2 = c^2。像3-4-5、5-12-13和下表中的8-15-17这样、并非由更小勾股数的倍数得来的勾股数,称为本原勾股数。
| 直角边a | 直角边b | 斜边c |
|---|---|---|
| 3 | 4 | 5 |
| 5 | 12 | 13 |
| 8 | 15 | 17 |
| 7 | 24 | 25 |
| 9 | 40 | 41 |
| 20 | 21 | 29 |
实际应用:对角线与距离
由于矩形的对角线与两条相邻边构成一个直角三角形,勾股定理可以直接给出对角线长度:对角线 = (长^2 + 宽^2)的平方根。一个6乘8的矩形,其对角线为(6^2 + 8^2)的平方根 = (36 + 64)的平方根 = 100的平方根 = 恰好10个单位——这正是6-8-10勾股数,是3-4-5的倍数。
将同一原理延伸到三维空间,可以得到长方体的空间对角线,方法是将该定理应用两次:先求出底面矩形的对角线,再将该对角线与长方体的高结合起来。一个12乘9乘8的长方体,其空间对角线为(12^2 + 9^2 + 8^2)的平方根 = (144 + 81 + 64)的平方根 = 289的平方根 = 恰好17个单位。用于求两点间直线距离的坐标距离公式,d = ((x2-x1)^2 + (y2-y1)^2)的平方根,正是将该定理直接应用于两点之间水平和垂直方向的差值:对于点(1,2)和(4,6),距离为(3^2 + 4^2)的平方根 = 25的平方根 = 5。
逆定理:用3-4-5检验直角
勾股定理的逆定理同样成立,并在实践中被广泛使用:如果三条测得的边长满足a^2 + b^2 = c^2,那么由它们构成的三角形必定在最长边所对的位置存在一个直角,即便这个角从未被直接测量过。这一逆定理正是建筑和木工行业中传统3-4-5检验法的依据,用于检查或确定一个90度的直角:沿一条边测量3个单位,沿垂直的另一条边测量4个单位,再确认这两个标记点之间的对角线恰好为5个单位,即可确认该角是真正的直角。
之所以有效,是因为逆定理保证了唯一的结果:满足a^2 + b^2 = c^2的三条正数边长,只能构成直角三角形,而不可能构成锐角或钝角三角形,且直角必定位于最长边c所对的位置。3-4-5勾股数的任意倍数——例如6-8-10或9-12-15——在检验更大的直角时同样适用。
常见问题
勾股定理的公式是什么?
a^2 + b^2 = c^2,其中a和b是直角三角形的两条直角边,c是斜边,即直角所对的边。它只适用于平面上的直角三角形。
如何证明勾股定理?
一种经典方法——拼接重排证明——将四个完全相同的直角三角形排列在一个边长为(a + b)的正方形内,从而可以用两种不同方式计算总面积:一种是(a + b)^2,另一种是四个三角形加上一个面积为c^2的倾斜内部正方形。令这两个面积表达式相等并进行代数化简,即得到a^2 + b^2 = c^2。此外还有数百种其他证明已被发表,包括埃利沙·卢米斯的著作,其中记录了367种证明。
什么是勾股数?最小的一组是什么?
勾股数是一组满足a^2 + b^2 = c^2的正整数a、b和c。最小且最常见的一组是3-4-5,因为3^2 + 4^2 = 9 + 16 = 25 = 5^2。其他常见的勾股数还包括5-12-13、8-15-17、7-24-25和9-40-41。
如何用勾股定理求矩形的对角线?
矩形的对角线构成一个直角三角形的斜边,该三角形以矩形的长和宽为两条直角边,因此对角线 = (长^2 + 宽^2)的平方根。一个6乘8的矩形,其对角线为(36 + 64)的平方根 = 100的平方根 = 恰好10个单位。
勾股定理在曲面上也成立吗?
不成立。该定理只对画在平面(欧几里得几何)上的直角三角形精确成立。在球面等曲面上,角度与边长之间的关系遵循一种不同的非欧几何,对于一个具有90度角的三角形,a^2 + b^2 = c^2不再精确成立。
建筑工人如何用3-4-5法则检验直角?
根据勾股定理的逆定理,如果三条测得的边长满足a^2 + b^2 = c^2,那么最长边所对的角必定恰好为90度。沿一条边标出3个单位,沿垂直的另一条边标出4个单位,再确认这两点之间的距离恰好为5个单位,即可验证一个真正的直角——这是建筑和木工行业中常用的方法。
参考文献
- Weisstein, Eric W. "Pythagorean Theorem" and "Pythagorean Triple." MathWorld — A Wolfram Web Resource. mathworld.wolfram.com.
- Loomis ES. The Pythagorean Proposition. National Council of Teachers of Mathematics (NCTM), 1968 (a compendium of 367 proofs).
- Euclid. Elements, Book I, Proposition 47 (the classical geometric proof of the theorem).