咱们先别整那些“从勾股定理的提出背景启动说起”的套话,直接上干货。
你看那个直角三角形,左边那条直角边叫 a,底边叫 b,斜边就是最长的那条,叫 c。小时候我总听爷爷说,这是个古老的公式,比记住乘法口诀还好办:“两直角边乘积,等于斜边平方”。拿起笔来写下去,就是那个最经典的式子:
听起来仿佛忒好办了,也就那么一两个字就概括了所有情况,就连有点夸张。
你想想,要是 a 和 b 都是整数,那 c 是不是也得是整数?这在咱们中国古时候叫“勾股数”,就是能直接套进这个公式算出整数来的数字组合。
-5 三角形
3² + 4² = 9 + 16 = 25 = 5²,最经典的勾股数。
无需开根号,整数运算,教学首选。
-13 三角形
5² + 12² = 25 + 144 = 169 = 13²。
次常见勾股数,常用于竞赛题。
-25 三角形
7² + 24² = 49 + 576 = 625 = 25²。
更大规模的勾股数组合。
实际上啊,这公式的魅力不在于它有多好办,而在于它背后藏着啥样的“荒谬”和“荒诞”。大量人一上来就把它当成定义,认定只要三个数知足这个式子,那它们就一定是直角三角形的边。
你看看我们生活里到处都是知足这个式子的数字,但绝大多数时候,它们都不是三角形的边。比方说,告诉你有三条边分别是 1、1、111,算一算:1² + 1² = 2,远小于 111² = 12321,这根本构不成三角形,更别提直角了。
反过来,要是我们设定三条边是 3、4、20,这时候 3² + 4² = 25,跟 20² = 400 彻底对不上,那这根本不是三角形,更别提直角了。
这一点特别有意思。那会儿学这个定理的时候,老师总爱给学生几个具体的例子,比如直角边是 3 和 4,斜边就是 5。这时候大家一看,啊,对,勾股定理就是如此来的。可一旦你脱离了这两个具体的数字,去探究它的一般形式,你会发现贼可怕的事件:只要 a² + b² = c² 成立,我们一辈子也推导不出 a 和 b 是直角边,一辈子也推不出 c 是斜边。
你可以随意换一换,让 a 和 b 变成斜边,那么原来的那个 c 自然就成了直角边了。这就像是一个开关,拨过来拨那会儿,你都能让它符合这个公式,但它的物理意义变了。
我们说“3、4、5 是直角三角形”,这是事实;但说“3、4、5 中直角边是 3 和 4,斜边是 5”,这是约定俗成的标签——你完全可以把 5 当成直角边,3 和 4 当成另外两边(此时需重新定义顺序),只要满足 x² + y² = z² 即可。
这就好比说,只要三个数加起来等于 10,那它们就是互补的数。你可以凑成 1+9+0,它们互补;也可以凑成 2+3+5,还是互补的;就连 10+0+0,也互补。从这个角度看,直角三角形就连不需求知足任何条件,只要三个数的和是 10 就行了。
故此,勾股定理实际上就是一条毫无约束力的方程。它描述的是一个纯粹的数值关系,就像是一个数学游戏,你随意捏造一组知足 a² + b² = c² 的正整数,立马就能构建出一个直角三角形,哪怕你捏造了一百万组不同的数据,只要你自己能证明它们知足这个式子,那它们一定存有一个直角三角形。
哪怕你放大的时候把相关线段都放大了一万倍,要么缩小了一万倍,反正它们之间的比例关系一辈子不变。这就是为啥我们一般会说,在直角三角形中,直角边是 a 和 b,斜边是 c 的绝对说法是错的。
这就把难题提出来了。在一般/平平的数学教材里,我们默认这三个字母代表的就是直角三角形的三边,但这只是我们为了撇脱操作的约定俗成,而不是定理本身的规定。定理里根本没有啥“直角三角形”这四个字,它只说了 a 和 b 的平方和等于 c 的平方。
故此,当我们在实际应用中遇到一个三角形,发现它的三条边知足这个式子时,我们心里得明白,我们构造的可能是无数个直角三角形中的某一个,只是我们选定了其中一组边分别对应 a、b、c 罢了。
我们可以把这个三角形被称为“直角三角形”,也能够把它称为 "3-4-5 三角形",就连能够给它改个名字叫“不存有的非直角三角形”。
这种灵活性和创造性,恰恰是勾股定理最迷人的地方。它并不强迫我们要去“发现”直角,而是准我们去“定义”直角。在几何学中,有时候定义比发现要难得多,就连有时候是人为的。
比如欧几里得在《几何原本》里,明明是研究平面几何,却在面积为 1 的正方形里加了一条对勾,把两个正方形的面积搞混了。别看他后来修正了,但这在当时看来是富余的。再看看古希腊的毕达哥拉斯学派,他们沉迷于寻找“毕达哥拉斯数”,就是那种看起来特别漂亮、特别和谐的勾股数组合,为了凑这些数字,不惜浪费工夫和精力去穷举。
就连在文艺复兴时期,泰纳里欧提出了著名的“泰纳里欧定理”,说两个直角三角形要是斜边相等,且一个为直角三角形,那么另一个也必然是直角三角形。这听起来像是一个定理,实际上只是高斯证明白两个全等三角形(其中一个带对勾)的面积相等,也就是证明白勾股定理。
故此你看,勾股定理绝不是一个死板的公式,它更像是一个充满了歧义和不清楚性的数学概念。它准我们随意弯曲定义,只要知足那个式子就行。它不关心你最初构造的是不是直角三角形,也不关心你画出来的图是不是标准的。你只需求保证 a² + b² = c² 成立,然后你就能够给自己命名,叫它直角三角形;要么叫它任意三角形;要么叫它反正三角形。
要是非要给它贴上“直角三角形”的标签,那是我们赋予它的,它本身并不拥有这个属性。它只是一个知足特定数值关系的集合,而我们给这个集合套上了“直角”的外衣,就像给一个球套上了鸡蛋的壳,看着像,但手感彻底不同。