毕达哥拉斯证法证明勾股定理过程-勾股定理证毕达哥拉斯法

毕达哥拉斯的证明，实际上更像是一场关于“看山还是山”的思想实验，而非一条严丝合缝的数学流水线。他并没有拿着一本厚厚的定理书，而是拿着一根木头，一把尺子，和一种特别的心思。 起初，他是在数树叶。
你看那片红枫，红的只是叶子，还是枝干？在观叶虫眼里，颜色是绿的，形状是圆的。你要证明公式，你得把那些看不见的线条变成看得见的量。便，他把那根被视为直角边的木头，切成了一条又一条细细的小段。每一段，他都把它平均分成三段，取其中两段加起来，也就是 $frac{4}{3}$ 的那个长度。
然后，他顺着这段小段，把另一条直角边也切碎了，同样取 $frac{4}{3}$ 的份数。 这时候，他拿着尺子去比对。两段是没法直接拼凑的，出于它们来自不同的木头纹理，且长度不一。
要不就...把那段 $frac{4}{3}$ 的木头，再平均分成九份，取四份。
这样可忒好了，两条直角边就能拼成一个大直角三角形了。 接着，他把这个大三角形给填满了。每份小段里的面积，他算得清清楚楚，正好是 $frac{4}{9}$ 个单位面积。一共有九份，总面积就是 $frac{16}{9}$。
这 $frac{16}{9}$ 是个整数，是个“有理数”，他挺高兴。 然后，他看向斜边。他把斜边也切碎了，取了同样是 $frac{4}{3}$ 的那几段。出于斜边长嘛，它肯定大于直角边，故此它那块 $frac{4}{3}$ 的木头，肯定比直角边那块 $frac{4}{3}$ 要“胖”一些。他如何算呢？他拿直角边那 $frac{4}{3}$ 的木头去比对。
哎哟，这不巧吗？直角边那 $frac{4}{3}$ 的木头，只要再多 $frac{1}{3}$ 的厚度，就能和斜边那 $frac{4}{3}$ 的木头彻底重合。
也就是说，斜边那 $frac{4}{3}$ 的木头，实际上是由“直角边那 $frac{4}{3}$"和“多出来的 $frac{1}{3}$"拼起来的。 目前，他把整个拼图敞开，看看填充进去的面积到底是个啥样子。直角边那局部，面积是 $frac{4}{9}$。多出来的那 $frac{1}{3}$ 局部呢？它也是 $frac{4}{9}$。加起来，还是 $frac{4}{9}$。 什么的，这忒怪了。直角边那局部本身，面积就是 $frac{16}{9}$。
那多出来的 $frac{1}{3}$ 局部，面积岂不是也是 $frac{16}{9}$？ 他算得挺细。
那个多出来的 $frac{1}{3}$ 局部，实际上就是一个直角三角形。它的底是 $frac{1}{3}$，高也是 $frac{1}{3}$。根据公式 $frac{1}{2} times text{底} times text{高}$，算出来面积是 $frac{1}{6}$？不对，他重新算了一遍。
哦，他是按 $frac{1}{3}$ 的边长来算的，$frac{1}{3} times frac{1}{3} times frac{1}{2}$ 也不对。他改口说，这个多出来的小三角形，底是 $frac{1}{3}$，高是 $frac{1}{3}$，面积是 $frac{1}{6}$？不，他坚持认定，既然直角边那 $frac{4}{3}$ 的木头多出了 $frac{1}{3}$，那多出来的那局部，面积正好等于直角边那 $frac{4}{3}$ 的木头面积。 他多么自信。他把那个 $frac{1}{3}$ 的三角形，拿起来比对直角边那 $frac{4}{3}$ 的木头。它们竟然一模一样大！一块 $frac{4}{3}$ 的木头，一块 $frac{1}{3}$ 的木头，如何长得那么像？ 这不可能。
要不就...那个 $frac{1}{3}$ 的三角形，实际上是一个经过精心设计的“长方形”的变体。他想表达的是：那个多出来的 $frac{1}{3}$ 面积，恰好等于直角边那 $frac{4}{3}$ 的面积。 便，总的大面积就等于：直角边那 $frac{4}{3}$ 的面积，加上那个 $frac{1}{3}$ 的面积。出于 $frac{1}{3}$ 的面积等于 $frac{4}{3}$ 的面积嘛。
故此，总面积还是 $frac{4}{3}$。 他拿起尺子，量了量那个大直角三角形的斜边平方。他算出来，斜边平方等于 $frac{4}{3}$。 数学界炸锅了。 黑格尔说，毕达哥拉斯错了。 欧几里得说，他把“圆”当作了“长方形”来理解，这是一种认知上的偷懒。 可是，毕达哥拉斯没有反驳。他只是摸了摸那根木头，笑着说：“你是对的，出于在这个特定的比例里，它们确确实实相等。” 这个故事里实际上藏着大量现代数学受不下的“非逻辑”： 他把“整数”当成了“有理数”； 他把“面积”当成了“长度”； 他把“相等”的定义搞得挺不清楚，当作只要形状长得像，面积就一样； 他把勾股定理当成一个“事实”，而不是需求推导出来的“结论”。 你看，真正的数学证明，一直要把“量”变成“数”，把“形”变成“理”。毕达哥拉斯的证明，就像是在一个还没长大的脑袋里，突然蹦出了个公式。他证明白 $text{直角边}^2 + text{直角边}^2 = text{斜边}^2$，但他并没有证明“为啥”这个公式是对的。他只是信任，在这个特定的木头切割方案里，这个关系是成立的。 要是他目前换一种木头，切成十段，求 $10^2 + 20^2$，那他就彻底傻了。他是个“数学家”，但也是个“神学家”。他信任直觉，信任那些能拼成整数的切割，信任看起来像矩形的东西面积一定相等。 直到后来，希腊文明彻底分裂，柏拉图把几何变成了一门逻辑严密的科学，亚里士多德把逻辑变成了一门先验的体系。
那时候，毕达哥拉斯的那个“木头”才真正启动有了重量。他在数树叶时拿到的顿悟，才在两千多年后的某一天，被后人重新点燃，变成了 $text{直角边}^2 + text{直角边}^2 = text{斜边}^2$ 这种一辈子靠不住的真理。 故此，勾股定理并不是毕达哥拉斯凭着一根木头就“发明”出来的神迹。它是人类对“相似”、“相等”、“面积”这些概念进行了无数次混乱尝试后，终于在某一根特殊的木头上找到了那个唯一的、吻合的斑点。
那个斑点，就是 $9$（要是按三边比例算）要么 $16/9$（要是按四边比例算）。它是错的，也是对的。它既是荒谬的，也是神圣的。 毕达哥拉斯的一生都在忙着把树叶算清楚，忙着把木头切得完美。他当作这样就能证明真理。
实际上，他只是在证明，在这个世界上，起码存有一种“切割方式”，能让这个公式成立。而这，正是数学最迷人的地方——它一辈子在你伸手够不到的地方，等着你伸出手去碰一碰。