利用弦图证明勾股定理-弦图证勾股定理

在一张一般/平平的白色纸上，我随手画了一个正方形，四个角上分别钉住了四个全等的直角三角形。
这些三角形看起来是凑巧一样大的，但我知道，它们之间藏着某种深刻的几何秘密。
这个秘密，就是勾股定理。 拿着一把剪刀，我轻轻剪下了其中一个三角形，把它撕成了三块。其中一块是那个经典的直角三角形 $ABC$，直角边长分别是 3 和 4，斜边就是那根最长的 5。剩下的两块，沿着一条公共边剪拼在一起，刚好拼成了一个边长为 5 的小正方形。 我拿起小尺子量了量，这个新拼成的大正方形，它的边长是 5。面积自然是 $5 times 5 = 25$。而它的内部由四个小三角形组成。算一下，每个三角形面积是 $3 times 4 div 2 = 6$，四个加起来就是 $24$。剩下的空隙呢？正好填满了一个边长为 3 的正方形，面积是 9。 哎，这就对了。24 加上 9，等于 33，可正方形面积明明是 25。
哪儿出难题了？哦，我明白了。刚刚那个拼图，别看内部结构变了，但对外围轮廓——那个边长 5 的正方形——彻底没有转变。
也就是说，这个边长 5 的正方形，既是被切下来的三角形拼成的，又是原图中那个大正方形的一个角。 原来，原图中那个边长为 3 的正方形，它的面积能够看作是 $3 times 3 = 9$。而四个小三角形的总面积就是 $4 times (3 times 4 div 2) = 24$。
要是我把这些三角形从中间剪下来，重新排列，它们应当能组成一个边长为 5 的大正方形，面积是 25。 什么的，如何算出来 9 和 24 加起来是 33，大正方形只有 25？这里肯定有个逻辑漏洞。啊，找到了。在标准弦图的构造中，大正方形是由四个三角形和一个边长为 3 的小正方形组成的吗？不对，标准弦图一般描述的是：大正方形边长为 $a+b$。 让我重新梳理一下刚刚那个混乱的画面。我实际上是在演示一种特定的构造方式：在一个大正方形 $ABCD$ 内部，包含四个全等的直角三角形。假设直角边是 $a$ 和 $b$，斜边是 $c$。
这四个三角形围成了中间一个边长为 $a+b$ 的大正方形，而四个角实际上没有空隙了，出于三角形是斜边相接的。 要是中间没有空隙，那么大正方形的面积应当等于四个三角形的面积加上中间那个边长为 $c$ 的正方形面积。公式就变成了：$(a+b)^2 = 4 times frac{1}{2}ab + c^2$。展开后就是 $a^2 + 2ab + b^2 = 2ab + c^2$，消去两边的 $2ab$，剩下的就是 $a^2 + b^2 = c^2$。
这个逻辑链条是通顺的，只要中间那个“空隙”确实是边长为 $c$ 的正方形。 刚刚我在想“如何算出来 9 和 24 加起来是 33”，这个计算实际上是针对另一种情况，要么是我刚刚拼图的方式有点偏差。
要是中间那个正方形边长是 3，那么四个三角形的大直角边应当是多少？根据勾股定理，要是斜边是 4，直角边是 3，那么另一条直角边就是 $sqrt{16-9}= sqrt{7}$，这显然不是整数，不忒对劲。 让我换一组数据，用更直观的图形来验证。假设直角边是 3 和 4，斜边是 5。
那么中间那个边长为 5 的正方形，面积是 25。四个三角形的面积总和是 $4 times 6 = 24$。少了 1？
哪儿少了？哦，我明白了。在标准的弦图（勾股树的雏形）里，一般中间那个是边长为 $c$ 的正方形，周围的四个三角形围在外面，形成一个大正方形 $A$。
这时候大正方形面积 $A = 4 times (frac{1}{2}ab) + c^2$。 但还有一种弦图，是内接于大正方形的，中间是个边长为 $c$ 的正方形，周围四个三角形，大正方形边长是 $a+b$。
这时候公式 $(a+b)^2 = 4 times frac{1}{2}ab + c^2$ 是成立的。 刚刚我的困惑来源于对图形的具体记忆。让我退一步，不要纠结于具体的数字计算，而是关切那个核心的逻辑闭环。甭管数据是多少，只要这四个三角形全等，它们拼起来，必然能在一个边长为 $a+b$ 的正方形里完美嵌合，只要中间那个空洞是边长为 $c$ 的正方形。 比如，我们取勾 3 和 4。直角边是 3 和 4。把两个直角三角形斜边对斜边叠在一起，能够组成一个边长为 5 的正方形。目前，把另一个三角形剪下来，填补到中间这个 5 的正方形里。你会发现，拼成的新图形确实是一个边长为 5 的正方形。 目前，我们来算角度。在直角三角形里，假设 $a=3, b=4, c=5$。
那么 $sin(alpha) = 4/5 = 0.8$。算一下角度，$alpha$ 大约是 $53.13$ 度。
那么 $90$ 度减去它，就是 $36.87$ 度。
这两个角加起来正好是 90 度。
这说明两个三角形能够拼成一个直角。 要是把它们拼在一起，相当于把那个边长为 4 的边和边长为 3 的边对齐，让斜边 $c$ 重合。
这时候，两个直角三角形的直角边就会围成一个新的图形。你会发现，它的外围轮廓，实际上是一个边长为 $a+b$ 的正方形。 这真是个漂亮的巧合。数学的规律，往往就藏在这些看似随意的拼凑之中。我们不用复杂的公式推导，也不需求严丝合缝的几何证明书章。只需求看着那个正方形，数数里面的格子，感受这些三角形在旋转、移动、拼接时的从容不迫，就能悟出那个好办的等式。 实际上，勾股定理不只是是 $a^2+b^2=c^2$，它更是关于距离、运动和对称的深刻描述。在平面几何里，它告诉我们，直角三角形的斜边，就是它两条直角边“距离”的度量。把两个直角边展开，长度就是 $a+b$；把它们作为对角线去测量，长度就是 $c$。
这就好比在一张桌子上放了两张长条木条，把端头抵在一起，总长度是 $a+b$。
要是我们要用一根绳子绕过它们，要么把它们拉成对角线，长度就是 $c$。 至于为啥是 $a+b$ 和 $c$，这取决于你如何把它们摆。
要是我让两直角边直接相邻，那总长就是 $a+b$。
要是我想用斜边去连接两端，那长度就是 $c$。而在弦图的构造里，正是利用了这个“距离”的概念，把两个不同大小的正方形面积之间的关系，转化成了四个三角形面积之间的关系。 想象一下，你站在一个空旷的操场上，围着四个三角形走一圈，回到原点。你走的总路程是 $4ab$。而中间那个最大的正方形，占据的边界是 $a+b$，面积是 $(a+b)^2$。中间那个小正方形，面积是 $c^2$。
这就仿佛是一个大账目：$(a+b)^2$ 等于 $c^2$ 加上四个三角形面积。 这种直观的感知，比死记硬背公式要有力得多。当你真正走进那个由三角形构成的空间，你会发现，所有的数字都在那里跳动，所有的逻辑都在那里自洽。
没有啥繁琐的推导过程，只需求一点点耐心，把图形拆解，把碎片重组，就像是在玩一场无声的数学魔术。 有时候你会认定这个证明忒好办了，忒少了说服力。可正出于它好办，才显得真。它揭示了自然界最底层的一种和谐：不规则（直角三角形）能够转化为规则（正方形、直线）。
这种转化，就是勾股定理的灵魂。它告诉我们，在直角的世界里，存有一种完美的平衡，一种无需修饰的对称。 最终，我拿起那把剪刀，把剩下的碎片也剪下来。目前桌上只有三个正方形：两个是我们最初知道的边长，一个是我们刚刚拼出来的边长。把它们叠在一起，你会发现，甭管如何旋转，这三个形状之间一直存有着一种奇妙的对应关系。
这就是 $a^2+b^2=c^2$ 的几何表达。 或许这就是数学的魅力吧，不需求高深的理论，不需求复杂的工具，只需求一双敏锐的眼和一颗好奇的心。在那些看似平凡的平面上，藏着大大的秘密，等着我们去发现，去欣赏，去证伪，去重构。而勾股定理，就是那个最古老、也最永恒的答案。它不会说谎，只要图形还在，只要逻辑还在，这个等式就一辈子成立。