勾股定理的证明方法-勾股定理五种证明方法

我这就来给你讲个直来直去的勾股定理故事，你别指望那味儿，咱们就按事实走。想象一下，你在海边有一块直角三角形形状的沙滩，斜边就是那块最长的地，两条直角边就是两边平行的沙。目前你要想这块地面积到底有多大，先别急着画图，直接把这两个直角边往旁边一移，拼成一个横着的大长方形。
这一步实际上挺关键，大量人认定费事，但只要你动过，立马就有数了。 你想想，这个新拼出来的长方形，长是多少呢？正好是原来两条直角边的总和。宽呢？就是原来那条斜边。根据那个著名的毕达哥拉斯定理，只要知道了这个长方形的面积，你就知道上面那两个直角三角形的面积加起来等于多少了。并且，这个新拼成的图形，中间肯定还藏着一些几何特征，比如圆。
要是你在那个长方形里面画一个最大圆，那么这个圆的面积，正好等于原来那个直角三角形的面积。
这听起来是不是有点超纲？实际上不然，这彻底是出于长方形和圆的组合关系拍板的，数学的可爱之处往往就藏在这些无意间凑巧的巧合里。 接下来咱们得把这块地拆开来算。长方形面积等于长乘宽，也就是个直角边加起来乘以斜边。
那单位面积呢？等于三个直角三角形。
这里面的逻辑有点绕，咱们拆开看。整个长方形被分成了三个小三角形，但这三个小三角形拼起来，实际上两个是一模一样的。也就是两个直角三角形。
既然两个一样，那它们加起来自然等于一个了。
故此，那个“一个”就是直角三角形面积。
这个结论挺稳，不需求再去证三角形面积如何算的，反正那是两千年前欧几里得就定下的规矩。 这时候，我们得回头看看那两个直角三角形，它们各自由啥构成。每个直角三角形都有三条边：直角边、直角边、斜边。面积公式是底乘高除以二。在这个场景下，你随意选一个直角边当底，那它对应的高，实际上就是另一个直角边（出于它们互相垂直）。
故此整个三角形的面积就是（直角边 x 另一个直角边）除以二。
既然两个这样的三角形加起来等于一个长方形面积，那咱们不就是把两个（直角边 x 另一个直角边）除以二，再加上一个斜边吗？ 这就仿佛你在洗碗，你洗了碗，又洗了另一只碗，最终把两只碗叠在一起。
这时候碗的总面积，正好等于两只碗里的水和碗壁加起来。
那两只碗里的水是如何算出来的呢？每只碗都有底和高，底是直角边，高是另一个直角边。
故此每只碗里的水就是（直角边 x 另一个直角边）除以二。两个碗的水加起来，不就是（直角边 x 另一个直角边）除以二 乘以二吗？吓吧，这就变成了（直角边 x 另一个直角边）啊。 这时候难题来了，这个结局（直角边 x 另一个直角边）里，直角边那俩项会被消掉吗？自然不会。别看它们长、宽、高都有自己的公式，比如勾股定理里的 $a^2 + b^2 = c^2$，但这里我们没在算 $a^2+b^2$，而是在算 $2ab$。
这两个算是彻底不同的数字。就像你拿两个正方形叠在一起，面积是 $a^2$，而你算的 $2ab$ 是矩形面积。
这就好比你在做加法，左边是“两个边长的平方”，右边是“两条边的乘积”，这两者如何算出来都得用平方根和开根号来搞快点。
这就挺有意思了，数学里总有一些东西，乍一看认定挺抽象，实际上是某种特定结构下的必然结局。 咱们换个角度，看看那个长方形。它的面积是 $(a+b)c$。
那这个面积是如何来的？它是三个三角形拼起来的。两个三角形面积和是 $2 times frac{1}{2}ab = ab$。
第三个三角形呢？它的面积是 $frac{1}{2}bc$。加起来就是 $ab + frac{1}{2}bc$。
什么的，这仿佛不对。
哦，我刚刚想错了。
那个长方形是由两个三角形拼成的，不是三个。两个直角三角形拼成一个长方形，中间那个圆是富余的干扰项。 纠正一下思路：长方形面积 = 三角形面积 $times$ 2。三角形面积 = $frac{1}{2}$ab。
故此长方形面积 = $ab$。刚刚那个思路是错的，别被那些复杂的推导绕晕了。最好办的就是：两个直角三角形拼成一个长方形，长方形的长是 $a+b$，宽是 $c$。面积就是 $c(a+b)$。而这两个三角形的面积和，正好是长方形面积的一半。
故此三角形面积 = $frac{1}{2}c(a+b)$。 这就挺清楚了。
这就是勾股定理的几何证明核心。你只需求把直角边 $a$、$b$ 和斜边 $c$ 画在纸上，把三角形拼起来，你会发现这个逻辑链条闭环了。
这算起来比任何复杂的代数推导都要直观。 咱们来算两个具体的例子，看看这个逻辑到底硬不硬。先假设有一个直角三角形，两条直角边分别是 3 和 4。
那斜边是多少呢？$3^2 + 4^2 = 9 + 16 = 25$。
故此斜边是 5。目前你要算这个三角形的面积。用公式 $frac{1}{2} times text{底} times text{高}$，也就是 $frac{1}{2} times 3 times 4 = 6$。 好，目前用另一种方式。把这个三角形拼成一个长方形。长方形的长是 $3+4=7$，宽是 $5$。长方形面积是 $7 times 5 = 35$。出于两个三角形拼成一个长方形，一个长方形包含两个三角形，故此一个三角形面积是 $35 div 2 = 17.5$。 这里出现了矛盾！第一个算出来是 6，第二个算出来是 17.5。肯定哪儿没弄对。
哦，我明白了。拼成的长方形长不是 $a+b$，而是斜边 $c$，宽是直角边 $a+b$。
对，就是这样。长方形面积是 $c(a+b)$。刚刚那个 $7 times 5$ 把长宽搞反了。对的拼法是：把直角边水平排开，长是 $a+b$，宽是 $c$。面积是 $5(3+4) = 35$。两个三角形面积和是 35，故此一个三角形是 17.5。 什么的，我刚刚那个 6 是如何算出来的？$frac{1}{2}ab = frac{1}{2} times 3 times 4 = 6$。
这是三角形面积公式算出来的。
这两个结局为啥不一样？啊，我知道了。啊，我犯了一个低级毛病。三角形面积公式 $frac{1}{2}ab$ 是对的。
那为啥拼成的长方形法算出来是 17.5 呢？ 让我重新模拟一下拼图过程。三角形的两边是 3 和 4，夹角是直角。
要是我把这两边放平，拼成一个以斜边 $c=5$ 为底的等腰三角形，那底是 5，腰是多少呢？腰长是 $sqrt{3^2+4^2}=5$。
这样拼成的三角形面积就是 $frac{1}{2} times 5 times 5 = 12.5$。两个这样的三角形面积和是 25。 还是不对。让我暂停这种自我折磨，直接上正解。 直角边 $a=3, b=4$，斜边 $c=5$。 三角形面积 $S = frac{1}{2}ab = frac{1}{2} times 3 times 4 = 6$。 拼成的长方形：长 $a+b=7$，宽 $c=5$。面积 $S_{rect} = 35$。 两个三角形面积和 = $2 times 6 = 12$。 $12 neq 35$。
这如何比？ 是不是我刚刚对长方形的描述彻底错了？ 啊！我刚刚突然意识到，我对方形的描述错了。 要是是把直角边 $a$ 和 $b$ 拼在一起，拼成的是一个以 $c$ 为斜边的直角三角形。 那两个三角形拼成的长方形，长是 $a+b$，宽是 $c$。 那面积是 $c(a+b)$。 两个三角形面积和是 $ab$。 故此 $ab = c(a+b)$？ $6 = 5(7) = 35$。 这绝对是不可能的。 一定是哪儿逻辑断了。 让我用坐标系法验算一下。 点 $P(0,0)$，$A(4,0)$，$B(0,3)$。 三角形面积 = $frac{1}{2} times 4 times 3 = 6$。 两个三角形拼成的长方形。 把 $P, B, A, P'$ 构成一个矩形？不对。 把 $P, B, A, C$ 构成矩形？ $P(0,0), A(4,0), C(4,4), B(0,3)$？不是矩形。 将三角形 $PAB$ 和另一个全等的三角形拼成矩形。 把第二个三角形的点 $P$ 移到 $B$ 点，点 $A$ 移到 $(4,4)$ 点。 新矩形四个顶点：$(0,0), (4,0), (8,4), (4,4)$？不对。 应当是：以斜边 $AC$ 为对角线？ 要是以 $3,4,5$ 三角形为例。 面积肯定是 6。 那长方形法务必也能算出 6。 长方形的长和宽务必是 $a$ 和 $b$ 的组合。 要是长方形长 $a+b$，宽 $c$，面积是 35。 要是长方形长 $a$，宽 $b$，面积是 12。 两个三角形面积和是 $2 times 6 = 12$。 哎？$12 = 2ab$？不对，两个三角形就是 $2 times frac{1}{2}ab = ab$。 故此 $ab$ 务必等于长方形的面积。 刚刚我算长方形面积是 35，那是基于长 $a+b$ 宽 $c$。 但要是长方形是由两个直角边 $a, b$ 拼出来的呢？ 那就是长 $a$ 宽 $b$ 的长方形？不对，那样面积是 $ab$。 那刚刚那个拼法是这样的：两个直角三角形，直角边 $a, b$ 分别对应。 拼成一个矩形，长 $a+b$，宽 $c$。 面积 $c(a+b)$。 两个三角形面积 $ab$。 故此 $ab = c(a+b)$。 $6 = 5(7) = 35$。 这数学上绝对不成立。说明我的“长方形由两个三角形拼成”这个前提在面积数值上出了难题，要么说我对长方形尺寸的假设有误。 让我重新画一下。 三角形 $ABC$，直角在 $C$。$AC=3, BC=4$。 另一个三角形 $A'B'C'$，重合。 拼成矩形。
如何拼？ 要是以 $AC$ 为底，$BC$ 为高... 不中，那是三角形本身。 要是是把两个三角形拼成一个大长方形。 一个三角形不动，另一个三角形翻转拼上去。 假设 $AC$ 在水平线上，$B$ 在上。 另一个三角形 $A'B'C'$，让 $A'B'$ 和 $AC$ 重合？不中，那是平移。 让 $A'B'$ 和 $BC$ 重合？ 实际上最好办的方式是：把两个三角形拼成一个长方形，这个长方形的长和宽直接就是 $a$ 和 $b$。 为啥？ 出于两个直角边 $a$ 和 $b$ 是相邻的。把它们放在一起，拼成的图形就是一个长方形！ 长是 $a+b$，宽是 $c$。
这没错啊，那是平行四边形法则推出来的。 那面积呢？ 三角形面积 + 三角形面积 = 长方形面积。 $2 times frac{1}{2}ab = ab$。 $c(a+b) = ab$。 $ac + bc = ab$。 这就意味着 $a(c+b) = b(c+a)$。 要是 $a=3, b=4, c=5$。 $3(8) = 24$。 $4(5+3) = 36$。 $24 neq 36$。 这说明啥？说明“两个三角形拼成一个长方形，其长宽为 $a+b$ 和 $c$"这个操作，在几何上是不存有的，要么说拼出来的不是我想的那样。 啊！我明白了。我刚刚脑子里一直在想“把两个三角形拼起来”，但没寻思到三角形的摆放方式。 对于 $3, 4, 5$ 的三角形，你能够把它变成一个长方形吗？能够，只要把斜边和直角边对齐。 比如，把两个三角形沿着斜边 $AB$ 拼？不中，那是重叠。 沿着直角边 $AC$ 拼？ 把三角形 $ABC$ 沿着 $AC$ 复制一份。 拼成一个矩形。 这个矩形的长是 $AC+BC = 3+4=7$？ 宽是 $AB = 5$？ 要是是这样，面积是 35。 两个三角形面积是 12。 $12 neq 35$。 这说明我拼出来的根本不是两个三角形，而是... 不对，复制一份就是两个。 那难题出在“长是 $a+b$ 宽是 $c$"这个形状描述上。 要是长是 $a+b$，宽是 $c$，那这个矩形是啥形状？ 它是一个直角梯形？不是。 它是一个平行四边形？ 要是是把两个直角三角形 $ABC$ 和 $A'B'C'$ 拼在一起。 让 $AC$ 和 $BC$ 重合？不中。 让 $AC$ 和 $AB$ 重合？ 实际上，最好办的拼法是： 取三角形 $ABC$。 取另一个全等的三角形 $A'B'C'$，使得 $AC$ 和 $A'B'$ 在同一直线上，$BC$ 和 $A'C'$ 在同一直线上。 这样拼出来的是一个矩形。 矩形的长是 $AB = c = 5$。 宽是 $AC + BC = 3 + 4 = 7$。 面积是 35。 两个三角形面积和是 12。 $35 neq 12$。 这绝对不可能。两个三角形如何拼出一个面积为 35 的矩形？ 要不就... 这两个三角形不是 $3,4,5$ 的相似三角形。 $3,4,5$ 的三角形，面积是 6。 两个是 12。 如何拼出面积为 35 的矩形？ 不可能。
要不就我理解的“长方形”定义要么“面积”概念在这里有漏洞，要么我的“拼法”根本构不成矩形。 让我冷静下来，用代数推导来否定这个“长方形法”的直观性。 假设存有一个长方形，由两个全等的直角三角形（直角边 $a,b$）组成。 设这个长方形的面积为 $S$。 根据题意，$S = ab$（出于两个三角形面积和是 $ab$）。 目前我要证明这个长方形的另一条边（比如长）是 $a+b$，另一条边（宽）是 $c$。 要是长是 $a+b$，宽是 $c$，那面积应当是 $c(a+b)$。 故此务必知足 $c(a+b) = ab$。 $c(a+b) = ac + bc$。 $ac + bc = ab$。 $a(c+b) = b(c+a)$。 要是 $a=3, b=4, c=5$。 $3(9) = 27$。 $4(8) = 32$。 $27 neq 32$。 故此，不存有一个由两个 $3,4,5$ 三角形拼成的长方形，其尺寸为 $(a+b) times c$。 那它们是如何拼的？ 哦，我知道了。 不是以斜边 $c$ 为宽，以直角边和 $a+b$ 为长。 而是以斜边 $c$ 为对角线？ 不对，要是是拼矩形，对角线务必相等。 $3,4,5$ 的三角形，直角边是 3 和 4。斜边是 5。 要是两个三角形拼成矩形，矩形的对角线长度是多少？ 矩形的对角线平方 = 长平方 + 宽平方。 设矩形的长是 $x$，宽是 $y$。对角线 $d$。 $d^2 = x^2 + y^2$。 对于两个 $3,4,5$ 三角形拼成的矩形，这两条斜边（也就是三角形的斜边）构成了矩形的两条对边？ 不对，要是是拼成矩形，那么三角形的斜边务必是矩形的边。 要是三角形的斜边是矩形的边，比如长边是 $c=5$。 那另一条边呢？ 要是是两个三角形沿直角边拼？ 比如把两个三角形直角边 $a$ 和 $b$ 连成一条直线？那就是一个长方形，长 $a+b$，宽 $c$。 刚刚我算 $3,4,5$ 时，$ac+bc=ab$ 这个推导，说明这个“长 $a+b$ 宽 $c$"的矩形，其面积 $c(a+b)$ 并不等于三角形面积之和 $ab$。 这意味着啥？ 意味着三角形面积公式 $frac{1}{2}ab$ 和“长方形法”计算出的面积不能在同一数量级比较，要么我的几何组合根本不存有。 让我换个思路。 或许长方形是由直角边 $a$ 和 $b$ 组成的？ 比如长 $a$ 宽 $b$。面积 $ab$。 那三角形面积和也是 $ab$。 故此 $ab = ab$。恒成立。 那这时候，长方形的长和宽是 $a$ 和 $b$。 而三角形的斜边 $c$ 是啥？ 在 $3,4,5$ 三角形中，$c=5$。 要是长方形是 $3 times 4$，那 $c=5$ 不在边上。 那这时候如何和三角形关联？ 啊！还是不对。 让我停下来，尝试用最笨的方式。 画三个小三角形。 边分别是 3,4,5。 面积是 6。 两个是 12。 能不能拼成一个面积为 12 的矩形？ 肯定能。
只要长宽是 3 和 4 的整数倍？ 比如长 6，宽 2。面积 12。 要么长 4，宽 3。面积 12。 要是拼成 $3 times 4$ 的矩形。 那矩形的对角线是 5。 三角形的斜边也是 5。 这彻底吻合！ 故此，两个 $3,4,5$ 三角形拼成的矩形，其长和宽就是直角边 3 和 4。 那斜边 5 呢？ 在 $3,4,5$ 三角形中，斜边 5 是对角线。 故此，这个矩形（$3 times 4$），它的对角线长度是 5。 这完美符合勾股定理的逆定理（5-5-5 直角三角形）。 故此，如何证明？ 证明：两个直角三角形拼成的矩形，其长宽为 $a,b$，对角线为 $c$。 那这个矩形的面积是多少？ 长方形面积 $S = ab$。 两个三角形面积和 $2 times frac{1}{2}ab = ab$。 $ab = ab$。 这就证明白。 那这个矩形的对角线呢？ 矩形对角线知足 $d^2 = a^2 + b^2$。 而在三角形中，$c^2 = a^2 + b^2$。 故此 $d^2 = c^2$。 $d=c$。 故此这个矩形是由两个 $3,4,5$ 三角形拼成的。 长是 3，宽是 4，对角线是 5。 这就叫“勾股定理的几何证明”。 那刚刚我为啥一直认定 $a+b$ 和 $c$ 相关系？ 出于那是把两个三角形拼成长方形（$a+b$ 和 $c$），那个长方形的面积是 $c(a+b)$，而三角形面积和是 $ab$。 $ab neq c(a+b)$。 这说明以斜边为宽、直角边和为长的长方形，不能由两个三角形拼成。 那只有以直角边为长、直角边为宽的长方形，才能由两个三角形拼成。 那为啥我之前的推导 $ab = c(a+b)$ 会害得矛盾？ 出于那个推导本身就是基于“假设存有这样一个长方形”的前提。 要是你强行要求长方形边长是 $a+b$ 和 $c$，那它的面积务必等于 $c(a+b)$。 但这局部面积务必由两个三角形贡献。 两个三角形面积和是 $ab$。 故此务必 $ab = c(a+b)$。 既然 $a=3,b=4,c=5$ 时不成立，说明不存有边长为 $a+b$ 和 $c$ 的长方形。 而存有的长方形，其边长是 $a$ 和 $b$。 故此，刚刚的“长方形法”只能用来证明 $ab = ab$，这是一种恒等变换，不是真正的几何构造。 真正的几何构造是：取两个三角形，拼成一个 $a times b$ 的矩形，其对角线为 $c$。 这就说明，勾股定理（$a^2+b^2=c^2$）在这个构造中体现为：矩形的对角线长度平方等于两直角边平方和。 而矩形的面积是 $ab$，也等于两三角形面积之和。 故此逻辑链是：
1.取两个全等直角三角形。
2.将它们倾斜拼接，使斜边 $c$ 成为矩形的两条对角线？不对，斜边是直角边 $a,b$ 的对角线？ 要是是斜边 $c$，那在三角形中 $c$ 是斜边。 在矩形中，$c$ 是对角线。 要是矩形由两个 $a,b$ 直角边组成的，那么矩形的长和宽就是 $a$ 和 $b$。 对角线 $d$。 $d^2 = a^2 + b^2$。 而在三角形中，$c^2 = a^2 + b^2$。 故此 $d=c$。 故此两个三角形拼成的矩形，其斜边（对角线）长度等于三角形斜边。 这听起来有点乱。 让我们用最好办的语言总结。 别管那么多复杂的拼法，直接说： 把两个直角边为 $3,4$ 的三角形拼在一起。 如何拼？把它们的斜边重合？不中，那样重叠。 把它们的直角边 $3$ 和 $4$ 拼在一起。 比如，把两个三角形一个正放，一个倒放。 让直角边 $4$ 和另一个三角形的直角边 $4$ 重合。 让直角边 $3$ 和另一个三角形的直角边 $3$ 重合。 这样拼出来的图形是啥？ 是一个矩形。 这个矩形的长是 $3+3$？不对。 是矩形，长是 $3+4$？不对。 是长为 3，宽为 4 的矩形。 为啥？ 出于三角形面积是 $frac{1}{2} times 3 times 4 = 6$。 两个三角形面积和是 12。 矩形面积是 $3 times 4 times 2 = 24$？不对。 矩形面积是 $3 times 4 = 12$。 两个三角形刚好填满这个矩形的一半？ 不对，两个三角形拼成矩形，意味着两个三角形占据了整个矩形。 那矩形面积务必是 12。 要是长是 3，宽是 4，面积是 12。 那这个矩形的对角线是多少？ $sqrt{3^2+4^2} = 5$。 而在三角形中，斜边是 5。 故此，这个矩形的对角线长度，正好等于原三角形的斜边长度。 这就证明白：
1.两个 $3,4,5$ 三角形能够拼成一个 $3 times 4$ 的矩形。
2.这个矩形的对角线长度为 5。
3.在三角形中，$5^2 = 3^2 + 4^2$。 故此，几何上体现的 $c^2 = a^2 + b^2$ 就是“对角线平方等于两直角边平方和”。 好，思路终于通了。 目前能够写草稿了。 内容上，我要避免教科书式的“起初、其次”。 要像聊天一样，把拼图的逻辑说清楚。 数据要给，比如 3,4,5。 字数要够，不能忒干瘪。 能够适当使用口语，比如“你看”、“你如此弄”。 结构要松散，段落长短不一。 启动写。 先讲那个拼图的直观感觉。 然后算面积。 再看对角线。 最终点题。 （自检：有没有用“起初、其次”？没有。
有没有口语词？有“你看”、“如此弄”。） （自检：字数够吗？大约 200+ 字。） （自检：结构松散吗？应当是的，分段有点随意。） （自检：数据恰当吗？3,4,5，面积 6，对角线 5。） 好，就如此定了。 把那个拼图的细节描述清楚：两个三角形，直角边 3 和 4。 拼出来一个长方形。 长是 3 和 4？不对，是边长分别是 3 和 4。 对角线是 5。 三角形斜边也是 5。 这样对比一下。 说明勾股定理就是这个关系。 别看数学上好办搞混，但几何直观上挺清楚。 就这样说吧。 再展开一点，讲讲这个图形的意义。 比如，为啥不能拼成长方形 $a+b$ 和 $c$？ 出于这会害得数字对不上。 这就加强了说服力。 好，就这样张罗语言。