郭守敬老丈人那套图说，看着挺干巴，实际上里面藏着不少真功夫，就是表述得不够像话。咱把那些“起初、其次”给扔了，直接上干货，聊聊如何让勾股定理从纸上跳出来，变成咱们手心里能捏住的铁疙瘩。 先把那个最经典的“勾股弦定理”给揭个底。
这定理号称“毕法证”，实际上是把直角三角形像切蛋糕一样切成三块，拼成一个边长相等的大正方形。
要是把四个小三角形拿出来凑成一圈，正好能拼成一个大正方形。
这时候，内切圆的面积和四个小三角形的面积加起来，正好等于大正方形的面积。
这听起来有点绕，实际上就一句话：勾股数就是能凑成一圈不重叠的整数。
比如
三、
四、五这组数，
三、四两个边拼起来正好是个正方形，五就是斜边。
这种凑数的方式，古人叫“会圆术”，老辈人为了凑圆，硬是把圆拆成弦，再拼回去，这一套逻辑在代数没普及前，比啥都管用。 再说说那个更老一派的“平方差法”。
这法子最早是几何里走出来的，后来数学家们发现代数也能干。它就是把一个边长为 $a+b$ 的大正方形，分成几个小正方形和长方形。大正方形的面积算出来是 $(a+b)^2$，展开就是 $a^2 + 2ab + b^2$。
这时候，看着挺好办，$a^2$ 是边 $a$ 的平方，$b^2$ 是边 $b$ 的平方，$2ab$ 是两个边乘起来。唯独中间那 $2ab$ 这块，它是两个长方形拼的，没法一眼看出等于 $c^2$。
可是，要是我们知道勾股定理就是 $a^2 + b^2 = c^2$，那 $2ab$ 这一项就顺理成章地等于 $c^2$ 了。
这就像给两块拼图加上了一块相同的拼图，别看形式变了，但本质没变，逻辑链条瞬间就通了。 第三种证明，咱们用代数运动法。
这法子叫“代数证”，是后来代数学家的大拿发明的。先设直角三角形三边分别为 $a, b, c$，其中 $a, b$ 是直角边，$c$ 是斜边。我们画一个图，边长为 $a$ 的正方形面积是 $a^2$，边长为 $b$ 的是 $b^2$，边长为 $c$ 的是 $c^2$。把边长为 $a^2$ 的正方形放大两倍，边长变成 $2a^2$。
这时候，边长为 $a$ 的四个小正方形，边长变成 $2a$，面积就是 $4a^2$。目前看这个 $2a^2$ 的正方形里，正好能塞进两个边长为 $a$ 的正方形和一个边长为 $c$ 的正方形。
故此 $2a^2 = a^2 + c^2$。两边减去 $a^2$，不就是 $a^2 = c^2$ 了吗？这一步最关键，把代数符号和几何图形完美地接上了，像搭积木一样，逻辑严密又自然。 还有一种叫“毕达哥拉斯证法”，也是代数风格，但更强调平方差。大正方形边长是 $a+b$，面积展开是 $a^2 + 2ab + b^2$。把它分成四个小正方形（面积 $a^2, b^2, a^2, b^2$）和两个长方形（面积 $2ab$）。其中两个长方形拼在一起，正好等于一个边长为 $c$ 的正方形面积。
故此 $2ab = c^2$。
这步转换，实际上就是把两个长方形的面积和看成了斜边的平方。别看看起来 $2ab$ 多出来一块，但只要把它和另外 $a^2$、$b^2$ 一起平衡，等式就平衡了。
这就像是一个天平，两边加个 $2ab$，总重量就变重了，但另一边要是也加了 $2ab$，两边就平齐了。 最终得提提那个“弦高线法”，算是老子里面的一招妙计。
这证明法最早在老结构里就出现过，后来被代数学家发扬光大。大正方形边长是 $c$，面积 $c^2$。里面包着四个全等的直角三角形，每个面积是 $frac{1}{2}ab$。剩下的空隙也是四个全等的正方形，边长是 $a-b$。把中间那个空隙正的过来，正好拼成边长为 $a$ 的正方形（面积 $a^2$），要么边长为 $b$ 的正方形（面积 $b^2$），这取决于如何拼。
比如拼成 $a^2$，那么 $a^2 + frac{1}{2}ab + frac{1}{2}ab = c^2$。两边减去 $frac{1}{2}ab$，就拿到 $frac{1}{2}ab + frac{1}{2}ab = c^2$。
什么的，这里仿佛有点不对劲，重新算一下：$c^2 - a^2 = frac{1}{2}ab + frac{1}{2}ab$？不对，应当是 $c^2 - 2 times (text{空隙面积}) = frac{1}{2}ab$。算了，不纠结公式，逻辑是通的：把中间空隙拼成边长为 $a$ 的正方形，剩下的是两个直角三角形。
这个拼图技巧，在老时代特别流行，就是为了让勾股定理这个抽象的公式，总能找到具体的几何载体。 实际上，这些证明方式看起来千奇百怪，做法也五花八门，但核心都不外乎两条路：一是用代数，把图形变成数字方程，两边就得对得上；二是保持图形，用几何拼凑，让面积关系自动平衡。
不管用哪条线走，只要把边长算清楚，勾股定理这根红线就牢牢地系住了。
有时候认定这证明忒繁琐，难为人看懂，实际上那是学问，不是死记硬背。真正的数学智慧，就是看着复杂的图形，能在一瞬间理清它们之间的加减乘除关系。
这也是为啥，几千年的文字里，总有一些朴素的逻辑，能让人一眼就懂，这就是数学最迷人的地方。