内容概述
本故事讲述了 12 世纪印度数学家巴什迦罗（Bhaskara，约 1114—1185）给出的一种著名的毕达哥拉斯定理分割（拼图）证明。巴什迦罗只画出一幅"将斜边上的正方形分割为四个全等直角三角形加上一个边长为两直角边之差的小正方形"的图，便不再做任何文字解释，只写下一个词——"看哪！"（Behold!）。这正是代数恒等式 $c^2 = 4\!\left(\dfrac{ab}{2}\right) + (b-a)^2 = a^2 + b^2$ 的几何化身。艾夫斯还进一步设想：若把"看"做成一部动态电影（即图 17那五帧连续画面），将斜边正方形连续变换为两直角边正方形之和，便是更好的"看哪"式证明。
中文正文
96° 看哪！
中学生学几何时都见过巴什迦罗用分割的方法来证明毕达哥拉斯定理。像图 16 那样，将斜边的正方形分割为四个全等的三角形加上一个边长为两直角边之差的小正方形。这些分割的图形很容易重新组装成两个直角边的正方形之和。巴什迦罗画了图，但没做进一步的解释，只说"看哪！"当然，一点儿代数计算就能说明。令 $c$ 为斜边，$a$ 和 $b$ 为直角边，那么
c^2 = 4\!\left(\frac{ab}{2}\right) + (b-a)^2 = a^2 + b^2."看"毕达哥拉斯定理的证明，也许最好是动态的电影画面。像图 17 那样，斜边的正方形连续变换成为两个直角边的正方形。
英文正文
96° Behold!
Many students of high school geometry have seen Bhaskara's dissection proof of the Pythagorean theorem, in which the square on the hypotenuse is cut up, as indicated in Figure 16, into four triangles each congruent to the given triangle plus a square with side equal to the difference of the legs of the given triangle. The pieces are easily rearranged to give the sum of the squares on the two legs. Bhaskara drew the figure and offered no further explanation than the word 'Behold!' Of course, a little algebra supplies a proof. For, if $c$ is the hypotenuse and $a$ and $b$ are the legs of the triangle,
c^2 = 4\!\left(\tfrac{1}{2}ab\right) + (b - a)^2 = a^2 + b^2.Perhaps a better 'behold' proof of the Pythagorean theorem would be a dynamical one on movie film wherein the square on the hypotenuse is continuously transformed into the sum of the squares on the legs by passing through the stages indicated in Figure 17.
相关题目
本故事为叙述性内容，原书未附练习题。其核心数学内容即图 16（静态分割）与图 17（动态变换）所展示的毕达哥拉斯定理分割证明，对应的代数推导如下：
已知：直角三角形两直角边为 $a$、$b$，斜边为 $c$。
目标：证明 $c^2 = a^2 + b^2$。
证明（分割法）：如图 16，将边长为 $c$ 的正方形（斜边正方形）分割为
- 四个全等的直角三角形，每个的面积为 $\dfrac{ab}{2}$；
- 一个边长为 $|b-a|$ 的小正方形（图中取 $b > a$），其面积为 $(b-a)^2$。
由面积守恒（剪切不改变面积）：
c^2 \;=\; 4\cdot\frac{ab}{2} \;+\; (b-a)^2 \;=\; 2ab \;+\; (b^2 - 2ab + a^2) \;=\; a^2 + b^2.\qquad\blacksquare
关键代数步骤：
- $4\cdot\dfrac{ab}{2}=2ab$（四个三角形的总面积）
- $(b-a)^2 = b^2 - 2ab + a^2$（完全平方公式）
- 合并：$2ab + b^2 - 2ab + a^2 = a^2 + b^2$（中间的 $+2ab$ 与 $-2ab$ 恰好对消，这是恒等式 $c^2 = a^2 + b^2$ 成立的代数本质）
图 17 的解读：五帧画面依次展示斜边正方形（黑色方块）逐渐"翻转"并与两直角边正方形（白色方块）拼合的过程。最终帧可见两个直角边正方形（黑色）并列，下方是原斜边正方形所在位置的"空位"——面积严格守恒，但形态已由"一整块"变为"两块之和"。
我们可以从故事中思考什么
- "看"与"证"的距离
巴什迦罗只写一个"看哪！"便完成了证明——这是数学修辞的极致，还是一种"留白"式的严谨？一张图能代替多少文字？我们今天讲的"无字证明"（proof without words）是否也需要在结尾补一句关键的代数或逻辑说明？
- "以图代证"的优点与陷阱
图形直观，但有时会"骗人"——例如著名的"64=65"视错觉（一个边长 8 的正方形被切成几块再拼成 5×13 的矩形，看似面积守恒实则有一小块缝隙）。分割法的"严谨"建立在剪切块可严格对齐这一前提上。请同学思考：图 16 中四个三角形的"全等"如何保证？
- 动态 vs 静态
艾夫斯说"也许最好是动态的电影画面"。今天的几何画板（GeoGebra、Desmos）已经可以让"分割动画"真正动起来。如果让你来制作一段 10 秒的"看哪！"动画，你会如何设计每一帧？
- 跨文化的"看"
巴什迦罗的"看哪！"让人联想到中国《周髀算经》中的"勾股定理"、欧几里得《几何原本》第一卷命题 47 的"风车"证明。不同文明以不同的方式"看见"了同一个真理，这是数学普适性的生动体现。
核心知识点讲解：毕达哥拉斯定理的分割（拼图）证明法
选择理由
本故事的核心是巴什迦罗的"看哪！"——一个用分割（拼图）法证明毕达哥拉斯定理的经典案例。它是中学阶段最适合讲解"面积法证明"的素材，也是从"图形直觉"过渡到"代数恒等式"的天然桥梁。把这一证明讲透，学生对勾股定理的理解会从"记公式"升级为"看见结构"。
概念介绍
分割证明（dissection proof / proof by dissection）是指将一个几何图形剪成若干块，然后把这些块重新拼合成另一个图形，通过面积（或体积）守恒建立两个图形之间的等量关系。分割证明是几何直觉与代数恒等式之间的桥梁——它把"看出来"和"算出来"统一在同一张图里。
巴什迦罗的"看哪！"证明属于分割证明中的"把斜边正方形剪开再拼成两直角边正方形"这一类。核心不变量是面积：剪开不增加也不减少面积，所以两个图形的面积必然相等。
具体内容
图形构造（对应图 16 右侧"成品"图）：
- 取一个边长为 $c$ 的正方形（斜边正方形）。
- 在正方形的四条边上，分别向外作四个全等的直角三角形（与原三角形两直角边 $a$、$b$ 对齐摆放）。
- 这四个三角形的"缺口"处自然形成一个小正方形，其边长为 $|b-a|$（假设 $b>a$）。
- 把这四个三角形重新向内翻折，恰好可以拼成两个边长分别为 $a$ 和 $b$ 的正方形（图 16 左图）。
代数推导：
\begin{aligned} c^2 &= 4 \cdot \frac{ab}{2} + (b-a)^2 \\ &= 2ab + (b^2 - 2ab + a^2) \\ &= a^2 + b^2. \end{aligned}
关键观察：
- $2ab$ 项的"对消"：展开 $(b-a)^2$ 后产生的 $-2ab$，恰好与四个三角形的总面积 $2ab$ 对消。这是恒等式 $c^2 = a^2 + b^2$ 在代数层面"成立"的根本原因——若没有这一对消，恒等式不会成立。
- 小正方形边长 $|b-a|$ 的几何意义：它就是两直角边之差，正是因为有这一"差值"，斜边正方形才能"差出"两个小正方形的位置。
- 方向无关性：无论 $a>b$ 还是 $b>a$，小正方形的边长都是 $|b-a|$，公式对称。
图 17 的补充：图 17 用五帧画面把上述"剪开—翻折—拼合"的过程逐帧展示。其中黑色块表示斜边正方形，黑色三角块表示从斜边正方形上"剥离"下来的三角形，白色块表示最终拼成的两直角边正方形。这种"动画式"呈现是动态几何证明的早期思想雏形。
应用场景
- 中学几何：勾股定理的多种证明之一（与欧几里得《几何原本》I.47 的"风车"证明、总统 Garfield 的梯形证明等并列）。
- 数学史教学：介绍 12 世纪印度数学家巴什迦罗及其著作《莉拉沃蒂》（Lilavati，算术）和《代数术》（Bījaganita，代数）。
- 数学美学教育：体会"一个词证明一个定理"的修辞力量。
- 现代教学技术：用 GeoGebra / Desmos 制作"看哪！"动画，让"分割"动起来。
- 组合几何与等积变形：分割证明是等积变形（equidecomposition）理论的经典案例，可推广到任意多边形。
与生活的联系
- 瓷砖铺设：很多花砖地板的图案（如荷兰艺术家 M. C. Escher 的某些作品）正是基于"把一个图形剪开再拼成另一个"的设计思想。
- 包装与裁剪：工厂裁布料时，把一块大布料剪成若干块再拼成不同形状的成品，靠的就是"面积守恒"。
- 七巧板与拼图玩具：中国传统的七巧板本质上就是"分割—拼合"游戏，与本故事中的几何分割异曲同工。
- 折叠与剪纸：折纸中的"翻转折叠"动作，可视为图 17 某一帧的物理实现。
- 一个思想实验：如果让一个完全不懂代数的小学生看图 16，他能否"看出"$c^2 = a^2 + b^2$？这正是"看哪！"的力量——好的图，能让一个不会算式的人也"看见"真理。
主要思想方法与延伸讨论
主要思想方法
- 分割（拼图）证明法（dissection proof）
把一个图形剪成有限块后拼成另一个等价图形，通过面积（或体积）守恒建立等量关系。这是几何与代数之间最自然的桥梁。巴什迦罗的"看哪！"是此法的典范：用四块全等三角形 + 一块小正方形，把"斜边正方形"变为"两直角边正方形之和"。
- 以图代证 / 视觉化证明（proof without words）
图形本身承担了证明的全部逻辑负担，文字退居辅助。这是数学修辞中一种极简风格——一张好图胜过千言万语。巴什迦罗的"看哪！"、欧几里得的"风车"、加菲尔德的"梯形"、佩里加尔（Henry Perigal，1872）的"切圆"——都是这一传统的代表作。
- 面积守恒（area conservation）与不变量思想
"剪切不改变面积"是一条几何不变量。分割证明法的严谨性正是建立在"剪切保持面积"这一前提之上。教学中可借此引入"不变量（invariant）"这一更高阶的数学思想——许多问题的解法都依赖于找到恰当的不变量。
- 从静态到动态的认知升级
艾夫斯提出的"动态电影画面"思想，是把"剪切动画"从离散的几步扩展为连续的变换。这一思想在今天已经被 GeoGebra、Desmos、Manim 等动态几何 / 动画工具实现，它把"看出每一步"简化为"接受连续性"，进一步降低了认知负担。
延伸讨论
- 与欧几里得《几何原本》第一卷命题 47 的比较
欧几里得的"风车"证明是在斜边正方形内部用两个矩形和两个三角形做面积拼接，得到 $c^2 = ab + ab = \cdots$（实际化简为 $a^2+b^2$）。巴什迦罗的"看哪！"则是在斜边正方形外部用四个三角形 + 小正方形做"外翻折叠"。两种方法殊途同归，但欧几里得的证法更"内向"，巴什迦罗的证法更"外向"。
- 美国总统 Garfield 的梯形证明（1876）
詹姆斯·加菲尔德（James A. Garfield，时任美国众议员，后任第 20 任总统）曾独立发现一个用两个全等直角三角形拼成梯形的毕达哥拉斯证明。由梯形面积公式：
\frac{1}{2}(a+b)(a+b) = \frac{1}{2}ab + \frac{1}{2}c^2 + \frac{1}{2}ab,化简即得 $a^2 + b^2 = c^2$。这是 19 世纪"业余数学家"也能做出漂亮几何证明的佳话。
- 分割法在当代的延伸
20 世纪以来，分割证明被推广到任意多边形乃至多面体。波利亚（George Pólya）等数学家对等积变形理论做过系统化梳理。今天，"拼图式证明"在数学教育、数学美学、计算机辅助几何证明（automated theorem proving by area method）中都有重要地位。
- "看哪！"与中国古代的"以形论数"
中国古代数学（如《周髀算经》《九章算术》）强调"以形论数"——用图形（如赵爽的"弦图"，约 3 世纪）直观呈现代数恒等式。巴什迦罗的"看哪！"与赵爽的"弦图"有异曲同工之妙：都是用"把一个正方形重新分割"来证 $a^2+b^2=c^2$。这是数学思想跨文化共鸣的精彩案例。