勾股定理公式证明过程-勾股定理证法过程

你当作勾股定理就是个冷冰冰的公式，$a^2 + b^2 = c^2$，只要记住就能应付考试？那可就大错特错了。
这玩意儿实际上是数学家在几千年前，看着一堆凌乱无章的沙滩石头，硬生生从混沌里找出了宇宙的秩序。别管我讲得有多啰嗦，咱们直接上干货，把那个被扔在沙滩上的直角三角形，还原成最原始的几何直觉。 想象一下，你在海边捡了一堆不同颜色的石头，把最短的拼在一起，长度刚好等于最长的那块。
这时候，你手里多出来的那一段，正好等于另外两块边长的总和。
这听起来是不是有点荒谬？但在几何的世界里，这实际上是个贼朴素的事实。古希腊人还没搞出立体空间的概念，他们只盯着平面上的两个物体，就把它们并排放在一起，发现拼接处完美的契合。 我们来拆解一下这个三角形。画一个直角三角形，直角边是 $a$ 和 $b$，斜边是 $c$。大量人当作只要把 $a$ 和 $b$ 摆成直角边，$c$ 摆成斜边，公式就会自动成立。
实际上不然。
那是基于特定数字凑出来的巧合，比如勾 3、股 4、弦 5。真正的定理，得先证明它适用于任意长度的直角三角形，而不是特例。 这就得用拼图法了。你拿一张白纸，在上面画个直角三角形。
接着，以直角边 $a$ 为边长，在三角形外面补上一个小正方形；再以 $b$ 为另一条边长，再补一个同样大小的正方形。你发现了吗？这两个小正方形面积加起来，刚好等于大正方形面积 $c^2$。
这是面积守恒的体现，而不只是是图形拼合。 为了更直观，咱们能够用具体的例子来验证一下。设直角三角形的直角边长分别为 3 和 4，斜边为 5。
这确实是著名的 3-4-5 三角形，大家小时候都玩过。根据定理，$3^2 + 4^2 = 9 + 16 = 25$，而斜边的平方 $5^2 = 25$。两边彻底相等。但这只是验证，不是证明。真正的严谨证明，需求引入一个更底层的概念，那就是“相似三角形”和“比例”。 假设我们有一个直角三角形 $ABC$，$angle C$ 是直角，$AC = b$，$BC = a$，$AB = c$。我们要证明 $a^2 + b^2 = c^2$。
如何做？能够在斜边 $AB$ 上截取一段 $AD$，使得 $AD = AC = b$。
这样我们就构造出了两个全等的直角三角形：一个是原来的 $ABC$，另一个是顶部的小三角形 $ADC$（注意对应关系）。 这时候，AB 就被分成了两段，$AD$ 和 $DB$。
那么剩下的 $DB$ 长度是多少呢？$DB = AB - AD = c - b$。出于两个小三角形全等，对应边成比例，故此 $DB$ 务必等于 $BC$，也就是 $a$。
这意味着，连接 $C$ 和 $D$ 的线段，实际上就把斜边 $c$ 分成了两局部，一局部是 $b$，另一局部是 $a$。 这就构成了一个线段 $c = b + a$ 的模型。目前，看看三角形 $ABC$ 和三角形 $DBC$。它们有公共的角 $angle B$（直角是 $angle C$，两个直角三角形共享 $angle B$），还有一个锐角相等吗？出于 $angle ACB = 90^circ$，$angle ACD$ 是直角的一半（由全等得出），故此 $angle ACD = 45^circ$。
那么 $angle BCD = 45^circ$。
这样 $angle BCA = angle BCD + angle DCA = 90^circ$，成立。 最关键的一步来了。在三角形 $ABC$ 和三角形 $DBC$ 之间，我们能够应用正弦定理要么余弦定理的推导过程。在三角形 $ABC$ 中，$cos B = frac{a}{c}$。在三角形 $DBC$ 中，$cos B = frac{DB}{BC} = frac{a}{a+b}$。出于 $cos B$ 是同一个角，两个式子必然相等： $$ frac{a}{c} = frac{a}{a+b} $$ 两边消去 $a$（假设 $a neq 0$），拿到 $c = a + b$。 我们在三角形 $DBC$ 中计算余弦值。$cos(angle DCB) = frac{DC}{BC}$。我们需求求 $DC$ 的长度。根据勾股定理，在 $DBC$ 中，$DC = sqrt{b^2 + a^2}$。 故此 $cos(angle DCB) = frac{sqrt{a^2+b^2}}{a+b}$。 另一方面，观察三角形 $ABC$，$cos(angle ACB) = cos(90^circ) = 0$，这仿佛没帮上忙。换个角度，利用余弦定理的推广形式要么好办的投影法。在三角形 $ABC$ 中，作 $AC$ 边上的高 $CD$（实际上就是中线，出于 3-4-5 三角形不是等腰，这里的高不一定平分，但我刚刚的构造里 $AD=b$，故此高是从 $C$ 到 $AB$ 的垂线吗？不对，刚刚的构造 $AD=b$ 意味着 $CD$ 是斜边上的高吗？不是。$AD=AC$，说明 $triangle ADC$ 是等腰直角三角形。 让我们重新梳理这个几何构造的逻辑，用更口语化的方式讲清楚。把涂满颜色的斜边 $c$ 切成两段，一段是 $b$，一段是 $a$。目前有两个直角三角形，$triangle ABC$ 和 $triangle DBC$。它们有一个公共角 $angle B$。 在 $triangle ABC$ 中，夹这个角的两边是 $a$ 和 $c$。 在 $triangle DBC$ 中，夹这个角的两边是 $a$ 和 $b$（出于 $DB=a$，$BC=b$？不对，$BC$ 是直角边 $a$，$AC$ 是直角边 $b$。 修正一下对应关系：设 $AC=b$，$BC=a$，$AB=c$。截 $AB$ 于 $D$，使 $AD=b$。则 $DB=c-b=a$。 $triangle ABC$ 中：边 $BC=a$，边 $AB=c$。 $triangle DBC$ 中：边 $DB=a$，边 $BC=b$。 这两个三角形相似！出于 $angle B$ 公共，且 $BC/AB = a/c$， $DB/BC = a/b$？不对，比例不对。应当是 $BC/AB = AC/DB$ 即 $a/c = b/(c-b)$。 是的，$a(c-b) = bc Rightarrow ac - ab = bc Rightarrow ac = b(a+c)$。
这是阿基米德的推导路径。 然后，我们要找 $c$ 和 $a,b$ 的关系。在 $triangle ABC$ 中，我们能够把角 $C$ 拆成两个角吗？
要么利用 $cos C = frac{a^2+b^2-c^2}{2ab} = 0$，这直接导出 $a^2+b^2=c^2$。 这个公式里的每个字母代表啥？$a$ 是竖直的那条边，$b$ 是水平的那条边，$c$ 是斜着的那条。你会发现，甭管你如何挪动三角形，只要 $a$ 和 $b$ 是直角边，$c$ 是斜边，这个等式一辈子成立。
这不只是是数字的巧合，它是空间结构本身的性质。 再比如，一个具体的案例。
有人问：要是直角边是 5，另一边是 12，斜边是多少？算一下，$5^2 = 25$，$12^2 = 144$，加起来是 $169$。开方开了，等于 $13$。
这是一组经典的勾股数。
要是你把 13 划掉，剩下的总数是 1，这挺有趣。
为啥是 13？出于 $5^2+12^2=(5+12)^2$？$(5+12)^2 = 169$，$5^2+12^2=169$。
确实，$c = a+b$ 在这里成立。但这只是特殊情况。 有人可能会问，为啥我认定这两个三角形全等？前面说了，它们不。$triangle ABC$ 的三边是 $a, b, c$。$triangle DBC$ 的三边是 $a, b, c-b$（出于 $DB=a$，$BC=b$，斜边是 $c$？不对。在 $triangle DBC$ 中，$DB$ 是斜边吗？不，$DB$ 是三角形 $DBC$ 的一条边，$BC$ 是另一条，$DC$ 是第三条。 回到最好办的视角：把两个直角三角形拼起来。$triangle ABC$ 和 $triangle DBC$ 拼在斜边 $AB$ 上。 $triangle ABC$：直角边 $a, b$，斜边 $c$。 $triangle DBC$：直角边 $a$（原 $BC$），$b$（原 $AC$ 的一局部？），斜边... 什么的，这个构造好办搞乱。 还是用面积法最稳妥。画一个矩形，长 $c$，宽 $c$。里面画一个内接正方形。
要么更好办的，画一个大正方形，边长为 $a+b$。面积是 $(a+b)^2$。 这个大正方形里有一个小正方形，边长为 $c$，面积 $c^2$。 四个角落各有一个直角三角形。 这四个直角三角形实际上就是我们的 $a-b-c$ 模型。 面积计算： 总外框面积：$(a+b)^2 = a^2 + 2ab + b^2$。 减去中间的小正方形 $c^2$。 剩下四个角的面积总和：$(a^2 + 2ab + b^2) - c^2 = 4 times S_{triangle}$。 每个三角形面积是 $frac{1}{2}ab$。 故此 $4 times frac{1}{2}ab = 2ab$。 便 $a^2 + 2ab + b^2 - c^2 = 2ab$。 两边消掉 $2ab$，得 $a^2 + b^2 - c^2 = 0$，即 $a^2 + b^2 = c^2$。 这个逻辑链条贼顺畅，没有任何跳跃，彻底基于面积守恒。 再举个彻底不一样的例子。
不用 3-4-5，用无理数。设直角边 $a=sqrt{2}$，$b=sqrt{2}$。斜边 $c=sqrt{(sqrt{2})^2 + (sqrt{2})^2} = sqrt{2+2} = sqrt{4} = 2$。
反过来，$2^2 = 4$，$(sqrt{2})^2 + (sqrt{2})^2 = 2+2=4$。成立。
这说明就算是无理数，只要知足直角条件，勾股定理依然不变。自然界中充满了这种规律，比如地震波传播距离、光影投射长度，背后都有这种深层的数学支撑。 有人可能会认定，这就是数学家的天才，发现了这种不可能存有的规律。
实际上不然。在两千多年前的中国，赵爽已经把这套拼图法（内弦图）讲得明明白白，用来证明《周髀算经》里的定理。
这证明我们不需求天才，只需求耐心，只需求把图形画在白纸上，一块一块地拼接，看看能不能找到互补的局部。 最终，我们要记住，勾股定理是数学家们的发现，而不是被定义出来的。它存有于所有直角三角形中，甭管你放大一千倍，缩小到米粒大小，它的规模都恒定。甭管是微观粒子还是宏观建筑，只要拥有直角，这个关系就存有。
这就是数学的魅力，它把抽象的符号变成了可操作的现实。 故此，下次当你看到 $a^2+b^2=c^2$ 这个公式时，别再只把它看成计算工具。它是时空结构的坐标，是宇宙几何的底层代码。
哪怕你只是随意画一个直角三角形，只要遵循直角定义，这个等式就无条件地、永恒地存有。
这就是证明的终点，也是起点。