用赵爽弦图证明勾股定理-赵爽弦图证勾股定理

赵爽弦图，这可不是啥高深的数学公式推导，它是古人用几何画的一幅水墨长卷。画面上，九个小正方形像九颗散落的豆子，围成一个大正方形。最外圈那四个角上的小正方形，实际上是四个全等的直角三角形。
你想想，要是把这四个三角形移到中间空缺的地方，正好能拼满，不留缝隙。 大量人认定勾股定理是忒抽象了，是两张直角边和斜边长度的平方关系。但赵爽这图做得忒有道理了。
你看，四个直角三角形拼起来，斜边围成了最外圈的大正方形，它的面积就是 $c^2$。而中间那空洞局部，正好是四个全等直角三角形组合起来的。大正方形的面积也能够拆分成：中间空洞的面积加上四个直角三角形的面积之和。
这就好比说，你总共有多少块砖（大正方形面积），等于中间用了多少块砖（中间空洞），加上你手里有砖块的数量（四个直角三角形）。 数学语言如何翻译过来呢？大正方形面积是 $c^2$。中间空洞的面积，四个直角三角形拼起来，直角边分别是 $a$ 和 $b$，那面积就是 $4 times frac{1}{2}ab = 2ab$。四个直角三角形面积总和是 $4 times frac{1}{2}ab$，算出来也是 $2ab$。
故此，$c^2$ 就是 $2ab + 2ab$，也就是 $4ab$。 什么的，这里有个小偏差，按常规理解应当是 $(a+b)^2 = a^2+2ab+b^2$。赵爽这张图实际上是在用另一种方式拼凑。大正方形的边长实际上是 $a+b$ 吗？不对，赵爽弦图里，大正方形的边长是 $c$。而中间那个空洞，实际上是四个直角三角形。
这四个直角三角形拼在一起，正好构成了以 $a$ 和 $b$ 为直角边的长方形的两倍吗？不是的。 让我们重新看结构。四个直角三角形贴在四周，斜边围成外框。中间空洞是一个长方形，长是 $b-a$，宽是 $a+b$？不对，那是另一种拼法。赵爽弦图的标准结构是：四个直角三角形斜边向外作正方形，围成一个大正方形，中间是个小正方形。
那个小正方形的边长是 $|a-b|$。 那面积关系就清楚了。大正方形面积是 $(a+b)^2$。
这个面积由两局部组成：中间那个边长为 $(a+b)$ 的正方形？不对，要是是赵爽弦图，大正方形边长是 $c$。中间那个空洞是边长为 $|a-b|$ 的正方形。大正方形面积 $c^2$。四个直角三角形面积 $4 times frac{1}{2}ab = 2ab$。中间正方形面积 $(a-b)^2$。加起来就是 $c^2 = 2ab + (a-b)^2$。展开一下，$(a-b)^2 = a^2 - 2ab + b^2$。代入公式左边拿到 $c^2 = 2ab + a^2 - 2ab + b^2$，消掉中间项，结局就是 $a^2 + b^2 = c^2$。
这就证出来了。 具体数据摆弄起来，还是得具体点。假设有一组直角三角形，直角边 $a$ 和 $b$ 分别是 3 和 4。
那斜边 $c$ 就是 5，出于 $3^2+4^2=9+16=25=5^2$。四个这样的三角形，总面积就是 $4 times frac{1}{2} times 3 times 4 = 24$。中间那个小正方形，边长是 $4-3=1$，面积是 $1^2=1$。大正方形的边长是 $1+3=4$？不对，赵爽弦图里，大正方形的边长是斜边 $c$，也就是 5。
那面积就是 $5^2=25$。 看算式：$c^2 = 24 + 1$。$25 = 24 + 1$。彻底吻合。
要是直角边是 3 和 4，小正方形边长就是 1。
要是直角边是 4 和 5，小正方形边长就是 1。直角边是 5 和 12，小正方形边长就是 7。$3,4,5$ 时，$c=5$，中间正方形边长 $4-3=1$。$4,5,12$ 时，$c=13$，中间正方形边长 $12-4=8$。$5,12,13$ 时，$c=13$，中间正方形边长 $12-5=7$。 数据上照应得挺严。三个组合都成立。一个是 $3 times 4 + 1^2 = 13$（两个三角形拼成大正方形，再加中间一个平方数？不对，逻辑链条是：总平方数 = 4 个三角形面积 + 中间小正方形面积）。 $3^2 + 4^2 = 9+16=25$。$2 times 3 times 4 = 24$。$1^2 = 1$。$24+1=25$。成立。 $4^2 + 5^2 = 16+25=41$。$2 times 4 times 5 = 40$。$2^2 = 4$。$40+4=44$。
哎呀，这个不对。$4,5,12$ 才是勾股数。$4^2 + 5^2 = 16+25=41$。$2 times 4 times 5 = 40$。$2^2 = 4$。$40+4=44$。
不对，$4^2+5^2$ 不等于 $40+4$。 重新算一下。勾股数 $(a,b,c)$ 知足 $a^2+b^2=c^2$。赵爽弦图逻辑是 $c^2 = 4 times frac{1}{2}ab + (a-b)^2 = 2ab + (a-b)^2 = 2ab + a^2 - 2ab + b^2 = a^2+b^2$。
这个逻辑没难题。 那例子数据不能瞎编。取一组标准的勾股数。
比如 $a=3, b=4, c=5$。 $3^2 + 4^2 = 9 + 16 = 25$。 $4 times frac{1}{2} times 3 times 4 + (4-3)^2 = 24 + 1 = 25$。 $25 = 25$。 再试一个更大的。$a=5, b=12, c=13$。 $5^2 + 12^2 = 25 + 144 = 169 = 13^2$。 四个三角形面积：$4 times frac{1}{2} times 5 times 12 = 120$。 中间小正方形边长：$12-5=7$，面积 $7^2=49$。 $120 + 49 = 169$。 $169 = 169$。 数据验证无误。只是让人有点晕，四个三角形占了多少面积，中间还剩多少，如何凑出大正方形的。 你看，赵爽这图忒巧妙了。它没有用代数符号，直接用面积加减法。大正方形面积减去四个三角形面积，正好剩下中间那个小正方形。
这就像剥洋葱一样，一层层揭开，最终发现里头的核心就是勾股定理。 有时候感觉数学定理像那么回事，就是不知道在啥情况下成立。但在赵爽这张图面前，它变成了实实在在的四块拼图。你能够把四个直角三角形剪下来，放进大正方形里。剩下的一块，就是你需求的平方数。
这种直观感，比背公式管用多了。 古人没发明啥 algebra，他们就拿着刀和尺子，把面积故事讲明白了。四个三角形，一个平方数，一共凑成大正方形。就如此好办。 要是直角边是 3 和 4，斜边 5。四个三角形面积 24。中间小正方形 1。加起来 25。 要是直角边是 4 和 5，斜边 13。四个三角形面积 80。中间小正方形 9。加起来 89。
不对，$4^2+5^2=41$。 啊，又绕晕了。$4,5,12$ 才是勾股数。$4^2+5^2=16+25=41$。$2 times 4 times 5 = 40$。$12^2=144$。$40+144$ 也不对。 还是用标准的 $3,4,5$ 吧。$3^2+4^2=25$。$2 times 3 times 4 = 24$。$(4-3)^2 = 1$。$24+1=25$。 $5,12,13$ 呢？$25 + 144 = 169$。$2 times 5 times 12 = 120$。$(12-5)^2 = 7^2 = 49$。$120+49=169$。对上了。 看来勾股数里，$a,b$ 的平方和等于 $c$ 的平方。赵爽图把 $c^2$ 的构成拆解成了 $4ab/2$ 和 $(a-b)^2$。 实际上这个图还有更深层的意义。它不只是证明白 $a^2+b^2=c^2$。它也展示了 $a+b$ 和 $c$ 的关系。大正方形边长是 $c$。
要是你把四个三角形拼成大正方形的内部，剩下的空隙是 $(a-b)^2$。 总而言之，赵爽弦图就是咱老祖宗出的一个几何证明题。
不用推导，不用符号，只用面积加减。四个三角形，一个平方数。拼起来，等量齐观。 数据上，只要确保 $a^2+b^2=c^2$，就能通过 $c^2 = 4 times frac{1}{2}ab + (a-b)^2$ 的等式达成平衡。
只要勾股定理成立，这个图就一辈子成立。 你看，这图忒有味道了。
不是那种枯燥的定理罗列，而是画面感十足的几何游戏。四个三角形，围着斜边转，中间留个洞。洞的大小，实际上就是直角边差值的平方。 故此，勾股定理就是如此 proving 出来的。
不是好办的 $a^2+b^2=c^2$，而是 $c^2$ 等于 $4 times text{三角形面积}$ 加上 $a-b$ 边长的平方。 这种古老智慧，穿越千年，依然能在现代数学里发光发热。赵爽弦图，就是那个照亮代数几何的桥梁。