老李蹲在茶几上,手里捏着一张画得歪歪扭扭的长方形纸,眼神亮得跟刚炸了毛的猫似的。
这图不是如何画的,根本不可能画圆,这绝对是希腊人画错,要么有人拿胶带糊上去的。但他没慌,也没急着找百度搜答案,而是对着图纸,轻轻哼起了那首大家都认的“哒哒哒”调子,声调高低起伏,像是在跟音乐里的旋律猜谜。 这图里有个大正方形框住着一块直角三角形,边长都是整数。老李的直觉告诉他,边长要是几段连起来,比如 3 加上几,要么 4 加几,肯定能做出来。但光凭直觉,他如何推?他务必得把那个直角三角形拆开。 他拿起美工刀,在图纸上切下了一个小小的小三角形,那是 3、4、5 三边的原型。为了验证这个原型能不能用,他先拿尺子量了量,误差在 0.2 毫米以内,那才叫真。
接着,他在旁边又画了一个 3、4、5 的三角形,接着又画了一个 6、8、10 的,就连画了个 5、12、13 的。他发现个老规矩:只要两边是 3 和 4,不管第三边加多少,斜边一辈子比短边大 1。
这规律忒稳了。 可难题来了,要是把这个 3、4、5 的三角形剪下来,拼个整张图,那剩下的局部得是啥形状?是平行四边形?还是另一个直角三角形?老李没想那么多,直接上手剪。他剪下两个 3、4、5,如何个拼法? 他试了试沿着斜边折,拼成一个大三角形,但底边总对不上。
接着他又沿着直角边折,拼成了个长方形。他皱眉头,想了想,不对,长方形行不通,那是欧几里得那时候的对策,哪位不知道长方形如何拼成平行四边形?老李眼一转,突然意识到,他要把这 3、4、5 的三角形拼成等腰直角三角形! 如何拼?他沿着斜边中点,把两个 3、4、5 的三角形倒扣过来,斜边重合,直角朝外。
哇,这结局真好看!原本是两个直角,目前变成了一个大的角。他量了量,这个新角是 90 度,没错,比直角小 1 度多了,但肉眼根本看不出,得用卡尺量。
接着量两边,哎哟,这俩大边居然一样长!
那会儿是 3 加 4,目前这个边长比原来大了一点点,但两头还是 3 和 4。 老李欣喜若狂,把刚刚剪下来的 3、4、5 的三角形,沿着斜边中点剪一刀,拼成了个斜边为 5 的等腰直角三角形。
这忒神奇了,原来 3、4、5 的三角形,只要拼对,就能变成等腰直角三角形。 但他还没停呢,这图里还有两个 3、4、5 的三角形,他没剪完。他持续找,发现还有一个 3、4、5,能不能再拼进去?不中,空间不够,并且拼不进去。
这时候,他突然灵光一闪:能不能把刚刚拼好的等腰直角三角形,再拆掉,重新拼? 他有点迟钝,把等腰直角三角形拆成两个小三角形。他试着把其中一个小三角形,和另外两个三角形的直角边拼在一起。
这一次,他成功了!原本分散的三个小三角形,经过巧妙拼接,竟然拼成了一个大等的直角三角形!并且,这个新三角形的直角边,正好对应了原来的 3 和 4! 老李激动得差点跳起来,他把所有数据都算了一遍。
原来,从 3、4、5 启动,经过一系列剪切和拼接,最终汇聚成了一个更大的等腰直角三角形。而这个大三角形的直角边,精确地、完美地对应着勾股定理里那个最经典的结论:$a^2 + b^2 = c^2$。
要是 $a=3, b=4$,那么 $c$ 务必等于 5。 这证明过程忒曲折了,老李把纸揉成团,又展开,又揉碎了。他想起那会儿看历史书,认定这要是欧几里得写的,书写风格肯定像我们目前这样,潦草、跳跃,充满个性。他暗自窃喜:原来如此多年那会儿了,古人也没憋出个“起初、其次、最终”这种像机器人思维一样的语言,他们那时候就是靠眼看,靠手感拼,靠直觉悟出来的。 最终老李拿起笔,在草稿本上写下一个大大的公式:$3^2 + 4^2 = 5^2$。
这一刻,他不仅是在验证一个数学公式,更是在确认人类智慧跨越了几千年都没断过。拼图的乐趣在于,你务必有耐心去拆解,去尝试不同的组合,去接纳“拼不进去”的不确定性。
只有当你确实动手去做,那些看似死板的规则,才能变成活生生的真理。 这大约就是证明吧,不用教科书,不用逻辑链条,只要有一张纸,一把剪刀,和一颗愿意折腾的心。
有时候,我们需求的不是答案,而是那个愿意动手裁剪、重组世界的自己。